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 STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, en analyse de données, et...
Equipe-projet ELAN modELisation de l'Apparence des phénomènes Non-linéaires ELAN est une équipe de modélisation et de simulation physique, au positionnement original à la...
Equipe-projet RAPSODI Approximations numériques fiables pour les systèmes dissipatifs RAPSODI est une équipe commune entre Inria, l’Université de Lille et le CNRS. L’activité de l’équipe...
Equipe-projet CHROMA Robots coopératifs et adaptés à la présence humaine en environnements L'équipe Chroma contribue à la mise en place de méthodologies générales pour la perception et la...
Equipe-projet TADAAM Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance L'objectif du projet TADaaM est de concevoir et de construire une couche service à l'échelle du...
Equipe-projet KOPERNIC Adapter le raisonnement pire cas à différentes criticités Un système cyber-physique (SCP) est formé de composants cyber (informatique) et de composants...
Equipe-projet LEMON Littoral, Environnement, Modèles et Outils Numériques LEMON est une équipe-projet commune entre le centre Inria Sophia-Antipolis Méditerranée...
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 EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria , à...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...