Search
FORmal MEthods for the Development and the engIneering of Critical Interactive Systems – FORMEDICIS
The aerospace domain has seen the emergence of rigorous methods and tools for the development of safe<br />and correct software from a functional point of view. Interactive software has not received the same attention.<br />However, critical systems, particularly aeronautical, have embedded new highly interactive devices : new generation cockpits use sophisticated electronics controlled by complex software applications.
PARameterized DIstributed Systems Verification – PARDI
The overall objective of PARDI is the formal, machine-supported verification of parameterized distributed systems. A parameterized system specification is a specification for a whole class of systems,
Multidimensional Realistic channel model and OTA test for Reliable IoT – MoReOver
The pervasive deployment and reliability of wireless systems for Internet of Things (IoT) and Machine to Machine (M2M) applications are intrinsically limited by the radio propagation conditions in the
Geocasting for Hyper resolution spatial data focusing – GEOHYPE
Associating wireless information to certain physical locations is an interesting feature that many applications can benefit from. This capability is known as geocasting. Just like pictures are tagged
Nano-Electro-Optical Gates to control single colloidal quantum dot blinking and local charge noise: towards coherent control of the bright states – NEOGate
Proposal Given recent advances in resonant laser spectroscopy, it becomes evermore tantalizing to envision coherent manipulation of the excited-state populations of single II-VI colloidal quantum dot
Language register transformation using linguistic pattern extraction – TREMoLo
The TREMoLo project studies the use of language registers and seeks to develop automatic methods towards the transformation of texts from a register to another.
Heterogeneous data integration and spatial reasoning for locating victims in mountain areas – CHOUCAS
The project CHOUCAS is interdisciplinary involving researchers in geographic information sciences, computer science and automatic language processing. The aim of the project is to provide methods and tools for enriching, structuring, querying and visualising spatial data coming from heterogeneous sources and reasoning to help the rescue teams to speed up the phase of victims location and to better estimate a probable location area.
ASSESSING THE FATE OF PESTICIDES AND WASTEWATER-BORNE CONTAMINANTS IN AGRICULTURAL CROPS AND THEIR ENVIRONMENTAL RISKS – AWARE
Two main issues have a high impact in the agricultural food production: the lack of water resources in some European countries and pollution with pesticides. The use of pesticides for pest control is
Understanding cellular variation of 3D genome organization using novel Nanopore-sequencing-based Chromosome Conformation Capture assays. – Nanopore 4 3D-Genome
Below, my abstract as provided in my ERC-StG project is provided: To understand the mechanisms of gene transcription and regulation, the essential functions of tridimensional (3D) genome organizati
- epigenome, transcriptome, chromatin architecture – Three dimensional crop responses to heat stress: a case study on wheat – 3DWheat
Due to climate change, heat stress is going to become a major source of yield loss in Europe in the coming years. There is thus urgent need for the elucidation of cellular mechanisms involved in heat