Equipe-projet ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Notre équipe est intégrée au sein de l'Institut du Cerveau (ICM) et est commune avec le CNRS, l...
Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
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 AVIZ Analyse et visualisation Les sciences - ainsi que beaucoup d'autres domaines -subissent actuellement une évolution...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet BONUS Optimisation de grande taille et calcul large échelle Omniprésente dans de nombreuses applications scientifiques et d'ingénierie, l’optimisation massive...
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 CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE rassemble depuis Mai 2016 des chercheurs et enseignants-chercheurs venus de différents...
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 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 CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts Des EDPs à la simulation numérique certifiée: ce projet a pour but de proposer une méthodologie...
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 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 DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...