8.6k citations
- Centre National de la Recherche ScientifiqueFR1.2k papers
- Laboratoire Paul PainlevéFR551 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR364 papers
- École Centrale de LilleFR342 papers
- Sorbonne UniversitéFR283 papers
- Laboratoire de Physique des Lasers, Atomes et MoléculesFR254 papers
- Université Paris Sciences et LettresFR224 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR208 papers
- Centre de Recherche en InformatiqueFR180 papers
- Université Lille 1FR178 papers
- Université Paris-SaclayFR169 papers
- Université Paris CitéFR168 papers
2,166 papers
From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting
Raf Cluckers
Following Macintyre's quantifier elimination result for semi-algebraic -adic sets from 1976, Denef's cell decomposition from 1984 has played a catalyzing role for both motivic i…
Domain Theory Meets Interaction Trees in Rocq
David Nowak, Vlad Rusu
We present a domain-theoretical formalization of interaction trees in the Rocq prover. Unlike existing formalizations, ours does not rely on Rocq's built-in coinduction. Hence, we…
Euclid Quick Data Release (Q1) Euclid spectroscopy of quasars. 2. Physical properties from spectral fitting
Euclid Collaboration, J. Calhau, G. Calderone +312
A substantial volume of spectroscopic data has become available with the Euclid Data Release (Q1), which represents a unique opportunity to study quasars (QSOs) in the Euclid Deep…
Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale
Aurélie Duriez, Christophe Tommasini
We certify an honest-decapsulation failure upper bound for ML-KEM-768 in an explicit random-function/centered-binomial (ROM/CBD) abstraction. Domain-separated public-matrix streams…
Euclid: Quick Data Release (Q1) -- Exploring the detailed visual morphology of galaxies in clusters
P. Mas-Buitrago, S. Kruk, D. O'Ryan +167
Galaxy clusters provide unique laboratories for studying environmental effects on galaxy evolution. The morphology--density (--) and morphology--cluster-centric radius (--…
Euclid. A two-point correlation approach to diagnosing star-related systematics in the Euclid spectroscopic survey
Euclid Collaboration, I. Risso, B. R. Granett +298
The Euclid spectroscopic survey will measure galaxy clustering with unprecedented precision, requiring stringent control of observational and instrumental systematics. Star-related…