• 
  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⟩
• 
  Stef Graillat, Fabienne Jézéquel, Theo Mary, Roméo Molina, Daichi Mukunoki. Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product. 2024. ⟨hal-04519666⟩
• 
  Karim Ghallab, Tewfik Ziadi, Zaak Chalal. Migrating Individual Applications into Software Product Lines using the Mobioos Forge Platform. Asia Pacific Software Engineering Conference, Dec 2023, Seoul, South Korea. ⟨hal-04518671⟩
• 
  Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, et al.. An Experience Report on the Optimization of the Product Configuration System of Renault *. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.197-206, ⟨10.1109/ICECCS59891.2023.00032⟩. ⟨hal-04518663⟩
• 
  Fabrice Lefevre, Claude Montacié, Marie-Josée Caraty. K-Nearest Neighbours Estimator in a HMM-Based System. NATO Advanced Study Institute on Computational Models of Speech Pattern Processing, Jul 1997, St. Helier, Jersey, United Kingdom. pp.96-101, ⟨10.1007/978-3-642-60087-6_10⟩. ⟨hal-01574484⟩

4 917

8 467