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 CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...
Exploratory action CircleD Computational Structural Reuse for Circular Design Circular design aims at expanding the lifespan of industrial products through repair and reuse. But...
Exploratory action COMPARTIMENTAGE Spatio-Temporal Imaging and Modeling of Signaling Pathway Compartmentalization G protein-coupled receptors (GPCRs) form a large class of membrane receptors mainly targeted by...
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 ECOPTICS Visual Appearance Modeling for Behavioral Ecology The ECOPTICS project ambition to bring new tools that help unravel some of the mysteries found in...
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 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...
Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Exploratory action REPAS New Portrayal of HPC Applications What is the right way to represent an application in order to run it on a highly parallel (typically...
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 APOLLON Apollo (Aristotle's POLitics : Language and numerical Optimization) The study of ideas of historical texts require an expertise identifying the context, the precise...
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...