Thèses & Mémoires
Thèses et mémoires Open Access vietnamiens et internationaux (HAL, EThOS, MIT, Columbia, OpenAIRE, VNU, HUST, UEH...). Gratuit, lien vers l'original.
3 373 records · OAI-PMH harvest 24h
- Thesis· HAL - Pháp· 🌐 FR
Concurrency in Interaction Nets and Graph Rewriting
In this work, we study concurrency in non-deterministic extensions of Lafont's interaction nets (a graphical language for functional calculus). These extensions are essentially of three types: multiruled, with multiports and multiwired. The
- Thesis· HAL - Pháp· 🌐 FR
Manufacturing Constraints and Multi-Phase Shape and Topology Optimization via a Level-Set Method
The main contribution of this thesis is the implementation of manufacturing constraints in shape and topology optimization. Fabrication limitations related to the casting process are formulated as mathematical constraints and introduced in
- Thesis· HAL - Pháp· 🌐 FR
Adaptation interactive d'un traitement de radiothérapie par imagerie volumique : Développement et validation d'outils pour sa mise en œuvre en routine clinique
Les changements anatomiques des patients au cours du traitement de radiothérapie peuvent engendrer des conséquences dosimétriques significatives sur les volumes cibles (VC) ou les organes à risques (OARs). Le processus de radiothérapie adap
- Thesis· HAL - Pháp· 🌐 FR
Adaptation interactive d'un traitement de radiothérapie par imagerie volumique : Développement et validation d'outils pour sa mise en œuvre en routine clinique
Les changements anatomiques des patients au cours du traitement de radiothérapie peuvent engendrer des conséquences dosimétriques significatives sur les volumes cibles (VC) ou les organes à risques (OARs). Le processus de radiothérapie adap
- Thesis· HAL - Pháp· 🌐 FR
Non-smooth model of the grand piano action / Modèle non-régulier de la touche de piano à queue
The grand piano action aims at propelling the hammer up to the strings. This mechanism provides the pianist with a high-controllability of the time of impact of the hammer with the strings and the hammer's velocity at the impact. This contr
- Thesis· HAL - Pháp· 🌐 FR
Non-smooth model of the grand piano action / Modèle non-régulier de la touche de piano à queue
The grand piano action aims at propelling the hammer up to the strings. This mechanism provides the pianist with a high-controllability of the time of impact of the hammer with the strings and the hammer's velocity at the impact. This contr
- Thesis· HAL - Pháp· 🌐 FR
Erasable coercions: a unified approach to type systems / Coercions effaçables : une approche unifiée des systèmes de types
Functional programming languages, like OCaml or Haskell, rely on the lambda calculus for their core language. Although they have different reduction strategies and type system features, their proof of soundness and normalization (in the abs
- Thesis· HAL - Pháp· 🌐 FR
Résonateur à ondes élastiques de volume à harmoniques élevés (HBARs) pour mesures gravimétriques : application à la détection de gaz / High overtone bulk acoustic wave resonator (HBAR) for gravimetric measurement: gas detection
Le besoin d'appareils compacts et autonomes dédiés à la détection d'espèces chimiques pour des analyses de terrain est d'actualité dans un contexte international en rapide mutation (agroalimentaire, développement durable, sécurité, etc.). L
- Thesis· HAL - Pháp· 🌐 FR
Résonateur à ondes élastiques de volume à harmoniques élevés (HBARs) pour mesures gravimétriques : application à la détection de gaz / High overtone bulk acoustic wave resonator (HBAR) for gravimetric measurement: gas detection
Le besoin d'appareils compacts et autonomes dédiés à la détection d'espèces chimiques pour des analyses de terrain est d'actualité dans un contexte international en rapide mutation (agroalimentaire, développement durable, sécurité, etc.). L
- Thesis· HAL - Pháp· 🌐 FR
Modélisation de la lubrification des surfaces texturées - Application à la butée en régime hydrodynamique / Modeling the lubrication effects induced by textured surfaces - Application to the hydrodynamic thrust bearing
La compréhension et la modélisation d'un contact lubrifié en présence de texturation nécessitent une description physique très fine pour comprendre les analyses contradictoires et pour expliquer les résultats très différents en terme de per
- Thesis· HAL - Pháp· 🌐 FR
Modélisation de la lubrification des surfaces texturées - Application à la butée en régime hydrodynamique / Modeling the lubrication effects induced by textured surfaces - Application to the hydrodynamic thrust bearing
La compréhension et la modélisation d'un contact lubrifié en présence de texturation nécessitent une description physique très fine pour comprendre les analyses contradictoires et pour expliquer les résultats très différents en terme de per
- Thesis· HAL - Pháp· 🌐 FR
Cobalt-Catalyzed C-C and C-N Coupling reactions
This thesis allowed realizing new cobalt-catalyzed cross-coupling reactions. The first chapter describes a new route for the direct allylation of various alkyl halides catalyzed by cobalt(II) bromide. This method is very straightforward and
- Thesis· HAL - Pháp· 🌐 FR
Transport de neutrinos dans les supernovas gravitationnelles / Neutrino transport in core collapse supernovae
Les supernovas gravitationnelles sont un sujet d'étude passionnant, aussi bien par la diversité et la richesse de la physique mise en jeu que par l'émerveillement que peut exercer l'apparition d'un nouvel objet brillant dans le ciel. Les su
- Thesis· HAL - Pháp· 🌐 FR
Analysis and Data Mining of Moving Object Trajectories / Analyse et fouille de données de trajectoires d'objets mobiles
In this thesis, we explore two problems related to managing and mining moving object trajectories. First, we study the problem of sampling trajectory data streams. Modern location-aware devices are capable of capturing and transmitting thei
- Thesis· HAL - Pháp· 🌐 FR
Entre désertification et reverdissement du Sahel : Diagnostic des observations spatiales et in situ / Between desertification and re-greening of the Sahel region : diagnosis of remote sensing data and field observations
Le Sahel est une région semi-aride caractérisée par un fort gradient bioclimatique et qui est particulièrement sensible à la variabilité des précipitations. Les périodes de très forte sécheresse qui ont sévi sur l'ensemble du Sahel entre le
- Thesis· HAL - Pháp· 🌐 FR
Entre désertification et reverdissement du Sahel : Diagnostic des observations spatiales et in situ / Between desertification and re-greening of the Sahel region : diagnosis of remote sensing data and field observations
Le Sahel est une région semi-aride caractérisée par un fort gradient bioclimatique et qui est particulièrement sensible à la variabilité des précipitations. Les périodes de très forte sécheresse qui ont sévi sur l'ensemble du Sahel entre le
- Thesis· HAL - Pháp· 🌐 FR
Propriétés d'approximation pour les groupes quantiques discrets / Approximation properties for discrete quantum groups
Cette thèse porte sur les propriétés d'approximation pour les groupes quantiques discrets et particulièrement sur la moyennabilité faible. Notre but est d'appliquer des techniques de théorie géométrique des groupes à l'étude des groupes qua
- Thesis· HAL - Pháp· 🌐 FR
Propriétés d'approximation pour les groupes quantiques discrets / Approximation properties for discrete quantum groups
Cette thèse porte sur les propriétés d'approximation pour les groupes quantiques discrets et particulièrement sur la moyennabilité faible. Notre but est d'appliquer des techniques de théorie géométrique des groupes à l'étude des groupes qua
- Thesis· HAL - Pháp· 🌐 FR
Polarisation des structures de soins de la Haute Casamance : entre construction nationale des systèmes de santé et recours aux soins transfrontalier / Polarization of health care structures of Upper Casamance: between the national construction of health systems and cross-border use of care facilities
Le bassin de santé de la Haute Casamance est à cheval sur quatre Etats que sont le Sénégal, la Guinée Bissau, la Guinée et la Gambie au destin lié par un passé de pratique territoriale commune. Toutefois, la construction des Etats au lendem
- Thesis· HAL - Pháp· 🌐 FR
Etude expérimentale et numérique de la rupture ductile sous chargement multiaxial / Experimental and numerical analysis of ductile fracture under multiaxial loading
Une géométrie d'éprouvette tubulaire de traction-torsion entaillée a été optimisée pour caractériser l'effet de l'état des contraintes (triaxialité et paramètre de Lode) sur la ductilité des métaux à faible taux de triaxialité. Des essais b