• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 97
  • 52
  • 6
  • 1
  • Tagged with
  • 155
  • 78
  • 17
  • 17
  • 16
  • 16
  • 16
  • 16
  • 16
  • 15
  • 15
  • 14
  • 14
  • 14
  • 12
  • 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.
1

Un cadre d'application pour la visualisation des métriques orientées objet

Dufresne, Pascal January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
2

Analytical log minimal model program via conical Kähler Ricci flow : Song-Tian program / Programme du log-modèle minimal analytique par flot de Ricci Kählérienne conique : programme Song-Tian

Jolany, Hassan 10 June 2016 (has links)
L'existence de métrique canonique sur une variété projective était une conjecture de longue date et la majeure partie de cette conjecture est sur les variétés qui n'ont pas défini de première classe de Chern. Il existe un programme qui est connu comme le programme de Song-Tian, pour trouver une métrique canonique sur les modèles canoniques d'une variété projective avec la Programme de modèle Minimal analytique pour résoudre la partie restante de Calabi conjecture. Dans cette thèse, nous étendons le programme Song-Tian et donner une version logarithmiques de celui-ci. Nous étudions le flux de Kähler-Ricci conique qui peut être considéré comme la chirurgie analytique. Nous introduisons la notion de Weil-Petersson métrique logartithmique. Nous donnons une preuve courte de la formule de Gang Tian pour le potentiel Kähler de métrique Weil-Petersson logarithmique sur l'espace de modules des variétés de Log Calabi-Yau (si elle existe!) sur singularités coniques et Poincaré. / Existence of canonical metric on a projective variety was a long standing conjecture and the major part of this conjecture is about varieties which do not have definite first Chern class(most of the manifolds do not have definite first Chern class). Thereis a program which is known as SongTian program for finding canonical metric on canonical model of a projective variety by using Minimal Model Program. The main aim of this thesis is better undrestanding of SongTian program on pair (X;D). In this thesis, we apply SongTian program for pair (X;D) via Log Minimal Model Program where D is a simple normal crossing divisor on X with conic singularities. We investigate conical Kähler Ricci flow on holomorphic fiber spaces (X;D) -→B whose generic fibers are log Calabi Yau pairs (Xs;Ds), c1(KB) < 0, and D is a simple normal crossing divisor on X (we consider the cases c1(KB) = 0, and c1(KB) > 0 also). We show that there is a unique conical Kähler Einstein metric on (X;D) which is twisted by logarithmic Weil Petersson metric and an additional term which we will find it explicitly. We consider the semipositivity of fiberwise singular Kahler Einstein metric via SongTian program. We consider a twisted Kähler Einstein metric along Mori fibre space. Moreover, we give an analogue version of SongTian program for Sasakian manifolds. We give an arithmetic version of SongTian program for arithmetic varieties. Also we give a short proof of Tian’s formula for Kähler potential of logarithmic WeilPetersson metric on moduli space of log CalabiYau varieties (if such moduli space exists!).
3

Métrique sur le fibré unitaire tangent au plan hyperbolique

Nsanzamahoro, Pierre Claver January 2016 (has links)
RÉSUMÉ: Toute variété différentiable $M$ admet une métrique dite métrique riemannienne.\\ En définissant $\mathbb{H}=\lbrace z\in\mathbb{C}: Im(z)>0\rbrace$, on peut munir de $\mathbb{H}$ d'une métrique riemannienne $ds^{2}=\frac{dzd\bar{z}}{(Im(z))^{2}}=\frac{dx^{2}+dy^{2}}{y^{2}}$.\\ Muni de cette métrique, $\mathbb{H}$ est une variété riemannienne à la quelle on associe le fibré tangent, $T\mathbb{H}$ ainsi que le fibré unitaire tangent, $T^{1}\mathbb{H}$. Les éléments de $T^{1}\mathbb{H}$ peuvent être exprimés, de façon bijective, en termes des éléments du groupe PSL(2,$\mathbb{R}$) dont l'action sur $T^{1}\mathbb{H}$ est transitive et libre.\\ La métrique définie sur $M$ (en particulier sur $M=\mathbb{H}$) permet de définir sur $TM$ (en particulier sur $T^{1}\mathbb{H}$) une métrique connue sous le nom de métrique de Sasaki.
4

Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique

Lapalme, Jasmin January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
5

Gestion des connaissances et externalisation informatique. Apports managériaux et techniques pour l'amélioration du processus de transition : Cas de l'externalisation informatique dans un EPST

Grim-Yefsah, Malika 23 November 2012 (has links) (PDF)
Le travail de recherche de cette thèse traite de la problématique de transfert de connaissances lors du processus de transition d'un projet informatique externalisé dans un EPST. En particulier, Comment transférer les connaissances, constituées des expériences-succès ou échecs passés, routines, assimilées et cumulées pendant la durée d'un projet externalisé par les membres d'une équipe sortante vers une nouvelle équipe entrante d'une manière efficiente ? Nous nous focalisons sur ce processus de transition en raison de son importance pour le succès de l'externalisation informatique, de sa complexité, de sa richesse théorique et le manque d'études dans ce domaine. Nous avons choisi d'approcher cette problématique par le biais de la gestion des connaissances. Dans un premier volet de cette thèse, nous nous sommes appuyées sur le paradigme Goal-Question-Metric proposant une démarche de définition de la qualité pour progresser de notre besoin opérationnel jusqu'à la définition des métriques d'évaluation de la robustesse utilisant des informations issues de l'analyse de réseaux informels sous-jacents aux activités effectuées dans le processus métier. Ces métriques permettent d'évaluer une partie de la qualité d'un processus métier en tenant compte de la connaissance tacite des acteurs du processus de transition. Dans un second volet de cette recherche, nous avons développés une méthode, en nous appuyant sur l'approche de capitalisation sur les connaissances et des mécanismes théoriques de transfert de connaissances, et un outil informatique pour mettre en œuvre ce processus de transfert de connaissances
6

