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 CAMUS Compilation pour les Architectures MUlti-processeurs et multi-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
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 CELESTE statistique mathématique et apprentissage La science des données — un vaste domaine comprenant la statistique, l'apprentissage automatique, le...
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 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 ECUADOR Transformations et outils informatiques pour le calcul scientifique L'équipe ECUADOR étudie la Différentiation Algorithmique (DA) de programmes, c'est à dire la...
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...
Equipe-projet EVREF Évolution réflexive des systèmes logiciels éternels The objectives of Evref are to study and support the continuous evolution of large software systems...