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 CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
Exploratory action Discotik Discrete geometry applied to morphomechanics of plant tissues Computational morphomechanics is the study of living tissue morphogenesis through the scope of...
Exploratory action ExODE Scaling the solving of Ordinary Differential Equation for Computational Biology In biology, the vast majority of systems can be modeled as ordinary differential equations (ODEs)...
Exploratory action MURENE Study of the problem of mutual debt reduction in B2B payment networks The reduction of mutual debts between companies is a major economic stake, especially in times of...
Exploratory action NAP NAP - Apprentissage de représentation pour les données Non Applicable et relationnelles Most machine learning models expect to receive tables with samples in rows and attributes in columns...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Challenge OcéanIA Artificial Intelligence, Data, and Models for Understanding Oceans and Climate Change There is strong scientific evidence on the adverse effects of climate change on the global ocean...
Exploratory action OptiGPR3D Optimal direct and inverse modeling for 3D GPR imaging in complex environments With an a priori provided by a classical imaging method, could we design a network of emitters that...
Exploratory action POSP Point Process for Signal Processing In the context of bio-signal modeling, unsupervised techniques that highlight recurring patterns...
Exploratory action PreMedIT Precision Medicine using Topology The goal of precision medicine is to tailor treatment according to patients’ characteristics, by...
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 SIA Computer science in the Anthropocene The term Anthropocene reflects the geological scale of human impacts on the Earth system and...
Exploratory action XGAN Interpretable Representation Learning for Video GANs Despite remarkable progress in generative adversarial networks (GANs), such networks operate...