Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels

Nous proposons une approche qui génère des scénarios de visualisation à partir des descriptions de tâches d'analyse de code. La dérivation de scénario est considérée comme un processus d'optimisation. Dans ce contexte, nous évaluons différentes possibilités d'utilisation d'un outil de visualisation donnée pour effectuer la tâche d'analyse, et sélectionnons le scénario qui nécessite le moins d'effort d'analyste. Notre approche a été appliquée avec succès à diverses tâches d'analyse telles que la détection des défauts de conception.

Espaces de timbre générés par des réseaux profonds convolutionnels

Il est avant-tout question, dans ce mémoire, de la modélisation du timbre grâce à des algorithmes d'apprentissage machine. Plus précisément, nous avons essayé de construire un espace de timbre en extrayant des caractéristiques du son à l'aide de machines de Boltzmann convolutionnelles profondes. Nous présentons d'abord un survol de l'apprentissage machine, avec emphase sur les machines de Boltzmann convolutionelles ainsi que les modèles dont elles sont dérivées. Nous présentons aussi un aperçu de la littérature concernant les espaces de timbre, et mettons en évidence quelque-unes de leurs limitations, dont le nombre limité de sons utilisés pour les construire. Pour pallier à ce problème, nous avons mis en place un outil nous permettant de générer des sons à volonté. Le système utilise à sa base des plug-ins qu'on peut combiner et dont on peut changer les paramètres pour créer une gamme virtuellement infinie de sons. Nous l'utilisons pour créer une gigantesque base de donnée de timbres générés aléatoirement constituée de vrais instruments et d'instruments synthétiques. Nous entrainons ensuite les machines de Boltzmann convolutionnelles profondes de façon non-supervisée sur ces timbres, et utilisons l'espace des caractéristiques produites comme espace de timbre. L'espace de timbre ainsi obtenu est meilleur qu'un espace semblable construit à l'aide de MFCC. Il est meilleur dans le sens où la distance entre deux timbres dans cet espace est plus semblable à celle perçue par un humain. Cependant, nous sommes encore loin d'atteindre les mêmes capacités qu'un humain. Nous proposons d'ailleurs quelques pistes d'amélioration pour s'en approcher.

Génération de résumés par abstraction

Cette thèse présente le résultat de plusieurs années de recherche dans le domaine de la génération automatique de résumés. Trois contributions majeures, présentées sous la forme d'articles publiés ou soumis pour publication, en forment le coeur. Elles retracent un cheminement qui part des méthodes par extraction en résumé jusqu'aux méthodes par abstraction. L'expérience HexTac, sujet du premier article, a d'abord été menée pour évaluer le niveau de performance des êtres humains dans la rédaction de résumés par extraction de phrases. Les résultats montrent un écart important entre la performance humaine sous la contrainte d'extraire des phrases du texte source par rapport à la rédaction de résumés sans contrainte. Cette limite à la rédaction de résumés par extraction de phrases, observée empiriquement, démontre l'intérêt de développer d'autres approches automatiques pour le résumé. Nous avons ensuite développé un premier système selon l'approche Fully Abstractive Summarization, qui se situe dans la catégorie des approches semi-extractives, comme la compression de phrases et la fusion de phrases. Le développement et l'évaluation du système, décrits dans le second article, ont permis de constater le grand défi de générer un résumé facile à lire sans faire de l'extraction de phrases. Dans cette approche, le niveau de compréhension du contenu du texte source demeure insuffisant pour guider le processus de sélection du contenu pour le résumé, comme dans les approches par extraction de phrases. Enfin, l'approche par abstraction basée sur des connaissances nommée K-BABS est proposée dans un troisième article. Un repérage des éléments d'information pertinents est effectué, menant directement à la génération de phrases pour le résumé. Cette approche a été implémentée dans le système ABSUM, qui produit des résumés très courts mais riches en contenu. Ils ont été évalués selon les standards d'aujourd'hui et cette évaluation montre que des résumés hybrides formés à la fois de la sortie d'ABSUM et de phrases extraites ont un contenu informatif significativement plus élevé qu'un système provenant de l'état de l'art en extraction de phrases.

Génération de squelettes des contrats de classes et des tests unitaires en Java

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

Génération de patrons de conception et restructuration de code vers un patron de conception pour Java

