No description available.

Le langage APL a été défini en 1962 par K.E. Iverson dans un ouvrage intitulé " A Programming Language " [Iverson62]. En dépit des difficultés nouvelles que ce langage posait aux concepteurs, des interprètes APL furent rapidement disponibles chez I.B.M. [Chomat71, Iverson73]. Ce langage s'étant d'emblée révélé intéressant pour toutes les applications réclamant plus de programmation que de longs calculs, plusieurs systèmes virent le jour chez d'autres constructeurs [Martin72, Girardot76]. Réalisés pour la plupart sur de gros ordinateurs, ils réclament des ressources hors de proportion avec les moyens habituels mis à la disposition des ingénieurs ou des étudiants. Parallèlement de nombreux travaux de recherche ont été menés afin d'accélérer l'interprétation du langage. P.S. Abrams fut le premier à introduire certaines notions fondamentales d'optimisation comme le beating devenu classique de nos jours. Il a également envisagé la construction d'un matériel muni d'un code machine très voisin du langage APL [Abrams70]. D'autres approches ont consisté à réaliser un maximum de fonctions au niveau matériel, en microprogrammant un sous-interprète scalaire ou vectoriel, et en rédigeant ensuite, dans l'APL restreint ainsi obtenu, l'interprète complet. L'étude des divers systèmes existants montre que les architectures purement logicielles, utilisant presque toujours une technique d'interprétation naïve sont les plus répandues. Cependant, même si les architectures sont restées identiques, l'évolution des techniques d'implantation a permis des progrès considérables. De fait, il semble assez difficile de progresser beaucoup dans une voie purement logicielle si ce n'est par des approches radicalement différentes comme celles décrites dans [Hewlett77]. Ce système APL réalisé sur HP 3000 est en fait un compilateur incrémental générant pour chaque ligne de code qu'il exécute pour la première fois, un fragment de code machine. , Une signature associée à ce code permet de savoir ultérieurement si la réutilisation de ce code est possible.

La sécurité des systèmes d'information devient un enjeu préoccupant pour les organisations tant publiques que privées, car de tels systèmes sont pour la plupart universellement accessibles à partir de navigateurs Web. Parmi tous les aspects liés à la sécurité des systèmes d'information, c'est celui de la sécurité fonctionnelle qui est étudié dans cette thèse sous l'angle de la mise en œuvre de politiques de contrôle d'accès dans une architecture orientée services. L'élément de base de la solution proposée est un modèle générique qui introduit les concepts essentiels pour la conception de gestionnaires d'exécution de politiques de contrôle d'accès et qui établit une séparation nette entre le système d'information et les mécanismes de contrôle d'accès. L'instanciation de ce modèle conduit à un cadre d'applications qui comporte, entre autres, un filtre de contrôle d'accès dynamique. Cette thèse présente également deux méthodes systématiques d'implémentation de ce filtre à partir de politiques écrites en ASTD, une notation graphique formelle basée sur les statecharts augmentés d'opérateurs d'une algèbre de processus. La notation ASTD est plus expressive que la norme RBAC et ses extensions, la solution actuellement privilégiée dans l'industrie. La première méthode repose sur une transformation de politiques de contrôle d'accès, instanciées à partir de patrons de base exprimés en ASTD, en des processus BPEL. La deuxième méthode est basée sur une interprétation de spécifications ASTD par des processus BPEL. Dans les deux cas, les processus BPEL s'exécutent dans un moteur d'exécution BPEL et interagissent avec le système d'information. Ces deux méthodes permettent une implémentation automatique d'un cadre d'applications à partir de la spécification de départ. Finalement, un prototype a été réalisé pour chacune des deux méthodes afin de montrer leur faisabilité au niveau fonctionnel et de comparer leurs performances au niveau système

