Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet GAMBLE Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien La géométrie algorithmique classique traite habituellement d'objets linéaires dans un cadre...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
Equipe-projet HYBRID 3D interaction with virtual environments using body and mind Interaction 3D avec les environnements virtuels basée sur le corps et l'esprit. Les travaux d'Hybrid...
Equipe-projet INBIO Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires InBio est une équipe de recherche interdisciplinaire combinant des approches de biologie...
Equipe-projet INOCS Optimisation intégrée pour problèmes à structure complexe Un problème d’optimisation consiste à trouver une meilleure solution parmi un ensemble de solutions...
Equipe-projet MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Equipe-projet MARACAS Modèle et algorithmes pour des systèmes de communication fiables MARACAS associe à la théorie des communications et à la théorie de l'information, des approches de...
Equipe-projet NEO Ingénierie et Opérations des Réseaux L'équipe se positionne à l'intersection de la Recherche Opérationnelle et de la Théorie des Réseaux...
Equipe-projet ODYSSEY Océan Dynamique Observations Analyse The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
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 PACAP Pushing Architecture and Compilation for Application Performance PACAP: Performance des Applications par la Compilation et l'Architecture des Processeurs En bref, l...
Equipe-projet PASTA Processus Aléatoires Spatio-Temporels et Applications PASTA Processus Aléatoires Spatio-Temporels et leurs Applications PASTA est une équipe de recherche...
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...