378 citations
- Sapienza University of RomeIT23 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali del Gran SassoIT21 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- National Interuniversity Consortium for the Physical Sciences of MatterIT16 papers
- University of Rome Tor VergataIT14 papers
- University of CagliariIT10 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT9 papers
- Istituto di Fotonica e NanotecnologieIT8 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT8 papers
- University of PaduaIT8 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT7 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT7 papers
6 papers · 1 filter
On the existence of stable models of non-stratified logic programs
Stefania Costantini
This paper introduces a fundamental result, which is relevant for Answer Set programming, and planning. For the first time since the definition of the stable model semantics, the c…
The dimension of the Hilbert scheme of special threefolds
GianMario Besana, Maria Lucia Fania
The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fi…
A shadowing lemma for abelian Higgs vortices
Marta Macri', Margherita Nolasco, Tonia Ricciardi
We use a shadowing-type lemma in order to analyze the singular, semilinear elliptic equation describing static self-dual abelian Higgs vortices. Such an approach allows us to const…
Expected neutrino signal from supernova remnant RX J1713.7-3946 and flavor oscillations
Maria Laura Costantini, Francesco Vissani
We consider the impact of oscillations on 1-200 TeV neutrinos expected from RX J1713.7-3946. After a description of the nature of the source, we obtain a prediction for the neutrin…
Coupled Electron Ion Monte Carlo Calculations of Dense Metallic Hydrogen
Carlo Pierleoni, David M. Ceperley, Markus Holzmann
We present a new Monte Carlo method which couples Path Integral for finite temperature protons with Quantum Monte Carlo for ground state electrons, and we apply it to metallic hydr…
Transformation Rules for Locally Stratified Constraint Logic Programs
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. W…