Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...
Equipe-projet STATIFY Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension L’équipe STATIFY s’intéresse à la modélisation statistique de systèmes mettant en jeu des données...
Equipe-projet TITANE Modélisation géométrique d'environnements 3D La modélisation et le traitement de la géométrie s'articulent autour de trois objectifs principaux...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...
Equipe-projet AISTROSIGHT La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique L'objectif global est de développer des méthodes numériques innovantes pour la neuropharmacologie...
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 AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Equipe-projet BIVWAC Construire des visualisations immersives pour favoriser la compréhension, la prise de conscience, et le bien-être Bivwac est une équipe-projet commune entre le CNRS et Inria, en lien avec le LaBRI (UMR CNRS -...
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 CANARI Analyse cryptographique et arithmétique Le but de l'équipe Canari est de développer des algorithmes efficaces pour traiter les objets du...
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 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...