Search
Computing with Quantitative Semantics – CoQuaS
The project focuses on formal foundations for language-based (especially static) techniques guaranteeing resource-related runtime properties of programs. The project belongs to the research area whose aim is to associate to a program a certification assuring some specific properties. We will derive
Role of glomerular inhibition in olfactory processing – Glom Inhib
The olfactory bulb is the first relay station for odor processing in the brain. It receives olfactory sensory information from olfactory sensory neurons that detect odorants in the nasal epithelium. The vast majority of olfactory bulb neurons are inhibitory interneurons that modulate the activity of
CHaracterizing Accretion-ejection in Outbursting compact binary Systems – CHAOS
The proposed CHAOS project is a collaboration of leading competences with state- of-the-art skills on accretion-ejection processes, radiative transfer numerical simulations and multi-wavelength observations, in order to lead a decisive advance in our understanding of accretion-ejection processes in
Practical algorithms for ontology-based data access – PAGODA
L’interrogation de données en présence d’ontologie a de nombreuses applications potentielles, mais d’importants défis fondamentaux doivent être surmontés avant que ces techniques puissent être largement adoptées. Ce projet cible les deux verrous scientifiques suivants : 1. Passage à l’éche
