Création de centres stéréogéniques sur les molécules acycliques par contrôle du substrat : synthèse de centres quaternaires et d'analogues de nucléosides

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

The Technology of Copper Alloys, Particularly Leaded Bronze, in Greece, its Colonies, and in Etruria during the Iron Age

L’objet de la présente étude est le développement, l’application et la diffusion de la technologie associée à divers types d’alliages de cuivre, en particulier l’alliage du plomb-bronze, en Grèce ancienne, dans ses colonies, ainsi qu’en Étrurie. Le plomb-bronze est un mélange de diverses proportions d’étain, de cuivre et de plomb. Le consensus général chez les archéométallurgistes est que le plomb-bronze n’était pas communément utilisé en Grèce avant la période hellénistique; par conséquent, cet alliage a reçu très peu d’attention dans les documents d’archéologie. Cependant, les analyses métallographiques ont prouvé que les objets composés de plomb ajouté au bronze ont connu une distribution étendue. Ces analyses ont aussi permis de différencier la composition des alliages utilisés dans la fabrication de divers types de bronzes, une preuve tangible que les métallurgistes faisaient la distinction entre les propriétés du bronze d’étain et celles du plomb-bronze. La connaissance de leurs différentes caractéristiques de travail permettait aux travailleurs du bronze de choisir, dans bien des cas, l’alliage approprié pour une utilisation particulière. L’influence des pratiques métallurgiques du Proche-Orient a produit des variations tant dans les formes artistiques que dans les compositions des alliages de bronze grecs durant les périodes géométrique tardive et orientalisante. L’utilisation du plomb-bronze dans des types particuliers d’objets coulés montre une tendance à la hausse à partir de la période orientalisante, culminant dans la période hellénistique tardive, lorsque le bronze à teneur élevée en plomb est devenu un alliage commun. La présente étude analyse les données métallographiques de la catégorie des objets coulés en bronze et en plomb-bronze. Elle démontre que, bien que l’utilisation du plomb-bronze n’était pas aussi commune que celle du bronze d’étain, il s’agissait néanmoins d’un mélange important d’anciennes pratiques métallurgiques. Les ères couvertes sont comprises entre les périodes géométrique et hellénistique.

Erotismo, poema y budismo tántrico : Octavio Paz y los caminos del éxtasis

Cette recherche a comme objectif l’étude d’un des thèmes clef dans la vaste œuvre du poète et essayiste mexicain Octavio Paz (1914-1998) : les analogies entre l’érotisme, le poème et le sacré comme chemins ou voies d’union et de réconciliation humaine, idée qui est particulièrement renforcée dans son œuvre à partir des voyages et du séjour en Orient –spécialement en Inde– entre 1951 et 1968. Pendant la période nommée « cycle indien » (‘ciclo hindú’), Paz s’est intéressé aux différentes traditions de la pensée orientale, particulièrement le bouddhisme, et surtout son orientation tantrique. Ce mémoire analyse les apports les plus significatifs du bouddhisme à l’œuvre de Paz. À partir de l’étude de concepts comme la vacuité, le silence, l’autre bord (‘otra orilla’), l’union extatique transcendante et la libération, ce mémoire soutient que Paz a approfondi les analogies entre l’érotisme, la poésie et le sacré en ne les concevant pas seulement comme expériences de réconciliation mais en les menant au-delà, au plan transcendental, à partir de l’union extatique dans la vacuité. Même si ce mémoire tient compte d’un grand nombre d’œuvres d’Octavio Paz, qui vont de El arco y la lira (1956) à Vislumbres de la India (1995), une attention particulière est dédiée à deux textes qui sont les plus représentatifs du résultat de sa rencontre avec l’Orient, Ladera este (1969) et El mono gramático (1974), dans lesquels il est possible d’observer les analogies que Paz établit entre l’érotisme, le poème, et le bouddhisme tantrique à partir de l’expérience de l’altérité (‘otredad’), qui propose à l’être humain la recherche de son ‘autre’ pour se réconcilier dans l’unité, et de l’expérience de dissipation dans la vacuité. La conclusion générale de l’étude souligne que l’érotisme, le poème, et le bouddhisme tantrique se proposent dans l’œuvre de Octavio Paz comme trois chemins parallèles de révélation par lesquels l’être humain peut accéder à sa plénitude, état manifeste dans l’expérience extatique.

Bodies, Saracen giants, and the medieval romance : transgression, difference, and assimilation

