Project-team EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
Project-team EPIONE E-Patient: Images, Data & MOdels for e-MediciNE Description Our long-term goal is to contribute to the development of what we call the e-patient...
Project-team EVREF Reflective Evolution of Ever-running Software Systems The objectives of Evref are to study and support the continuous evolution of large software systems...
Project-team HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques The Hycomes team-project focuses on research topics related to cyberphysical systems design: Hybrid...
Project-team IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...
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 LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team DATAMOVE Data Aware Large Scale Computing Today’s largest supercomputers1 are composed of hundreds of thousands of cores, with performances...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
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 CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects Numerical geosciences encompass a large variety of scientific activities tackling societal...