Exploratory action AuDaCITI Autonomous Data Collection and Labeling Through Interaction Recent achievements of AI were led by large computational models and equally large datasets, often...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action Ayana AI and Remote Sensing on board for the New Space the AYANA AEx is an interdisciplinary project using knowledge in stochastic modeling, image...
Exploratory action CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
Exploratory action COMPARTIMENTAGE Spatio-Temporal Imaging and Modeling of Signaling Pathway Compartmentalization G protein-coupled receptors (GPCRs) form a large class of membrane receptors mainly targeted by...
Exploratory action COSMOGRAM New geometric foundations for exploring the shape of the Universe - warming up The Cosmogram project aims at developing new algorithmic tools to explore the shape of the Universe...
Challenge DORNELL A multimodal, shapeable haptic handle for mobility assistance of people with disabilities While technology helps people to compensate for a broad set of mobility impairments, visual...
Exploratory action Equity Analytics Addressing pay equity with visual analytics The goal of this project is to explore, develop, and test pay equity visual analytics solutions in...
Exploratory action GRASP Generalizing Results Across Scientific Pipelines Scientific pipelines are at the heart of modern experimental sciences. But practionners face a...
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 INCLUDE Integrating fuNctional MRI and EEG with Carbon-wire Loops : towards the characterization of mUltimoDal functional biomarkErs The aim is to develop an high-resolution spatiotemporal imaging technique to map the cerebral...
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 LLM4DICE Large Language Models for Detection and Correction of Errors Large Language Models (LLMs) are a hot and rapidly evolving research topic. In particular, their...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...