On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement.

Reproduction de : Thèse de doctorat : Informatique : Orléans : 1995. / Résumé en français. Bibliogr. p. 264-270.

Αντικείμενο της εργασίας αυτής αποτελεί η χρήση της γλώσσας λογικού προγραμματισμού Prolog για τη συντακτική ανάλυση (parsing) παραδειγμάτων ρηματικής φράσης, ακολουθώντας τις τελευταίες εξελίξεις στο χώρο της γενετικής γραμματικής (Μινιμαλιστικό Πρόγραμμα). Στην προσπάθεια πλήρους περιγραφής του προβλήματος, όπως απαιτεί ο λογικός προγραμματισμός, στο επίκεντρο τοποθετείται η διεπαφή σύνταξης – σημασιολογίας. Γίνεται αναφορά σε θεωρητικά προβλήματα όπως η διάκριση μεταξύ ανεργαστικών και μεταβατικών ρημάτων και η φύση των ρημάτων καιρού (weather verbs), και προτείνονται τρόποι ερμηνείας και διαχείρισης των παραπάνω προβλημάτων στο περιβάλλον της Prolog. / The purpose of this study is to examine the use of the logic programming language Prolog as a parser for VPs within the generative grammar/Minimalist Program framework. We focus on the syntax- semantics interface and try to address issues such as the differences between unergative- transitive verbs and the structure of weather verbs within the Prolog environment.

This work presents business process analysis methodology which consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. The aggregate specification is analyzing using first order predicate logic while checking correctness by resolution method using logic programming based language Prolog. The work is concluded with concrete example of analysis of Resource Event Agent model based business process using the aggregate approach. The novelty of this work PLA (Piece-Linear Aggregate) model and the software tools, created on the ground of PLA (Piece-Linear Aggregate), are used the first time for business processes analysis that is defined using REA formalism. The use of such integrated models allows performing the automated analysis of general and individual properties (completeness, deadlock freeness, termination or cyclic behavior, boundedness) of defined business processes. The main results are achieved: • The methodology, that consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. • Verification and validation of general and individual properties by using PLA and PROLOG language approach designed system that executes the analysis of aggregate specification. • Implementing internal accounting controls as constraints in relational algebra, SQL and PROLOG language. • Concrete... [to full text]

