Ce mémoire de maîtrise présente les résultats d'une étude sur le sujet de l'accessibilité du Web aux internautes éprouvant des troubles de vision. La conception de contenu accessible universellement sur le Web est un défi auquel est confronté un éditeur soucieux de fournir de l'information d'une façon à n'exclure personne de la communication. L'accessibilité de l'information diffusée sur le Web est garantie par des chartes et des textes législatifs ou réglementaires. Puisque les questions de l'utilisabilité et de l'accessibilité sont corollaires l'une de l'autre (voir Chapitre I), nous avons pris le recul nécessaire au deuxième chapitre pour revoir et résumer les règles d'utilisabilité, les critères ergonomiques et les directives normatives, des notions qui se recoupent et se chevauchent à maints égards. Dans notre quête de solutions aux problèmes d'accessibilité, nous avons choisi d'observer avec plus d'attention le cas de figure des problèmes d'accès reliés aux déficiences visuelles, car les solutions à ces difficultés peuvent souvent être généralisées à l'ensemble des problèmes d'accès et peuvent aussi favoriser plus généralement l'ensemble des internautes. Ainsi, la stratégie de recherche présentée dans ce mémoire repose sur le postulat que les solutions destinées spécifiquement à résoudre les problèmes qu'éprouvent les handicapés visuels peuvent être généralisées à l'ensemble des problèmes d'accès. Et cela s'est avéré fructueux puisque nous avons découvert, en croisant les données au deuxième chapitre, que la plupart des recommandations pour l'accessibilité du contenu Web sont des applications spécifiques de critères ergonomiques tels que l'adaptabilité, le guidage, le contrôle explicite et la gestion des erreurs. Cette constatation ne surprend guère ceux qui sont quotidiennement confrontés aux problèmes de conception Web accessible, puisque la pratique leur a montré qu'il est inutile de concevoir une interface techniquement accessible si l'information n'est pas présentée en fonction de la tâche que permet de réaliser l'application, si dans les faits, l'interface n'est pas ergonomique, n'est pas compatible avec les besoins de l'utilisateur, n'est pas intuitive. C'est dans ce contexte qu'est présentée au troisième et dernier chapitre de ce mémoire une série de techniques qui permettent d'implémenter les sept recommandations de la Fondation des aveugles du Québec pour favoriser l'accessibilité du contenu aux non-voyants. Ainsi, les exemples de code (X)HTML décrit au troisième chapitre afin d'illustrer les recommandations pour l'accessibilité du contenu aux aveugles ne sont, la plupart du temps, rien d'autres que des implémentations spécifiques de critères ergonomiques plutôt génériques, utiles à tous les internautes, à condition qu'on les applique selon les règles de l'art. La plupart des solutions présentées pour résoudre les problèmes d'adaptabilité ont comme points communs: (1) l'organisation logique de l'information de façon à séparer le contenu, la structure et la présentation des documents; (2) des méthodes qui tournent autour du balisage sémantique, une technique de codage qui permet d'encoder la signification d'une information (son fond) plutôt que sa présentation (sa forme); (3) des feuilles de style adaptées aux différentes modalités de réception. Nous croyons que l'ensemble des techniques de conception présentées favorisera non seulement l'accessibilité du Web, mais surtout, le rendra plus facile à utiliser par les handicapés visuels. Puisque le domaine de l'accessibilité des nouvelles technologies de l'information a recours à une terminologie spécialisée abondante, nous avons cru pertinent de présenter un glossaire du vocabulaire technique employé dans ce mémoire (Appendice B) ainsi qu'une liste des abréviations, sigles et acronymes (Appendice C).

Les sciences des religions acceptèrent l’universalité de la religion comme une prémisse indéniable dès sa fondation. Néanmoins, certaines réserves peuvent être émises. Cette thèse poursuit la problématisation de l’universalité de la religion, entamée par un groupe d’auteurs de la critical religion, et oriente la réflexion sur les conditions d’intelligibilité de cette croyance par l’entremise d’une analyse discursive déconstructiviste contextualisant l’universalité de la religion dans son épistémè. Plus précisément, cette thèse propose que la croyance en l’universalité de la religion soit supportée par des réseaux de croyances métaphysiques et ontologiques. La déconstruction des conditions d’intelligibilité du concept de l’universalité, juxtaposée à celle de la réification de la religion, expose des jeux de langage délimités et circonscrits par une ontologie moderne. Ces jeux de langage ontologiques sont déployés par des démarcations radicales où des séries dichotomiques, le sujet et l’objet par exemple, circonscrivent les discours dans une clôture métaphysique. Bref, cette thèse déconstruit le signifié transcendantal « religion » et expose les conditions d’intelligibilité de l’universalité de la religion, c’est-à-dire les jeux de langage ontologiques modernes étroitement tissés et calqués sur l’ontologie classique où les discours auxquels la grande majorité des approches en sciences des religions adhèrent puisent leur intelligibilité.

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

