Project-team MORPHEME Morphologie et Images The scientific objectives of MORPHEME are to characterize and model the development and the...
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 SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team ANGE Numerical Analysis, Geophysics and Environment The research activities carried out within the ANGE team strongly couple the development of...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France research center, joint with the...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Despite significant progress in Computer Graphics, HCI and Computer Vision, creating, manipulating...
Project-team AIRSEA Mathematics and computing applied to oceanic and atmospheric flows Recent events have raised questions on social and economic implications of anthropic alterations of...
Project-team CORSE Compiler Optimization and Run-time SystEms CORSE is a joint research group in the LIG laboratory that regroups several expertise that stand at...
Project-team CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
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 ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team ELAN modELing the Appearance of Nonlinear phenomena ELAN has the ambition to become a unique simulation team at Inria with an original positioning...
© Inria / Photo B. Fourrier Sport Digital technology and sports performance: how research is helping to push athletes' limits 17/04/2024