L'animation expressive permet des styles de mouvements exagerés et artistiques comme l'étirement de parties du corps ou encore l'animation de créatures imaginaires comme un dragon. Créer ce genre d'animation nécessite des outils assez flexible afin de déformer les personnages en des poses quelconques, ainsi que de pouvoir contrôler l'animation à tout moment dans le temps. L'approche acutelle pour l'animation expressive est le keyframing: une approche manuelle avec laquelle les animateurs déforment leur personnage un moment spécifique dans le temps en cliquand et glissant la souris sur une partis spécifique du corps---un à la fois. Malgré le fait que cette approche soit flexible, il est difficile de créer des animations de qualité qui suivent les principes artistiques, puisque le keyframing permet seulement qu'un contrôle local spatiallement et temporellement. Lorsqu'ils dessinent des poses ou des mouvements, les artistes s'appuient sur différentes abstractions sous forme de croquis qui facillitent la réalisation de certain principes artistiques. Par example, certains animateurs dessinent des lignes d'action afin de créer une pose plus lisible et expressive. Afin de coordonner un mouvement, les animateurs vont souvent dessiner des abstractions de mouvement comme des demi-cercles pour des sauts, ou des boucles pour des pirouettes---leur permettant de pratiquer la coordination du mouvement. Malheureusement, ces outils artistiques ne font pas partis de l'ensemble d'outils de keyframing actuelle. Le fait que l'on ne puisse pas employer les même outils artistiques pour animater des personnages 3D a une forte conséquence: les outils d'animation 3D ne sont pas employés dans le processus créatif. Aujourd'hui, les animateurs créent sur du papier et utilisent le keyframing seulement à la fin pour réaliser leur animation. La raison pour laquelle nous n'avons pas ces outils artistiques (ligne d'action, abstractions de mouvement) en animation 3D, est parce qu'il manque une compréhension formelle de ceux-ci qui nous permettrais d'exprimer la forme du personnage---potentiellement au cours du temps---en fonction de la forme de ces croquis. Ainsi la contribution principale de cette thèse est une compréhension formelle et mathématique des abstractions de forme et de mouvement courrament employées par des artistes, ainsi qu'un ensemble d'algorithme qui permet l'utilisation de ces outils artistiques pour créer des animations expressives. C'est-à-dire que les outils développés dans cette thèse permettent d'étirer des parties du corps ainsi que d'animer des personnages de différentes morphologies. J'introduis aussi plusieurs extentions à ces outils. Par example, j'explore l'idée de sculpter du mouvement en permettant à l'artiste de dessigner plusieurs couches de mouvement une par dessus l'autre, de twister en 3D les croquis, ou encore d'animer un croquis ligne comme un élastique. Les contributions principales de cette thèse, aussi résumé ci-dessous: -La ligne d'action facilitant la création de poses expressives en dessinant directement le flow complet du personnage. -La courbe spatio-temporelle qui permet de spécifier un mouvement coordoné complet avec un seul geste (en dessinant une seule courbe), applicable à n'importe quel personnage 3D. -Un algorithme de matching rapide et robuste qui permet du ``squash and stretch''. -La ligne d'action élastique avec des attachements dynamiques à la ligne permettant d'animer un personnages à plusieurs jambes (bras) avec une seule ligne 2D animée. / Free-form animation allows for exaggerated and artistic styles of motions such as stretching character limbs and animating imaginary creatures such as dragons. Creating these animations requires tools flexible enough to shape characters into arbitrary poses, and control motion at any instant in time. The current approach to free-form animation is keyframing: a manual task in which animators deform characters at individual instants in time by clicking-and-dragging individual body parts one at a time. While this approach is flexible, it is challenging to create quality animations that follow high-level artistic principles---as keyframing tools only provide localized control both spatially and temporally. When drawing poses and motions, artists rely on different sketch-based abstractions that help fulfill high-level aesthetic and artistic principles. For instance, animators will draw textit{lines of action} to create more readable and textit{expressive} poses. To coordinate movements, animators will sketch textit{motion abstractions} such as semi-circles and loops to coordinate a bouncing and rolling motions. Unfortunately, these drawing tools are not part of the free-form animation tool set today. The fact that we cannot use the same artistic tools for drawing when animating 3D characters has an important consequence: 3D animation tools are not involved in the creative process. Instead, animators create by first drawing on paper, and only later are 3D animation tools used to fulfill the pose or animation. The reason we do not have these artistic tools (the line of action, and motion abstractions) in the current animation tool set is because we lack a formal understanding relating the character's shape---possible over time---to the drawn abstraction's shape. Hence the main contribution of this thesis is a formal understanding of pose and motion abstractions (line of action and motion abstractions) together with a set of algorithms that allow using these tools in a free-form setting. As a result, the techniques described in this thesis allow exaggerated poses and movements that may include squash and stretch, and can be used with various character morphologies. These pose and animation drafting tools can be extended. For instance, an animator can sketch and compose different layers of motion on top of one another, add twist around strokes, or turning the strokes into elastic ribbons. The main contributions of this thesis are summarized as follows: -The line of action facilitating expressive posing by directly sketching the overall flow of the character's pose. -The space-time curve allowing to draft full coordinated movements with a single stroke---applicable to arbitrary characters. -A fast and robust skeletal line matching algorithm that supports squash-and-stretch. -Elastic lines of action with dynamically constrained bones for driving the motion of a multi-legged character with a single moving 2D line.

