Equipe-projet OURAGAN OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs L'équipe OURAGAN se concentre sur le transfert de méthodes de calcul algébriques vers quelques...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
Equipe-projet PREMEDICAL Médecine de précision par intégration de données et inférence causale L'équipe Premedical ( Pr ecision Me dicine by D ata I ntegration and Ca usal L earning) est une...
Equipe-projet PRIVATICS Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information L'équipe-projet Inria PRIVATICS s'intéresse depuis sa création en 2014 au respect de la vie privée...
Equipe-projet QINFO Traitement optimal de l'information avec des dispositifs quantiques Les dispositifs de traitement de l'information qui peuvent tirer parti des lois de la théorie...
Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
Equipe-projet SIMBIOTX SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires L'objectif global de SIMBIOTX est la mise en œuvre de modèles et d'outils numériques ayant des...
Equipe-projet STACK Pile logicielle pour les infrastructures massivement géo distribuées L'équipe STACK s'attaque aux défis liés à la gestion et l'utilisation avancées des infrastructures...
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 VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...