L'objet de cette thèse est une monographie du théâtre traditionnel tibétain, ou ache lhamo, souvent appelé lhamo tout court, tel qu'il était joué à l'époque pré-moderne (antérieure à 1950) et tel qu'il est encore joué actuellement en Région Autonome du Tibet (République Populaire de Chine) et dans la diaspora tibétaine établie en Inde et au Népal. Comme la plupart des théâtres d'Asie, il est un genre composite : à la fois drame à thématique religieuse (issue du bouddhisme mahāyāna), satire mimée, et farce paysanne, il comprend de la récitation sur un mode parlé, du chant, des percussions, de la danse et des bouffonneries improvisées, ainsi qu'un usage de masques et de costumes flamboyants, qui tranchent avec la sobriété absolue des décors (la scène est vide) et de la mise en scène. Bien qu’il ait été encouragé et financé par le gouvernement des Dalai Lama, de grands monastères et des familles aristocratiques, c’est un théâtre avant tout populaire, et non pas réservé à une élite lettrée. Cette étude a circonscrit à la fois le contenu, le rôle social, le langage artistique et les implications politiques du théâtre dans la civilisation tibétaine. <p> La méthodologie a été composée en combinant les apports et réflexions critiques de trois disciplines : l'ethnologie, la tibétologie et les études théâtrales. L'approche est fondamentalement ethnologique, en ce que la production des données repose sur une immersion de plus de deux ans parmi des acteurs de théâtre de la Région Autonome du Tibet (1996-1998) et de près d'un an parmi ceux de la diaspora d'Asie du Sud (1998-2000). Elle l’est aussi en ce que l’intention a été de constituer une intelligibilité englobante pour l'ache lhamo, c'est-à-dire de mettre au jour l'intrication des dimensions culturelle, sociale, politique, économique, rituelle et symbolique de la pratique théâtrale. L’une des contributions principales du travail est d’étoffer l’ethnologie régionale du Tibet central, mais ses conclusions et son esprit critique le placent également dans la liste déjà importante des travaux consacrés à l'invention des traditions. La tibétologie a fourni le cadre interprétatif fondamental des données recueillies. Une importance très grande a été accordée à l'histoire du pays ainsi qu'à la philologie et aux terminologies vernaculaires particulières au théâtre. L’étude s’inscrit dans l’un des courants novateurs de la tibétologie, privilégiant les aspects non plus religieux et politiques de cette civilisation, mais sa partie « populaire » et anthropologique, mettant au premier plan l’analyse des pratiques et non celle des doctrines. Des sources écrites (textes pré-modernes et sources secondaires de folkloristes tibétains et chinois) ont été intégrées aux observations. En ce qui concerne la troisième approche méthodologique, cette étude ne s'inscrit ni dans le courant des « performance studies » de Richard Schechner, ni dans l'anthropologie théâtrale d’Eugenio Barba, ni dans l'ethnoscénologie telle qu'elle est défendue par Jean-Marie Pradier, mais plutôt dans l'anthropologie du théâtre, au sens d'étude interprétative et multidimensionnelle, utilisant les référents établis de l'anthropologie et les savoirs indigènes pour décrire une expression culturelle déterminée et reconnue comme un genre à part entière, le théâtre. <p> Les résultats sont présentés en trois parties, qui peuvent être résumées de manière lapidaire par trois adjectifs : culturelle, sociologique, artistique. La première partie, intitulée "Le cadre culturel du lhamo avant 1959", est consacrée au contexte (historique, religieux et littéraire) dans lequel le théâtre est inscrit, ainsi qu’aux textes (leur contenu, leurs modalités de composition et de transmission) qui révèlent l'imaginaire propre du théâtre. La deuxième partie est une analyse de "L'ancrage sociologique du lhamo". Les conditions matérielles des représentations y sont examinées : les divers types de troupes, leur organisation interne, le statut social des acteurs, l'inscription de la pratique du théâtre dans le système socio-économique pré-moderne, et les rapports d'obligations tissés entre acteurs et seigneurs, ainsi qu'entre acteurs et commanditaires des représentations. La dernière partie, "Art et savoirs des acteurs", jette un éclairage sur la matière vive du lhamo. Elle rend compte des conceptions, valeurs, plaisirs et difficultés de ceux qui pratiquent cette forme d'art. Les divers registres de leur discipline sont analysés en détail : costumes, masques, gestuelle, chant, accompagnement musical (percussions) et sentiments exprimés. L'appréciation qui en est faite par le public est aussi consignée. Au cœur de cette partie se trouve une réflexion sur la nature rituelle et non rituelle du lhamo, et sur les liens éventuels de ce dernier avec d'autres activités religieuses, telles la possession. Les dernières pages de la thèse constituent un épilogue, qui fait le point sur la situation contemporaine, donc les implications politiques, du théâtre des deux côtés de l'Himalaya. <p> L'image anthropologique du lhamo qui a pu être dégagée de ces trois volets d'analyse le fait apparaître comme essentiellement ambivalent : le lhamo est un théâtre de paradoxes. À l'image de la civilisation tibétaine, il est composite et cohérent à la fois. Sa cohérence réside dans son ambivalence : il traverse et relie des aspects contrastés de la culture. Il introduit du jeu entre les polarités que Tibétains et tibétologues établissent parfois un peu trop à la hâte entre culture savante et culture populaire, écriture et oralité, éléments exogènes et apports autochtones, bouddhisme et cultes qui ont précédé son implantation, aspiration religieuse et intérêts mondains, spécialistes rituels et bénéficiaires qui les rémunèrent. Combinant fonction pédagogique et fonction rituelle, sacré compassé du texte et irrévérence grivoise des improvisations, le lhamo correspond aussi très bien à la manière dont les théâtrologues appréhendent le théâtre : comme un objet curieux, créé par les hommes et qui pourtant ne cesse de les intriguer, comme s'il était venu d'ailleurs.

L'alignement automatique consiste à trouver une correspondance entre des unités de textes parallèles. Nous nous intéressons plus particulièrement à la réalisation d'un système qui procède à l'alignement au niveau des propositions, unités profitables dans beaucoup d'applications.<br />La présente thèse est constituée de deux types de travaux : les travaux introducteurs et ceux constituant le noyau central. Ce dernier s'articule autour de la notion de proposition syntaxique.<br />Les travaux introducteurs comprennent l'étude des généralités sur l'alignement ainsi que des travaux consacrés à l'alignement des phrases. Ces travaux ont conduit à la réalisation d'un système d'alignement des phrases adapté au traitement des textes français et japonais.<br />Le noyau de la thèse est composé de deux types de travaux, études linguistiques et réalisations informatiques. Les études linguistiques se divisent elles-mêmes en deux sujets : la proposition en français et la proposition en japonais. Le but de nos études sur la proposition française est de définir une grammaire pour la détection des propositions. Pour cet effet, nous avons cherché à définir une typologie des propositions, basée sur des critères uniquement formels. Dans les études sur le japonais, nous définissons d'abord la phrase japonaise sur la base de l'opposition thème-rhème. Nous tentons ensuite d'élucider la notion de proposition.<br />Les réalisations informatiques comportent trois tâches composant ensemble au final l'opération d'alignement des propositions, incarnées par trois systèmes informatiques distincts : deux détecteurs de propositions (un pour le français et un pour le japonais), ainsi qu'un système d'alignement des propositions.

