• 
  Fabienne Jézéquel, Théo Mary. Probabilistic estimation of the accuracy of inner products and application to stochastic validation. 2024. ⟨hal-04554459⟩
• 
  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⟩
• 
  Mathieu Pont, Julien Tierny. Wasserstein Auto-Encoders of Merge Trees (and Persistence Diagrams). IEEE Transactions on Visualization and Computer Graphics, In press, pp.1-16. ⟨10.1109/TVCG.2023.3334755⟩. ⟨hal-04552330⟩
• 
  Eve Le Guillou, Michael Will, Pierre Guillou, Jonas Lukasczyk, Pierre Fortin, et al.. TTK is Getting MPI-Ready. IEEE Transactions on Visualization and Computer Graphics, In press, pp.1-18. ⟨10.1109/TVCG.2024.3390219⟩. ⟨hal-04552256⟩
• 
  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⟩
• 
  Spyros Angelopoulos, Shahin Kamali. Contract Scheduling with Predictions. Journal of Artificial Intelligence Research, 2023, 77, pp.395-426. ⟨10.1613/jair.1.14117⟩. ⟨hal-04032366v3⟩
• 
  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⟩

4 922

8 470