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.

Système de logique deductive et inductive, exposé des principes de la preuve et des méthodes de recherche scientifique /

Mode of access: Internet.

Système de logique déductive et inductive : exposé des principes de la preuve et des méthodes de recherche scientifique /

Contiene: t. I - t. II.

L'effritement du consentement au profit d'une meilleure justice distributive de la recherche biomédicale avec des sujets humains : une étude comparative en situation d'urgence

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit option Droit et Biotechnologies". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

Comparaison des méthodes d'analyse de l'expression différentielle basée sur la dépendance des niveaux d'expression

La technologie des microarrays demeure à ce jour un outil important pour la mesure de l'expression génique. Au-delà de la technologie elle-même, l'analyse des données provenant des microarrays constitue un problème statistique complexe, ce qui explique la myriade de méthodes proposées pour le pré-traitement et en particulier, l'analyse de l'expression différentielle. Toutefois, l'absence de données de calibration ou de méthodologie de comparaison appropriée a empêché l'émergence d'un consensus quant aux méthodes d'analyse optimales. En conséquence, la décision de l'analyste de choisir telle méthode plutôt qu'une autre se fera la plupart du temps de façon subjective, en se basant par exemple sur la facilité d'utilisation, l'accès au logiciel ou la popularité. Ce mémoire présente une approche nouvelle au problème de la comparaison des méthodes d'analyse de l'expression différentielle. Plus de 800 pipelines d'analyse sont appliqués à plus d'une centaine d'expériences sur deux plateformes Affymetrix différentes. La performance de chacun des pipelines est évaluée en calculant le niveau moyen de co-régulation par l'entremise de scores d'enrichissements pour différentes collections de signatures moléculaires. L'approche comparative proposée repose donc sur un ensemble varié de données biologiques pertinentes, ne confond pas la reproductibilité avec l'exactitude et peut facilement être appliquée à de nouvelles méthodes. Parmi les méthodes testées, la supériorité de la sommarisation FARMS et de la statistique de l'expression différentielle TREAT est sans équivoque. De plus, les résultats obtenus quant à la statistique d'expression différentielle corroborent les conclusions d'autres études récentes à propos de l'importance de prendre en compte la grandeur du changement en plus de sa significativité statistique.

Traité complet des maladies vénériennes : contenant l'exposition de leurs symptomes et de leur traitement rationnel, d'après les principes de la médecine organique, avec l´histoire critique des théories et des méthodes curatives généralement reçues /

Mode of access: Internet.

Monde primitif, analisé et comparé avec le monde moderne, considéré Dans son génies allégorique et dans les allégories auxquelles conduisit ce génie : Précédé du plan general des diverses parties qui composeront ce monde primitif, avec des figures en taille-douce /

Mode of access: Internet.

Abrégé chronologique de l'histoire du nord ou des états de Dannemarc, de Russie ... avec des remarques particuliers sur le génie, les moeurs ... /

Mode of access: Internet.

Abrégé chronologique de l'histoire du nord ou des états de Dannemarc, de Russie ... avec des remarques particuliers sur le génie, les moeurs ... /

Mode of access: Internet.

La physique des arbres où il est traité de l'anatomie des plantes et de l'économie végétale pour sevir d'introduction au traité complet des bois [et] des forests : avec une dissertation sur l'utilité des méthodes de botanique ... /

Mode of access: Internet.

Exposition des méthodes hydriatriques de priesnitz dans les diverses espèces de maladies considerees en elles-mèmes et comparées avec celles de la médecine allopathique /

Mode of access: Internet.

Élémens pratiques d'exploitation, contenant tout ce qui est relatif à l'art d'explorer la surface des terrains, d'y faire des travaux de recherche et d'y établir des exploitations réglées; la description des moyens employés pour l'extraction et le transport souterrain des minerais et des combustibles; les diverses méthodes de boiser, murailler, aérer et assécher les mines; les secours à donner aux noyés, asphyxiés et brulés; des notions sur l'administration, la comptabilité, etc., etc.

Mode of access: Internet.