Étude spectroscopique d'étoiles naines blanches riches en hélium de type DB et DBA

De nouveaux modèles d'atmosphère sont présentés, incluant les profils de raie d'hélium neutre améliorés de Beauchamp (1995) et le formalisme de probabilité d'occupation pour ce même atome. Ces modèles sont utilisés pour calculer une grille de spectres synthétiques correspondant à des atmosphères riches en hélium et contenant des traces d'hydrogène. Cette grille est utilisée pour déterminer les paramètres atmosphériques principaux des étoiles de notre échantillon, soient la température effective, la gravité de surface et l'abondance d'hydrogène. Notre échantillon contient des spectres visibles de haut rapport signal-sur-bruit pour 102 naines blanches riches en hélium, dont 29 ont été observés au cours de ce projet, ce qui en fait le plus grand échantillon de spectres de qualité de naines blanches riches en hélium. Des spectres synthétiques ont été calculés en utilisant différentes valeurs du paramètre α de la théorie de la longueur de mélange dans le but de calibrer empiriquement la valeur de ce paramètre pour les DB. Afin d'améliorer la précision sur les paramètres atmosphériques de quelques étoiles, nous avons utilisé des spectres couvrant la raie Hα pour mieux déterminer l'abondance d'hydrogène. Finalement, nous avons calculé la distribution de masse de notre échantillon et la fonction de luminosité des DB. La distribution de masse montre une coupure à 0.5 fois la masse solaire qui est prédite par les modèles d'évolution stellaire et dévoile une masse moyenne significativement plus élevée pour les étoiles de type DBA. La masse moyenne de l'ensemble des DB et DBA est très proche de celle des DA. La fonction de luminosité nous permet de calculer que le rapport du nombre de DB sur le nombre de DA vaut environ 25%.

Développement et validation de méthodes visant une utilisation optimale d'antennes réceptrices en imagerie par résonance magnétique

Différentes méthodes ayant pour objectif une utilisation optimale d'antennes radio-fréquences spécialisées en imagerie par résonance magnétique sont développées et validées. Dans un premier temps, il est démontré qu'une méthode alternative de combinaison des signaux provenant des différents canaux de réception d'un réseau d'antennes mène à une réduction significative du biais causé par la présence de bruit dans des images de diffusion, en comparaison avec la méthode de la somme-des-carrés généralement utilisée. Cette réduction du biais engendré par le bruit permet une amélioration de l'exactitude de l'estimation de différents paramètres de diffusion et de diffusion tensorielle. De plus, il est démontré que cette méthode peut être utilisée conjointement avec une acquisition régulière sans accélération, mais également en présence d'imagerie parallèle. Dans une seconde perspective, les bénéfices engendrés par l'utilisation d'une antenne d'imagerie intravasculaire sont étudiés. Suite à une étude sur fantôme, il est démontré que l'imagerie par résonance magnétique intravasculaire offre le potentiel d'améliorer significativement l'exactitude géométrique lors de mesures morphologiques vasculaires, en comparaison avec les résultats obtenus avec des antennes de surface classiques. Il est illustré qu'une exactitude géométrique comparable à celle obtenue grâce à une sonde ultrasonique intravasculaire peut être atteinte. De plus, plusieurs protocoles basés sur une acquisition de type balanced steady-state free-precession sont comparés dans le but de mettre en évidence différentes relations entre les paramètres utilisés et l'exactitude géométrique obtenue. En particulier, des dépendances entre la taille du vaisseau, le rapport signal-sur-bruit à la paroi vasculaire, la résolution spatiale et l'exactitude géométrique atteinte sont mises en évidence. Dans une même optique, il est illustré que l'utilisation d'une antenne intravasculaire permet une amélioration notable de la visualisation de la lumière d'une endoprothèse vasculaire. Lorsque utilisée conjointement avec une séquence de type balanced steady-state free-precession utilisant un angle de basculement spécialement sélectionné, l'imagerie par résonance magnétique intravasculaire permet d'éliminer complètement les limitations normalement engendrées par l'effet de blindage radio-fréquence de l'endoprothèse.

L'écrit électronique

