Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
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...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet ALMANACH Modélisation et analyse linguistique automatique et humanités computationnelles L'équipe-projet ALMAnaCH ( Automatic Language Modelling and Analysis & Computational Humanities )...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, en analyse de données, et...
Equipe-projet LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...
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 MOSAIC Simulation et Analyse de la morphogenèse in siliCo En collaboration étroite avec nos partenaires biologistes, notre objectif est d'identifier des...
Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
Equipe-projet LEMON Littoral, Environnement, Modèles et Outils Numériques LEMON est une équipe-projet commune entre le centre Inria Sophia-Antipolis Méditerranée...
Equipe-projet SIMSMART SIMulation pARTiculaire de Modèles Stochastiques Simsmart est une équipe de recherche en statistique et probabilités numériques, dédiée à l'étude...
Equipe-projet MUSCA Dynamiques de populations multi-échelles pour des systèmes physiologiques MUSCA (Dynamiques de populations multi-échelles pour des systèmes physiologiques) est une équipe...
Equipe-projet PLATON Quantification des Incertitudes en calcul scientifique pour l’ingénierie PLATON est une équipe-projet Inria commune avec l'École Polytechnique et le CNRS, au sein du CMAP...