Centre de recherche INRIA Rennes - Bretagne Atlantique

Équipes de recherche

Légende :

• Équipe-projet INRIA

Thème Bio : Systèmes biologiques

• SYMBIOSE - Systèmes et modèles biologiques, bioinformatique et séquences
• VISAGES - Vision, Action et Gestion d'informations en Santé

Thème Cog : Systèmes cognitifs

• BUNRAKU - Perception, décision et action d'humains réels et virtuels au sein d'univers virtuels et l'impact sur le monde réel.
• DREAM - Diagnostic, recommandation d'actions et modélisation
• LAGADIC - Asservissement visuel en robotique, vision et animation
• METISS - Modélisation et expérimentation pour le traitement des informations et des signaux sonores
• TEMICS - Traitement, modélisation et communication d'images numériques
• VISTA - Vision spatio-temporelle et apprentissage

Thème Com : Systèmes communicants

• ACES - Informatique diffuse et systèmes embarqués
• ADEPT - Algorithmes pour des systèmes dynamiques sûrs
• ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
• ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
• CAIRN - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
• CAPS - Compilation, architectures parallèles et système
• DISTRIBCOM - Algorithmes itératifs et distribués pour la gestion de réseaux et le traitement du signal en télécommunications
• ESPRESSO - Environnement de spécification de programmes réactifs synchrones
• OBASCO - Objets, aspects et composants
• S4 - Synthèse et supervision de systèmes, scénarios
• TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels
• VERTECS - Modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs

Thème Num : Systèmes numériques

• ASPI - Applications statistiques des systèmes de particules en interaction
• IPSO - Méthodes numériques préservant les invariants
• PARIS - Programmation des systèmes parallèles et distribués pour la simulation numérique à grande échelle
• SAGE - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement

Thème Sym : Systèmes symboliques

• ATLAS - Gestion des données complexes dans les systèmes distribués
• LANDE - Conception et validation de logiciels
• TEXMEX - Techniques d'exploitation des données multimédia