Equipe-projet DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...
Equipe-projet M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (prononcer "médicime") est une équipe-projet commune avec l'Ecole Polytechnique, au sein du...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet PETRUS Cloud personnel sécurisé Nous assistons à une accumulation exponentielle de données personnelles sur des serveurs centraux...
Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet MERGE Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence MERGE rassemble des chercheurs travaillant en mathématiques - plus précisément sur les processus...
Equipe-projet GAMMAO Génération Adaptative de Maillage et Méthodes numériques Avancées Gamma est une équipe de recherche spécialisée dans les technologies de maillage avancées et les...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
© Inria / B. Fourrier Jumeau numérique Santé : un écosystème européen consacré au jumeau numérique 13/05/2024
© Paris-Saclay SPRING 16–17 mai 2024 Startup Studio Retrouvez Inria à la 7e édition de Paris-Saclay SPRING les 16 et 17 mai 2024
© Peterschreiber.media sur Stock Adobe Science du vivant Comprendre le vieillissement biologique grâce aux mathématiques 02/04/2024
© 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