Centre de recherche INRIA Saclay - Île-de-France

Équipes de recherche

Légende :

• Équipe-projet INRIA

Thème Bio : Systèmes biologiques

• APIS - Analyse de Processus, Images et Signaux irréguliers,applications en biologie et médecine.
• DIGIPLANTE - Modélisation de la croissance et de l'architecture des plantes
• GALEN - Modélisation d’organes à travers l’Extraction, la Représentation et la Compréhension du Contenu des Images Médicales
• PARIETAL - Modélisation de la structure, du fonctionnement et de la variabilité du cerveau à partir d'IRM à haut champ

Thème Cog : Systèmes cognitifs

• AVIZ - Analyse Visuelle
• IN-SITU - Interaction située
• SELECT - Sélection de modèles en apprentissage statistique
• TAO - Thème Apprentissage et Optimisation

Thème Com : Systèmes communicants

• ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
• ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• COMETE - Concurrence, Mobilité et Transactions
• HIPERCOM - Communication hautes performances

Thème Num : Systèmes numériques

• ALIEN - ALgèbre pour Identification et Estimation Numériques
• COMMANDS - Controle, Optimisation, Modèles, Méthodes et Applications pour les Systèmes Dynamiques non linéaires
• DEFI - Détermination de Formes Et Identification
• GRAND-LARGE - Calcul parallèle et distribué à grande échelle
• MAXPLUS - Algèbres max-plus et mathématiques de la décision

Thème Sym : Systèmes symboliques

• DAHU - Verification en bases de données
• GEMO - Intégration de données et de connaissances distribuées sur le Web
• GEOMETRICA - Calcul géométrique
• PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
• PROVAL - Preuve de programmes
• SECSI - Sécurité des systèmes d'information
• TANC - Théorie algorithmique des nombres pour la cryptologie
• TYPICAL - Types, logique et calcul