• 
  Cassio F. Dantas, Emmanuel Soubies, Cédric Févotte. Sphere Refinement in Gap Safe Screening. 2022. ⟨hal-03891840⟩
• 
  Tsung-Hsuan Tsai. Phase transitions in random groups : free subgroups and van Kampen 2-complexes. Probability [math.PR]. Université de Strasbourg, 2022. English. ⟨NNT : 2022STRAD008⟩. ⟨tel-03891750⟩
• 
  Thomas Giletti, Jong-Shenq Guo. Forced waves of a three species predator-prey system with a pair of weak-strong competing preys in a shifting environment. Discrete and Continuous Dynamical Systems - Series B, In press. ⟨hal-03888442v2⟩
• 
  Paul Steffen. Statistical modeling of event probabilities subject on a sports bet : Theory and applications to soccer, tennis and basketball. Statistics [math.ST]. Université de Bordeaux, 2022. English. ⟨NNT : 2022BORD0210⟩. ⟨tel-03891393⟩
• 
  Yannick Forster, Felix Jahn, Gert Smolka. A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory: Proof Pearl. CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575690⟩. ⟨hal-03891390⟩
• 
  Maxime Berger. Le comportement critique de la quasiespèce. Probabilités [math.PR]. Université Paris sciences et lettres, 2021. Français. ⟨NNT : 2021UPSLE033⟩. ⟨tel-03891250⟩
• 
  Michael Goldman, Benoît Merlet. Tensor rectifiable G-flat chains. 2022. ⟨hal-03890966⟩
• 
  Michael Goldman, Benoît Merlet. Set-decomposition of normal rectifiable G-chains via an abstract decomposition principle. 2022. ⟨hal-03890958⟩
• 
  Antoine Perasso, Quentin Richard, Irene Azzali, Ezio Venturino. Well‐posedness, positivity, and time asymptotics properties for a reaction–diffusion model of plankton communities, involving a rational nonlinearity with singularity. Studies in Applied Mathematics, 2021, 146 (1), pp.211-232. ⟨10.1111/sapm.12345⟩. ⟨hal-03881336v2⟩
• 
  Frédéric Cérou, Sofiane Martel, Mathias Rousset. Fluctuations of Rare Event Simulation with Monte Carlo Splitting in the Small Noise Asymptotics. 2022. ⟨hal-03889692⟩
• 
  Corentin Kilque. Optique géométrique multiphasée pour les systèmes hyperboliques de lois de conservation. Systèmes dynamiques [math.DS]. Université Paul Sabatier - Toulouse III, 2022. Français. ⟨NNT : 2022TOU30119⟩. ⟨tel-03890355⟩
• 
  khaled Abou Alfa. TUNNELING EFFECT IN TWO DIMENSIONS WITH VANISHING MAGNETIC FIELDS. 2022. ⟨hal-03890119⟩
• 
  Jérôme Dedecker, Florence Merlevède, Emmanuel Rio. Quadratic transportation cost in the conditional central limit theorem for dependent sequences. 2022. ⟨hal-03890107⟩
• 
  J M Landsberg, L Manivel. Equivariant spaces of matrices of constant rank. 2022. ⟨hal-03889938⟩
• 
  Camille Pouchol, Emmanuel Trélat, Christophe Zhang. Approximate control of parabolic equations with on-off shape controls by Fenchel duality. 2022. ⟨hal-03889865⟩
• 
  Ruishen Zhao. Special cycles on orthogonal Shimura varieties. Number Theory [math.NT]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS200⟩. ⟨tel-03889785⟩
• 
  Frédéric Cérou, Patrick Héas, Mathias Rousset. Entropy minimizing distributions are worst-case optimal importance proposals. 2022. ⟨hal-03889404⟩
• 
  Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine. A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. ⟨hal-03889276⟩
• 
  Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine. Lebesgue Induction and Tonelli's Theorem in Coq. [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.16. ⟨hal-03564379v2⟩
• 
  William Dallaporta. Quadratic forms and Genus Theory. 2022. ⟨hal-03889227⟩

76 099

46 971