Exploratory action QAT Quantum Computing Architectures Algorithms Applications and their Theory (QAT) Quantum information processing is about finding algorithms and protocols t hat can solve problems...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Exploratory action SmolPhone SmolPhone: a smartphone with energy limits The SmolPhone project is an action research on the topic of low-tech in the domain of IT systems...
Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
Exploratory action ALPHA-Design Learning physical laws to support design The design of new innovative products generally relies on numerical simulations to predict the...
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 BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
Exploratory action BrainGPT Transforming Transformers into Cognitive Language Models In the wake of the emergence of large-scale language models such as ChatGPT, the BrainGPT project is...
Challenge COLaF Corpus and Tools for the Languages of France Through the COLaF project (Corpus et Outils pour les Langues de France, Corpus and Tools for the...
Exploratory action CONTINUA Continuous deposition of paste-like materials Additive Manufacturing (AM) with paste-like materials (e.g., clay, silicon) facilitates the...
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 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...