La métaphore est un concept porteur d'une double instabilité : définitoire et phénoménale. Notre travail débutera donc par une analyse épistémologique du champ théorique de la métaphore. Deux approches générales de la métaphore, distinctive et non distinctive, seront envisagées en détail. Nous serons alors amenés à tourner notre attention vers les approches textuelles de la métaphore. Nous prendrons comme base de travail les concepts de l'intégration conceptuelle mais non sans avoir préalablement établi un travail critique qui prend en compte les concepts de la sémantique indexicale et interprétative : (1) Nous réduirons la région d'application de l'intégration à la seule métaphore. Deux logiques distinctes interviendront désormais : logique de conformité vs. logique d'intégration (2) Nous réduirons la force de la référence, qui détermine pour l'essentiel le contenu des espaces mentaux, en faisant appel aux représentations sémiques (3) Nous montrerons que les espaces initiaux, loin d'être donnés, sont construits à l'intérieur d'une activité de thématisation. Après une description du cas de l'énoncé absurde, notre raisonnement nous amènera à considérer que toute métaphore est, nécessairement, une métaphore filée. Nous bénéficierons ainsi d'une délimitation claire de notre objet : la métaphore se fonde sur le déploiement de deux thématiques volontairement distinguées, deux thématiques dont les éléments thématisés présentent l'intérêt de pouvoir être réintégrés dans un nouvel espace pour produire un grand nombre d'implicitations nouvelles et originales. Une fois l'objet délimité, nous explorerons ses propriétés formelles. Nous mettrons ainsi en relief la nature conviviale de la métaphore filée et préciserons son impact sur le degré d'optimalité d'un réseau d'intégration. Nous appliquerons enfin notre appareil théorique au parler ordinaire et à la poésie surréaliste : deux types extrêmes de donnée qui nous permettront d'affiner nos concepts et de vérifier leur validité.

