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 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 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 GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Malgré d’importants progrès en synthèse d’images, interface homme-machine et vision par ordinateur...
Equipe-projet MACBES Modélisation et commande de systèmes biologiques et écologiques Macbes est l'une des deux équipes-projets faisant suite à l'équipe-projet Biocore. Macbes est une...
Equipe-projet PREMEDICAL Médecine de précision par intégration de données et inférence causale L'équipe Premedical ( Precision Medicine by Data Integration and Causal Learning) est une équipe...
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...
24–25 juin 2024 Communication / Événement Conférence "Les potentiels évoqués cérébraux dans le contexte de la neurochirurgie" Lieu : Corum