Visualisation de la qualité des logiciels de grandes taille

Langelier, Guillaume January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
7

Les textes de chansons : entre le langage et la musique : (sur l'exemple de la chanson d'auteur des années 1950-1980) / Song lyrics : where language meets music : (a study of the French chanson d’auteur, 1950s – 1980s)

Savtchenko, Mikhail 14 December 2015 (has links)
Le travail est consacré au texte de chanson en tant que phénomène. La chanson étant un genre synthétique, les modes de coopération entre ses deux principaux univers, le texte et la musique, sont étudiés, afin de voir quels effets de sens produit leur coexistence. Cela est réalisé sur l’exemple de la chanson française des années 1950-1980 : à l’intérieur de cette période, trois auteurs (Serge Gainsbourg, Boby Lapointe, Nino Ferrer) ont été choisis, dont la similitude des styles permet de les regrouper sous la même appellation de « chanson formaliste ». Ce type de chanson affiche un intérêt particulier pour les jeux linguistiques (calembours, allitérations) et autres procédés rhétoriques ou ludiques (pastiches, parodies) et met en œuvre une intertextualité riche. Ce caractère est souvent paradoxal, car la musique, qui dicte des contraintes comparables à l’état du vers français à l’époque métrique, gomme certains de ces effets formels, et le genre chanson en général tolère mal les jeux linguistiques complexes. Le statut problématique du texte de chanson est lié au fait que, techniquement, il ne diffère guère du poème et peut être mis dans le même contexte culturel (notamment en étant publié ou récité), alors que son mode de fonctionnement n’est pas le même. L’analyse des textes de la chanson formaliste révèle que si les procédés utilisés par Gainsbourg, Lapointe et Ferrer existent aussi dans la poésie, le texte de chanson possède des caractéristiques qui lui sont propres, notamment un rapport nécessaire avec les autres éléments de la chanson (la musique, la performance), ainsi que la linéarité temporelle. / The thesis studies song lyrics as a concept. As the song is a synthetic genre, the modes of interaction between its two main domains, words and music, are studied, along with the effects of their coexistence. The example used it that of the French chanson of the 1950s – 1980s. Within this period, the study focuses on three authors (Serge Gainsbourg, Boby Lapointe, Nino Ferrer), whose songs, on account of their stylistic similarities, can be considered examples of the “formalist chanson”. This type of chanson prefers linguistic play (puns, alliteration) and other rhetorical or play-oriented devices (pastiche, parody), and makes heavy use of intertextuality. This is often a paradox, as music, as it entails constraints comparable to those of metric poetry, often minimizes formal effect; indeed, the genre of chanson in general is ill-suited to complex wordplay. The song lyric is problematic because whereas it is technically identical to the poem, and can also be put in the same cultural context (in particular, by being published or read aloud), the principles of its functioning are not the same. The analysis of “formalist chanson” lyrics reveals that while the devices used by Gainsbourg, Ferrer and Lapointe can also be found in poetry, the song lyric nonetheless possesses distinguishing features: in particular its dependency on the other elements of the song (music and performance), but also its temporal linearity.
8

Software stability assessment using multiple prediction models

Zhang, Hong January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
9

Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect

Guyomarc'h, Jean-Yves January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
10

Techniques de contrôle de congestion et de dissémination d'informations dans les réseaux véhiculaires

Chakroun, Omar January 2014 (has links)
Les réseaux véhiculaires, connus sous le terme VANETs, sont des réseaux impliquant des communications entre deux ou plusieurs véhicules et éventuellement une communication avec des éléments d’infrastructure sur la route. Récemment, le concept de systèmes de transports intelligent a connu beaucoup d’intérêt. Les STI sont des systèmes utilisant les nouvelles technologies de communication sans fil appliquées au domaine du transport pour améliorer la sécurité routière, la logistique et les services d’information. Des défis majeurs ont besoin cependant d'être abordés pour offrir une communication sur la route sécurisée et fiable dans des environnements anonymes et quelquefois hostiles à la communication. Comme dans tout système de communication, les réseaux véhiculaires doivent opérer en respectant des contraintes en termes de qualité de service. Ces contraintes sont d’autant plus strictes quand il s’agit de fournir des services de sécurité sur la route. Ce projet vise à développer des techniques de communication véhiculaires pour le relayage d’informations de manière fiable et à faible délai entre véhicules voyageant à haute vitesse. Ces techniques devront permettre de respecter des contraintes temporelles sévères afin d’envisager leur utilisation dans des applications de sécurité sur la route. Pour ce faire, cette thèse proposera d’abord des techniques efficaces de dissémination d’informations utilisant des approches multi-métriques basées sur différentes mesures en temps-réel. Des méthodes de relayage seront proposées qui permettent de diminuer les délais d’acheminement et augmenter la probabilité de réception. Ces méthodes utiliseront, entre autres, des approches d’adaptation de la portée et/ou de la priorité des messages en fonction de leur type et de l’intérêt éventuels des véhicules récepteurs en la réception de ces messages. Dans un second volet, ce projet proposera des concepts et des méthodes afin de palier au problème de congestion dans les réseaux véhiculaires qui peut résulter conjointement à la dissémination d’informations. Ces concepts et méthodes viseront à respecter la fiabilité exigée par les applications de sécurité, tout en restant conforme aux nouveaux standards de communications véhiculaires.

Page generated in 0.0493 seconds