(POO) est l’utilisation de patrons de conception (PC). Un PC est un arrangement caractéristique de classes permettant d’offrir une solution éprouvée, tout en obtenant un code réutilisable et compréhensible. Plusieurs PC sont définis, dont 24 par la GoF [12] et plusieurs autres sont apparus par la suite. Le concept de PC est abstrait ce qui peut amener différentes interprétations. Ces différences peuvent aussi causer une mauvaise implémentation qui peut réduire les avantages d’utiliser ce patron. Ce projet consiste à concevoir un outil facilitant l’utilisation des PC. L’outil Génération et Restructuration de Patrons de Conception(GRPC) permet la génération automatique du squelette d’un patron de conception ainsi que la restructuration d’un code en le transformant structure respectant un PC. La génération et la restructuration automatique permettent d’obtenir un code uniforme et de qualité tout en respectant le patron de conception. La compréhension et la maintenance du code sont ainsi améliorées. GRPC est module d’extension pour l’environnement de développement Eclipse écrit en Java. Le code est conçu pour être facilement compréhensible et extensible. Les deux principaux objectifs de GRPC sont de restructurer (refactoring) une section de code vers l’architecture d’un patron de conception et de générer des squelettes de patrons de conception. Une interface graphique permet de guider l’utilisateur et d’aller chercher toutes les informations importantes pour le fonctionnement du logiciel. Elle permet aussi de configurer les éléments du patron de conception. Pour s’assurer de la possibilité d’effectuer une restructuration, chaque patron est associé avec une ou plusieurs règles qui analysent le code pour détecter la présence d’une structure particulière. Des procédures aident les développeurs à ajouter de nouveaux PC dans GRPC. GRPC fournit des fonctionnalités permettant d’implémenter quelques patrons de conception de la POO définis dans le livre Design Patterns : Elements of Reusable Object-Oriented Software.

JSreal : un réalisateur de texte pour la programmation web

Site web associé au mémoire: http://daou.st/JSreal

Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique

Les systèmes statistiques de traduction automatique ont pour tâche la traduction d’une langue source vers une langue cible. Dans la plupart des systèmes de traduction de référence, l'unité de base considérée dans l'analyse textuelle est la forme telle qu’observée dans un texte. Une telle conception permet d’obtenir une bonne performance quand il s'agit de traduire entre deux langues morphologiquement pauvres. Toutefois, ceci n'est plus vrai lorsqu’il s’agit de traduire vers une langue morphologiquement riche (ou complexe). Le but de notre travail est de développer un système statistique de traduction automatique comme solution pour relever les défis soulevés par la complexité morphologique. Dans ce mémoire, nous examinons, dans un premier temps, un certain nombre de méthodes considérées comme des extensions aux systèmes de traduction traditionnels et nous évaluons leurs performances. Cette évaluation est faite par rapport aux systèmes à l’état de l’art (système de référence) et ceci dans des tâches de traduction anglais-inuktitut et anglais-finnois. Nous développons ensuite un nouvel algorithme de segmentation qui prend en compte les informations provenant de la paire de langues objet de la traduction. Cet algorithme de segmentation est ensuite intégré dans le modèle de traduction à base d’unités lexicales « Phrase-Based Models » pour former notre système de traduction à base de séquences de segments. Enfin, nous combinons le système obtenu avec des algorithmes de post-traitement pour obtenir un système de traduction complet. Les résultats des expériences réalisées dans ce mémoire montrent que le système de traduction à base de séquences de segments proposé permet d’obtenir des améliorations significatives au niveau de la qualité de la traduction en terme de le métrique d’évaluation BLEU (Papineni et al., 2002) et qui sert à évaluer. Plus particulièrement, notre approche de segmentation réussie à améliorer légèrement la qualité de la traduction par rapport au système de référence et une amélioration significative de la qualité de la traduction est observée par rapport aux techniques de prétraitement de base (baseline).

Méthodes de génération et de validation de champs de déformation pour la recombinaison de distribution de dose à l’aide d’images 4DCT dans le cadre d’une planification de traitement de cancers pulmonaires

Des efforts de recherche considérables ont été déployés afin d'améliorer les résultats de traitement de cancers pulmonaires. L'étude de la déformation de l'anatomie du patient causée par la ventilation pulmonaire est au coeur du processus de planification de traitement radio-oncologique. À l'aide d'images de tomodensitométrie quadridimensionnelles (4DCT), une simulation dosimétrique peut être calculée sur les 10 ensembles d'images du 4DCT. Une méthode doit être employée afin de recombiner la dose de radiation calculée sur les 10 anatomies représentant une phase du cycle respiratoire. L'utilisation de recalage déformable d'images (DIR), une méthode de traitement d'images numériques, génère neuf champs vectoriels de déformation permettant de rapporter neuf ensembles d'images sur un ensemble de référence correspondant habituellement à la phase d'expiration profonde du cycle respiratoire. L'objectif de ce projet est d'établir une méthode de génération de champs de déformation à l'aide de la DIR conjointement à une méthode de validation de leur précision. Pour y parvenir, une méthode de segmentation automatique basée sur la déformation surfacique de surface à été créée. Cet algorithme permet d'obtenir un champ de déformation surfacique qui décrit le mouvement de l'enveloppe pulmonaire. Une interpolation volumétrique est ensuite appliquée dans le volume pulmonaire afin d'approximer la déformation interne des poumons. Finalement, une représentation en graphe de la vascularisation interne du poumon a été développée afin de permettre la validation du champ de déformation. Chez 15 patients, une erreur de recouvrement volumique de 7.6 ± 2.5[%] / 6.8 ± 2.1[%] et une différence relative des volumes de 6.8 ± 2.4 [%] / 5.9 ± 1.9 [%] ont été calculées pour le poumon gauche et droit respectivement. Une distance symétrique moyenne 0.8 ± 0.2 [mm] / 0.8 ± 0.2 [mm], une distance symétrique moyenne quadratique de 1.2 ± 0.2 [mm] / 1.3 ± 0.3 [mm] et une distance symétrique maximale 7.7 ± 2.4 [mm] / 10.2 ± 5.2 [mm] ont aussi été calculées pour le poumon gauche et droit respectivement. Finalement, 320 ± 51 bifurcations ont été détectées dans le poumons droit d'un patient, soit 92 ± 10 et 228 ± 45 bifurcations dans la portion supérieure et inférieure respectivement. Nous avons été en mesure d'obtenir des champs de déformation nécessaires pour la recombinaison de dose lors de la planification de traitement radio-oncologique à l'aide de la méthode de déformation hiérarchique des surfaces. Nous avons été en mesure de détecter les bifurcations de la vascularisation pour la validation de ces champs de déformation.

El idiotismo de la sociedad tradicionalista tecnificada de principios de siglo XX en Colombia: La crítica de Luis Vidales a través de "Suenan timbres"

En este artículo tratamos, por medio de Suenan timbres de Luis Vidales, el idiotismo de la sociedad tradicionalista tecnificada de principios de siglo XX en Colombia. Estudio que realizamos desde el concepto de idiotismo de Vidales, en estrecha relación con el de cultura de viñeta de Rafael Gutiérrez Girardot, para plantear la burla del poeta a la sociedad capitalista, que cuestiona la presencia de la Iglesia católica y la política conservadora en todos los estadios de la vida nacional.

Discussions sur les genres des québécoises de la génération X parlent d'autofiction au féminin

Ce mémoire porte sur la réception, par des lectrices de la génération X, de cinq oeuvres autofictionnelles écrites par les auteures québécoises Marie-Sissi Labrèche ( Borderline 2000 et La brèche 2003), Nelly Arcan (Putain 2001 et Folle 2004) et Mélikah Abdelmoumen (Le dégoût du bonheur 2001), lesquelles appartiennent à cette même génération. Leurs récits ont suscité un certain engouement public et obtenu un écho considérable dans la sphère médiatique et dans le milieu de la recherche universitaire. Les observateurs notent, de façon générale, que les narratrices autodiégétiques, alter ego des auteures, sont brutalement imparfaites, névrosées, mal dans leur peau, sexuellement soumises, assujetties aux désirs des hommes, et qu'elles ne parviennent pas à s'épanouir comme êtres humains, mais surtout, comme femmes. D'une part, les héroïnes rompent avec les représentations largement véhiculées dans les médias et dans la littérature québécoise contemporaine. D'autre part, leur profil correspond aux discours populaires sur la génération X, fréquemment qualifiée de génération sacrifiée, désabusée. Ma recherche, exploratoire, se fonde sur quatre approches théoriques : théorie des genres littéraires, théories de la réception, études féministes et gender studies, sociologie des générations. J'ai tenu cinq entretiens collectifs auprès de seize Québécoises de la génération X. J'ai réuni ces lectrices, qui s'étaient d'elles-mêmes intéressées aux récits, en petits groupe [i.e. groupes] de trois ou quatre participantes. Le compte-rendu et l'analyse de leurs discussions m'ont permis d'observer la portée sociale des récits éminemment personnels de Labrèche, d'Arcan et d'Abdelmoumen. Une interrogation m'a habitée du début à la fin de ma démarche : pourquoi et comment ces récits"parlent-ils", intellectuellement et émotionnellement, aux lectrices de la génération X? Je dégage de mon analyse quelques hypothèses interprétatives. D'abord, les lectrices ont du mal à distinguer les auteures et les narratrices. Elles tendent à appréhender les récits autofictionnels comme des autobiographies et elles procèdent à une lecture littérale des oeuvres. Ensuite, plus de la moitié des lectrices s'identifient, à différents degrés, aux narratrices. Comme ces dernières, les participantes à ma recherche affirment qu'elles ressentent une certaine pression sociale liée aux normes de beauté et de féminité et à l'hypersexualisation de l'espace public. En cela, leurs positions se rapprochent de celles du courant féministe radical. Cependant, les lectrices refusent d'être cantonnées dans un rôle de victime. Elles reprochent aux narratrices de s'autodétruire. Les femmes doivent, selon les participantes, se responsabiliser et se montrer critiques envers les modèles qui leur sont offerts. Enfin, les lectrices reconnaissent dans les héroïnes certains traits associés à la génération X. Elles attribuent en partie la souffrance des narratrices au contexte social dans lequel ces dernières évoluent. Mais elles estiment que cette souffrance est surtout tributaire de carences familiales. Les discussions des lectrices reflètent en quelque sorte leur propre appartenance à la génération X. Ainsi, l'importance qu'elles accordent à la sphère privée, par rapport à la sphère publique, constitue une des particularités des X qui ressort clairement des entretiens. Par ailleurs, leurs observations sont teintées d'un certain individualisme. Bref, à la lumière de mes résultats, je conclus que les récits autofictionnels de Marie-Sissi Labrèche, de Nelly Arcan et de Mélikah Abdelmoumen ont une certaine portée sociale, mais que leur écho résonne davantage sur le plan individuel, chez les lectrices qui s'identifient personnellement aux narratrices. Cela dit, les participantes semblent toutes avoir été portées à se questionner et à réfléchir, pendant et après leur lecture, sur l'identité féminine dans la société actuelle.

Quête transpersonnelle et trajectoire identitaire dans la tension des paradigmes éducatifs : autoethnographie d'une éducatrice de la génération des baby-boomers

Cette thèse s'inscrit dans un paradigme compréhensif et herméneutique et dans une démarche de recherche qualitative. Elle utilise l'autoethnographie comme méthodologie. L'autoethnographie cherche à comprendre une histoire singulière sociohistoriquement inscrite dans des contextes culturels déterminés L'autoethnographie est à la fois une méthode de recherche, un style d'écriture, une oeuvre et une aventure transformatrice à travers laquelle la chercheure devient le sujet de son histoire. Ici, c'est la vie et l'expérience de la chercheure qui constitue le corpus des données. L'autoethnographie offr une invitation sensible à créer une relation dynamique entre la personne qui raconte son histoire et ses lecteurs. C'est une approche originale, qui fait appel à la vulnérabilité, à la sincérité et à l'authenticité de la chercheure. Le style d'écriture vise à décrire, à montrer et invite à pénétrer la réalité de l'expérience plutôt qu'à théoriser, expliquer ou défendre des certitudes. Cette thèse dévoile la quête transpersonnelle du sujet-chercheure qui traverse une vie d'élève, de mère, d'enseignante, d'étudiante, de formatrice d'adultes et, enfin, d'enseignante en formation initiale à l'enseignement. Une quête vécue dans la culture de l'éducation et qui s'est actualisée à travers des moments clés où se joue, dans et pour la chercheure, une tension entre des approches éducatives centrées sur la personne et son potentiel, et d'autres approches centrées sur les instruments, les contenus et l'évaluation. Cette autoethnographie est présentée sous forme de vignettes qui offrnt au lecteur l'accès à des moments significatifs de vie. La production des données s'est faite à l'aide d'outils variés tels le journal de recherche, le récit de vie, des récits phénoménologiques, des photographies, des poésies, des extraits de travaux d'étudiantes, des documents et des articles. Ces données ont été analysées et interprétées de manière qualitative et en mode écriture en vue de permettre une meilleure compréhension de l'autrice et de sa praxis.

La mise en registre automatique des surfaces acquises à partir d’objets déformables

