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 TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet LIFEWARE Computational systems biology and optimization Le projet Lifeware vise à développer des méthodes formelles pour comprendre la machinerie cellulaire...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Equipe-projet POEMS Propagation des Ondes : Etude Mathématique et Simulation L'activité générale de l'équipe est orientée vers la conception, l'analyse et l'approximation...
Equipe-projet IDEFIX Solution d’ Equations Differentielles pour l’Imagerie et la physique L'activité de recherche de notre équipe est dédiée à la conception, l'analyse et l'implémentation de...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
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