7.7k citations
- Centre National de la Recherche ScientifiqueFR351 papers
- Institut Élie Cartan de LorraineFR325 papers
- Institut Jean LamourFR113 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR67 papers
- CRANFR40 papers
- Institut national de recherche en sciences et technologies du numériqueFR39 papers
- Sorbonne UniversitéFR36 papers
- Université Paris-SaclayFR28 papers
- Institut Universitaire de FranceFR26 papers
- Laboratoire de Physique et Chimie ThéoriquesFR26 papers
- École PolytechniqueFR22 papers
- Université Paris CitéFR22 papers
54 papers · 1 filter
Language and Proofs for Higher-Order SMT (Work in Progress)
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes +2
Satisfiability modulo theories (SMT) solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic modulo…
A probabilistic approach to Dirac concentration in nonlocal models of adaptation with several resources
Nicolas Champagnat, Benoît Henry
This work is devoted to the study of scaling limits in small mutations and large time of the solutions u^ of two deterministic models of phenotypic adaptation, where the paramet…
Two approaches for the stabilization of nonlinear KdV equation with boundary time-delay feedback
Lucie Baudouin, Emmanuelle Crépeau, Julie Valein
This article concerns the nonlinear Korteweg-de Vries equation with boundary time-delay feedback. Under appropriate assumption on the coefficients of the feedbacks (delayed or not)…
Casimir-Polder size consistency -- a constraint violated by some dispersion theories
Tim Gould, Julien Toulouse, János Ángyán +1
A key goal in quantum chemistry methods, whether ab initio or otherwise, is to achieve size consistency. In this manuscript we formulate the related idea of "Casimir-Polder size co…
An Essay on the Completion of Quantum Theory. I: General Setting
Wolfgang Bertram
We propose a geometric setting of the axiomatic mathematical formalism of quantum theory. Guided by the idea that understanding the mathematical structures of these axioms is of si…
Discovery of a big void in Khufu's Pyramid by observation of cosmic-ray muons
Kunihiro Morishima, Mitsuaki Kuno, Akira Nishio +31
The Great Pyramid or Khufu's Pyramid was built on the Giza Plateau (Egypt) during the IVth dynasty by the pharaoh Khufu (Cheops), who reigned from 2509 to 2483 BC. Despite being on…