Search
Appel à manifestation d’intérêt - Programme et Équipement Prioritaire de Recherche TASE (Technologies Avancées des Systèmes Energétiques)
Le Programme et Equipement Prioritaire de Recherche (PEPR) TASE (Technologies Avancées des Systèmes Energétiques) soutient des activités de R&D amont (TRL entre 1 et 4) au plus haut niveau mondial, en support aux industriels de la filière et répondant aux priorités définies dans le cadre de la Stratégie Nationale.
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
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
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
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
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