Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
© RandOpt - CMA-ES Optimisation CMA-ES : le logiciel d’optimisation pour la biologie, la médecine et l'ingénierie 18/03/2024
© Freestocks sur Unsplash Industries du futur Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 05/03/2024
Portrait Estelle Cognacq à gauche - © Christophe Abramowitz - Radio France / Portrait Ioana Manolescu à droite - ©Ioana Manolescu Culture et société Fact checking : l’intelligence artificielle au service des journalistes 06/02/2024
© Inria / Ill. Marie Spénale Médiation scientifique Marie Spénale dessine les algorithmes des réseaux sociaux avec Inria 24/10/2023
© GammaO - Simulation d'un avion supersonique. On voit dans le fond de l’image l'adaptation du maillage sur les ondes de choc émises par l'avion. Partenariats industriels Envol de la simulation numérique de précision avec GammaO 02/10/2023
Rails de tramway partiellement enfouis dans le sol - © Unsplash - Chris Curry Industries du futur Les mathématiques appliquées à la recherche des défauts de structures 23/03/2023
© Inria / Photo D. Betzinger Startups Partenariat QuaCS-Quandela : lumière sur les algorithmes quantiques 02/12/2022
Hôpital Pédiatrique de Yangon, Birmanie. Les médecins analysent les résultats du scanner cérébral d'un jeune patient souffrant d'encéphalite © Institut Pasteur/Pyay Kyaw Myint Analyse de données Encéphalite : comment les chercheurs font parler les chiffres 29/09/2022