Centre de recherche INRIA Nancy - Grand Est

Équipes de recherche

Légende :

• Équipe-projet INRIA

Thème Cog : Systèmes cognitifs

• ALICE - Géometrie et Lumière
• CORTEX - Intelligence neuromimétique
• ECOO - Environnement pour la coopération
• MAGRIT - Augmentation visuelle d'environnements complexes
• MAIA - Machine intelligente et autonome
• MERLIN - Méthodes pour l'ergonomie des logiciels interactifs
• ORPAILLEUR - Représentation de connaissances, raisonnements
• PAROLE - Analyse, perception et reconnaissance de la parole
• QGAR - Recherche d'information graphique par l'analyse et la reconnaissance

Thème Com : Systèmes communicants

• MADYNES - Supervision des réseaux et services dynamiques
• TRIO - Temps réel et interopérabilité

Thème Num : Systèmes numériques

• ALGORILLE - Algorithmes pour la Grille
• CALVI - Calcul scientifique et visualisation
• CORIDA - Contrôle robuste infini-dimensionnel et applications
• TOSCA - Simuler et calibrer des modèles stochastiques

Thème Sym : Systèmes symboliques

• CACAO - Courbes, Algèbre, Calculs, Arithmétique des Ordinateurs
• CALLIGRAMME - Logique linéaire, réseaux de démonstration et grammaires catégorielles
• CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
• MOSEL - Développement prouvé de systèmes informatiques
• TALARIS - Traitement Automatique des Langues : représentation, inférence et sémantique
• VEGAS - Algorithmes géométriques effectifs pour la visibilité et les surfaces