La présente thèse se veut d'abord l'ébauche d'une nouvelle base sur laquelle fonder une théorie de l'Idéologie qui soit efficace à la fois pour la description et la prédiction scientifique des phénomènes sociaux qui relèvent des orientations idéologiques au sein des sociétés. Par là, on cherche à unifier les diverses approches antérieures sur le sujet, de façon à ce qu'elles se complètent plutôt que de s'opposer les unes aux autres. Inspirée à l'origine par l'initiative de Louis Althusser, on s'en est cependant quelque peu détaché en utilisant et en adaptant des concepts appartenant à la physique contemporaine, conjugués à une métaphysique d'allégeance matérialiste dérivée des écrits de Schopenhauer sur la "Volonté". Celle-ci est prise comme moteur de l'identité plus ou moins consciente que prennent les différentes formes locales et ponctuelles de la matière universelle. Cette identité étant particulièrement "active" chez l'être humain, on prend sa forme humaine comme une exagération de l'instinct animal ou de l'inertie observable chez les choses. Suit alors une réflexion sur les différentes façons avec lesquelles peut se concrétiser un "apaisement" de la volonté (dans un "bonheur" correspondant à l'état de repos inertiel de la matière) d'entités humaines à travers les représentations arbitraires qui les font interagir entre-elles avec un égoïsme inconscient, justifié politiquement par une prétention de connaissance plus juste de la "Volonté" universelle. Ayant pour prémisse que toutes les volontés relatives sont incluses dans cette insaisissable "Volonté" universelle, on se lance alors dans une étude des relations politiques entre lesdites entités. La problématique centrale étant celle du positionnement relatif des multiples conceptions possibles du monde dans lequel l'être humain évolue, on s'est en premier lieu concentré sur l'élaboration d'une grille d'analyse tridimensionnelle dont les paramètres pouvaient servir à la classification desdites conceptions du monde. Établie en tenant compte de principes de Relativité (inspirés de Albert Einstein), cette grille est volontairement voulue malléable lorsqu'il s'agit d'y évaluer les relations entre entités idéologiques restreintes. Par la suite, on tente de découvrir un principe de généralisation par lequel on pourrait étendre notre analyse au champ Idéologique global. Cette tentative est cependant elle-même relativisée rapidement puisqu'on y admet que son efficacité sine qua non devrait provenir d'une conscience transcendante interdite par sa propre logique. Les conclusions qu'on tire de cette démarche sont un peu paradoxales puisqu'on affirme, en s'appuyant sur un principe d'incertitude adapté de la théorie quantique, que tout système idéologique peut être utilisé efficacement pour prédire les orientations sociales d'un groupe qui l'utilise volontairement. Cependant, un tel système ira totalement à l'encontre de l'objectif de maximisation générale du "bonheur" par lequel on parvient à l'imposer aux entités relatives constituant le groupe social en question. En même temps, on prétend qu'un tel système idéologique peut effectivement donner une description juste du type de bonheur recherché par tous les membres d'un groupe. Dans un tel cas, ledit système sera par contre inutile pour la prédiction des orientations sociales prises par ce groupe. On suggère alors que, pour maximiser réellement le potentiel "bonheur" amené par un système social, une position anarcho-nihiliste anti-historiciste est nécessaire. Loin d'être la promotion du chaos, cette position est simplement annoncée comme une dialectique négative cherchant à éviter des situations définies, à l'inverse des traditionnelles dialectiques positives basées sur la promotion téléologique.

Cette thèse a pour but d'analyser le phénomène de l'ellipse dans la narration graphique afin d'y asseoir son rôle souverain. L'étude rend explicite la nature et le fonctionnement d'une technique d'écriture fondamentale qui jusqu'à présent a été reconnue de façon brève, instinctive ou implicite. S'articulant autour de trois axes, ses définitions, ses expressions et la logique de son interprétation, la thèse examine la nature et les caractéristiques de l'ellipse avant de vérifier son opérationnalité dans les bandes dessinées et de faire la lumière sur les étapes inférentielles que traverse toute interprétation possible de la figure. Pour ce faire, le premier axe revisite les concepts existants dans quelques champs d'étude principaux, soit la rhétorique, la linguistique, la littérature et la cinématographie. Une fois l'assise théorique générale posée, le deuxième axe porte un regard sur les diverses expressions de ces concepts en bande dessinée à travers une centaine d'occurrences puisées dans une vaste collection internationale, en particulier la France, les États-Unis et le Japon. Le troisième axe détermine le trajet interprétatif de ces expressions au moyen de la trichotomie inférentielle (abduction -déduction -induction) du philosophe pragmatiste Charles S. Peirce. Les recherches menées ont révélé qu'une compréhension plus complète de l'ellipse passait par d'autres figures rhétoriques de nature semblable qui, elles aussi, adoptent le non-dit et le non-montré comme lieux d'expression. La cohabitation avec ces figures et la confrontation de diverses conceptions de l'ellipse à travers différents domaines ont permis de synthétiser les résultats en une définition applicable généralement. Elles ont aussi donné lieu à une typologie générale, qui peut être modifiée pour s'adapter aux besoins particuliers; en l'occurrence, on s'est retrouvé avec une taxonomie plus détaillée des ellipses en bande dessinée qui couvre les formes des plus courues aux moins courantes. L'application de la classification à l'expression concrète de la bande dessinée a aussi révélé que le transfert des notions rhétoriques amène une modification notable du statut figural des procédés elliptiques, qui présentent un double comportement, tantôt sans aucun changement sémantique, tantôt avec modification de sens. Par ailleurs, le processus d'interprétation par l'inférence peircéenne a fourni l'outil nécessaire pour confirmer le travail incessant d'interprétation d'une bande dessinée, déterminer de façon logique l'existence d'une ellipse dans sa lecture et élucider la concordance entre les genres de raisonnement logique et les types d'ellipse. Ainsi les ellipses déductives procurent un sentiment de satisfaction dans la pratique de lecture de progression, alors que les ellipses abductives et inductives réjouissent davantage le lecteur de la compréhension, à qui elles ouvrent des horizons riches de possibilités et de probabilités. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Ellipse, Figure, Rhétorique, Taxonomie, Bande dessinée, Narration graphique, Interprétation, Peirce, Inférence, Abduction, Déduction, Induction.

This thesis sets out to do mainly two things. On the one hand, I wish to provide an overview of scholarship on natural metalanguage. On the other, I want to tackle some of the most interesting problems that emerge from the recent literature on the subject. As far as my first goal is concerned, I discuss the origin of the term and the notion of 'metalanguage' in logic (Ch 1); I review and criticise the various theories of mention or quotation (Ch 2, 4, 5) because these are the main theoretical upshot, in the area of the study of natural languages, of the logicians' discussions of metalanguage. As for the second goal, I discuss the problems linked to the reference of quotational sequences (Ch 4); I devise a typology of metalinguistic utterances (Ch 6), based on a conception of semantics and pragmatics that is set out in Ch 3; I examine where a natural metalanguage "fits" with respect to the rest of the language and review a number of concerns regarding, notably, the infiniteness of the lexicon (Ch 7); I explore some of the issues raised by complex cases of alleged simultaneous use and mention (Ch 8).

Une caractéristique des systèmes dynamiques complexes, qu'ils soient physiques ou naturels, est la présence de processus évoluant à différentes échelles de temps (dynamiques multiples) et de façon fortement non-linéaire. Nous nous plaçons dans le cas où l'évolution de chaque processus étudié est une série de mesures, ou bien est issue de la simulation de modèles numériques. Pour concevoir ou améliorer ces modèles en se basant sur l'échelle qui l'intéresse, l'utilisateur doit d'abord être capable de représenter l'évolution de chaque processus à plusieurs échelles, déterminées objectivement selon l'évolution elle-même. Ensuite, le choix d'une ou de plusieurs représentations doit être guidé par l'interprétation des caractéristiques dynamiques à chaque échelle de temps. Nous définissons une notion de granularité temporelle, exprimant le niveau de détail de la représentation. Ayant affaire à des processus biologiques dont la forme de l'évolution est plus informative pour l'utilisateur que les valeurs numériques précises, une représentation qualitative/quantitative est élaborée : une segmentation de l'évolution initiale en épisodes triangulaires (exprimant différentes formes de comportements locaux), puis l'abstraction successive de ces épisodes triangulaires en épisodes trapézoïdaux, conduisent à l'obtention de toutes les représentations possibles de l'évolution, et de toutes les échelles de temps associées. Le développement d'outils graphiques, symboliques et statistiques permet d'identifier et d'interpréter automatiquement les principales caractéristiques dynamiques du processus à n'importe quelle échelle de temps : équilibre, stabilité, périodicité, récurrence, comportements majoritaires, etc. Ces caractéristiques permettent de conseiller un choix d'échelles de temps et, par suite, de fréquences d'échantillonnage pertinentes. Une fonctionnalité suppl émentaire vise à identifier et à dissocier localement les composantes fréquentielles de l'évolution initiale. Des exemples d'interprétation sont donnés pour deux modèles biologiques. Les analyses sont confrontées à la connaissance experte d'un agronome pour la validation de la méthode. Ce travail a conduit à la conception du logiciel PARADISE (Process AbstRaction AnD Interpretation SystEm)

L'Europe est à l'heure actuelle en pleine mutation. D'une part, elle s'est élargie en acceptant de nouveaux États passant ainsi de quinze à vingt-cinq membres. D'autre part, elle s'est dotée d'un traité constitutionnel appelé Projet de traité établissant une Constitution pour l'Europe. Celui-ci a été approuvé en juin 2004. Il sera au coeur de notre recherche. Doter l'Union européenne d'un nouvel acte conduit incontestablement à se poser une multitude de questions concernant l'acte lui-même mais également ses conséquences. Que faut-il entendre par « traité établissant une Constitution pour l'Europe » ? Quels serontles effets d'un tel acte au regard du droit communautaire existant et des législations nationales ? Cette recherche répondra à ces questions et offrira un éclairage particulier du traité. Elle sera plus particulièrement axée sur la Cour de justice qui assure le respect du droit dans l'interprétation et l'application de la Constitution (article 28 du projet). Comment les juges devront-ils se comporter par rapport au traité ? Leur action sera-t-elle légitime ? Le débat sera ouvert sur l'interprétation que les juges feront de cette nouvelle norme. / Europe is at current major transformation. On one side, new countries joined the European Union so the number of member States has grown from fifteen to twenty-five. On the other side, a Draft Treaty establishing a Constitution for Europe was approved on June 2004. And which will be at the heart of this research. Providing The European Union with a new Act drives conclusively to raise a multitude of questions concerning the Act itself on the surface, but equally its consequences. What should be understood with "Treaty establishing a Constitution for Europe"? Which will be the effects on the existing Community Law and the National Legislations? This research will try to answer these questions and will offer a special lighting on The Treaty. More particularly it will be focused on the Court of Justice that shall ensure respect for the law in the interpretation and application of the constitution (Article 1-28 of the Draft Treaty). And how judges will react towards it? Is their actions are going to be legitimate? In fact, the debate will be based on the judicial review that the judges will give, and which will set the new norm. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (L.L.M.)" / Texte du mémoire également publié dans Lex Electronica, vol. 12 n°3, Hiver 2008.

Ce mémoire porte sur les compétences et les sous-compétences en traduction et en interprétation et vise à dégager les convergences et les divergences entre les compétences requises dans les deux professions. L’étude pose comme hypothèse que la traduction et l’interprétation demandent des compétences et des sous-compétences spécifiques à chacune de ces activités. Sur le plan théorique, l’accent est mis sur la comparaison des éléments suivants : les définitions de traduction et interprétation, les codes d’éthique des associations, les programmes universitaires, les outils utilisés par les traducteurs et les interprètes et le métalangage des deux professions. Sur le plan expérimental, une enquête par questionnaire en ligne a été menée auprès des traducteurs et des interprètes professionnels dans le but de déterminer, dans la pratique, les points communs et les différences entre les deux professions. Les résultats montrent que les différences sont minimes et sont liées à l’aspect pratique de chacune des professions. / This research describes competences and sub-competences in translation and interpretation and demonstrates the convergences and divergences between the competences that are required for both professions. The study is based on the hypothesis that translation and interpretation require specific competences and sub-competences for each activity. At the theoretical level, the emphasis is placed on the comparison of the following elements: definitions of translation and interpretation, codes of Ethics of the corresponding professional associations, academic programs, tools used by translators and interpreters, and metalanguage of the two professions. At the experimental level, an online questionnaire survey is applied to selected professional translators and interpreters in order to identify differences and common points in the practice of the professions. Results show that differences are few and they are related to the practice of both professions.