This paper investigates an approach to designing and building adaptive agents. The main contribution is the use of a symbolic machine learning system for approximating the policy and Q functions that are at the heart of the agent. Under the assumption that sufficient knowledge of the application domain is available, it is shown how this knowledge can be provided to the agent in the form of symb...

This paper reports an analysis of near-optimal Blocks World planning. Various methods are clarified, and their time complexity is shown to be linear in the number of blocks, which improves their known complexity bounds. The speed of the implemented programs (ten thousand blocks are handled in a second) enables us to make empirical observations on large problems. These suggest that the above met...

Diaconescu, Moore and Witten proved that the partition function of type IIA string theory coincides (to the extent checked) with the partition function of M-theory. One of us (Kriz) and Sati proposed in a previous paper a refinement of the IIA partition function using elliptic cohomology and conjectured that it coincides with a partition function coming from F-theory. In this paper, we define t...

We study T 2 compactification of massive type IIA supergravity in presence of possible Ramond-Ramond (RR) background fluxes. The resulting theory in D = 8 is shown to possess full SL(2, R) × SL(2, R) T-duality symmetry similar to the massless case. It is shown that elements of duality symmetry interpolate between massive type IIA compactified on T 2 and ordinary type IIA compactified on T 2 wit...

A bstract We show how to map Grothendieck’s dessins d’enfants algebraic curves as Seiberg-Witten curves, then use the mirror and AGT obtain corresponding 4d $$ \mathcal{N} N = 2 supersymmetric instanton partition functions 2d Virasoro conformal blocks. explicitly demonstrate 6 trivalent with 4 punctures on sphe...

introduction: we aimed to compare apical canal transportation of extracted teeth and two types of simulated resin blocks. materials and methods: mesiobuccal root of extracted maxillary molars, high hardness simulated resin blocks (knoop hardness=40) and low hardness simulated resin blocks (knoop hardness=22) were prepared with k-files using step-back technique (n=15 canals in each group). doubl...

PURPOSE This paper is focused on the works concerning preparation of zirconium oxide ceramic blocks recommended for CAD/CAM systems used in prosthetic dentistry for manufacturing fixed prosthetic restorations. METHODS Zirconium-yttrium-magnesium mixed ceramic oxides were prepared by sol-gel method via hydrolysis and condensation of zirconium alkoxide precursor (zirconium (IV) propoxide) with ...