Morphological and functional characterization of placenta during gestation in bovine clones derived by somatic nuclear transfer

La technique de clonage par transfert nucléaire de cellules somatiques (SCNT) présente une page importante dans les annales scientifiques, mais son application pratique demeure incertaine dû à son faible taux de succès. Les anomalies placentaires et de développement fœtal se traduisent par des pertes importantes de gestation et des mortalités néonatales. Dans un premier temps, la présente étude a caractérisé les changements morphologiques des membranes fœtales durant la gestation clonée en les comparant à des gestations contrôles obtenues à partir de l’insémination artificielle. Les différentes anomalies morphologiques des placentomes telles que l’œdème chorioallantoique, la présence de zones hyperéchoiques et irrégulières dans la membrane amniotique et la présence de cellules inflammatoires dégénérées compromettent le développement fœtal normal de la gestation clonée. L’examen ultrasonographique représente une technique diagnostique importante pour faire le suivi d’une gestation et de caractériser les changements placentaires dans le cadre d’évaluation globale du bien-être fœtal. Le profil hormonal de trois stéroïdes (progestérone (P4), estrone sulfate (E1S), et œstradiol (E2)) et de la protéine B spécifique de gestation (PSPB) dans le sérum des vaches porteuses de clones SCNT a été déterminé et associé aux anomalies de gestations clonées. Une diminution de la P4 sérique au jour 80, une élévation du niveau de la concentration de la PSPB au jour 150, et une augmentation de la concentration d’E2 sérique durant le deuxième et troisième tiers de la gestation clonée coïncident avec les anomalies de gestation déjà reportées. Ces changements du profil hormonal associés aux anomalies phénotypiques du placenta compromettent le déroulement normal de la gestation clonée et gênent le développement et le bien-être fœtal. Sur la base des observations faites sur le placenta de gestation clonée, le mécanisme moléculaire pouvant expliquer la disparition de l’épithélium du placenta (l’interface entre le tissue maternel et le placenta) a été étudié. L’étude a identifié des changements dans l’expression de deux protéines d’adhérence (E-cadhérin et β-catenin) de cellules épithéliales pouvant être associées aux anomalies du placenta chez les gestations clonées. Le tissu de cotylédons provenant de gestations clonées et contrôles a été analysé par Western blot, RT-PCR quantitatif, et par immunohistochimie. Les résultats présentaient une diminution significative (p<0.05) de l’expression des dites protéines dans les cellules trophoblastiques chez les gestations clonées. Le RT-PCR quantitatif démontrait que les gènes CCND1, CLDN1 et MSX1 ciblés par la voie de signalisation de la Wnt/β-catenin étaient significativement sous exprimés. La diminution de l’expression des protéines E-cadherin et β-catenin avec une réduction de l’activation de la protéine β-catenin durant le période d’attachement de l’embryon peut potentiellement expliquer l’absence totale ou partielle de l’attachement des membranes fœtales au tissu maternel et éventuellement, l’insuffisance placentaire caractéristique des gestations clonées chez la vache. La caractérisation morphologique et fonctionnelle du placenta durant les gestations clonées à haut risque est essentielle pour évaluer le statut de la gestation. Les résultats de la présente étude permettront de prédire le développement et le bien-être fœtal de façon critique à travers un protocole standardisé et permettre des interventions médicales pour améliorer le taux de succès des gestations clonées chez les bovins.

