Search for a funded project
DEEP Learning For Large Deep Imaging Programs – DEEPDIP
Understanding the origin of the accelerated expansion of the Universe, the formation of the large-scale structure and the galaxies embedded in it are the quests of modern cosmology. Huge observational and theoretical efforts are being made to address these fundamental questions. In this proposal, we
Cooperation between Driver and Intelligent Automated Vehicle – CoCoVeIA
The challenges for automating vehicles in situations other than lane keeping and interdistance regulation require that systems be upgraded to have the necessary skills to control the vehicle in complex cases such as crossroads or roundabouts. But how to make sure that the developments do not last fo
Control of gyration and reverse gyration machineries – CtrlAltGyr
DNA topoisomerases are essential enzymes regulating in DNA topology during DNA replication, transcription, repair, recombination, chromosome segregation and genome stability. If most topoisomerases relax supercoiled DNA, gyrase and the reverse gyrase, are uniquely able to introduce supercoils into D
Constrained Semantic Web of Things – CoSWoT
The Internet of Things connects physical devices offering sensing or actuating with their vicinity. The ever-growing capabilities of devices allow to imagine new architectures including them as first class citizens. New added-value applications can then be envisioned in smart agriculture, smart buil
Computation-enabled TNT Multiplexed Sensors Fabricated by Two-Photon Stereolithography. – TNT-Sensor-IA
The TNT-Sensor-IA project aims in designing of a new generation of multiplexed array microsensors integrating a metamaterials whose porosity can be spatially programmed. Such a direct laser writing approach associates the latest advances in multiphoton stereolithography (SLA) with those in the artif
Composition of Low Albedo Solar System surfaces – CLASSY
CLASSY arises in the general context of a succession of space missions targeting small bodies (Dawn, Rosetta, New Horizons, Hayabusa 2). We benefit from a wealth of high quality observational data that have been collected along the last five years, or which will be available soon in the forthcoming
Composition of Low Albedo Solar System surfaces – CLASSY_Ukraine
Our Solar System is the only planetary system that can be thoroughly explored by spacecrafts and by the analysis of planetary samples in the laboratory. It provides a unique glance at the mechanisms leading to stars and planets formation, a vision that is complementary to that derived from remote ob
Combining abstract interpretation and constraint programming to verify critical properties of embedded programs with floating point computations – Coverif
Verifying correctness and robustness of programs and systems is a major challenge in a society which relies more and more on safety-critical systems controlled by embedded software. This issue is even more critical when the computations involve floating-point number arithmetic, an arithmetic known f
Cold Insterstellar Matter: Modelling- and Experimental-based Study – CIMMES
The CIMMES project will study the evolution of cold cosmic dust within the framework of the current era of dust exploration in the far infrared and submillimeter (FIR/submm) wavelength region. The Herschel and Planck space missions are now furnishing abundant data in the far- infrared (FIR) to mil
