Equipes de recherche du centre Nancy
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
Modélisation, simulation et analyse numérique
Modélisation, optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- CARTE - Théorie des calculs adverses, et sécurité
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- PAREO - Ilôts formels: fondements et applications
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Algorithmique, calcul certifié et cryptographie
- CARAMEL - Cryptologie, Arithmétique : Matériel et Logiciel
- VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces
Systèmes embarqués et temps réel
Architecture et compilation
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
Systèmes et services distribués
Calcul distribué et applications à très haute performance
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
Interaction et visualisation
Représentation et traitement des données et des connaissances
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation, modélisation et commande pour le vivant
- BIGS - Biologie, génétique et statistiques
- MASAIE - Outils et modèles de théorie du contrôle non-linéaire pour l'épidémiologie et l'immunologie
Images, modèles et algorithmes pour la médecine et les neurosciences
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel
