Matthias Gille Levenson, Celian Ringwald, Marie Flesch, Jennifer Isasi, Sofia Papastamkou, et al.. Connecter les chapitres linguistiques de Programming Historian ? : Premières ébauches d'une table conceptuelle multilingue constituée semi-automatiquement. Humanistica 2024, Association francophone des humanités numériques, May 2024, Meknès, Maroc. ⟨hal-04557817⟩

Juan Pablo Sandoval Alcocer, Harold Camacho-Jaimes, Geraldine Galindo-Gutierrez, Andrés Neyem, Alexandre Bergel, et al.. On the Use of Statistical Machine Translation for Suggesting Variable Names for Decompiled Code: The Pharo Case. Journal of Computer Languages, 2024. ⟨hal-04564690⟩

Pierre Collet, Sylvie Méléard, Jaime San MARTIN. Branching diffusion processes and spectral properties of Feynman-Kac semigroup. 2024. ⟨hal-04544252⟩

Tanguy Navez, Baptiste Liévin, Quentin Peyron, Stefan Escaida Navarro, Olivier Goury, et al.. Design Optimization of a Soft Gripper using Self-Contacts. 2024. ⟨hal-04482015⟩

Ana Alonso Rodríguez, Jessica Camano, Eduardo de Los santos, Francesca Rapetti. Basis for high order divergence-free finite element spaces. 2024. ⟨hal-02429500v2⟩

Pamela Bustamante, Victor Bucarey, Martine Labbé, Vladimir Marianov, Fernando Ordoñez. Playing Stackelberg Security Games in Perfect Formulations. 2024. ⟨hal-04400100⟩

Harold Deivi Contreras, Paola Goatin, Luis Miguel Villada. A two-lane bidirectional nonlocal traffic model. 2024. ⟨hal-04528991⟩

Frederic Mazenc, Gonzalo Robledo, Daniel Sepulveda. A Stability Aanalysis of a Time-Varying Chemostat with Pointwise Delay. Mathematical Biosciences and Engineering, 2024, 21 (2), pp.38. ⟨10.3934/mbe.2024119⟩. ⟨hal-04412087⟩

Cezar-Constantin Andrici, Ștefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, et al.. Securing Verified IO Programs Against Unverified Code in F*. Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.2226-2259. ⟨10.1145/3632916⟩. ⟨hal-04484770⟩

Sebastián Dávila-Gálvez, Martine Labbé, Vladimir Marianov, Fernando Ordoñez, Frédéric Semet. A Mixed-Integer Optimization Formulation for Buyers Formation. 2023. ⟨hal-04347339⟩

Eduardo Charles Vasconcellos, Ronald M Sampaio, André P D Araújo, Esteban Walter Gonzales Clua, Philippe Preux, et al.. Reinforcement-learning robotic sailboats: simulator and preliminary results. NeurIPS 2023 Workshop on Robot Learning Workshop: Pretraining, Fine-Tuning, and Generalization with Large Scale Models, Dec 2023, New Orelans, United States. ⟨hal-04395990⟩

Marie Haghebaert, Béatrice Laroche, Mauricio A. Sepulveda Cortes. Study of the numerical method for an inverse problem of a simplified intestinal crypt. 2023. ⟨hal-04332907⟩

Pablo Escalona, Luce Brotcorne, Bernard Fortz, Mario Ramirez. Fare inspection patrolling under in-station selective inspection policy. Annals of Operations Research, 2023, ⟨10.1007/s10479-023-05670-2⟩. ⟨hal-04398408⟩

Héctor Olivero, Denis Talay. Supplementary Material to ``A hypothesis test for the domain of attraction of a random variable''. 2023. ⟨hal-04266438⟩

Ana Alonso Rodríguez, Jessika Camaño, Eduardo de Los Santos, Francesca Rapetti. Weights for moments' geometrical localization: a canonical isomorphism. 2023. ⟨hal-04443059⟩