Les sciences des religions acceptèrent l’universalité de la religion comme une prémisse indéniable dès sa fondation. Néanmoins, certaines réserves peuvent être émises. Cette thèse poursuit la problématisation de l’universalité de la religion, entamée par un groupe d’auteurs de la critical religion, et oriente la réflexion sur les conditions d’intelligibilité de cette croyance par l’entremise d’une analyse discursive déconstructiviste contextualisant l’universalité de la religion dans son épistémè. Plus précisément, cette thèse propose que la croyance en l’universalité de la religion soit supportée par des réseaux de croyances métaphysiques et ontologiques. La déconstruction des conditions d’intelligibilité du concept de l’universalité, juxtaposée à celle de la réification de la religion, expose des jeux de langage délimités et circonscrits par une ontologie moderne. Ces jeux de langage ontologiques sont déployés par des démarcations radicales où des séries dichotomiques, le sujet et l’objet par exemple, circonscrivent les discours dans une clôture métaphysique. Bref, cette thèse déconstruit le signifié transcendantal « religion » et expose les conditions d’intelligibilité de l’universalité de la religion, c’est-à-dire les jeux de langage ontologiques modernes étroitement tissés et calqués sur l’ontologie classique où les discours auxquels la grande majorité des approches en sciences des religions adhèrent puisent leur intelligibilité.

No description available.

Par un déplacement de l’action tragique dans la familia qu’il psychologise, Sénèque intériorise la théorie des passions et affirme les bienfaits libérateurs de l’intellection autant sur un plan politique que social et ontologique. Celle-ci, par le respect de la pietas et de la fides, garantit l’équité sociale et préserve la cité du tyran. Par le juste assentiment et une bonne maîtrise du temps, elle préserve le héros du furor et du sentiment tragique de sa condition douloureuse. Le cantonnant dans les bornes du pudor, elle le détourne de la transgression par laquelle le furieux croit se libérer des contingences et le porte à trouver sa joie dans une morale de l’effort et l’adhésion volontaire à son destin. Ces valeurs stoïciennes sont portées par une esthétique du sublime et de l’émotion. Reposant sur l’image et une écriture fluctuante, entre discours suggestif et réalisme épique, elle suscite « l’horreur délicieuse », portant le spectateur vers une analogie cathartique. La théâtralisation du mythe, allégorie des conflits terrifiants de l’homme avec lui-même comme avec le cosmos, se fait parole universelle. / By a displacement of tragic action in familia he psychologises, Seneque internalizes theory of passions end maintains liberating benefits of the intellection as much on a political point of view as on social and ontological ones. Through the respect of pietas and fides, the intellection guarantees social equity and protects the city from the tyrant. By the right assent and time control, it protects the hero from the furor and the tragic feeling of his painful condition. It confines the hero inside furor borders and so diverts him from infringement by which the furious believes to be free from events and leads him to find happiness through a morality of efforts and deliberate support of his destiny. These stoicienne values are brought by an aesthetic pleasing of the sublime and emotion. Based on pictures and texts, between evocative speech and epic realism, it creates “the delicious horror”, bringing the spectator towards an cathartical analogy. The theatricalisation of myth, allegory of terrifying conflicts of mankind against himself or cosmos, is universal speech.

Les sciences des religions acceptèrent l’universalité de la religion comme une prémisse indéniable dès sa fondation. Néanmoins, certaines réserves peuvent être émises. Cette thèse poursuit la problématisation de l’universalité de la religion, entamée par un groupe d’auteurs de la critical religion, et oriente la réflexion sur les conditions d’intelligibilité de cette croyance par l’entremise d’une analyse discursive déconstructiviste contextualisant l’universalité de la religion dans son épistémè. Plus précisément, cette thèse propose que la croyance en l’universalité de la religion soit supportée par des réseaux de croyances métaphysiques et ontologiques. La déconstruction des conditions d’intelligibilité du concept de l’universalité, juxtaposée à celle de la réification de la religion, expose des jeux de langage délimités et circonscrits par une ontologie moderne. Ces jeux de langage ontologiques sont déployés par des démarcations radicales où des séries dichotomiques, le sujet et l’objet par exemple, circonscrivent les discours dans une clôture métaphysique. Bref, cette thèse déconstruit le signifié transcendantal « religion » et expose les conditions d’intelligibilité de l’universalité de la religion, c’est-à-dire les jeux de langage ontologiques modernes étroitement tissés et calqués sur l’ontologie classique où les discours auxquels la grande majorité des approches en sciences des religions adhèrent puisent leur intelligibilité.

