Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse relève de l’ingénierie des connaissances et en particulier elle s’inscrit dans le cadre technique du web sémantique. Nous prenons un objet particulier : une théorie linguistique de la temporalité (temps et aspect), et nous proposons une traduction en plusieurs étapes de cette théorie en un artefact de représentation des connaissances : une ontologie. Nous passons en revue différents modèles (logiques, IA, linguistiques) de représentation du temps. Nous détaillons la notion d’ontologie en elle-même et telle qu’elle est utilisée dans le cadre informatique. Ensuite nous traduisons la théorie linguistique que nous choisissons en un objet vérifiant les propriétés d’un réseau d’entités qui sont caractéristiques d’une ontologie au sens du web sémantique. La dernière étape consiste en l’implémentation de notre ontologie en utilisant les standards W3C. / This is a knowledge engineering work that specifically deal with semantic web technologies. We first take an particular objet: a linguistic theory of time and aspect and we propose a translation of it into a knowledge engineering artefact (an ontology) following several steps. We look at different approach of time (logical, AI, linguistic) of time representation. Then we analyse the notion of ontology as understood in the computer science framework. An ontology is a network of entities, we give a translation of the linguistic theory of time and aspect into an ontology and we translate this resulting ontology using W3C semantic web standards.

L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la présence des fautes, sont devenus indispensables dans la conception numérique. Ce thèse étudie une nouvelle architecture hybride tolérante aux fautes pour améliorer la robustesse des circuits et systèmes numériques. Elle s'adresse à tous les types d'erreur dans la partie combinatoire des circuits, c'est-à-dire des erreurs permanentes (« hard errors »), des erreurs transitoires (« SETs ») et des comportements temporels fautifs (« timing errors »). L'architecture proposée combine la redondance de l'information (pour la détection d'erreur), la redondance de temps (pour la correction des erreurs transitoires) et la redondance matérielle (pour la correction des erreurs permanentes). Elle permet de réduire considérablement la consommation d'énergie, tout en ayant une surface de silicium similaire comparée aux solutions existantes. En outre, elle peut également être utilisée dans d'autres applications, telles que pour traiter des problèmes de vieillissement, pour tolérer des fautes dans les architectures pipelines, et pour être combiné avec des systèmes avancés de protection des erreurs transitoires dans la partie séquentielle des circuits logiques (« SEUs »). / Evolution of CMOS technology consists in continuous downscaling of transistor features sizes, which allows the production of smaller and cheaper integrated circuits with higher performance and lower power consumption. However, each new CMOS technology node is facing reliability problems due to increasing rate of faults and errors. Consequently, fault-tolerance techniques, which employ redundant resources to guarantee correct operations of digital circuits and systems despite the presence of faults, have become essential in digital design. This thesis studies a novel hybrid fault-tolerant architecture for robustness improvement of digital circuits and systems. It targets all kinds of error in combinational part of logic circuits, i.e. hard, SETs and timing errors. Combining information redundancy for error detection, timing redundancy for transient error correction and hardware redundancy for permanent error corrections, the proposed architecture allows significant power consumption saving, while having similar silicon area compared to existing solutions. Furthermore, it can also be used in other applications, such as dealing with aging phenomenon, tolerating faults in pipeline architecture, and being combined with advanced SEUs protection scheme for sequential parts of logic circuits.

Ce travail traite du problème métaphysique de la composition. Ce problème peut être compris comme un ensemble de questions touchant à l'existence et à la nature des entités complexes et simples. Existe-t-il des entités complexes? Si oui, de quelle nature sont-elles? Comment sont-elles composées? Par quoi sont-elles composées (par des simples ou non)? Nous allons dans un premier temps analyser le paradigme russellien concernant le problème de la composition, à savoir l'atomisme logique. Cette analyse va nous amener à comprendre la façon dont l'outil logique (ici la logique russellienne) peut nous permettre de déterminer une ontologie (l'ontologie des faits) dans laquelle ces différentes questions trouvent des réponses déterminées. Puis nous aborderons le traitement contemporain de cette question qui se base sur la question spéciale de la composition (SCQ) développée par Peter van Inwagen dans Material Beings, et sur l'analyse méréologique. Nous allons alors aborder les différentes théories de la composition et nous allons essayer de justifier l'une d'entre-elles : l'universalisme de la composition. Cette justification nous amènera à développer et justifier une conception des simples (la théorie du Gunk), du temps (le quadridimensionnalisme), et une ontologie de l'étoffe matérielle. Nous achèverons notre travail en essayant de montrer que l'universalisme de la composition prend un sens particulier à l'intérieur des théories du monisme de priorité et du super-substantialisme. / This work deals with the metaphysical problem of composition. This problem can be understood as a set of questions relating to the existence and nature of simple and complex entities. Are there complex entities? What kind are they? How are they made? What are they made of (simples or not)? We will initially analyze the Russellian paradigm for the problem of composition, namely logical atomism. This analysis will lead us to understand how the tool logic (logic Russell here) can help us determine an ontology (ontology of facts) in which these questions are answered. Then we discuss the contemporary treatment of this question wich is based on the special composition question (SCQ) developed by Peter van Inwagen in Material Beings, and the mereological analysis. We then discuss the different theories of composition and we will try to justify one of them: the universalism of composition. This explanation leads us to develop and justify a conception of simples (the gunk theory), time (quadridimensionalism), and a stuff ontology. We will complete our work by trying to show that the universalism of composition makes sense within particular theories : priority monism and supersubstantivalism.

