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

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

Lors d'un développement logiciel, et plus particulièrement d'un développement d'applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts est l'utilisation de méthodes formelles. Ces méthodes s'appuient sur des fondements mathématiques et permettent d'effectuer ....

By A. Fernandes Pires----2014-06-26
發佈到Facebook發佈到Plurk

L'un des challenges des roboticiens consiste à gérer un grand nombre de variabilités. Ces dernières concernent les concepts liés au matériel et aux logiciels du domaine de la robotique. Par conséquent, le développement des applications de robotique est une tâche complexe. Non seulement, elle requiert la maîtrise des détails de bas niveau du matériel et du lo....

By Selma Kchir--Université Pierre et Marie Curie - Paris VI--2014-06-26
發佈到Facebook發佈到Plurk

L'optimisation du couplage lumière-matière requiert la connaissance de l'orientation du dipôle émetteur associé à une source de photons, ainsi que de la distribution de champ électrique du mode excité. Afin de maximiser le couplage entre des émetteurs fluorescents et des nanostructures, nous avons établi une méthode qui permet de déterminer l'orientation d'u....

By Clotilde Lethiec--Université Pierre et Marie Curie - Paris VI--2014-06-26
發佈到Facebook發佈到Plurk

Le présent travail porte sur l'étude expérimentale, analytique et numérique du comportement mécanosorptif et viscoélastique couplé du bois. Le comportement mécanosorptif intègre notamment le phénomène hygroverrou qui se caractérise par un blocage des déformations en phase de séchage sous contrainte. Afin d'aborder cette étude, la structure, la microstruct....

By Omar Saifouni--Université Blaise Pascal - Clermont-Ferrand II--2014-06-26
發佈到Facebook發佈到Plurk

Les systèmes informatiques jouent un rôle essentiel dans la vie actuelle, et leurs erreurs peuvent avoir des conséquences dramatiques. Il existe des méthodes formelles permettant d'assurer qu'un système informatique est fiable. La méthode formelle utilisée dans cette thèse est appelée complétion d'automates d'arbres et permet d'analyser les systèmes à nombre....

By Valérie Murat--Université Rennes 1--2014-06-26
發佈到Facebook發佈到Plurk

Dans cette thèse nous étudions la caractérisation et l'énumération de polyominos définis par des contraintes de convexité et ou d'évitement de motifs. Nous nous intéressons à l'énumération des polyominos k-convexes selon le semi périmètre, qui n'était connue que pour k=1,2. Nous énumérons une sous classe, les polyominos k-parallélogrammes, grâce à un....

By Daniela Battaglino--Université Nice Sophia Antipolis--2014-06-26
發佈到Facebook發佈到Plurk

The heterogeneity of the environments as well as the diversity of patients' needs and profiles are major constraints that challenge the spread of ambient assistive living (AAL) systems. AAL environments are usually evolving by the introduction or the disappearance of sensors, devices and assistive services to respond to the evolution of patients' conditions and human ne....

By Hamdi Aloulou--Institut National des Télécommunications--2014-06-25
發佈到Facebook發佈到Plurk

Cette thèse s'inscrit dans la continuité des travaux sur la comptabilité analytique, en apportant un regard historique sur les trajectoires de cet outil au sein des communes. Si la comptabilité analytique a donné lieu à plusieurs études, elle n'a jamais été l'objet, à notre connaissance, d'une analyse en profondeur s'interrogeant sur les facteurs d'adoption ou....

By Aurélien Bargain--Université de Nantes--2014-06-25
發佈到Facebook發佈到Plurk

The ozone formation reaction O+O2+M→O3+M is a unique example of a chemical reaction that leads to an anomalous isotopic composition of the products, most likely due to symmetry - breaking effects. So far, results on other chemical systems that might show similar effects are spurious, even though such claims concerning reactions other than the formation of ozone have b....

By Daniela Simone--Université Pierre et Marie Curie - Paris VI--2014-06-25
發佈到Facebook發佈到Plurk

Les lésions de cartilage ne cicatrisent pas spontanément et la réparation de ce tissu est un challenge. Les techniques chirurgicales restant insatisfaisantes, la thérapie cellulaire et l'ingénierie tissulaire sont maintenant envisagées. La transplantation de chondrocytes autologues (TCA) existe déjà mais cette procédure nécessite l'amplification des chondrocyt....

By Nathalie Mayer--Université Claude Bernard - Lyon I--2014-06-25
發佈到Facebook發佈到Plurk

Cholangiocarcinoma (CC) is a rare but fatal primary liver cancer and accounts for an estimated 15% of primary liver cancer worldwide. It is associated with high mortality due to the lack of established diagnostic approaches. Autoantibodies can be used clinically as diagnostic markers for early cancer detection of cholangiocarcinoma. Studies, indicating the presence of a....

By Mohammad Zahid Mustafa--Université Paris Sud - Paris XI--2014-06-25
發佈到Facebook發佈到Plurk

Malgré plusieurs études montrant les avantages du bon contrôle glycémique, celui-ci reste insuffisant pour un nombre important d'adultes atteints de diabète type 2. Plusieurs facteurs de risque sont associés au mauvais contrôle glycémique. L'insuffisance de prise en compte par les patients des conséquences immédiates et à long terme du mauvais contrôle glyc....

By Alioune Camara--Université Rennes 1--2014-06-25
發佈到Facebook發佈到Plurk


 

計畫贊助者: