NCube/papyrus huggingface dataset:
Using Workflows to Automate Activities in MDE Tools

Le génie logiciel a pour but de créer des outils logiciels qui permettent de résoudre des problèmes particuliers d’une façon facile et efficace. À cet égard, l’ingénierie dirigée par les modèles (IDM), facilite la création d’outils logiciels, en modélisant et transformant systématiquement des modèles. À cette fin, l’IDM s’appuie sur des workbenches de langage : des environnements de développement intégré (IDE) pour modéliser des langages, concevoir des modèles, les exécuter et les vérifier. Mais l’utilisation des outils est loin d’être efficace. Les activités de l’IDM typiques, telles que la création d’un langage de domaine dédié ou créer une transformation de modèles, sont des activités complexes qui exigent des opérations souvent répétitives. Par conséquent, le temps de développement augmentate inutilement. Le but de ce mémoire est de proposer une approche qui augmente la productivité des modélisateurs dans leurs activités quotidiennes en automatisant le plus possible les tâches à faire dans les outils IDM. Je propose une solution utilisant l’IDM où l’utilisateur définit un flux de travail qui peut être paramétré lors de l’exécution. Cette solution est implémentée dans un IDE pour la modélisation graphique. À l’aide de deux évaluations empiriques, je montre que la productivité des utilisateurs est augmentée et amééliorée. Software engineering aims to create software tools that allow people to solve particular problems in an easy and efficient way. In this regard, Model-driven engineering (MDE) enables to generate software tools, by systematically modeling and transforming models. In order to do this, MDE relies on language workbenches: Integrated Development Environment (IDE) for engineering modeling languages, designing models executing them and verifying them. However, the usability of these tools is far from efficient. Common MDE activities, such as creating a domain-specific language or developing a model transformation, are nontrivial and often require repetitive tasks. This results in unnecessary risings of development time. The goal of this thesis is to increase the productivity of modelers in their daily activities by automating the tasks performed in current MDE tools. I propose an MDE-based solution where the user defines a reusable workflow that can be parameterized at run-time and executed. This solution is implemented in an IDE for graphical modeling. I also performed two empirical evaluations in which the users’ productivity is improved.

Keyphrases: Flux de travail, Modélisation de domaine dédié, Transformation de modèles, Loi de Fitts, Workflow, Enactment, Domain-specific Modeling, Model Transformation, Fitts Law
Sequential modeling, generative recurrent neural networks, and their applications to audio

L'apprentissage profond s'est imposé comme étant le cadre de concrétisation d'une intelligence artificielle spécialisée; le chemin rêvé de beaucoup vers un futur où l'IA est omniprésente ou ce qu'on appellerait une intelligence artificielle générale. Durant ce projet, notre motivation a été l'envie de dompter cette puissante approche d'apprentissage afin de réaliser une avancée considérable vers la création d'une ``Machine Parlante''.  Cette thèse décrit un modèle statistique paramétrique pour la génération inconditionnelle et de bout en bout de séquences audio dont la parole, des onomatopées et de la musique. Contrairement aux travaux réalisés dans ce sens dans le domaine du traitement du signal, les modèles qu'on propose se basent uniquement sur les échantillons audio bruts sans aucune manipulation ou extraction préalable de caractéristiques. La dimension générale de notre approche lui permet d'être appliquée à tout autre domaine - à savoir le traitement naturel du langage - dont les données requièrent une représentation séquentielle des données.  Les chapitres 1 et 2 sont consacrés aux principes de bases de l'apprentissage automatique et de l'apprentissage profond. Les chapitres suivants détaillent l'approche adoptée afin d'atteindre notre but. By far Deep Learning showed to be the most promising venue of achieving applied Artificial Intelligence which has been the dream of many as the path toward AI-powered future and eventually the Artificial General Intelligence. In this work we are interested in harnessing this powerful method to make bigger strides in the direction of creating a ``Talking Machine''.  This thesis is dedicated to presenting a parametric statistical model for generating unconditional audio sequences including speech, onomatopoeia, and music in an end-to-end manner. Proposed model does not benefit from any handcrafted features that are developed over the course of many years in the field of signal processing rather operates on raw sample audio. As a general framework it can also potentially be applied in other domains that require modeling sequential data; e.g. Natural Language Processing.  Chapter 1 and 2 give a brief overview of the background topics including machine learning and basic building blocks of deep learning algorithms. Following chapters of this thesis present our endeavor toward the aforementioned goal.

Keyphrases: Intelligence artificielle, Apprentissage automatique, Réseaux de neurones profonds, Apprentissage de représentations, Modélisation séquentielle, Modèles génératifs, Génération audio, Artificial intelligence, Machine learning, Deep neural networks, Representation learning, Sequential modeling, Generative models, Audio generation
Using goal-driven assistants for software visualization

Utiliser la visualization de logiciels pour accomplir certaines tâches comme la détection de défauts de design peut être fastidieux. Les utilisateurs doivent d’abord trouver et conﬁgurer un outil de visualization qui est adéquat pour représenter les données à examiner. Souvent, ils sont forcés de naviguer à travers le logiciel manuellement pour accomplir leur tâche. Nous proposons une approche plus simple et efﬁcace. Celle ci s’éloigne de la conﬁguration d’un outil et la navigation manuelle d’un système et se concentre sur la déﬁnition écrite de la tâche à accomplir. Suite à cela, notre assistant génère le meilleur outil de visualization et guide les utilisateurs à travers la tâche. Notre approche est constituée de trois éléments principaux, un langage dédié à la description de la tâche d’analyse. Un langage pour déﬁnir les visualizations comme des mises en oeuvre du patron modèle-vue-contrôleur. Et un processus de génération pour passer d’une tâche d’analyse à une visualization. En enlevant le besoin de conﬁgurer un outil de visualization et en guidant la navigation du système, nous pensons que nous avons fait un outil qui plus simple et rapide à utiliser que ses homologues. Using software visualization to accomplish certain tasks such as design defect detection  can prove tedious. Users first need to find and configure a visualization tool that  is adequate for representing the data they want to examine. Then all too often, they are  forced to manually navigate the software system in order to complete their task. What  we propose is a simpler and more efficient approach that moves the emphasis from configuring a tool and manually navigating the system to writing a definition of the work we  want to accomplish. Our goal-driven assistant then generates the best visualization tool  and guide us through the navigation of the task.  Our approach consists of three main components. The first component is a domain specific  language (DSL) to describe analysis tasks. The second component is a language  to define the visualizations as customized implementations of the model-view-controller  (MVC) pattern. The last component is a generation process used to go from the analysis  task to the visualization.  By removing the need to configure a visualization tool and guiding the navigation of  the system, we believe we made a tool that is simpler and faster to use than its conventional  counterparts.

Keyphrases: Visualisation de logiciels, Analyse de code, Software visualization, Code analysis
Les locuteurs d’une langue tonale sont-ils de meilleurs musiciens? Effet potentiel de la connaissance native d’une langue à tons sur la perception du contraste du pitch

