• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 64
  • 7
  • 3
  • 1
  • Tagged with
  • 77
  • 22
  • 17
  • 14
  • 13
  • 9
  • 9
  • 8
  • 8
  • 8
  • 7
  • 7
  • 7
  • 7
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Approche structurelle de quelques problèmes de la théorie des automates

Lombardy, Sylvain 19 December 2001 (has links) (PDF)
Les travaux développés dans cette thèse empruntent trois directions principales. D'une part, une étude attentive des propriétés de l'automate universel d'un langage rationnel a été menée. Cet automate fini (introduit sous une forme sensiblement différente par J.H. Conway) accepte le langage et a la particularité de contenir l'image par morphisme de n'importe quel automate équivalent. Nous donnons un algorithme pour le construire à partir de l'automate minimal. L'exploitation des propriétés de l'automate universel d'un langage réversible nous a permis de montrer qu'il existe un sous-automate quasi-réversible (à partir duquel on peut facilement construire un automate réversible) de l'automate universel équivalent. De plus, il existe un tel sous-automate sur lequel on peut calculer une expression rationnelle qui représente le langageavec une hauteur d'étoile minimale. D'autre part, nous donnons un algorithme pour décider la séquentialité d'une série (max,+) ou (min,+) réalisée par par un automate sur un alphabet à une lettre. La complexité de cet algorithme ne dépend que de la structure de l'automate et non des valeurs des coefficients. Nous présentons aussi un algorithme qui permet de procéder directement à la déterminisation d'un automate réalisant une série séquentielle et, si ce n'est pas le cas, à l'obtention d'un automate équivalent non ambigu. Ce dernier point rejoint le résultat de Stéphane Gaubert qui montre qu'on peut obtenir une expression (et donc un automate) non ambiguë pour n'importe quel série (max,+) rationnelle sur une lettre. Enfin, nous proposons un algorithme pour construire, à partir d'une expression rationnelle avec multiplicité, un automate qui représente la même série. Cet algorithme, qui est la généralisation des travaux d'Antimirov, permet d'obtenir explicitement un ensemble fini d'expressions qui représentent un ensemble générateur du semi-module auquel appartiennent les quotients de la série rationnelle.
22

Cyclicité finie des boucles homoclines dans R3 non dégénérées avec valeurs propres principales réelles en résonance 1:1

Guimond, Louis-Sébastien January 1999 (has links)
Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.
23

Mise au point d'un préleveur automatique pour la mesure en continu des composés carbonylés atmosphériques.

Perraud, Veronique 14 December 2007 (has links) (PDF)
Deux stratégies analytiques ont été explorées en vue d'élaborer un préleveur automatique pour la mesure en continu des composés carbonylés atmosphériques. Parce que très spécifique envers les composés carbonylés, le prélèvement par transfert de la phase gazeuse échantillonnée dans un liquide couplé à une dérivation chimique des composés collectés a été d'abord étudiée Cependant, cette stratégie a induit un piégeage non quantitatif de certains composés d'intérêt et/ou une utilisation en continu sur site délicate. Pour palier les difficultés rencontrées, une seconde stratégie a été envisagée : l'adsorption à froid sur un support solide suivie d'une thermodesorption couplée à une analyse directe par GC/MS a été envisagée et expérimentée. Une efficacité de piégeage supérieure à 95% a été observée pour les composés carbonylés composés de 1 à 7 carbones sur différent support solide testés. Ces résultats encourageant constituent une première étape du développement fructueuse.
24

Modélisation magnéto-mécanique d'un nano commutateur. Optimisation sous contraintes de fiabilité par dérivation automatique des programmes en Java

Pham Quang, Phuong 11 October 2011 (has links) (PDF)
Les nano commutateurs magnétiques sont en cours d'étude et ils sont susceptibles d'être présents dans plusieurs domaines d'application comme les interrupteurs d'alimentation, les convertisseurs DC/DC...etc. Compte tenu de leur très petite taille et de leur procédé de fabrication, leurs performances sont sujettes à de grandes dispersions. Partant du besoin de modélisation et d'optimisation avec fiabilité de ces dispositifs, ces travaux de thèse se décomposent en trois axes. Axe modélisation : Développement d'un modèle semi analytique pour calculer la déformation avec l'analyse de contact mécanique. Ce modèle a été introduit pour le couplage magnéto-mécanique dans le logiciel de modélisation de MEMS magnétiques MacMMems. Axe dérivation automatique de code : Développement de JAP (Java Jacobian Automatic Programming) qui est un outil générique de dérivation d'algorithmes. Il a été appliqué pour le nano commutateur et a été introduit dans les outils de dimensionnement développés au G2Elab pour l'analyse de sensibilité, pour l'optimisation exploitant le Jacobien et aussi pour orienter des systèmes d'équations algébro-différentiels. Axe optimisation : Mise en oeuvre du modèle et des outils développés pour faire l'étude de sensibilité et l'optimisation sous contraintes de fiabilité du nano commutateur magnétique.
25

