INRIA Rennes - Bretagne Atlantique Research Centre

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme Bio : Biological systems

• SYMBIOSE - Biological systems and models, bioinformatics and sequences
• VISAGES - Vision, Action and information manaGement System in health

Theme Cog : Cognitive systems

• BUNRAKU - Perception, decision and action of real and virtual humans in virtual environments and impact on real environments
• DREAM - Diagnosing, Recommending Actions and Modelling
• LAGADIC - Visual servoing in robotics, computer vision, and augmented reality
• METISS - Speech and sound data modeling and processing
• TEMICS - Digital image processing, modeling and communication
• VISTA - Spatio-Temporal Vision and Learning

Theme Com : Communicating systems

• ACES - Ambient computing and embedded systems
• ADEPT - Algorithms for Dynamic Dependable Systems
• ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
• CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
• CAPS - Compilation, parallel architectures and system
• DISTRIBCOM - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
• ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
• OBASCO - Objects, aspects and components
• S4 - System synthesis and supervision, scenarios
• TRISKELL - Reliable and efficient component based software engineering
• VERTECS - Verification models and techniques applied to testing and control of reactive systems

Theme Num : Numerical systems

• ASPI - Applications of interacting particle systems to statistics
• IPSO - Invariant Preserving SOlvers
• PARIS - Programming distributed parallel systems for large scale numerical simulation
• SAGE - Simulations and Algorithms on Grids for Environment
• SISTHEM - Statistical Inference for STructural HEalth Monitoring

Theme Sym : Symbolic systems

• ATLAS - Complex data management in distributed systems
• LANDE - Software design and validation
• TEXMEX - Multimedia content-based indexing