Ce mémoire consiste à offre un survol des études neuropsychologiques et électrophysiologiques concernant l’interaction possible entre le traitement du langage et la musique. Le but principal est de déterminer les raisons possibles pour lesquelles des locuteurs d’une langue à tons auraient une meilleure capacité dans la perception du contraste du pitch en musique par rapport aux individus qui ont pour langue maternelle une langue à intonation. Dans un premier temps, nous discutons du traitement neuronal de la prosodie et de la musique, tentant de montrer le chevauchement du traitement cérébral des deux domaines. Ensuite, nous présentons des notions d’une langue tonale ainsi que le traitement neuronal des tons lexicaux. Après, nous discutons des effets de transfert de la capacité du traitement du pitch en linguistique et en musique, en nous focalisant sur l’influence de la connaissance native d’une langue tonale sur la perception musicale. Pour ce faire, l’encodage du pitch et la localisation hémisphérique du traitement des tons lexicaux et la musique serons discutés. This thesis gives an overview of neuropsychological and electrophysiological studies about the possible interaction between the processing of language and music. Our main purpose is to examine the possible reasons for which tone language speakers have a better capacity in perceiving pitch contrast in music than native speakers of an intonational language. First, we discuss the neural processing of prosody and music, attempting to show an overlap between the two domains. Next, we present the concept of a tone langue and the neural processing of lexical tones. Afterwards, we discuss the transfer effects of the processing capacity of pitch in linguistic and music by focusing on the influence of a knowledge of a tone language on the musical perception. To do this, the encoding of pitch and the hemispheric specialization will be discussed.

Keyphrases: encodage du pitch, langue tonale, localisation hémisphérique, musique, prosodie, traitement neuronal, music, encoding of pitch, tone language, hemispheric specialization, music, prosody, neural processing
Un outil pour développer et tester les grammaires d’unification polarisées

Ce mémoire présente un outil informatique pour développer et tester des grammaires d’unification polarisées, conçu entre autres pour faciliter la validation expérimentale du formalisme de la grammaire d’unification Sens-Texte (GUST) de Kahane & Lareau. Les fondements théoriques du formalisme GUP sont d’abord expliqués, puis nous décrivons la conception du module et l’évaluons avec un fragment de la grammaire GUST. This thesis presents a computer tool to develop and test polarized unification grammars that was built, namely, to help validate experimentally Kahane & Lareau’s Meaning-Text Unification Grammar (MTUG) formalism. We first describe the theory behind the PUG formalism, then we explain how the module was developed and we test it using a fragment of the MTUG grammar.

Keyphrases: Grammaires d'unification polarisées, Théorie Sens-Texte, Linguistique informatique, Unification de graphes, Polarized unification grammars, Graph unification, Meaning-Text Theory, Computational linguistics
Test d'adéquation à la loi de Poisson bivariée au moyen de la fonction caractéristique

Les tests d’adéquation font partie des pratiques qu’ont les statisticiens pour prendre une décision concernant l’hypothèse de l’utilisation d’une distribution paramétrique pour un échantillon. Dans ce mémoire, une application du test d’adéquation basé sur la fonction caractéristique proposé par Jiménez-Gamero et al. (2009) est faite dans le cas de la loi de Poisson bivariée. Dans un premier temps, le test est élaboré dans le cas de l’adéquation à une loi de Poisson univariée et nous avons trouvé son niveau bon. Ensuite cette élaboration est étendue au cas de la loi de Poisson bivariée et la puissance du test est calculée et comparée à celle des tests de l’indice de dispersion, du Quick test de Crockett et des deux familles de tests proposés par Novoa-Muñoz et Jiménez-Gamero (2014). Les résultats de la simulation ont permis de constater que le test avait un bon niveau comparativement aux tests de l’indice de dispersion et au Quick test de Crockett et qu’il était généralement moins puissant que les autres tests. Nous avons également découvert que le test de l’indice de dispersion devrait être bilatéral alors qu’il ne rejette que pour de grandes valeurs de la statistique de test. Finalement, la valeur-p de tous ces tests a été calculée sur un jeu de données de soccer et les conclusions comparées. Avec une valeur-p de 0,009, le test a rejeté l’hypothèse que les données provenaient d’une loi de Poisson bivariée alors que les tests proposés par Novoa-Muñoz et Jiménez-Gamero (2014) donnaient une conclusion différente. Our aim in this thesis is to conduct the goodness-of-fit test based on empirical characteristic functions proposed by Jiménez-Gamero et al. (2009) in the case of the bivariate Poisson distribution. We first evaluate the test’s behaviour in the case of the univariate Poisson distribution and find that the estimated type I error probabilities are close to the nominal values. Next, we extend it to the bivariate case and calculate and compare its power with the dispersion index test for the bivariate Poisson, Crockett’s Quick test for the bivariate Poisson and the two test families proposed by Novoa-Muñoz et Jiménez-Gamero (2014). Simulation results show that the probability of type I error is close to the claimed level and that it is generally less powerful than other tests. We also discovered that the dispersion index test should be bilateral whereas it rejects for large values only. Finally, the p-value of all these tests is calculated on a real dataset from soccer. The p-value of the test is 0,009 and we reject the hypothesis that the data come from a Poisson bivariate while the tests proposed by Novoa-Muñoz et Jiménez-Gamero (2014) leads to a different conclusion.

Keyphrases: Distribution de Poisson bivariée, Fonction caractéristique, Fonction génératrice des probabilités, Test d'adéquation, Bivariate Poisson distribution, Characteristic function, Probability generatic function, Goodness-of-fit test
Théorème Central Limite pour les marches aléatoires biaisées sur les arbres de Galton-Watson avec feuilles

L’objectif en arrière-plan est de montrer que plusieurs modèles de marches aléatoires en milieux aléatoires (MAMA) sont reliés à un modèle-jouet appelé le modèle de piège de Bouchaud. Le domaine des MAMA est très vaste, mais nous nous intéressons particulièrement à une classe de modèle où la marche est réversible et directionnellement transiente. En particulier, nous verrons pourquoi on pense que ces modèles se ressemblent et quel genre de similarités on s’attend à obtenir, une fois qu’on aura présenté le modèle de Bouchaud. Nous verrons aussi quelques techniques de base utilisés de ce domaine, telles que les temps de régénérations. Comme contribution, nous allons démontrer un théorème central limite pour la marche aléatoire β-biaisée sur un arbre de Galton-Watson. This Master thesis is part of a larger project of linking the behaviours of a certain type of random walks in random environments (RWRE) with those of a toy model called the Bouchaud’s trap model. The domain of RWRE is very wide but our interest will be on a particular kind of models which are reversible and directionally transient.  More specifically, we will see why those models have similar behaviours and what kind of results we could expect once we have reviewed the Bouchaud’s trap model. We will also present some basic technic used in this field, such as regeneration times.  As a contribution, we will demonstrate a central limit theorem for the β-biased random walk on a Galton-Watson tree.

Keyphrases: Marche aléatoire en milieu aléatoire, MAMA, arbre de Galton-Watson, Théorème central limite, Temps de régénération, Modèles de piège, Random walk in random environment, RWRE, Galton-Watson tree, Central limit theorem, Regeneration time, Trap models
Autonomie et vulnérabilité : l'apport de l'autonomie relationnelle

La définition commune du concept d’autonomie prend son origine dans les travaux d’Emmanuel Kant. Au XXe siècle, une lecture féministe de ce concept dénonce, en la faisant ressortir, une conception atomiste et masculine de l’autonomie, non représentative de la nature vulnérable et sociale de l’être humain. Ce mémoire explore les concepts d’autonomie et de vulnérabilité dans une perspective féministe en cherchant à établir comment il serait possible de concevoir l’agent moral comme étant autonome tout en étant dépendant de son environnement social. Le concept d’autonomie relationnelle proposé par Catriona Mackenzie et Natalie Stoljar constitue une alternative à la conception kantienne qui est plus en accord avec la sociabilité humaine. The common definition of autonomy takes its origins from the works of Emmanuel Kant. During the twentieth century, a feminist lecture of this nature denounces, while also highlighting an atomistic and masculine conception of autonomy, non-representative of the vulnerable and social nature of the human being. This memoir explores the themes and concepts surrounding autonomy and vulnerability within a feminist perspective, while actively establishing the possibility of the moral agent as a separate and autonomous member, dependent on its social environment.  The concept of relational autonomy proposed by Catriona Mackenzie and Natalie Stoljar constitutes an alternative to this Kant notion, which is further adjusted with human sociability.

