Search for a funded project
Distributed Open and Timed Systems – DOTS
deal with systems which present several of these features. The DOTS project associates researchers specialized [...] problems that emerge when considering several features simultaneously. We plan to significantly advance
Automated Verification of Sotware Systems – AVERISS
software verification, taking into account complex features of software systems written in modern and widely [...] languages (e.g., C, Java, etc). Among these features there are : data manipulation, procedure calls
Safety and Security UndeR Focal – SSURF
- in characterizing and studying the required features that an Integrated Development Environment (IDE) [...] However, while the first part aims to elaborate features for an IDE of general purpose, the second one
Incremental refinement of event-based systems – RIMEL
of event-based models and aims to develop new features related to the refinement, such as the re-usability
Rôle de TFiH dans la régulation de l'expression des gènes par divers récepte nucléaires – iHREGULATOR
syndromes. These patients have severe clinical features, such as mental retardation, skeletal abnormalities [...] transcriptional defect and the emergence of clinical features observed in patients, like the lipodystrophy and
Drosophila as a model system for haematopoiesis and leukaemia – DrosoBlood
challenge. Recent evidence has shown that several features of haematopoietic development are conserved from
SYstèmes DIscrets et Micro Endoscopie Non linéaire – SYDIMEN
fluorescent chromophores that specifically reveals the features of the sample (GFP, FITC-derived molecules, ion
Economics of formal and informal care for an ageing population – EconCare
supply of assistance for elderly. Third, the main feature of informal care that children, families or relatives
TAILORED TRANSIENT SELF-ASSEMBLED NETWORKS – TSANET
elastic forces over macroscopic distances. This feature is at the origin of their spectacular viscoelasticity
Key Concepts in the Age of Crossing Boundaries :the Question of Leisure in Culture, Arts and Aesthetics – Leisure Concept
in Western and Eastern cultures and their new features under the impact of globalization in the contemporary