Cette thèse étudie le fonctionnement des déterminations définie et indéfinie au sein des syntagmes nominaux génériques en anglais contemporain à partir d’un corpus essentiellement composé de textes encyclopédiques et scientifiques. La catégorisation générique peut relever de processus cognitifs et de niveaux d’abstraction distincts signifiés par les déterminations définie et indéfinie. La première partie décrit successivement le cadre référentiel de cette étude, la formalisation morphosyntaxique de la généricité nominale, la spécification dont sont porteurs les articles définis et indéfinis, ainsi que les contraintes déterminatives liées à la classe lexico-grammaticale des substantifs et au contexte prédicatif. La deuxième partie étudie les possibilités et impossibilités déterminatives au regard des contextes prédicatifs lorsque le syntagme nominal est associé à un prédicat d’espèce. Nous considérons plus spécifiquement l’interaction entre la classification des espèces, le nombre singulier ou pluriel et la détermination définie ou indéfinie en nous intéressant aux espèces conçues dans leur pluralité interne. La troisième partie examine le fonctionnement de l’article défini comme opérateur d’abstraction. L’étude des spécialisations de the montre qu’il est lié à une visée référentielle externalisante et synthétique. La quatrième partie traite du fonctionnement des syntagmes nominaux génériques définis et indéfinis au sein des textes génériques eu égard à la structuration du discours. L’article défini sous-tend une dimension anaphorique au générique également, et reste la marque de la saillance cognitive du référent. / This dissertation deals with the use of definite and indefinite determiners in generic noun phrases in contemporary English, using a corpus based on encyclopedic and scientific texts mainly. The categorization which genericity is based on results from various cognitive processes and levels of abstraction which are signified in the use of definite and indefinite determiners. The first part successively describes the referential framework of our study, the morphosyntactical forms of generic noun phrases, the values of definite and indefinite articles, as well as the pattern of constraints on definite and indefinite articles established by the lexico-grammatical features of nouns and the predicative context. The second part examines determiner possibilities and impossibilities with regard to the predicative context when a generic noun phrase is combined with a kind-predicate. More specifically, we correlate species classification, singular/plural number marking and definite/indefinite determination as we examine the plural structure of generic referents. The third part studies the use of the definite article as an abstraction operator. As we consider cases in which the use of definite noun phrases is favored, we show that its reference involves an externalizing and synthetic dimension. The fourth part deals with the way generic definite and indefinite noun phrases combine in generic texts with regard to the discourse structure. The use of the definite article presupposes an anaphoric dimension in generic reference also and indicates that the referent is salient in a cognitive perspective.

