Inria
Inria.fr
Inria Channel
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
- 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
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Architecture et compilation
Réseaux, systèmes et services, calcul distribué
Réseaux et télécommunications
- DIONYSOS - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
- DISTRIBCOM - Algorithmes itératifs et distribués pour la gestion de systèmes de 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
- MIMETIC - Analysis-Synthesis Approach for Virtual Human Simulation
- VR4I - Virtual Reality for Improved Innovative Immersive Interaction
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