Bodies, Saracen Giants, and the Medieval Romance: Transgression, Difference, and Assimilation explore le traitement des corps de trois géants Sarasins dans les romances de Roland and Vernagu (c. 1330), Sir Beues of Hamtoun (c. 1330), et The Taill of Rauf Coilyear (c. 1513-42).Grâce à une étude de la représentation de ces trois géants Sarasin, la signification du corps humain au Moyen Age, et des pratiques de la Chrétienté an accord avec les discours et idéologies envers le Proche-Orient qui existaient dans l’Occident médiéval, ce mémoire de maîtrise juxtapose le géant Sarasin et le héros de la romance pour indiquer une similarité apparente entre leur deux corps et leur religion respective. La romance démontre avec hésitation un désir d’assimiler le géants Sarasin dans le code héroïque ainsi que dans la religion chrétienne, mais souvent rejette avec suspicion le corps du géant par sa mort sur le champ de bataille. Malgré sa mort ou son assimilation dans le code héroïque et la Chrétienté, le corps du géant Sarasin demeure toujours important dans le contexte de la Romance, puisqu’il contribue à la construction de l’identité du héros, de sa foi, et de sa société.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

Segmentation non-supervisée d'images couleur par sur-segmentation Markovienne en régions et procédure de regroupement de régions par graphes pondérés

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Additions nucléophiles sur des B[beta]-alkoxyaldéhydes a[alpha],a[alpha]-disubstitués formés par une réaction radicalaire de transfert de vinyle intramoléculaire

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Synthèse diastéréosélective du fragment C1-C13 de la zincophorine par approche combinée utilisant une séquence d'aldolisation de Mukaiyama suivie d'une réduction radicalaire

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Dimension métrique des graphes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Complexité des homomorphismes de graphes avec listes

Les problèmes de satisfaction de contraintes, qui consistent à attribuer des valeurs à des variables en respectant un ensemble de contraintes, constituent une large classe de problèmes naturels. Pour étudier la complexité de ces problèmes, il est commode de les voir comme des problèmes d'homomorphismes vers des structures relationnelles. Un axe de recherche actuel est la caractérisation des classes de complexité auxquelles appartient le problème d'homomorphisme, ceci dans la perspective de confirmer des conjectures reliant les propriétés algébriques des structures relationelles à la complexité du problème d'homomorphisme. Cette thèse propose dans un premier temps la caractérisation des digraphes pour lesquels le problème d'homomorphisme avec listes appartient à FO. On montre également que dans le cas du problèmes d'homomorphisme avec listes sur les digraphes télescopiques, les conjectures reliant algèbre et complexité sont confirmées. Dans un deuxième temps, on caractérise les graphes pour lesquels le problème d'homomorphisme avec listes est résoluble par cohérence d'arc. On introduit la notion de polymorphisme monochromatique et on propose un algorithme simple qui résoud le problème d'homomorphisme avec listes si le graphe cible admet un polymorphisme monochromatique TSI d'arité k pour tout k ≥ 2.

Le grenadier tunisien (Punica granatum) stimule le transport de glucose dans les cellules musculaires C2C12 via la voie insulino-dépendante de l’Akt et la voie insulino-indépendante de l’AMPK

Le diabète est reconnu comme un problème majeur de santé publique causant des conséquences humaines et économiques redoutables. La phytothérapie s’offre comme une nouvelle avenue thérapeutique pour le contrôle de la glycémie. Le grenadier, Punica granatum, a servi de remède contre le diabète dans le système Unani de la médecine pratiquée en Inde et au Moyen Orient. Des études ont démontré un effet hypoglycémiant des extraits de grenadier via divers mécanismes notamment par une amélioration de la sensibilité à l’insuline et la régénération des cellules béta-pancréatiques. Cependant, aucune étude n’a démontré à ce jour, l’effet de grenadier sur le transport de glucose dans le muscle, étape cruciale dans la régulation de l’homéostasie glucidique postprandiale. De plus, l’effet de la maturation sur le potentiel antidiabétique du fruit de grenadier n’a pas été étudié. Ainsi, le but de ce projet est d’évaluer l’effet antidiabétique des extraits de grenadier sur le transport de glucose dans les cellules musculaires C2C12 en fonction de la variété et du stade de maturation du fruit et d’élucider les mécanismes d’action. Le choix des variétés du grenadier tunisien (Espagnoule [EP] et Gabsi [GB]) a été orienté pour leur pouvoir antioxydant et leur consommation locale. Deux parties de la plante ont été utilisées, les fleurs et les fruits à 3 stades de maturation soit 2, 4 et 6 mois. Les résultats ont montré que seule la variété du grenadier Gabsi stimule significativement le transport de glucose par rapport au contrôle (DMSO), et ceci sans être toxique. Cet effet est plus prononcé au stade de fruit mûr (à 6 mois) que celui de la fleur. De plus, l’extrait de fleurs stimule la voie insulino-indépendante de l’AMPK et augmente le niveau d’expression des transporteurs spécifiques de glucose (GLUT-4). Par contre, l’extrait de fruits mûrs, en plus de ces deux mécanismes, active fortement aussi la voie insulino-dépendante de l’AKT. En conclusion, cette étude présente un nouveau mécanisme d’action antidiabétique de grenadier (plus particulièrement du fruit mûr) qui est dépendant de la variété.

