博碩士論文查詢聯邦系統首頁 聯絡信箱 關於我們 加入我們

tel.archives-ouvertes.fr 檢索結果共 45496 筆,本頁資料從第 217 筆到第 228 筆

This thesis focuses on the computational interpretation of Cohen's forcing through the classical Curry-Howard correspondence, using the tools of classical realizability. In a first part, we start by a general introduction to classical realizability in second-order arithmetic (PA2). We cover the description of the Krivine Abstract Machine (KAM), the construction of the r....

By Lionel Rieg--Ecole normale supérieure de lyon - ENS LYON--2014-06-17
發佈到Facebook發佈到Plurk

Ce travail de thèse a pour but de développer un dispositif basé autour d'un dispositif intégré de photodétection pour des applications biomédicales nécessitant une grande sensibilité de détection et une discrimination spectrale (sélectivité). Ce dispositif peut être appliqué, par exemple, à la mesure simultanée de plusieurs marqueurs fluorescents dans le....

By Thierry Courcier--Université Claude Bernard - Lyon I--2014-06-17
發佈到Facebook發佈到Plurk

In this thesis, I first focused on the testing of the hypothesis of the mechanotransductive activation of the apical accumulation of Myosin-II (Myo-II) that leads to Drosophila embryos mesoderm invagination, in response to the active cell apex pulsations preceding gastrulation in the mesoderm. This hypothesis was proposed on the basis of previous experiments realized in....

By Adrien Bouclet--Université René Descartes - Paris V--2014-06-17
發佈到Facebook發佈到Plurk

De nombreuses études ont relevé un biais perceptif (BP) gauche, c'est-à-dire une tendance à utiliser préférentiellement les informations issues de l'hémi-visage gauche (du point de vue de l'observateur), lors du traitement des visages. Ce BP pourrait être lié à la dominance de l'hémisphère droit pour le traitement des visages. Par ailleurs, certaines études....

By Hélène Samson--Université René Descartes - Paris V--2014-06-17
發佈到Facebook發佈到Plurk

Safety-critical systems - such as electronic flight control systems and nuclear reactor controls - must satisfy strict safety requirements. We are interested here in the application of formal methods - built upon solid mathematical bases - to verify the behavior of safety-critical systems. More specifically, we formally specify our algorithms and then prove them correct....

By André Oliveira Maroneze--Université Rennes 1--2014-06-17
發佈到Facebook發佈到Plurk

Plus d'un millier d'exoplanètes ont été découvertes depuis une dizaine d'années. Plus incroyable encore, nous pouvons maintenant caractériser les atmosphères de ces mondes lointains. Des spectres de Jupiter-chauds tels que HD 189733b et HD 209458b et de planètes similaires à Neptune telles que GJ1214b sont déjà disponibles et ceux de planètes plus petites le....

By Vivien Parmentier--Université Nice Sophia Antipolis--2014-06-17
發佈到Facebook發佈到Plurk

L'équation de la chaleur est un phénomène macroscopique, émergeant après une limite d'échelle diffusive (en espace et en temps) d'un système d'oscillateurs couplés. Lorsque les interactions entre oscillateurs sont linéaires, l'énergie évolue de manière balistique, et la conductivité thermique est infinie. Certaines non-linéarités doivent donc apparaître ....

By Marielle Simon--Ecole normale supérieure de lyon - ENS LYON--2014-06-17
發佈到Facebook發佈到Plurk

Ce mémoire présente ma contribution à l'avènement des circuits supraconducteurs comme composant de base des systèmes d'information quantique. Les variables macroscopiques des circuits électriques, telles que la tension et le courant, obéissent aux lois de la mécanique quantique tant qu'elles sont suffisamment découplées de leur environnement. Depuis ....

By Benjamin Huard--Ecole Normale Supérieure de Paris - ENS Paris--2014-06-16
發佈到Facebook發佈到Plurk

La découverte des anesthésiques représente un progrès majeur de la médecine, rendu possible par l'observation empirique de leurs effets. Des expériences ont révélées les neurorécepteurs comme cibles possibles des anesthésiques, des canaux localisés sur la membrane des cellules cibles aux terminaisons nerveuses. Le récepteur GLIC, un homologue b....

By Benoist Laurent--Université Paris-Diderot - Paris VII--2014-06-16
發佈到Facebook發佈到Plurk

Les débris spatiaux constituent une menace pour l'exploration et l'exploitation de l'espace. Leur nombre ne cesse d'augmenter et continuera à grandir même si on arrête toute activité spatiale, augmentant ainsi la probabilité d'entrer en collision avec un satellite actif. Le retrait des débris s'avère le seul moyen de protéger ces satellites. Le nombre des débr....

By D. Madakat--Université Paris Dauphine - Paris IX--2014-06-16
發佈到Facebook發佈到Plurk

Contexte : Les carcinomes rénaux à cellules claires (ccRCC) sont des tumeurs particulièrement agressives et de mauvais pronostic lorsqu'elles sont métastatiques. L'apport des traitements anti-angiogéniques et notamment des inhibiteurs de tyrosine kinases (TKI), a permis une amélioration nette en terme de survie de ces patients, mais parfois au prix d'effets secon....

By Grégory Verhoest--Université Rennes 1--2014-06-16
發佈到Facebook發佈到Plurk

L'objectif de ces travaux était de synthétiser, caractériser et étudier le potentiel d'une sélection de liquides ioniques, pour la séparation de l'éthane et de l'éthène. L'influence dans l'absorption de l'éthène de la présence de trois cations métalliques, le lithium (I), le nickel (II) et le cuivre (II) dans un liquide ionique était également étudiée. ....

By Leila Moura--Université Claude Bernard - Lyon I--2014-06-16
發佈到Facebook發佈到Plurk


 

計畫贊助者: