Equipe-projet CALISTO Approches stochastiques pour les écoulements complexes et l’environnement La modélisation de la turbulence et la dynamique des particules sont en jeu dans de nombreuses...
Equipe-projet CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, la...
Equipe-projet CEDAR Analyse et traitement de données complexes à grande échelle Les applications à usage intensif de données de présentent un très grand degré d'hétérogénéité, dû...
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 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 COMMEDIA Mathématiques et calcul scientifique pour les applications bio-médicales L’activité de recherche de COMMEDIA est axée sur la simulation numérique d'écoulements bio-fluides...
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 DATAMOVE Mouvements de données pour le calcul haute performance Aujourd'hui les plus grands supercalculateurs (classement du Top500) sont composés de centaines de...
Equipe-projet DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
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 EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
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...