Search
Synthetic Biological Systems : from Design to Compilation – SYNBIOTIC
The project kickoff meeting was held on Friday, November 3, 2010. Emmanuel Sabban (ANR representative) give an introduction and each partner has explained the content of the tasks in progress. 5 meetings were held in 2011. Date Location Topic Partners attending the meeting EVRY 03/11/
Dependability-focused Evaluation of Sensor Networks – MURPHY
Murphy aims at easing the development of dependable and pervasive applications built on top of robust wireless sensor networks, Two national and international partnership have been established. 3 workshops have/are actually organised in addition to scientific publication in international and natio
Formal Verification of Distributed Components – PiCoq
The ubiquitous role played by software makes it necessary to analyse its properties in a rigourous manner, to state and prove guarantees about its behaviour. However, an important part of modern software often consists in large distributed systems, with mobility or reconfiguration capabilities. B
MIcrowave GRAphene QUantum ELectronics – MIGRAQUEL
Expectations rely on the high mobility, Fermi velocity, current carrying capability and thermal conductivity of graphene. The small and controllable number of conducting channels and the ultrathin geometry of top-gated transistors gives access to a regime where conductance, transconductance and gate
Studies of advanced structures based on Gallium Nitride (GaN) – STARGAN
Nowadays, AlGaN/GaN HEMTs are certainly the most III-V device studied component mainly for microwave power applications. This research thematic is highly competitive with American and Japanese laboratories, such as CREE, NITRONEX, TOSHIBA, EUDYNA etc … GaN technology has been steadily improved and
Three color digital holographic imaging and challenges in acoustics and fluid mechanics – IMHOTEC
A remplir A remplir A remplir A remplir In various domains such as acoustics, vibrations or fluid mechanics, the validation of models and/or numerical simulations of studied phenomena needs more and more to develop non invasive metrological tools allowing full field measurements with very high spati
Resilience for exascale scientific computing – RESCUE
The advent of exascale machines will help solve new scientific challenges only if the resilience of large scientific application deployed on these machines can be guaranteed. With 10,000,000 core processors, or more, the time interval between two consecutive failures is anticipated to be smaller t
Implementabilty and Robustness of Timed Systems – ImpRo
The project ImpRo, «Implementability and Robustness of Timed Systems« addresses the issues related to the practical implementation of formal models for the design of communicating embedded systems: such models abstract many complex features or limitations of the execution environment. The modeli
Hybrid Neural Networks for rehabilitation – HYRENE
Population aging all around the world raises a societal issue due to the associated increase in neurodegenerative diseases. One therapeutic approach to treat resulting functional deficiencies is to propose neural prosthesis based on neuro-electronic implants. In recent years, technological advances
Post-irradiation Gate Stress – PiGS
At present, space actors are highly concerned with heavy ion-induced power MOSFETs hard failures and in particular by oxide rupture after heavy ion irradiation. In order to guarantee the reliability of space systems, contractors have to follow qualification procedures. The American military standard
Bayesian hierarchical inversion for mass spectrometry. Application to discovery and validation of new protein biomarkers. – BHI-PRO
The general scientific and economic goals are to improve the efficiency of the discovery, validation and marketing of protein biomarkers. Mass spectrometry (MS) based studies significantly shorten the delay with respect to standard immunoassays approaches and give directly access to multidimensional
Optical Resonators and their Applications – ORA
Optical high quality factor (Q) micro-cavities are of great interest for applications in different fields such as optoelectronics, metrology or fundamental physics. They can be used for instance for: optical filtering, all-optical switching, low threshold non-linear optics], narrow linewidth laser a
Smart-UltraSound: Detection/characterization/control of non-linear ultrasonic sources – Smart US
The generation, the detection and the characterization of [0.1-150]-micron bubbles may be crucial in various situations. In the medical field, one can mention the development and characterization of Ultrasound Contrast Agents, the prevention of cardiac or pulmonary embolisms and of decompression sic
Formal verification of a code generator for a synchronous language – VeriSync
The project proposed here aims at substantially improving the safety and reliability of embedded software that is being developed in the context of a Model Driven Engineering approach. This is achieved by formally proving the correctness of essential transformations that a model undergoes during
Multi-modal data fusion with biophysical models for identification of hidden parameters in patho/physiological brain activity. – MULTIMODEL
During the past decades, significant advances have been accomplished in the development of neuroimaging techniques allowing for more and more accurate recording of neuronal systems (in terms of temporal and spatial resolution). For example, surface electrophysiology (EEG, MEG) or functional MRI have
INtegrated approach of Observation and control and VEhicle dynamics – INOVE
The objective of this basic research project concerns the development of an integrated approach to design new methodologies for the improvement of the vehicle dynamical behaviour. The long-term goal is to equip vehicles with automatic functions for detection and correction of the vehicle dynamics in
MultiScale transition of the scattered light polarization regimes – TraMEL
TRAMEL (Multiscale Transition of the Scattered Light Polarization Regimes) is devoted to the study of light depolarization in disordered media. Exact electromagnetic theories are coupled with statistical optics in order to rely the polarization degree of light to the microstructure of the scattering