298 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université de LilleFR364 papers
- Centre National de la Recherche ScientifiqueFR257 papers
- École Centrale de LilleFR212 papers
- Centre de Recherche en InformatiqueFR203 papers
- Université Paris-SaclayFR74 papers
- Institut d'Astrophysique SpatialeFR64 papers
- Sorbonne UniversitéFR59 papers
- Institut de Recherche en Astrophysique et PlanétologieFR58 papers
- Université Paris CitéFR57 papers
- Université Paris Sciences et LettresFR53 papers
- Ludwig-Maximilians-Universität MünchenDE52 papers
- CEA Paris-SaclayFR51 papers
433 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…
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 \…
Euclid Quick Data Release (Q1). Searching for radio-selected \Euclid-dark galaxies in the EDF-N
Euclid Collaboration, M. Giulietti, I. Prandoni +308
We present and investigate the properties of a sample of radio-selected, Euclid-dark galaxies, identified from LOFAR HBA observations at 144 MHz within the Euclid Deep Field-North…
Local polynomial factorisation: improving the Montes algorithm
Poteaux Adrien, Weimann Martin
We improve significantly the Nart-Montes algorithm for factoring polynomials over a complete discrete valuation ring . Our first contribution is to extend the Hensel le…
Euclid preparation. First investigation of the impact of cross-contamination on spectroscopic redshift measurements with pixel-level simulations
Euclid Collaboration, F. Passalacqua, S. Anselmi +299
We present a study on simulated data focused on understanding the performance of the spectroscopic redshift measurements with the Near-Infrared Spectrometer and Photometer (NISP) i…
Privacy-Preserving Person Re-Identification from Temporal Sequences with Transformer and Hungarian Optimization
Raphaël Delécluse, Hazem Wannous, Laurent Guimas
Person re-identification (Re-ID) is a crucial task in surveillance and human behavior analysis, often used in public spaces such as transport hubs. Traditional RGB-based Re-ID meth…
Euclid Quick Data Release (Q1): The impact of AGN emission on SED-derived physical properties
Euclid Collaboration, B. Laloux, A. Bongiorno +309
The Euclid Quick Data Release (Q1) is a powerful dataset to study active galactic nuclei (AGN) and their host galaxies. Deriving their physical properties through multi-component s…
Compliance-Based Sensor Placement for Force Sensing on a Sensorized Prostate Phantom
Sizhe Tian, Yinoussa Adagolodjo, Jeremie Dequidt
This work presents a compliance-based sensor placement method for force sensing on a sensorized prostate phantom designed for Digital Rectal Examination training. The phantom combi…
Euclid: Disky titans - surprisingly high star formation activity and gas content in two brightest group galaxies at z~0.75
F. Gentile, E. Daddi, D. Elbaz +166
We present the discovery of two disky titans in the first data release of the Euclid satellite. These sources are massive (M>10^11 Msun) star-forming (SFR~20 Msun/yr) discs located…
A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
Thi Xuan Vu
We study the problem of computing the isolated regular solutions of a system \((f_1,\ldots,f_n)\) of \(n\) polynomial equations in \(n\) variables \((X_1, \dots, X_n)\) over a fiel…
Euclid preparation. Three-dimensional galaxy clustering in configuration space: Three-point correlation function estimation
Euclid Collaboration, A. Veropalumbo, M. Moresco +303
Higher-order correlation functions are firmly established as a fundamental tool for the statistical analysis of clustering in modern galaxy surveys. It was demonstrated that they g…
Euclid Quick Data Release (Q1). AstroVink: A vision transformer approach to find strong gravitational lens systems
Euclid Collaboration, S. H. Vincken, K. Rojas +302
We present AstroVink, a vision transformer classifier designed for automated identification of strong lens candidates in Euclid imaging. We build upon the DINOv2 encoder, fine tune…
On two ways to use determinantal point processes for Monte Carlo integration
Guillaume Gautier, Rémi Bardenet, Michal Valko
The standard Monte Carlo estimator of relies on independent samples from and has variance of order . Replacing the samples with a…
Euclid preparation. Galaxy power spectrum and bispectrum modelling
Euclid Collaboration, K. Pardede, A. Eggemeier +306
Higher-order correlation functions of the large-scale galaxy distribution offer access to information beyond that contained in standard 2-point statistics such as the power spectru…
Euclid. Populating a dark universe with galaxies using SciPIC
Euclid Collaboration, E. J. Gonzalez, J. Carretero +305
High-fidelity galaxy mocks are crucial for validating analysis pipelines and for cosmological inference. In this context, the Science Pipeline at PIC (SciPIC) is a pipeline specifi…
Euclid Quick Data Release (Q1). The Strong Lensing Discovery Engine F -- Bright and low-redshift strong lenses
Euclid Collaboration, L. R. Ecker, M. Fabricius +346
We present 72 additional galaxy-galaxy strong lenses that complement the sample discovered in the Euclid Quick Release 1 data (63.1 deg^2) of the Strong Lens Discovery Engine (SLDE…
Euclid preparation. Far-infrared predictions for Euclid galaxy catalogues: cluster, protocluster, and field
Euclid Collaboration, A. Parmar, D. L. Clements +297
The MAMBO mock galaxy catalogue, based on the Millennium Simulation with empirically assigned galaxy properties, provides predictions of FIR fluxes and physical parameters of Eucli…
Euclid preparation. Simulated galaxy catalogues for non-standard cosmological models
Euclid Collaboration, M. -A. Breton, P. Fosalba +289
Stage-IV galaxy surveys will provide the opportunity to test cosmological models and the underlying theory of gravity with unparalleled precision. In this context, it is crucial fo…
It's Alive! What a Live Object Environment Changes in Software Engineering Practice
Julián Grigera, Steven Costiou, Juan Cruz Gardey +1
Tools shape our mind. This is why it is important to have extensible and flexible tools for developers to adapt to their needs. Reasoning about programs in the abstract -- by imagi…
Impact of diversity on bounded archives for multi-objective local search
Amadeu A. Coco, Cyprien Borée, Julien Baste +2
This work tackles two critical challenges related to the development of metaheuristics for Multi-Objective Optimization Problems (MOOPs): the exponential growth of non-dominated so…
Euclid: Galaxy SED reconstruction in the PHZ processing function: impact on the PSF and the role of medium-band filters
Euclid Collaboration, F. Tarsitano, C. Schreiber +301
Weak lensing surveys require accurate correction for the point spread function (PSF) when measuring galaxy shapes. For a diffraction-limited PSF, as arises in space-based missions,…