Exploratory action ALAMO Alternative algorithms for the simulation of lattice models Stochastic lattice models are of constant interest to the scientific community, both for their...
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 AoT.js AoT.js: Optimizing Compilation from Higher-Order Programming to Computer Architecture According to the 2022 GitHub statistics, the two most used programming languages are JavaScript...
Exploratory action Backbone Efficient Symbolic Manipulation for Sparse Systems We seek to explicit, and then exploit, potential structural properties of algebraic systems in order...
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 Comanche Computational Models of Lexical Meaning and Change (COMANCHE) COMANCHE proposes to transfer and adapt recent algorithms of representation learning from deep...
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...
Exploratory action DATA4US Personal DAta TrAnsparency for web USers Since May 2018, General Data Protection Regulation (GDPR) regulates collection of personal data in...
Exploratory action DEPARTURE DistributEd comPuting And network nonlocaliTy in the qUantum inteRnEt Quantum correlations are a cornerstone of quantum information theory, to understand its foundations...
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 Fluidonics Seismic Waves Manipulation through Hydrodynamics Boxes What if water eddies could shield structures against seismic waves? That's the bold idea behind the...
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 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 MARCQ Hybrid methods combining Reinforcement Learning and PDE Optimal Control methods for Quantum Computing This project pertains to quantum computing: we are interested in the possibility of encoding a logic...
Exploratory action MusMapS Muscle Mapping for Shared-Control assistance of disabled people MusMapS uses effort measurements (mapping of physical capacities) from disabled patients to...