Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Exploratory action JoDaIA Harnessing Data and AI for Journalism Journalism is a creative industry with strong ethical foundations. As the world surrounding us goes...
Exploratory action LearnToOpt Learning to Optimize : Beyond Gradient-Based Optimization Many difficult real-world optimization problems require the usage of randomized derivative-free...
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...
Exploratory action NAP NAP - Apprentissage de représentation pour les données Non Applicable et relationnelles Most machine learning models expect to receive tables with samples in rows and attributes in columns...
Exploratory action SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...
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 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 ANGE Numerical Analysis, Geophysics and Environment The research activities carried out within the ANGE team strongly couple the development of...
Project-team AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team ASTRAL Advanced StatisTical infeRence And controL The research activities of our team mainly focus on the development of advanced statistical and...
Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
Project-team BEAGLE Artificial Evolution and Computational Biology The expanded name for the Beagle research group is "Artificial Evolution and Computational Biology"...
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...