2k citations
- Centro de Astrofísica da Universidade do PortoPT45 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- University of CambridgeGB19 papers
- University of MinhoPT14 papers
- Universidade Federal da ParaíbaBR11 papers
- California Institute of TechnologyUS9 papers
- European Southern ObservatoryCL9 papers
- Instituto de Ciencia de Materiales de MadridES9 papers
- University of CoimbraPT9 papers
- Aarhus UniversityDK8 papers
- Instituto Superior TécnicoPT8 papers
- Laboratoire de Physique ThéoriqueFR8 papers
16 papers · 1 filter
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flavio Cruz, Ricardo Rocha
Tabled evaluation is an implementation technique that solves some problems of traditional Prolog systems in dealing with recursion and redundant computations. Most tabling engines…
A structured alternative to Prolog with simple compositional semantics
António Porto
Prolog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics hav…
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
Miguel Areias, Ricardo Rocha
Tabled evaluation is a recognized and powerful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. We…
The AdS Graviton/Pomeron Description of Deep Inelastic Scattering at Small x
Richard C. Brower, Marko Djuric, Ina Sarcevic +1
In the holographic or AdS/CFT dual to QCD, the Pomeron is identified with a Reggeized Graviton in . We emphasize the importance of confinement, which in this context corresp…
Towards Unquenched Holographic Magnetic Catalysis
Veselin G. Filev, Dimitrios Zoakos
We propose a string dual to the SU(Nc) N=4 SYM coupled to Nf massless fundamental flavors in an external magnetic field. The flavors are introduced by homogeneously smeared Nf D7-b…
A low optical depth region in the inner disk of the HerbigAe star HR5999
M. Benisty, S. Renard, A. Natta +11
Circumstellar disks surrounding young stars are known to be the birthplaces of planets, and the innermost astronomical unit is of particular interest. We present new long-baseline…