Les calculs de processus représentent les systèmes concurrents par des processus qui s'exécutent en parallèle et s'échangent des messages. Les calculs avec passivation dispose d'un opérateur spécial qui permet de stopper un processus en cours d'exécution. Le processus suspendu peut ensuite être modifié ou transmis avant d'être réactivé. La passivation rend possible la modélisation de défaillances et d'opérations de reconfiguration dynamique. Nous nous intéressons aux équivalences comportementales dans ces calculs. Le comportement d'un processus est donné par un système de transitions étiquetées, qui exhibe les interactions d'un processus avec son environnement. Des relations, appelées bisimilarités, permettent ensuite d'identifier les processus qui ont le même comportement en comparant leurs interactions. Les bisimilarités définies jusqu'ici dans les calculs avec passivation restent trop complexes pour être utilisée en pratique. En outre il n'existe pas de bisimilarité correcte et complète dans le cas faible, c'est-à-dire lorsque les actions internes aux processus ne sont pas observables. Nous étudions ces deux problèmes dans cette thèse. Nous montrons d'abord qu'il est possible de définir une bisimilarité simple à manipuler pour un calcul avec passivation mais sans restriction. En revanche, nous donnons des contre-exemples qui laissent penser qu'il n'est pas possible de faire de même dans les calculs avec passivation et restriction. Nous définissons également un nouveau type de système de transitions étiquetées, qui permet de caractériser la congruence barbue dans le cas faible. Nous appliquons notre technique à différents calculs dont le Kell.

Un problème majeur en théorie de Lie est de comprendre la catégorie de tous les modules d'une algèbre de Lie donnée. La catégorie O de Bernstein-Gelfand-Gelfand puis la notion de module de poids exploitée à partir des années 80 ont permis une avancée considérable dans ce domaine. Les modules cuspidaux introduits pour décrire tous les modules de poids sont aujourd'hui au coeur de cette théorie. Nous introduisons dans cette thèse une famille de catégories extrapolant la catégorie O et celle de tous les modules cuspidaux. Dans certains cas, nous décrivons entièrement la catégorie obtenue. Nous utilisons ensuite ces catégories pour décrire des correspondances pour certaines paires duales.

La présente thèse s'inscrit dans le cadre de travaux sur la représentation de Weil. Elle consiste en trois parties. Aux chapitres 2 et 3, on généralise la correspondance de Howe aux groupes de similitudes sur un corps local non archimédien de caractéristique résiduelle impaire. Aux chapitres 4 et 5, on répond dans beaucoup de cas à une question, soulevée par V. Drinfeld, sur la représentation de Weil de GSp8(F) de restreinte à un groupe GL2(A), où A est une algègre étale sur un corps local ou fini F. D'autre part, au chapitre 5, on montre que sur un corps fini, les représentations de Weil sont compatibles au changement de base au sens de Shintani-lift.

Thesis (Th. M.)--Dallas Theological Seminary, 1999. / Includes bibliographical references (leaves [71]-82).

No description available.

No description available.

No description available.

Le but principal de ce mémoire est d’explorer les concepts et les gestes musicaux du statisme et mouvement en musique. Le mémoire va présenter comment ces concepts et gestes peuvent enrichir la compréhension d’une composition, au niveau de sa forme, du rythme, etc. Les trois œuvres à l’étude sont : 1) Brume, pour quatuor à cordes, où l’atmosphère statique présente très peu de matériaux qui n’évoluent guère, et ce, pendant un long moment. 2) Sous le Sol, pour quintette à vents, où le statisme de la pulsation est dynamisé par les changements métriques, agogiques, et tonaux.3) Lumière et Couleurs, pour l’orchestre, dans laquelle tous les éléments du discours musicale (harmonie, durée, hauteur) sont prédéterminés à l’aide d’une série de Fibonacci. Dans le contexte du mémoire, je vais définir les mots « statisme » et « mouvement », expliquer les sources d’inspiration musicales et littéraires qui me sont dirigées vers cet approche, et, en finale, je vais analyser les trois œuvres mentionnées ci-haut et présenter les concepts de statisme et de mouvement se présentent au niveau de la composition. / This thesis is meant to be an exploration of musical gestures pertaining to the concepts of stasis and motion in music, in three of my original compositions. The intent of this exploration is to demonstrate how looking at musical compositions from the perspective of stasis and motion can help both the composer and the listeners to understand their formal structures, as well as be interesting, inspiring, and can add more depth to a work. The compositions are as follows: 1) Brume, for String Quartet, which details my attempt at creating an overall atmosphere of stasis with little, minutely -detailed motion over a long period of time, using very little musical material. 2) Sous le Sol, for Woodwind Quintet, where changes in metre, rhythmic accent, and key signature (motion) come to the fore to obscure an unchanging (static) rhythmic drive. 3) Lumière et Couleurs, for Orchestra, where all of the elements of stasis and motion, such as harmony, rhythm, and pitch are guided in part by a pre-determined compositional process, namely, the Fibonacci sequence. I will first define what is meant by stasis and motion in the context of this essay, then I will explain the musical and literary sources of inspiration that led to my choosing this approach, and, finally, I will analyze the three-aforementioned works and how I applied stasis and motion throughout their compositional processes.

As an alternative to print media, digital media make us newly aware of the materiality of experimental poetic texts and require us to account for their media-specific differences. Although already several theoretical models have been put forward to define these differences, so far few poems have been analyzed in terms of their media-specific textual materiality. This thesis seeks to fill this gap in the applied media-specific analysis of experimental poetry. It combines traditional close reading with a media-specific approach in order to investigate the relationship between the physical characteristics and signifying strategies of four experimental poetic texts in various digital and non-digital media. It critically interrogates the specific use of the given medium in each poem, and illustrates that their respective textual materiality cannot be specified in advance based on general assumptions concerning the medium in question. A digital poem is not inherently more innovative than a non-digital poem. Rather, a poem is perceived as innovative if it resists conventional reading strategies by establishing a particularly complex, dynamic, and effectively anomalous sense of textual materiality, which necessarily only emerges from the direct interplay among text, object, and reader.

Ce rapport présente mes travaux dans la direction du programme de Langlands géométrique. Ceux-ci abordent plusieurs aspects de ce thème: méthode de Rankin-Selberg locale et globale, les foncteurs de Whittaker et de Bessel pour GSp_4, catégorification et la version géométrique de la multiplicité un pour les models de Bessel, les faisceaux Théta et programme de Langlands géométrique pour le groupe métaplectique, correspondance de Howe géométrique.