Improving automation in model-driven engineering using examples

Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation intensive de modèles et des transformations automatiques entre modèles (TM). D’une façon simplifiée, dans la vision du MDE, les spécialistes utilisent plusieurs modèles pour représenter un logiciel, et ils produisent le code source en transformant automatiquement ces modèles. Conséquemment, l’automatisation est un facteur clé et un principe fondateur de MDE. En plus des TM, d’autres activités ont besoin d’automatisation, e.g. la définition des langages de modélisation et la migration de logiciels. Dans ce contexte, la contribution principale de cette thèse est de proposer une approche générale pour améliorer l’automatisation du MDE. Notre approche est basée sur la recherche méta-heuristique guidée par les exemples. Nous appliquons cette approche sur deux problèmes importants de MDE, (1) la transformation des modèles et (2) la définition précise de langages de modélisation. Pour le premier problème, nous distinguons entre la transformation dans le contexte de la migration et les transformations générales entre modèles. Dans le cas de la migration, nous proposons une méthode de regroupement logiciel (Software Clustering) basée sur une méta-heuristique guidée par des exemples de regroupement. De la même façon, pour les transformations générales, nous apprenons des transformations entre modèles en utilisant un algorithme de programmation génétique qui s’inspire des exemples des transformations passées. Pour la définition précise de langages de modélisation, nous proposons une méthode basée sur une recherche méta-heuristique, qui dérive des règles de bonne formation pour les méta-modèles, avec l’objectif de bien discriminer entre modèles valides et invalides. Les études empiriques que nous avons menées, montrent que les approches proposées obtiennent des bons résultats tant quantitatifs que qualitatifs. Ceux-ci nous permettent de conclure que l’amélioration de l’automatisation du MDE en utilisant des méthodes de recherche méta-heuristique et des exemples peut contribuer à l’adoption plus large de MDE dans l’industrie à là venir.

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 de nouveaux polymères amphiphiles comme floculants versatiles pour le traitement de l’eau issue de l’industrie pétrolière

Les polymères hydrosolubles sont utilisés dans diverses industries pour permettre la floculation, soit une séparation solide-liquide de particules présentes en suspension colloïdale. Afin de réduire les impacts environnementaux de l’exploitation des sables bitumineux en Alberta, l’industrie est à la recherche de nouveaux moyens et procédés pour traiter les résidus miniers permettant de séparer les matières solides et de récupérer l’eau. L’objectif des travaux présentés est d’améliorer la floculation, la densification et la déshydratation de ces résidus miniers aqueux par de nouveaux polymères synthétiques. Des homopolymères d’acrylamide de différentes masses molaires ont été synthétisés pour étudier l’influence de la masse molaire sur l’efficacité de floculation. Le taux initial de sédimentation (TIS) est le paramètre qui fut utilisé afin de comparer l’efficacité de floculation des différents polymères. Il a été possible de confirmer l’importance de la masse molaire sur l’efficacité de floculation et de déterminer une masse molaire minimale d’environ 6 MDa pour des polyacrylamides, afin d’obtenir l’efficacité de floculation maximale de suspensions colloïdales principalement composées de kaolin. Afin d’étudier l’effet des charges sur l’efficacité de floculation, des polymères anioniques et cationiques ont été synthétisés. Une série de copolymères d’acrylamide et d’acide acrylique ont été synthétisés comme polymères anioniques et deux séries de copolymères ont été synthétisés comme polymères cationiques, soit des copolymères d’acrylamide et de chlorure de diallyldiméthylammonium et des copolymères de 4-vinyl pyridine et de 1-méthyl-4-vinyl pyridinium. Il a été démontré que les charges anioniques des polymères avaient peu d’influence sur l’efficacité de floculation et que leur comportement en présence de sels était différent de ce que prévoyait la littérature. Il a aussi été démontré que les charges cationiques des polymères n’améliorent pas l’efficacité de floculation. Par la suite, des séries de copolymères amphiphiles, avec des monomères d’acrylamide, de N-alkylacrylamides et d’acrylonitrile, ont été synthétisés, pour étudier l’effet du caractère amphiphile sur la déshydratation des résidus miniers. Le pourcentage de déshydratation nette est le paramètre qui fut utilisé afin de comparer l’efficacité de déshydratation des différents polymères. Il a été possible de développer des copolymères amphiphiles qui améliorent l’efficacité de déshydratation par rapport à des homopolymères d’acrylamide. Il ne fut pas possible de déterminer une tendance entre la balance hydrophile/hydrophobe des copolymères amphiphiles et l’efficacité de déshydratation.