Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
Project-team COMPACT COMPression of mAssively produCed visual daTa In a context of massively produced and viewed visual data, the main objective of the COMPACT team is...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
Project-team GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team HEKA Health data- and model- driven approaches for Knowledge Acquisition HeKA is a common project-team of Inria, Inserm and Université Paris Cité. HeKA is jointly affiliated...
Project-team HYBRID 3D interaction with virtual environments using body and mind The research activity of Hybrid team belongs to the field of Virtual Reality and 3D interaction with...
Project-team I4S Statistical Inference for Structural Health Monitoring The overall objective of this project-team is the development of Structural Health Monitoring (SHM)...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Project-team LEMON Littoral Environment: M0dels and Numerics LEMON is a research team between Inria Sophia-Antipolis Méditerranée, Hydrosciences Montpellier (HSM...