Eric Angel, Evripidis Bampis, Fanny Pascual. Algorithmic game theory and scheduling. Teofilo F. Gonzalez. Handbook of Approximation algorithms and metaheuristics, Chapman and Hall/CRC, pp.1299-1318, 2007, 978-1584885504. ⟨10.1201/9781420010749-92⟩. ⟨hal-00341354⟩

Spyros Angelopoulos, Marcin Bienkowski, Christoph Dürr, Bertrand Simon. Contract Scheduling with Distributional and Multiple Advice. The 33rd International Joint Conference in Artificial Intelligence (IJCAI-24), Aug 2024, Jeju Island, South Korea. ⟨hal-04550239⟩

Spyros Angelopoulos, Shahin Kamali, Kimia Shadkami. Online Bin Packing with Predictions *. Journal of Artificial Intelligence Research, 2023, 78, pp.1111-1141. ⟨10.1613/jair.1.14820⟩. ⟨hal-04549514⟩

Damien Jaime, Joyce El Haddad, Pascal Poizat. Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. 21st International Conference on Mining Software Repositories (MSR), Apr 2024, Libonne, Portugal. ⟨hal-04392296⟩

Jean-Pierre Briot, Giordano Cabral, Fabio Cozman. L'Intelligence Artificielle au Brésil. 2024. ⟨hal-04545331⟩

Anissa Kheireddine. Contribution to SAT-based Bounded Model Checking. Computational Complexity [cs.CC]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS566⟩. ⟨tel-04543927⟩

Loïc Balazi, Grégoire Allaire, Pierre Jolivet, Pascal Omnes. Inf-sup stable non-conforming finite elements on tetrahedra with second and third order accuracy. 2024. ⟨hal-04541809⟩

Patrick Amestoy, Alfredo Buttari, Nicholas J Higham, Jean-Yves L’excellent, Théo Mary, et al.. Combining sparse approximate factorizations with mixed precision iterative refinement. ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-29. ⟨10.1145/3582493⟩. ⟨hal-03536031v2⟩

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, et al.. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩. ⟨hal-04536418⟩

Parham Shams. Procedures based on Exchanges and new Relaxations of Envy-Freeness in Fair Division of Indivisible Goods. Artificial Intelligence [cs.AI]. Sorbonne Université, 2023. English. ⟨NNT : 2023SORUS477⟩. ⟨tel-04531057⟩

Gianni Franchi, Andrei Bursuc, Emanuel Aldea, Séverine Dubuisson, Isabelle Bloch. Encoding the Latent Posterior of Bayesian Neural Networks for Uncertainty Quantification. IEEE Transactions on Pattern Analysis and Machine Intelligence, 2024, 46 (4), pp.2027-2040. ⟨10.1109/TPAMI.2023.3328829⟩. ⟨hal-04320979⟩

Gaëlle Guigon, Mathieu Vermeulen, Mathieu Muratet, Thibault Carron. Tangible or digital? A comparison between two tools for designing asymmetric role-playing games for learning. 16th International Conference on Computer Supported Education, May 2024, Angers, France. ⟨hal-04530342⟩

Georges Sadaka, Pierre Jolivet, Efstathios Charalampidis, Ionut Danaila. Parallel finite-element codes for the Bogoliubov-de Gennes stability analysis of Bose-Einstein condensates. 2024. ⟨hal-04528301⟩

Patrick Amestoy, Alfredo Buttari, Nicholas Higham, Jean-Yves L’excellent, Théo Mary, et al.. Five-Precision GMRES-based iterative refinement. SIAM Journal on Matrix Analysis and Applications, 2024, 45 (1), pp.529--552. ⟨10.1137/23M1549079⟩. ⟨hal-03190686v2⟩

Alexandre Heintzmann, Pascale Bendotti, Cécile Rottner. Handling polyhedral symmetries with a dedicated Branch&Cut: application to a knapsack variant. 2024. ⟨hal-04493165v2⟩

Alfredo Buttari, Nicholas J Higham, Théo Mary, Bastien Vieublé. A modular framework for the backward error analysis of GMRES. 2024. ⟨hal-04525918⟩

Arwa Khannoussi, Alexandru-Liviu Olteanu, Patrick Meyer, Nawal Benabbou. A regret-based query selection strategy for the incremental elicitation of the criteria weights in an SRMP model. Operational Research, 2024, 24 (2), pp.12. ⟨10.1007/s12351-024-00823-y⟩. ⟨hal-04519903⟩

G. Hutzler, Valérie Renault. Les Jardins de Données: Sociétés d'agents pour la visualisation de Systèmes complexes. ERGO-IHM'2000, 2000, Biarritz, France. pp.94-101. ⟨hal-01434671⟩

Marc Baboulin, Simplice Donfack, Oguz Kaya, Theo Mary, Matthieu Robeyns. Mixed precision randomized low-rank approximation with GPU tensor cores. 2024. ⟨hal-04520893⟩

Léo Colisson, Damian Markham, Raja Yehia. All graph state verification protocols are composably secure. 2024. ⟨hal-04519928⟩