Détection de dérivation de texte

Poulard, Fabien 24 March 2011 (has links) (PDF)
L'Internet permet la production et la diffusion de contenu sans effort et à grande vitesse. Cela pose la question du contrôle de leur origine. Ce travail s'intéresse à la détection des liens de dérivation entre des textes. Un lien de dérivation unit un texte dérivé et les textes préexistants à partir desquels il a été écrit. Nous nous sommes concentré sur la tâche d'identification des textes dérivés étant donné un texte source, et ce pour différentes formes de dérivation. Notre première contribution consiste en la définition d'un cadre théorique posant les concepts de la dérivation ainsi qu'un modèle mulitidimensionnel cadrant les différentes formes de dérivation. Nous avons ensuite mis en place un cadre expérimental constitué d'une infrastructure logicielle libre, de corpus d'évaluation et d'un protocole expérimental inspiré de la RI. Les corpus Piithie et Wikinews que nous avons développé sont à notre connaissance les seuls corpus en français pour la détection de dérivation. Finalement, nous avons exploré différentes méthodes de détection fondées sur l'approche par signature. Nous avons notamment introduit les notions de singularité et d'invariance afin de guider le choix des descripteurs utilisés pour la modélisation des textes en vue de leur comparaison. Nos résultats montrent que le choix motivé des descripteurs, linguistiques notamment, permet de réduire la taille de la modélisation des textes, et par conséquence des coûts de la méthode, tout en offrant des performances comparables à l'approche état de l'art beaucoup plus volumineuse.
26

Cyclicité finie des boucles homoclines dans R3 non dégénérées avec valeurs propres principales réelles en résonance 1:1

Guimond, Louis-Sébastien January 1999 (has links)
Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.
27

Polysémie et structuration du lexique : le cas du Wolof / Polysemy and structuration of the lexicon : the Wolof case

Bondéelle, Olivier 13 May 2015 (has links)
Ce travail porte sur le rôle de la polysémie dans la structuration du lexique. La thèse propose de faire une évaluation qualitative de la polysémie, en la comparant aux autres relations qui structurent le lexique. Cette entreprise doit permettre de vérifier que les liens de polysémie ne doivent pas être modélisés indépendamment des liens de dérivation ou de conversion. Les résultats de l'évaluation montrent que la frontière entre polysémie et conversion est poreuse.Les comparaisons entre relations utilisent les propriétés de l'analogie, bien adaptée pour caractériser les rapports entre relations. Ce sont les liens qui connectent les lexies qui font l'objet d'une comparaison. Un lien de polysémie est ce qui connecte deux lexies en relation de polysémie. Ce lien peut être comparé à un lien qui connecte deux autres lexies en relation de conversion.La langue d'étude est le wolof, langue atlantique d'Afrique de l'ouest. Cette langue est un terrain propice à une telle recherche. Un large éventail de procédés morphologiques structurent le lexique (dérivation par suffixation, dérivation par alternance consonantique, conversion par changement du morphème de classe nominale).L'apport descriptif de ce travail est d'explorer les champs des artefacts et des émotions du wolof, champs jamais décrits auparavant du point de vue de la structuration du lexique pour une langue africaine. La méthodologie consiste à décrire les sens des unités lexicales et les liens sémantiques qui les connectent par un métalangage unique, celui de la métalangue sémantique naturelle (NSM), introduit ici pour le wolof. / Emphasizing on the key role of polysemy in forming the lexicon is the main goal to be achieved in this dissertation paper. The paper suggests a qualitative evaluation of polysemy in comparing it with other relations that form the lexicon. The research confirms that the polysemic links must not be modeled independently from derivative links or conversational links. This evaluation leads us to reveal that the boundary between polysemy and conversation is porous. The properties of analogy has been used to compare the relations, which is well adapted in characterizing the links between the relations. They are the links that connect lexis which form the objects of a comparison. A polysemic link is a link by which two lexis are connected to each other in a polysemic relation. This link can be compared to a link that connects two other lexis in a conversional relation. In this paper, Wolof, an Atlantic language in West-Africa, is studied. This language provides a fertile breeding ground for our explorations. A large scale of different morphological processes form the lexicon (like suffix derivation, derivations from consonant alternation and conversion by changes in nominal class morphemes).The descriptive contribution of this research is to explore the semantic fields of artifacts and emotions in Wolof lexicon. These fields have never been described in an African language taking the lexicon formation into consideration.The methodology applied here is to describe both the meanings of the lexical units and the semantic links by which they are connected by a unique metalanguage. That unique metalanguage is called the Natural Semantic Metalanguage (NSM), which is applied here to Wolof.
28