Les automates cellulaires fournissent un cadre agréable et uniforme pour aborder une des problématiques majeures de l'étude des «systèmes complexes» : comprendre comment et pourquoi des systèmes qui possèdent un comportement microscopique -- local -- facile à décrire peuvent avoir un comportement macroscopique -- global -- beaucoup plus compliqué. Depuis leur introduction dans les années 40, de nombreux travaux ont été entrepris afin de comprendre les liens existant entres les propriétés locales et globales des automates cellulaires.<br /><br />Ces vingt dernières années est apparue une nouvelle approche à travers la recherche de classifications pertinentes des automates cellulaires. Ainsi, de nombreuses classifications formelles ont été proposées pour mieux cerner les comportements de type «chaotique», principalement à l'aide d'outils de nature topologique. Cependant, une autre forme d'automates cellulaires complexes -- les automates cellulaires pour lesquels semblent émerger des structures locales, des particules, qui interagissent selon des schémas complexes -- reste peu étudiée. A notre connaissance, seuls les travaux d'I. Rapaport proposent une classification -- le groupage -- de nature algébrique, inspirée par cette forme de complexité. Nos travaux consistent en la généralisation de cette classification, afin d'une part de prendre en compte certaines notions intéressante comme l'universalité intrinsèque et d'autre part de renforcer la structure algébrique qui fait la force de cet outil -- tout en conservant sa nature géométrique.<br /><br />Dans une première partie, la structure interne des automates cellulaires est étudiée et une nouvelle caractérisation des automates cellulaires de dimension donnée est proposée, mettant en avant la notion de sous-automate. Dans une deuxième partie, les transformations «géométriques» des automates cellulaires sont caractérisées et un modèle de groupage abstrait est défini. Fort de ces deux outils et de la notion de sous-automate, une première extension du groupage est définie. La pertinence de cette classification est illustrée par l'étude de familles classiques d'automates cellulaires dans ce cadre. L'absence de structure de treillis en sus de la structure de pré-ordre amène l'introduction d'une nouvelle généralisation qui induit une structure de demi-treillis par l'opération de produit cartésien. Des liens entre les idéaux de cette structure et des problèmes de décision sont mis en avant. L'objet de la troisième partie est la notion d'automate cellulaire intrinsèquement universel, qui joue un rôle privilégié dans le cadre du groupage généralisé. L'indécidabilité de l'appartenance à cette famille d'automates cellulaires est établie et deux exemples de petits automates cellulaires de dimension 1 intrinsèquement universels sont construits, dont un automate cellulaire à 6 états et voisinage de von Neumann, le plus petit connu à ce jour.

