Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm Classical computational geometry usually deals with linear objects in a Euclidean setting and when...
Project-team GENSCALE Algorithms for Genomic Data: Scalability, Precision and Sustainability GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Despite significant progress in Computer Graphics, HCI and Computer Vision, creating, manipulating...
Project-team GREENOWL Generating RENewable resources by Optimisation of Water Living microorganisms Climate change resulting from the anthropogenic activities will dramatically modify the composition...
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 HEPHAISTOS HExapode, PHysiology, AssISTance and RobOtics The HEPHAÏSTOS project-team was created on January 1st 2014. This project is composed of INRIA...
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 the design of cyberphysical systems...
Project-team I4S Inference for Intelligent Instrumented InfraStructures The overall objective of this project-team is the development of Structural Health Monitoring (SHM)...
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 ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