Keyphrases: Autonomie libérale, Autonomie relationnelle, Vulnérabilité, Critique féministe, Feminist critique, Liberal autonomy, Relational autonomy, Vulnerability
Sans-voix : comment les inclure en politique? Le défi des générations futures et les animaux non humains

Dans ce mémoire, je cherche à expliquer comment politiquement intégrer les générations futures et les animaux non humains. Pour ce faire, je revisite les débats en philosophie concernant la valeur intrinsèque, les théories de justice, les droits et la représentation politique. J’avance que ce qui a été réalisé concernant les générations futures peut servir à la cause des animaux non humains, et inversement. J’analyse ainsi ce qui rassemble ces sans-voix. Après leur avoir accordé une valeur intrinsèque et politique, je leur reconnais des droits à l’intégrité physique, la vie et la liberté. Je propose finalement les solutions qui peuvent servir à contourner le problème de leur non audibilité en démocratie. In this M.A. research, I try to understand how to politically admit future generations and nonhuman animals. To do this, I analyze debates in philosophy about intrinsic value, theories of justice, rights and political representation. I suggest that what has been accomplished about future generations can serve to the animal cause and conversely. I review what brings together this voices-less. After I allowed them an intrinsic and political value, I recognize them with rights to physically integrity, life and liberty. Finally, I suggest solutions to by-pass the problem of non-audibility in democracy.

Keyphrases: éthique intergénérationnelle, éthique animale, politique, libéralisme, utilitarisme, spécisme, droits fondamentaux, intérêts, dommage, représentation, Intergenerational ethics, Animal ethics, Politic, Liberalism, Utilitarianism, Speciesism, Fundamentals rights, Interests, Damage, Representation
Le cerveau selon Aristote

La présente étude fait le point sur la théorie cérébrale d’Aristote. Contre une tradition philosophique (Platon) et médicale (Hippocrate) qui considérait le cerveau comme l’organe central du corps et le lieu privilégié des activités psychiques, Aristote ne reconnaît pratiquement aucune fonction au cerveau dans sa conception de la sensation, du mouvement volontaire et de l’intelligence. Pour le philosophe, l’encéphale est un organe froid, humide, entièrement dépourvu de sang et chargé de refroidir la chaleur cardiaque et de susciter le sommeil. Autant dire tout de suite que la théorie aristotélicienne du cerveau est truffée de faussetés. Or, ces erreurs ne sont pas dépourvues d'intérêt. Aussi, notre étude tente-t-elle d’en retracer l’origine, et accorde, pour ce faire, une attention particulière à la méthode ainsi qu’aux différents types de données dont Aristote se sert en sciences de la vie. L’exercice met notamment en lumière l’influence d’une littérature livresque et médicale préexistante et invite, en conséquence, à réévaluer la place réservée à l’observation empirique dans la biologie aristotélicienne. This study clarifies Aristotle’s brain theory. Going against a philosophical (Plato) and medical (Hippocrates) tradition that regarded the brain as the central organ of the body and the locus of psychic activities, Aristotle assigns virtually no function to the brain in his conception of sensation, voluntary movement, and intelligence. According to the philosopher, the brain is cold, moist, entirely deprived of blood and is in charge of cooling the heat produced by the heart and of inducing sleep. In other words, Aristotle’s brain theory is deeply flawed. Yet, Aristote’s mistakes are not devoid of interest. Thus, our study tries to understand the causes of these errors, and, in doing so, pays special attention to the method and to the different kinds of data that Aristotle uses in the field of life sciences. This approach sheds light on the influence of a preexisting medical literature and, as a result, invites to reevaluate the place of empirical observation in Aristotle’s biology.

Keyphrases: Aristote, Anatomie cérébrale, Physiologie cérébrale, Méthodologie scientifique, Histoire des sciences, Cerveau, Aristote, Aristotle, Cerebral Anatomy, Cerebral Physiology, Scientific Method, History of Science, Brain