Analyse quantitative de l'Estradiol dans les tissus cérébraux et le plasma de souris / Quantitative analysis of Estradiol in brain tissue and plasma of mouse

Lozan, Ecaterina 17 December 2015 (has links)
Les oestrogènes font partie de la famille des neurostéroïdes. Notamment, l’Estradiol (17β-E2) pourrait avoirdes effets bénéfiques sur certaines anomalies liées à l'âge (déclin mnésique et cognitif, maladie d'Alzheimer). Le dosagede très faibles teneurs du 17β-E2 et de ces métabolites (Estrone, Estriol), dans les tissus cérébraux et le plasma, constitueun outil indispensable pour estimer la variation de leurs niveaux avec l'âge et dans différentes pathologies.Tout d'abord, nous avons élaboré une méthode en RP-HPLC-ESI(-)-MS/MS de quantification des oestrogènes sansdérivation chimique. La sélectivité de la séparation et la sensibilité de la détection de ces molécules ont été amélioréesaprès optimisation des paramètres MRM et chromatographiques.Puis, différents agents de dérivation ont été synthétisés et évalués afin d’augmenter le taux d’ionisation pour améliorerla sensibilité de détection. Après l’analyse ESI-MS et MS/MS de onze dérivés du 17β-E2, nous nous sommes intéressésplus particulièrement au dérivé 17β-E2-Q8S.Afin de réduire les interférences, une méthode de préparation de l’échantillon biologique (tissus cérébral, plasma desouris) a été développée. Les deux dosages (sans et avec dérivation) ont été comparées en termes de sensibilité, limitesde détection et de quantification (LD et LQ), linéarité et reproductibilité. Puis, elles ont été appliquées à l’analyse deséchantillons de cerveau, d'hippocampe et de plasma prélevés sur des animaux jeunes et âgés traités avec des quantitésconnues de 17β-E2. La méthode qui nous est apparue la plus robuste est la méthode sans dérivation avec une LD de0,5 fmole.μL-1. / Estrogens are neurosteroids, especially Estradiol (17β-E2) which is considered to be the most biologicallyactive form. 17β-E2 could have positive effects on some age-associated anomalies (memory and cognitive impairment,Alzheimer's disease). For elucidating and better understanding the molecular and cellular mechanisms that underliethe effects within the brain, it is necessary to quantitate 17β-E2 and its metabolites (estrone and estriol) in brain andplasma.First, the RP-HPLC-ESI(-)-MS/MS method without derivatization was developed. The selectivity of the separationand the sensitivity of detection of the estrogens has been improved after optimization of MRM and chromatographicparameters.Secondly, the various derivatization agents were evaluated after their synthesis in order to improve the sensitivity,selectivity and signal enhancement. After studying the eleven synthesized derivatives of 17β-E2 in ESI-MS andMS/MS, promising results were obtained with the 17β-E2-Q8S derivative.A simple purification method using liquid-liquid extraction followed by C18 solid phase extraction has been optimizedin order to minimize assay interferences. The two assays (with and without derivatization) were then compared interms of efficiency, detection and quantification limits (LOD/LOQ), calibration linearity and reproducibility. Then,both methods were validated on biological samples (brain, hippocampus and plasma) collected from animals treatedwith known amounts of 17β-E2. Finally, the more robust method was the method without derivatization with a LODof 0.5 fmol.μL-1.
29

Développement de méthodes de séparation des oligosaccharides de chitine et de chitosane par électrophorèse capillaire

Beaudoin, Marie-Ève January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
30

Automorphismes et isomorphismes des graphes de Cayley

Fournier, J. January 2004 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Page generated in 0.0842 seconds