Search
Reasoning with Circular proofs for Programming – RECIPROG
ReCiProg is a collaborative project (Lyon-Marseille-Nantes-Paris) aiming at extending the proofs-as-programs correspondence (also known as Curry-Howard correspondence) to recursive programs and circul
Dynamics of DNA repair proteins at nucleosomes – DYPROSOME
We propose a combined computational and experimental study of the molecular mechanisms by which repair proteins identify the earliest stages of DNA damage in chromatin. DNA damage repair processes (DD
Quantum control of an ultra-coherent mechanical resonator with a fluxonium qubit – MecaFlux
This project aims to measure and manipulate the quantum state of an ultracoherent macroscopic mechanical resonator by coupling it to a superconducting qubit. This type of resonator, oscillating in the
Quantum Simulators for One-dimensional systems with PHotons and Atoms – Quantum-SOPHA
Interacting many-body systems in low dimensions offer surprises and challenges for experimentalists and theorists. One-dimensional (1D) systems are unique in nature as the effect of interactions and c
Controlling Flat-bands in Moirés – FlatMoi
The structure-property relation is a fundamental theme in condensed matter. In 2D materials this relation takes on an exceptional aspect since a structure as simple as a rotated bilayer can be associa
Structure/Friction relationships in Solid-Supported Lipid Layers – Banana_Slip
In many biological phenomena such as biolubrication, stacks of lipid membranes play a major role for reducing friction. The understanding of the microscopic mechanisms involved remains very phenomenol
CRF-locus coeruleus interplay in mediating resilience against chronic stress – NoReSt
Major depression is a severe and far too common mental disorder. Its global burden poses a substantial challenge for our societies. Despite well-defined and evidence-based strategies that can address
Deciphering protein carbohydrate interactions using machine learning approaches: application to the key protein of placental malaria disease – SugarPred
Protein-carbohydrate (PC) interactions play a key role in various biological processes. In particular, PC interactions govern infected erythrocyte (IE) adhesion on placental cells during placental mal
Intra-articular analgesic viscosupplementation based on chitosan and poly-cyclodextrin hydrogel for maxillofacial surgery – CHITOGEL
Temporomandibular dysfunctions are myoarthropathies of the manducatory apparatus, responsible in most cases of chronic pain without satisfactory treatment. Lately, methods of administering active ingr
Probing Quantum Hall States at the Single Atom Level – QHASAL
We propose a new route to realize correlated quantum Hall states and probe directly their spatial distribution with single atom resolution. Our strategy is to set ultracold gases in rotation, which al