Au cours des dernières décennies, les approches expérimentales nous ont permis d'obtenir des informations importantes en biologie du développement et nous ont conduit à la définition de réseaux complexes de régulation contrôlant les processus développementaux. Actuellement, notre compréhension de ces réseaux est entravée par leur complexité même. La modélisation mathématique est de plus en plus utilisée pour intégrer les voies de régulation et prévoir les effets de perturbations génétiques. Durant ma thèse, je me suis intéressée à la différentiation du mésoderme chez Drosophila melanogaster. Elle commence par la spécification du mésoderme en 4 différents tissus: le muscle viscéral, le coeur, le muscle somatique et le corps gras. La formation de ces tissus se traduit par une organisation segmentale répétitive le long du mésoderme. Mon premier but était de construire un modèle qui récapitule la spécification de ces quatre tissus entre les stades 8 et 10. Par la suite, je me suis concentrée sur le développement du coeur dans le but de proposer un modèle de régulation de la diversification des cellules cardiaques contractiles (cardioblastes) entre les stade 10 et 12. Afin de comprendre ces processus complémentaires, j'ai été amené à modéliser les voies de signalisation qui jouent un rôle important dans le développement du mésoderme et des cardioblastes. Je me suis appuyée sur des données génétiques et des analyses haut-débit publiées (HhIP-chip, ChIP-seq et transcriptome) pour déterminer et annoter des graphes de régulation complet pour chacun de ces réseaux ou voies. / During the past decades, experimental approaches have allowed us to gain important insights in developmental biology, and led to the delineation of complex regulatory networks controlling developmental processes. Currently, our understanding of these networks is hindered by their sheer complexity. Mathematical modelling is increasingly used to integrate regulatory pathways and predict the effects of genetic perturbations. My thesis focuses on the development of the specification of the mesoderm in Drosophila melanogaster. Its development results in the formation of different tissues segmentally iterated: the visceral muscle, the heart, the somatic muscle, and the fat body. My first goal was to build a network model recapitulating the specification of these 4 mesodermal tissues during stages 8 to 10. Then, focusing on heart development, my second aim was to build a network model recapitulating contractile cardiac cell (cardioblast) diversification during stages 10 to 12. To understand these complementary processes, I was further led to model the signalling pathways that play important roles in mesoderm and cardioblast development. I rely on a combination of published genetic data and high- throughput analyses (ChIP-chip, ChiP-seq, transcriptome) to delineate and annotate comprehensive regulatory graphs for each of these networks or pathways. Using a logical formalism and the GINsim software, I have further defined logical rules enabling the simulation of wild type and mutant behaviours for each of this networks or pathways. By and large, my model simulations recapitulate all relevant published data.

Le travail de Wittgenstein exemplifie la transcendance dont se nourrit la philosophie. En effet, la recherche de fondements à notre langage, par la mise en œuvre d'un idiome logique, génère des préoccupations ontologiques insondables. De même, le désir de créer une grammaire purement descriptive révèle l'arbitraire des critères de l'ordinaire. Enfin, la négation quasi obsessionnelle d'une intériorité active ne fait pas obstacle à son retour dans les thèmes de la volonté, du silence et de l'éthique. L'Éthique dite ineffable et la volonté, dans le sens de Schopenhauer, s'imposent comme les invariants d'un Sujet en marge d'un monde dit sans valeur dans lequel, logique, éthique et esthétique ne peuvent se dire. Ici, le silence de Wittgenstein ouvre sur un non-dit éloquent. En recherchant des fondements ou des règles à notre langage, tout en expulsant certains objets hors du dicible, Wittgenstein exprime le désir de mettre en place un point de vue synoptique sur notre forme de vie. Mais en fait, il se retrouve prisonnier des entrelacs qui relient l'immanence et la transcendance.Ces investigations ne peuvent être dissociées, chez ce contemporain de la naissance de la psychanalyse, d'une attitude tendancielle à la sublimation des problèmes philosophiques sur fond de crise identitaire. Son attitude face aux choix, sa difficulté à donner un assentiment, son rapport ambigu au religieux, au mystique et à l'identité, sont soulignés comme les points aveugles de son expression. Ces thèmes révèlent une transcendance intrinsèque à son œuvre et une résistance forte de la métaphysique.Le travail de Wittgenstein est pris ici comme un exemple paradigmatique de la philosophie analytique, philosophie entrée en conflit contre l'abus d'expressions métaphysiques accusées de nous livrer aux illusions trompeuses. / Wittgenstein's work exemplifies transcendence which feeds philosophy. The search for foundations to our language, by the implementation of a logical structure generates unfathomable ontological concerns. Similarly, the dream of a purely descriptive grammar reveals the arbi-trariness of criteria of the ordinary. Finally, the obsessive denial of an active interiority does not preclude his return to willpower, silence and ethical themes. Ethics, as ineffable, and will, in the sense of Schopenhauer, are invariants of a philosophical subject on the sidelines of a world without value, in which, the logical, ethical and aesthetic could not be said. Here, Witt-genstein's silence opens on an eloquent unsaid. Searching for foundations or rules to our lan-guage, while expelling some objects in the indescribable, Wittgenstein expressed the desire to provide a synoptic view of our form of life. In fact, he finds himself prisoner of interlaces between immanence and transcendence.These investigations cannot be separated with this contemporary of the birth of psychoanaly-sis, a trend attitude to the sublimation of philosophical problems on substance of identity cri-sis. His attitude to choice, his difficulty to give consent, his ambiguous report to the religious, the mystic and identity are underlined as blind expression points. These themes reveal an in-herent transcendence in his work and the resistance of the metaphysical.Wittgenstein's work is seen as a paradigm of analytic philosophy, philosophy came into con-flict against the abuse of metaphysical expressions accused of deceptive illusions for us.