Les technologies de l’information entraînent de profondes transformations dans nos façons d’apprendre et de socialiser ; de lire et d’écrire. Ces changements ne sont pas sans conséquence sur de nombreuses institutions, juridiques ou non. Créées au fil du temps et adaptées à une réalité qu’elles avaient internalisée, elles doivent aujourd’hui comprendre et s’adapter au changement. L’écrit est une de ces institutions. Sa place dans le droit civil est le fruit de centaines d’années de cohabitation et le droit y a vu un allié stable. Mais autrefois facilitateur, l’écrit devient obstacle alors que les technologies de l’information, affranchies du papier, sont utilisées dans des situations juridiques. Comment adapter la notion d’écrit – et celles de l’original et de la signature – alors qu’il n’est question que de données abstraites sous forme numérique ? C’est là l’objet de ce mémoire. Suite à une étude de la notion d’écrit dans le temps, de son affirmation à son bouleversement, nous étudierons les outils juridiques (traditionnels ou récents, comme les principes de neutralité technologique et d’équivalence fonctionnelle) à la disposition du droit civil pour constamment s’adapter à des situations changeantes. Enfin, dans une perspective plus pratique, nous verrons le traitement qu’ont fait divers législateurs, de l’écrit électronique. Nous terminerons par une analyse plus précise des dispositions québécoises relatives à l’écrit électronique. Les principes étudiés dans ce mémoire sont susceptibles de s’appliquer à d’autres situations similaires.

The in vivo characterization of the DNA repair gene apn-1 in the model organism Caenorhabditis elegans

Les sites apuriniques/apyrimidinique (AP) représentent une forme de dommage à l’ADN hautement mutagène et ce type de dommage peut survenir spontanément ou être induit par une variété d’agents. Afin de préserver la stabilité génomique, deux familles d’endonucléases de type AP, endo-IV et exo-III, sont nécessaires pour contrecarrer les effets mutagènes des sites AP. Malgré l’identification de membres des deux familles dans plusieurs organismes unicellulaire tels que E.coli et S. cerevisiae, aucun membre de la famille endo-IV n’a été identifié chez les organismes multicellulaires à l’exception de C. elegans et de C. briggsae. Nous avons donc décidé d’investiguer l’importance biologique de APN-1 chez C. elegans par l’utilisation d’une approche de knockdown du gène. Dans notre étude, nous avons montré que le knockdown du gène apn-1 chez C. elegans, en utilisant des ARN d’interférence (ARNi), cause une accumulation de mutations spontanées et induites par des drogues résultant en un délai de l’éclosion des œufs ainsi que par une diminution de la survie et de la longévité des vers adultes. De plus, nous avons montré que cette accumulation de mutations mène à un délai dans la progression du cycle cellulaire durant l’embryogénèse, représentant possiblement une explication du délai dans l’éclosion des œufs. Nous avons montré qu’il y avait une augmentation du niveau de mutations dans la gorge des vers, sans toutefois pouvoir confirmer la distribution de APN-1 qui possède une étiquette GFP. Les animaux transgéniques APN-1-GFP n’exprimaient pas suffisamment de la protéine de fusion pour permettre une visualisation à l’aide d’un microscope à fluorescence, mais la protéine a été détectée par immunobuvardage de type western. Les animaux transgéniques APN-1-GFP étaient instables et avaient des phénotypes concordants avec les défauts génétiques. En conclusion, il semble que C. elegans aie évolué afin de retenir un niveau de base de APN-1 jouant ainsi un rôle versatile afin de maintenir l’intégrité génétique d’autant plus que cet organisme semble manquer plusieurs enzymes de la voie de réparation par excision de base.

Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel

De nos jours, les logiciels doivent continuellement évoluer et intégrer toujours plus de fonctionnalités pour ne pas devenir obsolètes. C'est pourquoi, la maintenance représente plus de 60% du coût d'un logiciel. Pour réduire les coûts de programmation, les fonctionnalités sont programmées plus rapidement, ce qui induit inévitablement une baisse de qualité. Comprendre l’évolution du logiciel est donc devenu nécessaire pour garantir un bon niveau de qualité et retarder le dépérissement du code. En analysant à la fois les données sur l’évolution du code contenues dans un système de gestion de versions et les données quantitatives que nous pouvons déduire du code, nous sommes en mesure de mieux comprendre l'évolution du logiciel. Cependant, la quantité de données générées par une telle analyse est trop importante pour être étudiées manuellement et les méthodes d’analyses automatiques sont peu précises. Dans ce mémoire, nous proposons d'analyser ces données avec une méthode semi automatique : la visualisation. Eyes Of Darwin, notre système de visualisation en 3D, utilise une métaphore avec des quartiers et des bâtiments d'une ville pour visualiser toute l'évolution du logiciel sur une seule vue. De plus, il intègre un système de réduction de l'occlusion qui transforme l'écran de l'utilisateur en une fenêtre ouverte sur la scène en 3D qu'il affiche. Pour finir, ce mémoire présente une étude exploratoire qui valide notre approche.

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

Développement d'une méthode de marquage protéique par fluorescence