Cette thèse adresse les problèmes d'universalité et de complétude computationelle pour plusieurs modèles de calcul inspirés par la biologie. Il s'agit principalement des systèmes d'insertion/effacement, réseaux de processeurs évolutionnaires, ainsi que des systèmes de réécriture de multi-ensembles. Les résultats décrits se classent dans deux catégories majeures : l'étude de la puissance de calcul des opérations d'insertion et d'effacement avec ou sans mécanismes de contrôle, et la construction des systèmes de réécriture de multi-ensembles universels de petite taille. Les opérations d'insertion et d'effacement consistent à rajouter ou supprimer une sous-chaîne dans une chaîne de caractères dans un contexte donné. La motivation pour l'étude de ces opérations vient de la biologie, ainsi que de la linguistique et de la théorie des langages formels. Dans la première partie de ce manuscrit nous examinons des systèmes d'insertion/effacement correspondant à l'édition de l'ARN, un processus qui insère ou supprime des fragments de ces molécules. Une particularité importante de l'édition de l'ARN est que le endroit auquel se font les modifications est déterminé par des séquences de nucléotides se trouvant toujours du même côté du site de modification. En termes d'insertion et d'effacement, ce phénomène se modéliserait par des règles possédant le contexte uniquement d'un seul côté. Nous montrons qu'avec un contexte gauche de deux caractères il est possible d'engendrer tous les langages rationnels. D'autre part, nous prouvons que des contextes plus longs n'augmentent pas la puissance de calcul du modèle. Nous examinons aussi les systèmes d’insertion/effacement utilisant des mécanismes de contrôle d’application des règles et nous montrons l'augmentation de la puissance d'expression. Les opérations d'insertion et d'effacement apparaissent naturellement dans le domaine de la sécurité informatique. Comme exemple on peut donner le modèle des grammaires gauchistes (leftist grammar), qui ont été introduites pour l'étude des systèmes critiques. Dans cette thèse nous proposons un nouvel instrument graphique d'analyse du comportement dynamique de ces grammaires. La deuxième partie du manuscrit s'intéresse au problème d'universalité qui consiste à trouver un élément concret capable de simuler le travail de n'importe quel autre dispositif de calcul. Nous commençons par le modèle de réseaux de processeurs évolutionnaires, qui abstrait le traitement de l'information génétique. Nous construisons des réseaux universels ayant un petit nombre de règles. Nous nous concentrons ensuite sur les systèmes de réécriture des multi-ensembles, un modèle qui peut être vu comme une abstraction des réactions biochimiques. Pour des raisons historiques, nous formulons nos résultats en termes de réseaux de Petri. Nous construisons des réseaux de Petri universels et décrivons des techniques de réduction du nombre de places, de transitions et d'arcs inhibiteurs, ainsi que du degré maximal des transitions. Une bonne partie de ces techniques repose sur une généralisation des machines à registres introduite dans cette thèse et qui permet d'effectuer plusieurs tests et opérations en un seul changement d'état / The present thesis considers the problems of computational completeness and universality for several biologically-inspired models of computation: insertion-deletion systems, networks of evolutionary processors, and multiset rewriting systems. The presented results fall into two major categories: study of expressive power of the operations of insertion and deletion with and without control, and construction of universal multiset rewriting systems of low descriptional complexity. Insertion and deletion operations consist in adding or removing a subword from a given string if this subword is surrounded by some given contexts. The motivation for studying these operations comes from biology, as well as from linguistics and the theory of formal languages. In the first part of the present work we focus on insertion-deletion systems closely related to RNA editing, which essentially consists in inserting or deleting fragments of RNA molecules. An important feature of RNA editing is the fact that the locus the operations are carried at is determined by certain sequences of nucleotides, which are always situated to the same side of the editing site. In terms of formal insertion and deletion, this phenomenon is modelled by rules which can only check their context on one side and not on the other. We show that allowing one-symbol insertion and deletion rules to check a two-symbol left context enables them to generate all regular languages. Moreover, we prove that allowing longer insertion and deletion contexts does not increase the computational power. We further consider insertion-deletion systems with additional control over rule applications and show that the computational completeness can be achieved by systems with very small rules. The motivation for studying insertion-deletion systems also comes from the domain of computer security, for the purposes of which a special kind of insertion-deletion systems called leftist grammars was introduced. In this work we propose a novel graphical instrument for visual analysis of the dynamics of such systems. The second part of the present thesis is concerned with the universality problem, which consists in finding a fixed element able to simulate the work any other computing device. We start by considering networks of evolutionary processors (NEPs), a computational model inspired by the way genetic information is processed in the living cell, and construct universal NEPs with very few rules. We then focus on multiset rewriting systems, which model the chemical processes running in the biological cell. For historical reasons, we formulate our results in terms of Petri nets. We construct a series of universal Petri nets and give several techniques for reducing the numbers of places, transitions, inhibitor arcs, and the maximal transition degree. Some of these techniques rely on a generalisation of conventional register machines, proposed in this thesis, which allows multiple register checks and operations to be performed in a single state transition

Nous allons exposer dans ce mémoire divers résultats sur l’universalité en analyse complexe. Nous énoncerons d’abord des résultats généraux sur les séries universelles, puis sur un type d’universalité dû à Fournier et Nestoridis qui établit un lien nouveau entre l’universalité et la non-normalité d’une famille de fonctions. Par la suite, nous introduirons un type différent de séries universelles obtenues en réarrangeant les termes de séries arbitraires. Nous prouverons dans ce mémoire la généricité algébrique de ce type de séries universelles pour tout espace de Banach et la généricité topologique dans les espaces de dimension finie. Aussi, nous démontrerons que pour toute série universelle par réarrangement il existe un réarrangement de ses termes pour lequel cette série devient universelle au sens usuel. / This Master’s thesis mainly concerns universality in complex analysis. First, we shall summarize general results on universal series and on a new type of universality introduced by Fournier and Nestoridis. Then, we shall introduce a new kind of universal series which are obtained by rearranging terms of arbitrary series. We will prove the algebraic genericity of these series for any Banach space and the topological genericity for finite dimensional spaces. Also, we will demonstrate that for any universal series in this sense, there exists a rearrangement of its terms for which it becomes universal in the usual sense.