948 citations
- Centre National de la Recherche ScientifiqueFR158 papers
- Pôle de recherche et d'enseignement supérieur Université Paris-EstFR126 papers
- Université Paris-Est CréteilFR121 papers
- Université Paris CitéFR52 papers
- Laboratoire d'Informatique Gaspard-MongeFR50 papers
- École nationale des ponts et chausséesFR40 papers
- Laboratoire Interuniversitaire des Systèmes AtmosphériquesFR31 papers
- Laboratoire Techniques, Territoires et SociétésFR29 papers
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR27 papers
- Université Paris-SaclayFR26 papers
- CERMICSFR25 papers
- Institut national de recherche en sciences et technologies du numériqueFR23 papers
10 papers · 1 filter
Innovative Design of Multi-functional Supernumerary Robotic Limbs with Ellipsoid Workspace Optimization
Jun Huo, Jian Huang, Jie Zuo +4
Supernumerary robotic limbs (SRLs) offer substantial potential in both the rehabilitation of hemiplegic patients and the enhancement of functional capabilities for healthy individu…
Space-time reversible graph rewriting
Pablo Arrighi, Marin Costes, Luidnel Maignan
In the mathematical tradition, reversibility requires that the evolution of a dynamical system be a bijective function. In the context of graph rewriting, however, the evolution is…
Bridging Threat Models and Detections: Formal Verification via CADP
Dumitru-Bogdan Prelipcean, Cătălin Dima
Threat detection systems rely on rule-based logic to identify adversarial behaviors, yet the conformance of these rules to high-level threat models is rarely verified formally. We…
Ramsey-like theorems and immunities
Ahmed Mimouni, Ludovic Patey
A Ramsey-like theorem is a statement of the form ``For every 2-coloring of , there exists an infinite set~ such that avoids some pat…
Ramsey-like theorems for separable permutations
Quentin Le Houérou, Ludovic Patey
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some patter…
Cloud and Haze Parameterization in Atmospheric Retrievals: Insights from Titan's Cassini Data and JWST Observations of Hot Jupiters
Quentin Changeat, Deborah Bardet, Katy Chubb +4
Context: Before JWST, telescope observations were not sensitive enough to constrain the nature of clouds in exo-atmospheres. Recent observations, however, have inferred cloud signa…