332 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- École Normale Supérieure Paris-SaclayFR60 papers
- École Normale Supérieure - PSLFR47 papers
- Centre National de la Recherche ScientifiqueFR38 papers
- Université Paris-SaclayFR31 papers
- CentraleSupélecFR9 papers
- Laboratoire Méthodes FormellesFR8 papers
- Centre BorelliFR7 papers
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Laboratoire de Mécanique Paris-SaclayFR5 papers
- Laboratoire Interdisciplinaire des Sciences du NumériqueFR5 papers
- University of CambridgeGB5 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR4 papers
9 papers · 1 filter
A modular construction of type theories
Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger +2
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several…
Anode-metal drop formation and detachment mechanisms in liquid metal batteries
Sabrina Bénard, Norbert Weber, Gerrit Maik Horstmann +2
We study numerically localised short circuits in Li||Bi liquid metal batteries. In the prototype of a classical, three liquid-layer system, we assume a perceptible local deformatio…
Surface gravity of compact non-degenerate horizons under the dominant energy condition
Sebastian Gurriaran, Ettore Minguzzi
We prove that under the dominant energy condition any non-degenerate smooth compact totally geodesic horizon admits a smooth tangent vector field of constant non-zero surface gravi…
On the sound dispersion and attenuation in fluids due to thermal and viscous effects
Azeddine Zaidni, Saad Benjelloun
In this paper, we derive a dispersion relation for sound waves in viscous and heat conducting fluids. In particular this dispersion (i.e. variation of speed of sound with frequency…
Uniform minorization condition and convergence bounds for discretizations of kinetic Langevin dynamics
Alain Durmus, Aurélien Enfroy, Éric Moulines +1
We study the convergence in total variation and -norm of discretization schemes of the underdamped Langevin dynamics. Such algorithms are very popular and commonly used in molec…
Close relatives (of Feedback Vertex Set), revisited
Hugo Jacob, Thomas Bellitto, Oscar Defrain +1
At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a number of problems related to the classic Feedback Vertex Set (FVS) problem do not admit a $2^{o(k \log k)} \cdo…
A joint 2- and 3-point clustering analysis of the VIPERS PDR2 catalogue at z~1: breaking the degeneracy of cosmological parameters
A. Veropalumbo, I. Saez Casares, E. Branchini +7
We measure the galaxy 2- and 3-point correlation functions at and , from the final data release of the VIPERS survey (PDR2). We model the two statistics…
Constraining the cosmic UV background at z>3 with MUSE Lyman-α emission observations
Sofia G. Gallego, Sebastiano Cantalupo, Saeed Sarpas +10
The intensity of the Cosmic UV background (UVB), coming from all sources of ionising photons such as star-forming galaxies and quasars, determines the thermal evolution and ionizat…
Keyboards as a new model of computation
Yoan Géran, Bastien Laboureix, Corto Mascle +1
We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we…