Search
Deformation spaces of geometric structures – EMERGE
curvature assumptions; this includes the case of Anti-de Sitter space which has important applications to [...] the construction of metrics of (para)-hyperKähler type and the investigation of their geometric properties [...] develop an analytic framework integrating three types of techniques: a priori estimates for submanifolds
Dynamic fragmentation with the cohesive Lipschitz approach – CLIP-
related to the cohesive one by an explicit Lipschitz type relation bringing good computational efficiency [...] will be carried by a PhD student at Ecole Centrale de Nantes (ECN), in France, and will investigate the [...] by a PhD student at Ecole Polytechnique Fédérale de Lausanne (EPFL), in Switzerland, and will focus on
Dihydroflavonol 4-Reductase (DFR) substrate specificity - Completing the puzzle. – DFR-SPEC
Antonczak, Université Côte d'Azur, Institut de Chimie de Nice, ORCID 0000-0003-2758-8409 [...] for the scientific community. H2: At least four types of DFRs should be distinguished (unspecific, DHK [...] We will analyze the most commonly used DFR assay types to understand the reasons for inconsistent results
Coq-based Rewriting: towards Executable Applied Category Theory – CoREACT
systems of practical and theoretical interest, and has de facto imposed itself as the standard approach in [...] development of an appropriate approach to exploit this type of highly modularized mathematical reasoning within
nano positionning robot – NanoLab
positioning robots. The applications concerned by this type of robot are numerous in industry: qualification [...] s and engineers from the LCM (Laboratoire commun de métrologie attached to the Conservatoire national [...] of freedom (6DOF) long stroke measurement. This type of measurement would enable the position of a robot's
Decipher the Fate of Introgressions from wild relatives in the wheat genome – DeFI-Wheat
lodging…) following linkage drag that cannot be broken. DeFI-Wheat proposes to solve this riddle to give breeders [...] and 7D/7Dv introgressions) in the variety Renan. DeFI-Wheat relies on three main hypotheses that may [...] constraining epigenetic landscape compared to the wild-type within introgressions preventing efficient recombination
Influence of microglia priming on the progression of tauopathy in animal model's of Alzheimer's disease – PriMicro
use the THY-Tau22 line which presents only this type of lesion. The senile plaques being however always [...] 3xTg transgenic line which is affected by the two types of lesions. These two lines present well-characterized [...] experimental paradigm will be implemented in AAP/PS1dE9 mice, in order to be placed in the amyloid context
Towards a specification language and an ecosystem to specify, test, and verify OCaml programs – GOSPEL
program verification. Gospel aims to become a de facto standard language that programmers can learn [...] e that Gospel allows catching bugs that OCaml's type discipline cannot detect and that it allows achieving [...] the Gospel tool ecosystem, including the Gospel type-checker, the Merlin IDE, documentation generation
Bandits improve patients follow-up – BIP-UP
cohort collected over the last 15 years at the CHU de Lille to train the algorithm, and we will test it [...] lead exploratory research activities on a certain type of patients, design, develop and assess a software [...] approach may be adapted to the follow-up of other types of patients in the future.
A pharmacological therapy for HNF1B-deficiency – DrugHNF1B
of which occur de novo) at a heterozygous state. In this context, the residual wild-type allele carried [...] failure. HNF1B is expressed in few epithelial cell types including renal tubular cells. The pathogenic mechanisms [...] ciency represent the typical hallmarks of most types of CKD. In the last years, we have contributed to