Search for a funded project
Creating Algorithms for Compact Decomposable Circuits – CERADOC
As artificial intelligence (AI) systems become increasingly integrated into sensitive domains, the need for transparency, reliability, and explainability becomes paramount. This project aims to enhance trust in AI by leveraging knowledge compilation techniques, particularly through the optimization
Explaining Robustness And deriving Robust Explanations – ERARE
The project ERARE aims to develop novel approaches to generate robust explanations in constrained environments (e.g. frugal AI, contexts with limited access to resources or contexts where data is limited or flawed with incompleteness or impreciseness). It also aims to go beyond explaining model deci
Obtaining complete macromolecular conformational landscapes at the atomic scale by combining cryo-EM image analysis, molecular dynamics simulations and deep learning – CRYOFLEX
This project focuses on technological and methodological developments in cryo electron microscopy (cryo-EM) for structural biology, through the development of methods and software for the rapid determination of complete sets of all-atom conformations (all-atom conformational landscapes) of biomolecu
Infrared multispectral tissue imaging to improve stratification for patients with head and neck cancer – TUMADMIR
Head and neck tumors are clinically and pathologically heterogeneous. While the vast majority of them arise from the malignant transformation of the squamous epithelium covering the upper aerodigestive tract, and are therefore squamous cell carcinomas, several histological subtypes have been descri
XAI for Black-Box Models Using Logic-Based Formal Methods and Combinatorial Optimization – FORM-XAI
The FORM-XAI project addresses the growing need for interpretability in the field of artificial intelligence (AI), particularly in critical sectors such as healthcare, finance, and transportation. Complex models, such as deep neural networks, while effective, raise concerns about their opacity, ther
Orientation microscopy and cryo-electron tomography to study glycan-dependent assembly of membrane nanodomains – OMEGA-MEMDO
The existence of membrane nanodomains is accepted but the structural principles according to which proteins and lipids are co-assembled and the mechanisms by which membrane nanodomain construction affords biological outcomes remain poorly explored. At the cell surface, glycans provide a link for
Intelligent Competitive Programming Companion – ICPC
Training young people in programming is crucial for addressing 21st-century challenges. This project focuses on creating an AI assistant that supports learning programming, particularly for competitive programming. Using reinforcement learning, the assistant will offer hints and exercises to improve
SYstem for Monitoring and Prevention for Helicopters Operating Non-stationary Conditions with Embedded Intelligence – SYMPHONIE
The aerospace industry has already made significant efforts to enhance energy efficiency and reduce its environmental footprint, through optimizations of dynamic transmission systems and hybridization using electric machines, which are also crucial to monitor, with a strong objective of reducing ope
Generative modeling, Heavy tails, Outliers, Sparse Training – GHOST
Generative Artificial Intelligence (GAI) models are expensive, with massive energy requirements for both training and inference (use in applications). As GAI models are increasingly adopted to solve problems across industry, significant changes in how we train and use these models are required both
Learning Generalizable 3D-based Robotic Manipulation Policies – 3D-GEM
Robotic manipulation in unstructured environments is a long-term goal, with the potential for significant societal and economic impacts such as in manufacturing and healthcare. However, current approaches suffer from significant limitations in generalization to novel environments, objects and tasks,
