Inria
Inria Channel
Recherche
Équipes de recherche
- Amib - Algorithmes et Modèles pour la Biologie Intégrative
- Aviz - Analyse Visuelle
- Comete - Concurrence, Mobilité et Transactions
- Commands - Contrôle, Optimisation, Modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
- Dahu - Vérification en bases de données
- Defi - Détermination de Formes Et Identification
- Digiplante - Modélisation de la croissance et de l'architecture des plantes
- Disco - Systèmes dynamiques interconnectés dans des environnements complexes
- Galen - Modélisation d’organes à travers l’Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
- Geco - Geometric Control Design
- Geometrica - Calcul géométrique
- Grand-Large - Calcul parallèle et distribué à grande échelle
- Hipercom - Communication hautes performances
- In-Situ - Interaction située
- Leo - Données et connaissances hétérogènes et distribuées
- Maxplus - Algèbres max-plus et mathématiques de la décision
- Mexico - Modeling and Exploitation of Interaction and Concurrency
- Parietal - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ
- Parsifal - Recherche de preuve et raisonnement sur des spécifications logiques
- Proval - Preuve de programmes
- Regularity - Modélisation probabiliste de l'irrégularité et application à la gestion des incertitudes
- Secsi - Sécurité des systèmes d'information
- Select - Sélection de modèles en apprentissage statistique
- Tanc - Théorie algorithmique des nombres pour la cryptologie
- Tao - Thème Apprentissage et Optimisation
- Typical - Types, logique et calcul
Mots-clés : Saclay - Île-de-France Équipes de recherche
