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...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
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 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...
Exploratory action noCNN No-brain-shift and Comprehensive Neurosurgical Navigation (noCNN) Neuronavigation refers to the set of computer-aided technologies used by neurosurgeons to guide...
Exploratory action Ofast3D Optimizing compiler for fast 3D printing The goal of Ofast3D is to increase the production capacity of fused deposition modeling 3D printing...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Challenge YS.AI Towards the metaverse The metaverse became a buzzword following recent announcements about massive investments on those...
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 ALPHA-Design Learning physical laws to support design The design of new innovative products generally relies on numerical simulations to predict the...
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...
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 Comanche Computational Models of Lexical Meaning and Change (COMANCHE) COMANCHE proposes to transfer and adapt recent algorithms of representation learning from deep...
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...
