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 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 Back to the trees Back to the trees Between secular floras and image recognition through artificial intelligence, we plan to use...
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 BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
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 KoopduMonde Koopman operator modelling of nonlinear dynamical systems for ensemble methods The so-called "ensemble-based" prevision methods in oceanography and meteorology use an ensemble of...
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 LiveIt Feeling and perceiving the symptoms of schizophrenia in augmented reality to reduce stigma The symptoms of schizophrenia are difficult to visualise and this often leads to significant...
Exploratory action MusMapS Muscle Mapping for Shared-Control assistance of disabled people MusMapS uses effort measurements (mapping of physical capacities) from disabled patients to...
Exploratory action POPEG Wave propagation using Gaussian states Galerkin methods can numerically approximate time-harmonic waves by combining "basis functions"...