49 citations
- Centre National de la Recherche ScientifiqueFR6 papers
- Laboratoire Jean-Alexandre DieudonnéFR4 papers
- Observatoire de la Côte d’AzurFR2 papers
- École Polytechnique Fédérale de LausanneCH1 paper
- European Southern ObservatoryCL1 paper
- Federal Research Center for Information and Computational TechnologiesRU1 paper
- Galaxies, Etoiles, Physique et InstrumentationFR1 paper
- Institute for Space Astrophysics and PlanetologyIT1 paper
- Institut Montpelliérain Alexander GrothendieckFR1 paper
- Instituto de Astrofísica de CanariasES1 paper
- Instituto Superior TécnicoPT1 paper
- International Center for Relativistic AstrophysicsIT1 paper
17 papers
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri, Étienne Lozes, Alessio Mansutti
We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no ex…
Cumulant-cumulant relations in free probability theory from Magnus' expansion
A. Celestino, K. Ebrahimi-Fard, F. Patras +1
Relations between moments and cumulants play a central role in both classical and non-commutative probability theory. The latter allows for several distinct families of cumulants c…
Subsolar Al/Si and Mg/Si ratios of non-carbonaceous chondrites reveal planetesimal formation during early condensation in the protoplanetary disk
A. Morbidelli, G. Libourel, H. Palme +2
The Al/Si and Mg/Si ratios in non-carbonaceous chondrites are lower than the solar (i.e., CI-chondritic) values, in sharp contrast to the non-CI carbonaceous meteorites and the Ear…
Steady states in dual-cascade wave turbulence
V. N. Grebenev, S. B. Medvedev, S. V. Nazarenko +1
We study stationary solutions in the differential kinetic equation, which was introduced in for description of a local dual cascade wave turbulence. We give a full classification o…
The Hitchin connection in arbitrary characteristic
Thomas Baier, Michele Bolognesi, Johan Martens +1
We give an algebro-geometric construction of the Hitchin connection, valid also in positive characteristic (with a few exceptions). A key ingredient is a substitute for the Narasim…
Magnetic field screening in strong crossed electromagnetic fields
S. Campion, J. A. Rueda, R. Ruffini +1
We consider crossed electric and a magnetic fields , with , in presence of some initial number of pairs. We do…