Projets financés
Le mariage des effets et des assistants à la preuve – ProverFX
La correction formelle des logiciels gagne de plus en plus de terrain, avec une application paroxystique aux logiciels en médecine pouvant mettre en jeu la vie des patients, et les logiciels embarqués dans des véhicules autonomes, pour lesquels la sécurité des passagers est critique. Les démonstrate
Imagerie X basée sur le bruit pour le suivi des pathologies ostéoraticulaires – Noise
Avoir un contraste élevé entre les différents tissus d'une articulation a toujours été le Saint Graal de l'imagerie musculo-squelettique. L'utilisation d'une telle modalité favoriserait une meilleure compréhension des maladies ostéoarticulaires et un suivi des différentes stratégies thérapeutiques.
Comment les interactions écologiques influent-elles sur l'adaptation à l'environnement abiotique? – InterAdapt
Mouvement brownien au voisinage d'interfaces molles – EMetBrown
Les contacts mous et lubrifiés sont omniprésents, de la géologie à la biologie, et sont cruciaux pour l'ingénierie. En outre, de nombreux processus clés de la vie sont régis par la motilité microscopique dans des environnements liquides, mous et confinés, dans le but d'atteindre des cibles spécifiqu
Retour haptique multimodal pour environnements immersifs – MIMESIS
Ces dernières années ont vu une explosion de nouvelles technologies haptiques offrant diverses sensations haptiques sur tout le corps de l'utilisateur. Cependant, bien que ces technologies soient désormais disponibles, les systèmes de réalité virtuelle sont toujours confrontés à un manque fondamenta
Accélération de la découverte de matériaux pour l'optique par l’intelligence artificielle – AI-DiscovMat
La découverte de nouveaux matériaux optiques pour la nouvelle génération de technologies est cruciale pour des raisons économiques et sociétales. En particulier, ces matériaux ont une grande importance pour la télécommunication, la médecine, et l’éclairage. Les stratégies essais-erreurs habituelleme
Un nouveau paradigme en biogéochimie des sols pour combler les lacunes entre modélisation, théorie et observations: un cas d'étude sur la France – EASIER-F
Le carbone organique du sol (COS) est l'un des plus importants pools de carbone organique sur Terre avec un renouvellement du C allant de quelques jours à quelques millénaires. Dans les modèles du système terrestre (ESM), qui sont des modèles visant à simuler tous les aspects pertinents du système t
Evaluer comment la pléiotropie influence l'évolution génétique, développementale et morphologique en utilisant la dent de rongeur. – PLEIOTROPY
On dit d’un gène qu’il est pléiotrope lorsqu’il affecte plusieurs traits phénotypiques, tels que différents organes. Lorsque ces organes évoluent, qu'arrive-t-il aux gènes pléiotropes sous-jacents à leur développement? Nous pensons que cela détermine une évolution moléculaire rapide du génome, car l
Solutions de Théories des Champs Conformes avec le bootstrap fonctionnel – FUNBOOTS
Les théories des champs conformes (CFT) ont un large ensemble d'applications, qu’elles soient expérimentales ou théoriques: dans le contexte des phénomènes critiques classiques et quantiques elles déterminent des exposants critiques ; elles décrivent aussi les limites de hautes et basses énergies de
L'entrelacs des chrétientés à Jérusalem et au Proche-Orient: l'impact des conquêtes franque et islamiques sur les reconfigurations des chrétientés (XIIe-XVIe siècle) – ChrIs-cross
Ce projet vise à résoudre le problème du cloisonnement académique de l'étude des sociétés diverses que sont les sociétés franque et islamiques, grâce à la première étude transversale des christianismes au Proche-Orient. Il vise à étudier les interactions entre chrétiens et entre chrétiens et musulma