La mise en registre 3D (opération parfois appelée alignement) est un processus de transformation d’ensembles de données 3D dans un même système de coordonnées afin d’en aligner les éléments communs. Deux ensembles de données alignés ensemble peuvent être les scans partiels des deux vues différentes d’un même objet. Ils peuvent aussi être deux modèles complets, générés à des moments différents, d’un même objet ou de deux objets distincts. En fonction des ensembles de données à traiter, les méthodes d’alignement sont classées en mise en registre rigide ou non-rigide. Dans le cas de la mise en registre rigide, les données sont généralement acquises à partir d’objets rigides. Le processus de mise en registre peut être accompli en trouvant une seule transformation rigide globale (rotation, translation) pour aligner l’ensemble de données source avec l’ensemble de données cible. Toutefois, dans le cas non-rigide, où les données sont acquises à partir d’objets déformables, le processus de mise en registre est plus difficile parce qu’il est important de trouver à la fois une transformation globale et des déformations locales. Dans cette thèse, trois méthodes sont proposées pour résoudre le problème de mise en registre non-rigide entre deux ensembles de données (représentées par des maillages triangulaires) acquises à partir d’objets déformables. La première méthode permet de mettre en registre deux surfaces se chevauchant partiellement. La méthode surmonte les limitations des méthodes antérieures pour trouver une grande déformation globale entre deux surfaces. Cependant, cette méthode est limitée aux petites déformations locales sur la surface afin de valider le descripteur utilisé. La seconde méthode est s’appuie sur le cadre de la première et est appliquée à des données pour lesquelles la déformation entre les deux surfaces est composée à la fois d’une grande déformation globale et de petites déformations locales. La troisième méthode, qui se base sur les deux autres méthodes, est proposée pour la mise en registre d’ensembles de données qui sont plus complexes. Bien que la qualité que elle fournit n’est pas aussi bonne que la seconde méthode, son temps de calcul est accéléré d’environ quatre fois parce que le nombre de paramètres optimisés est réduit de moitié. L’efficacité des trois méthodes repose sur des stratégies via lesquelles les correspondances sont déterminées correctement et le modèle de déformation est exploité judicieusement. Ces méthodes sont mises en oeuvre et comparées avec d’autres méthodes sur diverses données afin d’évaluer leur robustesse pour résoudre le problème de mise en registre non-rigide. Les méthodes proposées sont des solutions prometteuses qui peuvent être appliquées dans des applications telles que la mise en registre non-rigide de vues multiples, la reconstruction 3D dynamique, l’animation 3D ou la recherche de modèles 3D dans des banques de données.

Charges de travail et santé perçue de la "génération sandwich"

La coexistence des charges professionnelles, familiales, et d'aide à des ascendants expose la Génération Sandwich (GS) à des risques potentiels pour sa santé. Toutefois, les connaissances sur la GS sont insuffisantes pour permettre aux infirmières du secteur de la santé au travail de développer des interventions en promotion de la santé basées sur des preuves. Ce manque de clarté est préoccupant au vu de certaines tendances sociodémographiques. La présente étude vise à dresser le portrait des travailleurs de la GS en examinant les liens entre leurs caractéristiques, leurs charges co-existantes et leur santé perçue. Pour ce faire, nous avons développé un cadre de référence salutogénique. puis, nous l'avons utilisé pour conduire une recherche descriptive corrélationnelle transversale. un questionnaire électronique a permis de récolter les données de 826 employés d'une administration publique suisse. L'examen a montré que 23.5 % de l'échantillon appartenait à la GS. Cette appartenance ne dépendait pas du sexe. la charge de travail totale (70.5 h/sem) de la GS différait significativement de celle du reste de l'échantillon (62.8 h/sem). Nous n'avons pas trouvé de relation entre cette charge totale et la santé physique ou mentale des femmes. En revanche, il y avait une relation négative entre cette charge totale et la santé physique des hommes, et cette relation était proche du seuil de significativité pour la santé mentale de ces derniers. Grâce à une analyse soucieuse de faire évoluer favorablement les inégalités de genre (gender-transformative), cette étude fournit des pistes pour fonder des interventions préventives en faveur de la santé des membres de la GS.

Matériaux pour l'histoire positive et philosophique de l'homme : bulletin des travaux et découvertes concernant l'anthropologie, les temps anté-historiques, l'époque quaternaire, les questions de l'espèce et de la génération spontanée / par Gabriel de Mortillet

1865/09 (A2)-1866/08.

Matériaux pour l'histoire positive et philosophique de l'homme : bulletin des travaux et découvertes concernant l'anthropologie, les temps anté-historiques, l'époque quaternaire, les questions de l'espèce et de la génération spontanée / par Gabriel de Mortillet

1864/09 (A1)-1865/08.