L’importance des systèmes temps-réels embarqués dans les sociétés industrialisées modernes en font un terrain d’application privilégié pour les méthodes formelles. La prépondérance des contraintes temporelles dans les spécifications de ces systèmes motive la mise au point de solutions spécifiques. Cette thèse s’intéresse à une classe de systèmes temps-réels incluant ceux développés avec la chaîne d’outils OASIS, développée au CEA LIST. Nos travaux portent sur la notion de délai de bout-en-bout, que nous proposons de modéliser comme une contrainte temporelle concernant l’influence du flot d’informations des entrées sur celui des sorties. Afin de répondre à la complexité croissante des systèmes temps-réels, nous étudions l’applicabilité de cette notion nouvelle au développement incrémental par raffinement et par composition. Le raffinement est abordé sous l’angle de la conservation de propriétés garantes de la correction du système au cours du processus de développement. Nous délimitons les conditions nécessaires et suffisantes à la conservation du délai de bout-en-bout lors d’un tel processus. De même, nous donnons des conditions suffisantes pour permettre le calcul du délai de bout-en-bout de manière compositionnelle. Combinés, ces résultats permettent d’établir un formalisme permettant la preuve du délai de bout-en-bout lors d’une démarche de développement incrémentale. / Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of real-time constraints in the specification of these systems requires the design of ad-hoc solutions. This work considers a class of real-time systems including those developed using OASIS, a tool-chain targeting hard real-time embedded systems developed at CEA LIST. We study the notion of end-to-end delay, which we propose to model as a constraint bearing directly on the influence of the input information flow over the output information flow . In order to cope with the growing complexity of real-time embedded systems, we study the possibility to apply this new notion of delay to the incremental development of such systems, by using both stepwise refinement and composition operators. We define the necessary and sufficient conditions to the preservation of the end-to-end delay by stepwise refinement. Similarly, we give sufficient conditions to compute the end-to-end delay in a compositional fashion. Together, these results permit to establish a formalism allowing to prove end-to-end delay properties in stepwise development methodologies.

La revue Art d’aujourd’hui paraît de juin 1949 à décembre 1954, constituant une somme de trente-six numéros. Créée pour défendre et promouvoir l’abstraction géométrique et la synthèse des arts, elle s’inscrit dans un ensemble d’actions dont l’objectif principal est de rendre l’avant-garde accessible au plus grand nombre. Pour cela, elle bénéficie notamment de la collaboration de critiques influents des années cinquante.A partir des apports propres à Art d'aujourd'hui (son contenu – textes, illustrations, mise en pages -, ses archives, ses rédacteurs, les témoins vivants), nous abordons ensuite plus largement la problématique du rôle social qui peut être donné à la création plastique des Trente Glorieuses à nos jours. Qu'en est-il en effet aujourd'hui des objectifs de cette revue : l'art dans le quotidien, l'enseignement de l'art dans le milieu scolaire et la prise en compte des publics dans les musées d'art moderne et contemporain ? / The review Art d'aujourd'hui was published between June 1949 and December 1954, amounting to thirty-six issues. Created to defend and promote geometric abstraction and the synthesis of the arts, the review was one of a range of activities whose main objective was to make the avant-garde accessible to everyone. To that end, the review benefited from the collaboration of the most well-known and important art critics of the fifties.Following the analysis of the specific attributes of Art d'aujourd'hui (its content – texts, illustration, and composition; its archives, its writers and the testimony of witnesses), this thesis tackles the broader question of the social role of the plastic arts during the period from the so-called Trente Glorieuses to the present day. What today are the goals of Art d'aujourd'hui: art in daily life, the teaching of art at school, and the acknowledgement of the public for museums of contemporary and modern art?

