Equipe-projet ASTRAL Méthodes avancées d’apprentissage statistique et de contrôle Les activités de recherche de notre équipe se concentrent principalement sur le développement de...
Equipe-projet ATLANTIS Modélisation et méthodes numériques pour le calcul d'interactions onde-matière nanostructurée ATLANTIS est une équipe-projet commune entre Inria, le CNRS et l'Université Côte d'Azur, grâce à son...
Equipe-projet AUCTUS Des robots au service de l'humain au travail L'objectif de l'équipe Auctus est d’ imaginer les robots collaboratifs du futur. La capacité d...
Equipe-projet AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet BIOVISION Vision biologique : modèles intégratifs et systèmes d’aide à la vision pour les déficients visuels Voir est une fonction essentielle pour appréhender le monde et exécuter des tâches complexes. C'est...
Equipe-projet BOREAL Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre...
Equipe-projet CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
Equipe-projet CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque L'équipe Carmen developpe des modèles mathématiques et des méthodes numériques d'ordre élevées pour...
Equipe-projet CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...
Equipe-projet COATI Combinatoire, Optimisation et Algorithmes pour les Télécommunications L'objectif de COATI est de développer des méthodes et outils algorithmiques qui s'appliquent en...
Equipe-projet COMPO Méthodes computationnelles pour la prise en charge thérapeutique en oncologie L'équipe-projet commune COMPO Inria-Inserm développe de nouveaux modèles mathématiques permettant d...
Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...
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 EDGE Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation Notre activité de recherche se situe dans le domaine de la recherche opérationnelle (R.O.) et de la...