Apprentissage machine efficace : théorie et pratique

Malgré des progrès constants en termes de capacité de calcul, mémoire et quantité de données disponibles, les algorithmes d'apprentissage machine doivent se montrer efficaces dans l'utilisation de ces ressources. La minimisation des coûts est évidemment un facteur important, mais une autre motivation est la recherche de mécanismes d'apprentissage capables de reproduire le comportement d'êtres intelligents. Cette thèse aborde le problème de l'efficacité à travers plusieurs articles traitant d'algorithmes d'apprentissage variés : ce problème est vu non seulement du point de vue de l'efficacité computationnelle (temps de calcul et mémoire utilisés), mais aussi de celui de l'efficacité statistique (nombre d'exemples requis pour accomplir une tâche donnée). Une première contribution apportée par cette thèse est la mise en lumière d'inefficacités statistiques dans des algorithmes existants. Nous montrons ainsi que les arbres de décision généralisent mal pour certains types de tâches (chapitre 3), de même que les algorithmes classiques d'apprentissage semi-supervisé à base de graphe (chapitre 5), chacun étant affecté par une forme particulière de la malédiction de la dimensionalité. Pour une certaine classe de réseaux de neurones, appelés réseaux sommes-produits, nous montrons qu'il peut être exponentiellement moins efficace de représenter certaines fonctions par des réseaux à une seule couche cachée, comparé à des réseaux profonds (chapitre 4). Nos analyses permettent de mieux comprendre certains problèmes intrinsèques liés à ces algorithmes, et d'orienter la recherche dans des directions qui pourraient permettre de les résoudre. Nous identifions également des inefficacités computationnelles dans les algorithmes d'apprentissage semi-supervisé à base de graphe (chapitre 5), et dans l'apprentissage de mélanges de Gaussiennes en présence de valeurs manquantes (chapitre 6). Dans les deux cas, nous proposons de nouveaux algorithmes capables de traiter des ensembles de données significativement plus grands. Les deux derniers chapitres traitent de l'efficacité computationnelle sous un angle différent. Dans le chapitre 7, nous analysons de manière théorique un algorithme existant pour l'apprentissage efficace dans les machines de Boltzmann restreintes (la divergence contrastive), afin de mieux comprendre les raisons qui expliquent le succès de cet algorithme. Finalement, dans le chapitre 8 nous présentons une application de l'apprentissage machine dans le domaine des jeux vidéo, pour laquelle le problème de l'efficacité computationnelle est relié à des considérations d'ingénierie logicielle et matérielle, souvent ignorées en recherche mais ô combien importantes en pratique.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Modélisation des bi-grappes et sélection des variables pour des données de grande dimension : application aux données d’expression génétique

Les simulations ont été implémentées avec le programme Java.

Towards the identification of a neighbourhood park typology : a conceptual and methodological exploration

Peu d’études ont évalué les caractéristiques des parcs pouvant encourager l’activité physique spécifiquement chez les jeunes. Cette étude vise à estimer la fiabilité d’un outil d’observation des parcs orienté vers les jeunes, à identifier les domaines conceptuels des parcs capturés par cet outil à l’aide d’une opérationnalisation du modèle conceptuel des parcs et de l’activité physique et à identifier différents types de parcs. Un total de 576 parcs ont été évalués en utilisant un outil d’évaluation des parcs. La fiabilité intra-juges et la fiabilité inter-juges de cet outil ont été estimées. Une analyse exploratoire par composantes principales (ACP) a été effectuée en utilisant une rotation orthogonale varimax et les variables étaient retenues si elles saturaient à ≥0.3 sur une composante. Une analyse par grappes (AG) à l’aide de la méthode de Ward a ensuite été réalisée en utilisant les composantes principales et une mesure de l’aire des parcs. L’outil était généralement fiable et l’ACP a permis d'identifier dix composantes principales qui expliquaient 60% de la variance totale. L’AG a donné un résultat de neuf grappes qui expliquaient 40% de la variance totale. Les méthodes de l’ACP et l’AG sont donc faisables avec des données de parcs. Les résultats ont été interprétés en utilisant l’opérationnalisation du modèle conceptuel.