Search for a funded project
A Correct-by-construction methodology for supporting execution time variability in real-time systems – Corteva
In real-time safety critical systems, it is of paramount importance to guarantee that computation is performed within certain time bounds, otherwise a critical failure may happen. Today, it is difficult to build efficient and predictable systems on modern processors, because the execution time of a piece of code exhibits a large variability. The objective of this project is to solve the problem of the large variability of execution times by using sound and provably correct programming models.
Adaptations and convergences of the olfactory system in small insectivorous placental mammals – RHINOGRAD
evolutionary convergence often is (1) a prominent feature of adaptive radiation, (2) generates high morphological
Air pollution effects on cognition in the CONSTANCES cohort – PoCoMo
The effects of air pollution on cognition in adults remain poorly understood, due to strong methodological limitations (eg. air pollution exposure assessed at aggregated instead of individual level, diagnoses based on registries rather than standardized cognitive tests, cognition function assessed with only one measure, in small-sized and older adults samples …). Unravelling these effects offers many methodological challenges that we will tackle in this project.
Alkaline earth metals for C–O bond functionalisation – ALCACAT
specific molecular alkaline earth catalysts featuring varying levels of Lewis acidity will also be devised
Allostery and conformational dynamics in GPCR signaling – allosig
thermodynamic (ITC) and kinetic (fluorescence) features of ligand binding (Task 1). In parallel, we will
Architectural Principles and Predictive Modeling of the Mammalian Connectome – A2P2MC
variation in weight, they present common processing features, implying that cortical computing happens across
Arene Difunctionalisations: Complementary Dearomatization Strategies – ArDCo
Indole: an essential aromatic compound to obtain complex molecules
Asian monsoon Tropical Tropopause Layer: transport and composition – TTL-Xing
TTL-Xing: The Asian monsoon is the main convective region during summer that provides fresh air from the surface to the high atmosphere, that is then redistributed globaly. This region ia also highly polluted by human activities. Our aim is to study the monsoon impact on the composition of the air at high altitude and its anthropic evolution.
BIOSOFT : Instruments and processes for stamping biomolecules in the biomedical flield – BIOSOFT
Printing, allowing the printing of biomolecular features on analytical slides with a sub-micrometric accuracy
Basque in the Making: A Historical Look at a Language Isolate – BIM
diachronic study of some of the central grammatical features of Basque grammar as we know it today, by pointing [...] linguistics. We are particularly interested in those features of Basque grammar that contribute to its special [...] of the language in a number of basic linguistic features, in order to extract information not only about