24 080

33 492

• 
  Juan Muglia, Stefan Mulitza, Janne Repschläger, Andreas Schmittner, Lester Lembke-Jene, et al.. A global synthesis of high-resolution stable isotope data from benthic foraminifera of the last deglaciation. Scientific Data , 2023, 10 (1), pp.131. ⟨10.1038/s41597-023-02024-2⟩. ⟨hal-04041172⟩
• 
  Tiia Luostarinen, Kaarina Weckström, Jens Ehn, Michelle Kamula, Amanda Burson, et al.. Seasonal and habitat-based variations in vertical export of biogenic sea-ice proxies in Hudson Bay. Communications Earth & Environment, 2023, 4 (1), pp.78. ⟨10.1038/s43247-023-00719-3⟩. ⟨hal-04104551⟩
• 
  Mathieu Florence, Giancarlo Lucchini Arteche, Diego Izquierdo. On composition of torsors. International Mathematics Research Notices, In press. ⟨hal-04012108⟩
• 
  Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18. ⟨hal-04098856⟩
• 
  Jean Vassoyan, Jill-Jênn Vie, Pirmin Lemberger. Towards Scalable Adaptive Learning with Graph Neural Networks and Reinforcement Learning. EDM 2023 - 16th International Conference on Educational Data Mining, Jul 2023, Bangalore, India. ⟨hal-04108408⟩
• 
  Macarena Flores González, Elann Lesnes. Pre-service teachers' difficulties with the semiotic representation of the decimal number line. 13th Congress of the European Society for Research in Mathematics Education, Alfréd Rényi Institute of Mathematics; Eötvös Loránd University, Jul 2023, Budapest, Hungary. ⟨hal-04102100⟩
• 
  Pierre-Alexandre Bliman, Alain Rapaport. Control theory perspectives on mathematical epidemiology. IFAC World Congress 2023 - 22nd World Congress of the International Federation of Automatic Control, Jul 2023, Yokohama, Japan. 3p. ⟨hal-04064515⟩
• 
  Pierre-Alexandre Bliman, Alain Rapaport. On the problem of minimizing the epidemic final size for SIR model by social distancing. IFAC World Congress 2023 - 22nd World Congress of the International Federation of Automatic Control, IFAC - International Federation of Automatic Control, Jul 2023, Yokohama, Japan. ⟨hal-04063930⟩
• 
  Arthur Filoche, Julien Brajard, Anastase Charantonis, Dominique Béréziat. Learning 4DVAR inversion directly from observations. Workshop on Machine Learning and Data Assimilation for Dynamical Systems (MLDADS), International Conference on Computational Science (ICCS), Jul 2023, Prague, Czech Republic. ⟨hal-03863390v2⟩
• 
  Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey. Concurrent Realizability on Conjunctive Structures. FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. ⟨hal-04083002v2⟩