Equipes de recherche du centre Rennes
Mathématiques appliquées, calcul et simulation
Modèles et méthodes stochastiques
- ASPI - Applications statistiques des systèmes de particules en interaction
- I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
Modélisation, simulation et analyse numérique
Algorithmique, programmation, logiciels et architectures
Programmation, vérification et preuves
- CELTIQUE - Certification de logiciel par analyse sémantique
- SUMO - SUpervision of large MOdular and distributed systems
- TASC - Theory, Algorithms and Systems for Constraints
Systèmes embarqués et temps réel
- ESPRESSO - Environnement de spécification de programmes réactifs synchrones
- S4 - Synthèse et supervision de systèmes, scénarios
Architecture et compilation
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
Systèmes et services distribués
- ACES - Informatique diffuse et systèmes embarqués
- ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques
- ASCOLA - Langages d'aspects et de composition
- ATLANMOD - Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- MYRIADS - Conception et mise en oeuvre de systèmes distribués autonomes
- TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels
Calcul distribué et applications à très haute performance
Perception, cognition, interaction
Vision, Perception et interprétation multimédia
- SIROCCO - Analysis representation, compression and communication of visual data
- TEXMEX - Techniques d'exploitation des données multimédia
Interaction et visualisation
- HYBRID - 3D interaction with virtual environments using body and mind
- MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
Représentation et traitement des données et des connaissances
Robotique
Langue, parole et audio
STIC pour les sciences de la vie et de l'environnement
Observation et modélisation pour les sciences de l'environnement
- FLUMINANCE - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
- SAGE - Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
Biologie numérique et bioinformatique
- DYLISS - Dynamics, Logics and Inference for biological Systems and Sequences
- GENSCALE - Scalable, Optimized and Parallel Algorithms for Genomics
- SERPICO - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
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
