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 SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet ANGE Analyse Numérique, Géophysique et Environnement Les activités de recherche menées au sein de l'équipe ANGE mêlent développement d'outils...
Equipe-projet PRIVATICS Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information L'équipe-projet Inria PRIVATICS s'intéresse depuis sa création en 2014 au respect de la vie privée...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...
Equipe-projet ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES est un groupe de recherche joint entre INRIA et le Laboratoire J.L. Lions de Sorbonne...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet LINKMEDIA Creating and exploiting explicit links between multimedia fragments Un des défis du multimédia aujourd'hui est celui de la sensibilité au contexte ( context awareness )...
Equipe-projet MATHERIALS MATHematics for MatERIALS L'équipe MATHERIALS a pour objectif de mettre au point des méthodes numériques performantes et...
Equipe-projet DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau L’équipe DIANA mène des recherches dans le domaine des réseaux, et en particulier sur la conception...
Equipe-projet MULTISPEECH Speech Modeling for Facilitating Oral-Based Communication MULTISPEECH est une équipe-projet commune de l’ Université de Lorraine , d’ Inria et du CNRS . Elle...
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 PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...