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 CANofGAS Cost ANalyses of GAme Semantics Two independent success stories in the study of higher-order programming languages, which are subtle...
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 DEPARTURE DistributEd comPuting And network nonlocaliTy in the qUantum inteRnEt Quantum correlations are a cornerstone of quantum information theory, to understand its foundations...
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)...
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 MID-ToRS Influence Mechanisms and Topology Dynamics in Social Networks In social networks, users choose to connect (“follow”) an influencer if the messages he sends seem...
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 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...
Challenge OS Eliminating the Utilization Gap in Data Centers Data centers are today at the heart of all computing, from providing the computing power that...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
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 SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...