Search for a funded project
Taming entanglement in out-of-equilibrium quantum matter – TamEnt
is the most distinctive and counter-intuitive feature of quantum mechanics. Recently, it has been used
Comparison of the role of systemic and mucosal IgA/IgM in the pathophysiology and severity of COVID-19 – COVIDIgS
gy of COVID-19 but also to identify important features of this response in predictive preclinical models
New Enantiopure Receptors Family for Selective Recognition of Chiral Anions in Aqueous media: Strong ECD Response Expected – EnaRecAnions
complexation. If such phenomena are reversible, these features may be promising tools for the development of
ToleRance analysis using Imprecise Probability – TRIP
methods will be applied at the level of (1) the features, the modes associated with geometrical defects
Extracellular vesicles As potential Trojan horses to cross the Blood-Brain Barrier? – EATs-theBBB
although involved in the regulation of the BBB main features, neither the exit of brain-derived EVs into the
Molecular anchoring of functional macromolecular compatibilizers – ANCHORS
The key innovation will be compatibilizers that feature molecular anchors, which are functional groups
Cosmology with large-scale structure: a sub-percent-accurate model for galaxy clustering – COLSS
accuracy. For that, we will include five essential features crucial to address the above fundamental questions [...] re perturbations. The inclusion of these new features will require novel theoretical tools, beyond the
Cell-type specific determinants of epileptogenic cortical malformations – EPIDEV
molecular pathways underlying the pathophysiological features of FCD have not been investigated yet. This proposal [...] seizures and what are the developmental molecular features of mTOR-hyperactivated cells in FCD. We will
Multi/many-core and gpu combined wcet analysis, Scheduling and Compilation techniques for Autonomous vehicle applications based on Neural networks – MeSCAliNe
a lot of computing power, and at the same time feature a high potential of parallelism. For these reasons [...] such as multi/many-core CPUs and System-on-Chips featuring multi-core CPUs and accelerators such as Graphical
Interoperable and Confident Set-based Proof Assistants – ICSPA
architecture will be supported by proof reconstruction features provided by automated theorem provers, that will [...] automated theorem prover, and verification by Dedukti features will be integrated into Atelier B and exploited