Le marquage protéique par fluorescence est une méthode de choix permettant d’étudier l’évolution des protéines depuis leur synthèse cellulaire jusqu’à leur dégradation, en plus de rendre possible leur localisation ainsi que la visualisation des interactions entre protéines. De cet intérêt certain ont découlé différentes techniques de marquage, dont celle présentement développée dans le groupe Keillor. Le principe de celle-ci repose sur la réaction entre deux maléimides portés par un fluorogène et une séquence peptidique cible, laquelle contient deux résidus cystéines séparés par une distance appropriée. Suite à cette double addition de thiols du peptide sur les maléimides du fluorogène, la fluorescence latente de ce dernier est régénérée, menant au marquage covalent de la protéine d’intérêt. Afin d’optimiser la spécificité et la sensibilité de cette méthode de marquage, la synthèse de nouveaux fluorogènes et l’étude de l’efficacité de quench de la fluorescence par les maléimides est présentement en cours dans les laboratoires du groupe Keillor.

Parcours d'entrée en vie féconde des femmes au Burkina Faso : une analyse séquentielle

Alors que dans les sociétés de l’Afrique de l’Ouest, le mariage représente traditionnellement le point de départ de la séquence des événements démographiques associés à la formation de la famille, aujourd’hui cette séquence s’est complexifiée. Suite à l’effritement des modes traditionnels du passage à l’âge adulte, les jeunes citadins reportent leur mariage, le contexte de l’initiation sexuelle est plus fréquemment prénuptial et le nombre de naissances hors mariage semble augmenter. Peu d’études se sont penchées sur l’analyse de la séquence de ces événements sous l’angle du parcours individuel. L’objectif central de ce mémoire est d’explorer, de décrire et d’expliquer les changements survenus dans les parcours d’entrée en vie féconde des femmes durant leur jeunesse en utilisant comme unité d’analyse l’entièreté des parcours. Utilisant les données EDS du Burkina Faso, nous synthétisons en parcours, sous forme des séquences d’épisodes, les calendriers du premier rapport sexuel, de la première union et de la première naissance. Avec l’analyse séquentielle, nous identifions quatre catégories de parcours : nuptial, sexualité prénuptiale, maternité prénuptiale et célibataires. La méthode permet également une catégorisation plus fine des parcours et une visualisation de modèles de transitions. Nous analysons ensuite l’association entre les caractéristiques individuelles et les parcours suivis grâce à des modèles multinomiaux. Nos résultats confirment l’augmentation des parcours non nuptiaux auprès des jeunes. De plus, ils montrent qu’un niveau de scolarité plus élevé augmente la probabilité de suivre un parcours non-traditionnel, notamment chez les femmes urbaines, le milieu de socialisation à l’enfance ayant aussi un effet sur le choix du parcours.

Understanding deep architectures and the effect of unsupervised pre-training

Cette thèse porte sur une classe d'algorithmes d'apprentissage appelés architectures profondes. Il existe des résultats qui indiquent que les représentations peu profondes et locales ne sont pas suffisantes pour la modélisation des fonctions comportant plusieurs facteurs de variation. Nous sommes particulièrement intéressés par ce genre de données car nous espérons qu'un agent intelligent sera en mesure d'apprendre à les modéliser automatiquement; l'hypothèse est que les architectures profondes sont mieux adaptées pour les modéliser. Les travaux de Hinton (2006) furent une véritable percée, car l'idée d'utiliser un algorithme d'apprentissage non-supervisé, les machines de Boltzmann restreintes, pour l'initialisation des poids d'un réseau de neurones supervisé a été cruciale pour entraîner l'architecture profonde la plus populaire, soit les réseaux de neurones artificiels avec des poids totalement connectés. Cette idée a été reprise et reproduite avec succès dans plusieurs contextes et avec une variété de modèles. Dans le cadre de cette thèse, nous considérons les architectures profondes comme des biais inductifs. Ces biais sont représentés non seulement par les modèles eux-mêmes, mais aussi par les méthodes d'entraînement qui sont souvent utilisés en conjonction avec ceux-ci. Nous désirons définir les raisons pour lesquelles cette classe de fonctions généralise bien, les situations auxquelles ces fonctions pourront être appliquées, ainsi que les descriptions qualitatives de telles fonctions. L'objectif de cette thèse est d'obtenir une meilleure compréhension du succès des architectures profondes. Dans le premier article, nous testons la concordance entre nos intuitions---que les réseaux profonds sont nécessaires pour mieux apprendre avec des données comportant plusieurs facteurs de variation---et les résultats empiriques. Le second article est une étude approfondie de la question: pourquoi l'apprentissage non-supervisé aide à mieux généraliser dans un réseau profond? Nous explorons et évaluons plusieurs hypothèses tentant d'élucider le fonctionnement de ces modèles. Finalement, le troisième article cherche à définir de façon qualitative les fonctions modélisées par un réseau profond. Ces visualisations facilitent l'interprétation des représentations et invariances modélisées par une architecture profonde.

