Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team PLEIADE Patterns of diversity and networks of function The study of biology associates pattern recognition of diversity with modeling of functional and...
Project-team POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team RAINBOW Sensor-based Robotics and Human Interaction The long-term vision of the Rainbow team is to develop the next generation of sensor-based robots...
Project-team RESIST Resilience and elasticity for security and scalability of dynamic networked systems The RESIST project designs, implements and validates novel models, algorithms and tools for highly...
Project-team ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
Project-team SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
Project-team SISTM Statistics In System biology and Translational Medicine Objectives The challenge is to analyze these BIG DATA to answer clinical and biological questions by...
Project-team STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team STATIFY Bayesian and extreme value statistical models for structured and high dimensional data The STATIFY team specializes in the statistical modeling of systems involving data with a complex...