Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
Project-team MUSICS MUltiScale Interacting Cell Systems Our project is devoted to multi-scale modeling in life sciences, and more specifically to the...
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 QINFO Optimal Information Processing with Quantum Devices Information-processing devices that can take advantages of the laws of quantum theory have an...
Project-team QUANTIC QUANTum Information Circuits The activities of the QUANTIC team are defined at the theoretical and experimental border of the...
Project-team SIMBIOTX SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems The overall objective of SIMBIOTX is the implementation of computational models and tools with...
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 SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...
Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team TRIPOP Modeling, Simulation and Control of Nonsmooth Dynamical Systems The TRIPOP team (2018- ) is a joint research team of Inria Grenoble Rhone-Alpes and of the...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...