Etudes ab initio des effets de la température sur le spectre optique des semi-conducteurs

Thèse réalisée en cotutelle avec l'Université Catholique de Louvain (Belgique)

Analyse de la variation inter-populationnelle du canal obstétrique au sein de trois populations génétiquement différentes

La dystocie représente une des causes principales de la mortalité maternelle et fœtale lors de l’accouchement. Une relation trop étroite entre les dimensions maternelles et fœtales résultent souvent en une césarienne d’urgence. Les manuels obstétricaux actuels proposent qu’une forme gynoïde de la cavité obstétricale est normale car elle favorise une descente fœtale sans difficulté lors de la parturition parce qu’elle est arrondie. Ce mémoire de maîtrise porte sur l’étude de la variation inter-populationnelle de la forme du canal obstétrique chez trois populations génétiquement différentes pour tester si ces populations ont toutes une forme gynoïde ou si elles sont variables morphologiquement. Les cavités pelviennes analysées sont constituées de 59 bassins d’Américaines d’origine européenne, 74 bassins d’Américaines d’origine africaine et 19 bassins de Sadlermiuts. Vingt points anatomiques sur la cavité pelvienne ont été digitalisés à partir du bassin articulé pour permettre une visualisation tridimensionnelle de la forme du canal obstétrique. Une analyse Procrustes suivie d’une analyse en composantes principales ont été faites pour faire ressortir les composantes qui permettent de faire des distinctions entre les trois populations. L’existence d’une relation d’une part entre la taille et/ou la masse et d’autre part la morphologie du canal obstétrique a aussi été explorée. Résultats : La morphologie qui décrit les Sadlermiuts est la forme platypelloïde, soit un diamètre médio-latéral plus grand que le diamètre antéro-postérieur, et ce à tous les détroits. Les Américaines africaines présentent une morphologie qui tend vers une forme gynoïde aux détroits supérieur et moyen, et les Américaines européennes démontrent une morphologie intermédiaire entre les formes gynoïde et androïde au détroit supérieur. Seule la taille du bassin (taille centroïde) est corrélée à des changements de la forme du canal obstétrique pour les détroits supérieur et moyen. Discussion: La forme gynoïde n’est pas représentative de la cavité obstétricale chez les trois populations. Il est possible que la forme platypelloïde des Sadlermiuts soit une conséquence de comportements induisant des changements morphologiques lors du développement squelettique. D’autres études sont requises pour évaluer cette hypothèse.

Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques.

Détection visuelle d'anomalies de conception dans les programmes orientés objets

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

Analyse de motifs d'ARN

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

Induction d’anticorps anti-idiotypiques contre les protéoglycanes de la matrice extracellulaire dans la réduction des lésions athérosclérotiques

L’athérosclérose est caractérisée par l’accumulation de lipoprotéines de basse densité (LDL) liées aux protéoglycanes de la paroi artérielle. Des anticorps chimériques (ch) qui se lient aux glycosaminoglycanes (GAG) ont été générés. L'hypothèse est que la vaccination avec le chP3R99, un anticorps chimérique mutant de l'hybridome P3, pouvait interférer avec la rétention des LDL par l’induction d’une cascade d’anticorps anti-idiotypiques dirigés contre les GAG. Des souris mâles déficientes en apolipoprotéine E ont été soumises à une diète hypercholestérolémique et ont reçu 5 injections sous-cutanées de 50 μg de vaccin chP3R99 ou de vaccin chP3S98 (un mutant de faible réactivité). Les injections ont été effectuées à chaque semaine ou aux 2 semaines. Au moment du sacrifice, l'aorte perfusée avec du PBS a été excisée et analysée après coloration au Oil Red-O. Les résultats ont été exprimés en pourcentage de lésions sur la superficie totale de l'aorte. La réactivité contre le chP3R99, chP3S98, l’héparine, le sulfate de dermatane et de chondroïtine des sérums de souris immunisées a été mesurée par ELISA. De plus, la liaison de l'anticorps chP3R99 aux GAG dans la lésion d'athérosclérose a été observée par un appareil de visualisation in vivo.Nos résultats montrent que l’immunogénicité des anticorps chP3R99 est supérieure à celle des anticorps chP3S98 et que le sérum des souris immunisées avec le chP3R99 présente des anticorps anti-idiotypiques dirigés contre les GAG. Cet effet est associé à une réduction de 42 % (p < 0.01) du pourcentage de lésions athérosclérotiques chez les souris vaccinées. L'utilisation d’une immunisation active avec l’anticorps chP3R99 pourrait constituer une approche thérapeutique pour le traitement de l'athérosclérose.