L'alignement automatique consiste à trouver une correspondance entre des unités de textes parallèles. Nous nous intéressons plus particulièrement à la réalisation d'un système qui procède à l'alignement au niveau des propositions, unités profitables dans beaucoup d'applications.<br />La présente thèse est constituée de deux types de travaux : les travaux introducteurs et ceux constituant le noyau central. Ce dernier s'articule autour de la notion de proposition syntaxique.<br />Les travaux introducteurs comprennent l'étude des généralités sur l'alignement ainsi que des travaux consacrés à l'alignement des phrases. Ces travaux ont conduit à la réalisation d'un système d'alignement des phrases adapté au traitement des textes français et japonais.<br />Le noyau de la thèse est composé de deux types de travaux, études linguistiques et réalisations informatiques. Les études linguistiques se divisent elles-mêmes en deux sujets : la proposition en français et la proposition en japonais. Le but de nos études sur la proposition française est de définir une grammaire pour la détection des propositions. Pour cet effet, nous avons cherché à définir une typologie des propositions, basée sur des critères uniquement formels. Dans les études sur le japonais, nous définissons d'abord la phrase japonaise sur la base de l'opposition thème-rhème. Nous tentons ensuite d'élucider la notion de proposition.<br />Les réalisations informatiques comportent trois tâches composant ensemble au final l'opération d'alignement des propositions, incarnées par trois systèmes informatiques distincts : deux détecteurs de propositions (un pour le français et un pour le japonais), ainsi qu'un système d'alignement des propositions.

Intertextuality as a method of biblical interpretations is well known and often misused in theological circles. This thesis critically describes how intertextuality is used and what are the main issues with this term and method. The main conclusion is that intertextuality as the modern method is for no much use in biblical hermeneutics though it can be used as an old and well know method of source theory. Intertextuality in the modern view appears to be as a confusing and an unstable term. Philosophical presuppositions of a modern hermeneutics might lead to self-contradictory conclusions. It is not that the attempt to come to original meaning is fulfilled through new interpretational methods, but anyone can introduce any new meaning to old texts. This work shows that the reasons to believe in the death of the original meaning is based on shaky and uncertain grounds. The main concern of this work is introductory citation of the Gospel of Mark. It shows that Mark bases his high Christological understanding on the prophecy of Isaiah and Malachi. Though Mark's Gospel is often considered as the earliest manuscript containing non-high Christological notion, this work shows that Mark from the very beginning introduced us to Jesus who possesses the same qualities as the Yahweh in the books of Isaiah and...

This thesis evaluates various ways of displaying tabular data on mobile devices using different responsive table solutions. It also presents a tool to help web developers and designers in the process of choosing and implementing a suitable table approach. The proposed solution for this thesis is a web system called The Visualizing Wizard that allows the user to answer some questions about the intended table and then get a recommended responsive table solution generated based on the answers. The system uses a rule-based approach via Prolog to match the answers to a set of rules and provide an appropriate result. In order to determine which table solutions are more appropriate to use for which type of data a statistical analysis and user tests were performed. The statistical analysis contains an investigation to identify the most common table approaches and data types used on various websites. The result indicates that solutions such as "squish", "collapse by rows", "click" and "scroll" are most common. The most common table categories are product comparison, product offerings, sports and stock market/statistics. This information was used to implement and establish user tests to collect feedback and opinions. The data and statistics gathered from the user tests were mapped into sets of rules to answer the question of which responsive table solution is more appropriate to use for which type of data. This serves as the foundation for The Visualizing Wizard.

I denna studie undersöks den känsla av författarnärvaro som präglar Asta Olivia Nordenhofs roman Penge på lommen. Genom att undersöka hur Nordenhofs ethos och persona förhåller sig till bokens berättartekniker, samt hur detta samverkar med berättarpåträngningar, är det möjligt att visa hur författaren, genom en paus i narrativet, förmedlar sin egen röst och sammansmälter sin litterära persona med sitt ethos. Detta resultat kontextualiseras genom att beskriva Nordenhofs litterära samtid i Danmark. Därigenom skapar uppsatsen förståelse för vilka etiska dimensioner som ryms i romanens berättartekniker, i synnerhet blickens ökande och minskande distans till romankaraktärerna. Avslutningsvis diskuteras författarnävaron utifrån blickens etiska aspekter.