Challenge FedMalin Federated MAchine Learning over the INternet (FedMalin) In many use-cases of Machine Learning (ML), data is naturally decentralized: medical data is...
Exploratory action MRF-zero Magnetic Resonance Fingerprinting sequence optimization via optimal control Magnetic Resonance Fingerprinting (MRF) is a recent technology which has the potential to become a...
Exploratory action MURENE Study of the problem of mutual debt reduction in B2B payment networks The reduction of mutual debts between companies is a major economic stake, especially in times of...
Challenge ROAD-AI Toward smart Augmented & Integrated Roads and infrastructures Integrated management of infrastructure assets is an approach which aims at reconciling long-term...
Exploratory action StellaCage StellaCage: Geometry of plasma confinement in stellarators In collaboration with the start-up Renaissance Fusion, based in Grenoble, we explore some...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
Project-team CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developping, adapting and extending automatic parallelizing and...
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 CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...