Search for a funded project
Explorez notre base de projets financés
Realizability for classical logic, concurrency, references and rewriting – RECRE
content in terms of very concrete programming features, including a global clock and memory management
Ultra-compact and portable fibre gas laser for bio-defense applications – UVfactor
the nature of the gas. Two salient and original features of the proposed UV fibre gas source are noteworthy
On-line and off-line model based testing of Security Properties – Applications to Security Components and Software Radio – OSeP
The OSeP project is dedicated to model-based security testing of security components. The goal of the project is to increase the test efficiency for detecting flaws and vulnerabilities in security components. The case studies are related to security test generation for cryptographic components and software radio middle-ware.
Microwave sintering of nano-ceramics – FURNACE
Control of the microwave heating process for the sintering of ceramics at high temperatures.<br />Tailoring of the microwave process for composites and large size parts.
Glycogen storage disease type 1a: from physiopathology to liver gene therapy – GSD1
-Effet de la nutrition sur le développement des tumeurs hépatiques dans un modèle de<br />glycogénose de type 1a. Caractérisation moléculaire des tumeurs hépatiques.<br />-Développement de la thérapie génique du foie dans un modèle de glycogénose de type 1a.<br />-Caractérisation de la pathologie rénale et intestinale des glycogénoses de type 1a
Direct and Indirect Sources in Combustion for Evaluation and Reduction of Noise – DISCERN
Characterization of Direct and Indirect Sources in Combustion for Evaluation and Reduction of Noise
Pathogenic mechanisms of frontotemporal dementia: Measuring Activity of Dendritic CHMP2B. – MAD CHMP2B
neurones. The clinical, pathological and genetic features of FTD cases are heterogeneous, and the cellular
The Na+/H+ exchangers of intracellular compartments. Biochemical and pharmacological characterization. Physiological roles and impact in neurological diseases. – NHEINT
investigation of the biochemical and pharmacological features of the intracellular Na+/H+ exchangers NHE-6,
Biodegradable, PEGylating polymers: application to the synthesis of nanoparticles and bioconjugates – BioPolyPEG
Synthesis of new biodegradable polymers by controlled radical polymerization as building blocks for the synthesis of nanoparticles and bioconjugates
Development and characterization of materials like aluminum architected - iron for their industrialization – ALUARMé
are working on developing materials that require features in practice "incompatible". For the need of a
