415 citations
- Centre National de la Recherche ScientifiqueFR350 papers
- Université de LilleFR342 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR212 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR98 papers
- Université Paris-SaclayFR78 papers
- Centre de Recherche en InformatiqueFR73 papers
- Université Polytechnique Hauts-de-FranceFR73 papers
- Sorbonne UniversitéFR67 papers
- Université Paris CitéFR63 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR61 papers
- Université Grenoble AlpesFR61 papers
- Institut d'Astrophysique SpatialeFR60 papers
408 papers
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…
Agent-Based Modeling of Systems of Systems
Jean-Baptiste Soyez, Gildas Morvan, Rochdi Merzouki +1
This paper deals with the generic modeling of systems of systems (SoSs) using agent-based modeling. SoSs are large-scale systems, including numerous-possibly heterogeneous-interact…
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…
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…
Euclid preparation. The shape of halo profiles in CDM and non-standard cosmologies
Euclid Collaboration, L. Pizzuti, G. Y. Ferron +304
We study the shape of three-dimensional and projected dark-matter halo profiles extracted from cosmological -body simulations in CDM and non-standard cosmologies, using the \…