Cette thèse se focalise sur le groupe artistique international Abstraction-Création, créé pour servir de forum à l’art non figuratif à Paris entre 1931-1936. Au fil des années, il a eu une centaine de membres, y compris certains artistes hongrois, notamment Étienne Béothy, Alfred Reth, Lajos Tihanyi et Ferenc Martyn, tandis que László Moholy-Nagy était membre sans vivre à Paris. Ce n’est que dans les années 1970 que les premières recherches approfondies ont été menées sur Abstraction-Création. Depuis, l’activité d’Abstraction-Création n’a été que rarement étudiée, sa structure, ses objectifs ou son histoire ont été largement négligés. Le constat est le même pour l’état de la recherche relative à chacun des membres hongrois : jusqu’à présent, seule la participation de Béothy et de Martyn a été analysée en détail. Outre l’objectif principal de cette thèse, notamment la mise en perspective des artistes hongrois dans le groupe, la réévaluation et l’interprétation de l’ensemble de l’activité d’Abstraction-Création sont également mises en lumière. A la base d’une analyse théorique et historique, ce travail compare Abstraction-Création avec deux groupes parisiens non figuratifs. Cette thèse vise à clarifier les différences qui les séparent en soulignant qu’Abstraction-Création ne peut pas être considéré comme une combinaison des deux. Grâce à des documents jusqu’alors non analysés, l'auteur donne un aperçu de la structure organisationnelle de ce forum et discute, à partir d’une perspective entièrement nouvelle, le rôle du comité, leurs débats, leur formation, cessation et leurs plateformes, y compris les réunions, la galerie et le cahier. La thèse démontre la relation entre Abstraction-Création et Surréalisme au moyen d'une analyse stylistique et théorique. Elle prétend que, grâce aux activités des membres hongrois, toutes les facettes du groupe peuvent être présentées. L'auteur révèle quels ont été les objectifs initiaux de l'adhésion des membres hongrois et comment ils ont tiré profit de leur participation. La thèse décrit la période abstraite parisienne des artistes hongrois dans les années 1930, et ce, dans un contexte artistique international et dans un contexte historique plus large. / This dissertation focuses on the international artistic group, called Abstraction-Création (1931-1936. Out of the approximately 100 members joining the association a few were Hungarian artists, namely Étienne Béothy, Alfred Reth, Lajos Tihanyi and Ferenc Martyn, whereas László Moholy-Nagy received an external membership. A deeper research into the Parisian non-figurative formations of the 1930s, including Abstraction-Création, only took shape in the 1970s. Since then, Abstraction-Création has been discussed only occasionally, and a deeper discussion concerning the structure, the goals, or the history of the group is still missing. The same applies to the research on individual Hungarian artists; while for each of them the participation in the forum was presented as an important stage of their lives, so far only the participation of Béothy and Martyn has been examined in detail. Beyond the basic goal of the study to concentrate on Hungarian artists in the group, the re-evaluation and a new examination of Abstraction-Création are also placed in the focus. Based on a theoretical and historical analysis, the study compares Abstraction-Création with two non-figurative Parisian groups, clarifying the differences between them and pointing out that Abstraction-Création could not be viewed as a combination of the two of them. Drawing on hitherto unanalyzed documents, the author gives an overview of the organizational structure of the forum, and discusses, from an entirely new perspective, the role of the committee, their debates, their formation and cessation and their platforms, including their meetings, gallery and journal. The dissertation demonstrates the relation between Abstraction-Création and Surrealism by means of a stylistic and theoretical analysis. It claims that through the activities of the Hungarian members, all the facets of the group can be shown, particularly because of the fact that they did not form a special group within the association, but had their different individual roles and routes. The author presents what the original aims behind the admission of the Hungarian members were and how they benefited from the participation. The dissertation depicts the Parisian abstract period of Hungarian artists in the 1930s in an international artistic context and against a broader historical background.

Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manipulant des tableaux, afin d'inférer des propriétés sur les valeurs numériques et les structures de données qui y sont stockées. Les tableaux sont omniprésents dans de nombreux programmes, et les erreurs liées à leur manipulation sont difficile à éviter en pratique. De nombreux travaux de recherche ont été consacrés à la vérification de tels programmes. Les travaux existants s'intéressent plus particulièrement aux propriétés concernant les valeurs numériques stockées dans les tableaux. Toutefois, les programmes bas-niveau (comme les systèmes embarqués ou les systèmes d'exploitation temps réel) utilisent souvent des tableaux afin d'y stocker des structures de données telles que des listes, de manière à éviter d'avoir recours à l'allocation de mémoire dynamique. Dans cette thèse, nous présentons des techniques permettant de vérifier par interprétation abstraite des propriétés concernant à la fois les données numériques ainsi que les structures composites stockées dans des tableaux. Notre première contribution est une abstraction qui permet de décrire des stores à valeurs numériques et avec valeurs optionnelles (i.e., lorsqu'une variable peut soit avoir une valeur numérique, soit ne pas avoir de valeur du tout), ou bien avec valeurs ensemblistes (i.e., lorsqu'une variable est associée à un ensemble de valeurs qui peut être vide ou non). Cette abstraction peut être utilisée pour décrire des stores où certaines variables ont un type option, ou bien un type ensembliste. Elle peut aussi servir à la construction de domaines abstraits pour décrire des propriétés complexes à l'aide de variables symboliques, par exemple, pour résumer le contenu de zones dans des tableaux. Notre seconde contribution est un domaine abstrait pour la description de tableaux, qui utilise des propriétés sémantiques des valeurs contenues afin de partitionner les cellules de tableaux en groupes homogènes. Ainsi, des cellules contenant des valeurs similaires sont décrites par les mêmes prédicats abstraits. De plus, au contraire des analyses de tableaux conventionnelles, les groupes ainsi formés ne sont pas nécessairement contigüs, ce qui contribue à la généralité de l'analyse. Notre analyse peut regrouper des cellules non-congitües, lorsque celles-ci ont des propriétés similaires. Ce domaine abstrait permet de construire des analyses complètement automatiques et capables d'inférer des invariants complexes sur les tableaux. Notre troisième contribution repose sur une combinaison de cette abstraction des tableaux avec différents domaines abstraits issus de l'analyse de forme des structures de données et reposant sur la logique de séparation. Cette combinaison appelée coalescence opère localement, et relie des résumés pour des structures dynamiques à des groupes de cellules du tableau. La coalescence permet de définir de manière locale des algorithmes d'analyse statique dans le domaine combiné. Nous l'utilisons pour relier notre domaine abstrait pour tableaux et une analyse de forme générique, dont la tâche est de décrire des structures chaînées. L'analyse ainsi obtenue peut vérifier à la fois des propriétés de sûreté et des propriétés de correction fonctionnelle. De nombreux programmes bas-niveau stockent des structures dynamiques chaînées dans des tableaux afin de n'utiliser que des zones mémoire allouées statiquement. La vérification de tels programmes est difficile, puisqu'elle nécessite à la fois de raisonner sur les tableaux et sur les structures chaînées. Nous construisons une analyse statique reposant sur ces trois contributions, et permettant d'analyser avec succés de tels programmes. Nous présentons des résultats d'analyse permettant la vérification de composants de systèmes d'exploitation et pilotes de périphériques. / We study the static analysis on both numeric and structural properties of array contents in the framework of abstract interpretation. Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays. Current verification of these programs by static analysis focuses on numeric content properties. However, in some lowlevel programs (like embedded systems or real-time operating systems), arrays often contain structural data (e.g., lists) without using dynamic allocation. In this manuscript, we present a series of techniques to verify both numeric and structural properties of array contents. Our first technique is used to describe properties of numerical stores with optional values (i.e., where some variables may have no value) or sets of values (i.e., where some variables may store a possibly empty set of values). Our approach lifts numerical abstract domains based on common linear inequality into abstract domains describing stores with optional values and sets of values. This abstraction can be used in order to analyze languages with some form of option scalar type. It can also be applied to the construction of abstract domains to describe complex memory properties that introduce symbolic variables, e.g., in order to summarize unbounded memory blocks like in arrays. Our second technique is an abstract domain which utilizes semantic properties to split array cells into groups. Cells with similar properties will be packed into groups and abstracted together. Additionally, groups are not necessarily contiguous. Compared to conventional array partitioning analyses that split arrays into contiguous partitions to infer properties of sets of array cells. Our analysis can group together non-contiguous cells when they have similar properties. Our abstract domain can infer complex array invariants in a fully automatic way. The third technique is used to combine different shape domains. This combination locally ties summaries in both abstract domains and is called a coalesced abstraction. Coalescing allows to define efficient and precise static analysis algorithms in the combined domain. We utilize it to combine our array abstraction (i.e., our second technique) and a shape abstraction which captures linked structures with separation logicbased inductive predicates. The product domain can verify both safety and functional properties of programs manipulating arrays storing dynamically linked structures, such as lists. Storing dynamic structures in arrays is a programming pattern commonly used in low-level systems, so as to avoid relying on dynamic allocation. The verification of such programs is very challenging as it requires reasoning both about the array structure with numeric indexes and about the linked structures stored in the array. Combining the three techniques that we have proposed, we can build an automatic static analysis for the verification of programs manipulating arrays storing linked structures. We report on the successful verification of several operating system kernel components and drivers.

This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. The task is to show correctness regardless of the size of the system and we consider two methods to prove safety:(i) a backward reachability analysis, using the well-quasi ordered framework and monotonic abstraction, and (ii) a forward analysis which only needs to inspect a small number of components in order to show correctness of the whole system. The latter relies on an abstraction function that views the system from the perspective of a fixed number of components. The abstraction is used during the verification procedure in order to dynamically detect cut-off points beyond which the search of the state-space need not continue. Our experimentation on a variety of benchmarks demonstrate that the method is highly efficient and that it works well even for classes of systems with undecidable property. It has been, for example, successfully applied to verify a fine-grained model of Szymanski's mutual exclusion protocol. Finally, we applied the methods to solve the complex problem of verifying highly concurrent data-structures, in a challenging setting: We do not a priori bound the number of threads, the size of the data-structure, the domain of the data to store nor do we require the presence of a garbage collector. We successfully verified the concurrent Treiber's stack and Michael & Scott's queue, in the aforementioned setting. To the best of our knowledge, these verification problems have been considered challenging in the parameterized verification community and could not be carried out automatically by other existing methods.

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU). / La présente thèse explore les relations esthétiques entre la poésie et la musique. Elle examine les éléments qui unissent et qui différencient les deux formes d’art, en mettant l’accent sur les caractéristiques que la poésie contemporaine et la musique électroacoustique ont en commun. Pour tenter d’expliquer la façon dont les caractéristiques de la poésie peuvent servir d’outil de composition musicale, ce document s’appuie sur des recherches récentes et plus anciennes concernant la musique et le récit, l’esthétique des musiques électroacoustiques, la psychoacoustique, la poétique, la sémiologie, la linguistique ainsi que l’histoire de la poésie et de la musique. Cette approche globale présente une analogie entre le son environnemental et le mot poétique, communicateur d’image, de sentiment et d’histoire qui, lorsque recontextualisé en musique, peut à la fois transmettre et provoquer des émotions. En effet, dans la musique électroacoustique, le son environnemental peut détailler de manière explicite les caractéristiques d’un espace acoustique réel; cependant, grâce à la transformation créée par le traitement du signal, le son peut également passer du côté abstrait. Ce mouvement entre les sons perçus comme réels et ceux perçus comme abstraits se compare à celui observé dans la poésie contemporaine. Les deux formes d’art peuvent également exprimer un sens littéral et symbolique. La présente thèse cherche à définir la façon dont ces éléments communs, entre autres, permettent de surmonter les obstacles intercommunicationnels naturellement entraînés par les différences syntaxiques entre la poésie et la musique afin de permettre une interprétation associative de la poésie en musique. La thèse se termine par l’analyse musicale de quatre compositions, dont trois ont été créées grâce au soutien du Conseil des arts du Canada. Ces trois pièces, qui forment le noyau de mon doctorat, exemplifient la musique inspirée par la poésie et composée à partir d’enregistrements de sons environnementaux. Trois œuvres des poètes canadiens John Steffler, Don Domanski et Marilyn Dumont évoquent les différentes régions du Canada d’où les enregistrements sont tirés. Ces poèmes, variés sur le plan esthétique, utilisent un langage distinct pour décrire la diversité de l’écologie canadienne moderne. Le contenu de chaque poème, de concert avec mon propre souvenir empirique des environnements qui font l’objet des enregistrements, est la source d’inspiration principale de la musique. La quatrième pièce utilise également la poésie comme base de la composition; il s’agit toutefois d’une œuvre antérieure, moins axée sur l’exploitation du potentiel de l’enregistrement de sons environnementaux pour créer une œuvre musicale représentative d’une imagerie poétique portant sur un lieu précis. Elle est présentée à titre d’exemple de l’évolution de mes stratégies et de mes préoccupations compositionnelles. / This thesis explores aesthetic relationships between poetry and music. It looks at both the analogous and disparate traits of the two arts with a focus towards the shared qualities of contemporary poetry and electroacoustic music. In suggesting how those of the former lend themselves as a tool for the composition of the latter, the paper touches on current and past research concerning music and narrative, electroacoustic aesthetics, psychoacoustics, poetics, semiology, linguistics and the history of poetry and music. This broad approach considers environmental sound as similar to the poetic word – a communicator of image, feeling, and history that, when re-contextualized in music, has the ability to both convey and elicit emotion. Indeed, in electroacoustic music, environmental sound can explicitly detail the characteristics of a real acoustic space, however, with the transformative effects of signal processing it can also shift into the abstract. This motion between sounds perceived as real and abstract parallels motion in contemporary poetry. Both arts can also express literal and symbolic meaning. This thesis investigates how these and other shared traits overcome intercommunicative barriers that arise naturally from their syntactical differences to mediate associative interpretations of poetry in music. The thesis ends with the musical analysis of four compositions, three of which were created with the support of the Canada Council for the Arts. These three pieces are the fruition of much of my doctoral work, exemplifying music inspired by poetry and composed from recordings of the Canadian environment. The regions represented in these recordings feature in the work of contemporary Canadian poets, John Steffler, Don Domanski and Marilyn Dumont. Varying in aesthetic, these poems use distinct language to depict the diversity of modern Canadian ecology. The content of each poem, in combination with my own experiential memory of the recorded environments, provides the inspiration for much of the music. The fourth piece presented also uses poetry as a foundation for composition; however, it is an earlier work that is less concerned with exploiting the potential of environmental recordings to create music representative of location-bound imagery in poetry. It has been included as an example of how my compositional strategies and concerns were refined.

Efficient algorithms exist for finding optimal strategies in extensive-form games. However human scale problems, such as poker, are typically so large that computation of these strategies remain infeasible with current technology. State space abstraction techniques allow us to derive a smaller abstract game, in which an optimal strategy can be computed and then used in the real game. This thesis introduces state of the art abstraction techniques. Most of these techniques do not deal with public information. We present a new automatic public state space abstraction technique. We examine the quality of this technique in the domain of poker. Our experimental results show that the new technique brings significant performance improvement. Powered by TCPDF (www.tcpdf.org)

Après 1945, Auguste Herbin (Quiévy 1882 - Paris 1960) devient le maître en France de l’abstraction géométrique, une référence pour la seconde génération d’artistes abstraits, à la fois en Europe et dans le reste du monde. Les peintures d’Herbin réalisées à partir de son alphabet plastique, c’est-à-dire de 1942 à 1960 posèrent les jalons d’expérimentations nouvelles dans le domaine de l’art optique, de l’art cinétique, de l’art concret et de l’hard edge. La plupart des travaux réalisés par les artistes présents dans le Paris de l’après seconde guerre mondiale, tels Baertling, Agam, Dewasne, Vasarely, Soto, Fruhtrunk etc., n’auraient pu se concevoir sans la connaissance et l’assimilation du vocabulaire herbinien. Avait-on véritablement pris la mesure du rôle d’Auguste Herbin dans l’histoire et l’évolution de l’art abstrait ? / After 1945, Auguste Herbin (1882-1960) became the leading French abstract, geometric artist and an inspirational figure to abstract artists in both Europe and the Americas. Herbin’s Plastic Alphabet paintings are the forerunners of the wider experimentation in op’art, concrete art and hard edge painting. Much of the work by artists dominant in Paris in the 50’s and 60’s, such as Baertling, Agam, Dewasne, Vasarely, Soto, Fruhtrunk, is unimaginable without the advance wich Herbin represents.