Equipes de recherche du centre Saclay
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
- REGULARITY - Modélisation probabiliste de la régularité et application à la gestion des incertitudes
Modélisation, simulation et analyse numérique
- DEFI - Détermination de Formes Et Identification
- POEMS - Propagation des Ondes : Étude Mathématique et Simulation
Optimisation, apprentissage et méthodes statistiques
- SELECT - Sélection de modèles en apprentissage statistique
- TAO - thème Apprentissage et Optimisation
Modélisation, optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- COMETE - Concurrence, Mobilité et Transactions
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- SECSI - Sécurité des systèmes d'information
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- TYPICAL - Types, logique et calcul
Algorithmique, calcul certifié et cryptographie
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
Calcul distribué et applications à très haute performance
Perception, cognition, interaction
Interaction et visualisation
Représentation et traitement des données et des connaissances
STIC pour les sciences de la vie et de l'environnement
Observation, modélisation et commande pour le vivant
Biologie numérique et bioinformatique
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
