Advanced search×

A full first-order constraint solver for decomposable theories

Khalil Djelloul

Ann Math Artif Intell (2009)

DOI: 10.1007/s10472-009-9142-9
Version: za2963e q8za2 q8zb8 q8zc2 q8zd4 q8ze1 q8zf4 q8zg4
Buy PDF

Similar articles you may find interesting…

  1. Tubular surgery with the assistance of endoscopic surgery via midline approach for lumbar spinal canal stenosis: a technical note.
    Yasuo Mikami, Masateru Nagae, and Toshikazu Kubo

    Eur Spine J (2013) PMID 23649957

    Bilateral intervertebral joints were satisfactorily preserved in ten patients who received this surgery. All became ambulatory on the day after surgery and the clinical results remained favorable 3 years after the operation. CONCLUSION: Tubular surgery with the assistance of endoscopic surgery via...
    Buy PDF
  2. Extreme value statistics of the weak lensing convergence: 1. primordial non-Gaussianities
    Federica Capranico, Angelos Fotios Kalovidouris, and Bjoern Malte Schaefer

    arXiv:1305.1485 [astro-ph.CO] 7 May 2013

    We describe the influence of Inflationary non-Gaussianities parameterised by fnl and gnl on the probability Distribution p(kappa)dkappa of the smoothed convergence field with a Gram-Charlier series, for which we compute the cumulants kappa_n of the Smoothed convergence field as a configuration space...
    View PDF
  3. Constraining the Galactic millisecond pulsar population using Fermi Large Area Telescope
    Tristan Gr\'egoire and J\"urgen Kn\"odlseder Institut de Recherche en Astrophysique et Plan\'etologie)

    arXiv:1305.1584 [astro-ph.GA] 7 May 2013

    We Aim to infer the properties of the Galactic population of gamma-ray emitting MSPs from the samples detected by the Fermi-LAT. We developed a Monte Carlo Model to predict the spatial and gamma-ray luminosity distribution of the Galactic MSP population. Based on the estimated detection sensitivity...
    View PDF