8343511\u / 8343512\u

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2007-2008. / Par l'étude de la polémique qui l'oppose en 1954 à Max Bill (1908-1994), architecte suisse et premier recteur de la Hochschule fur Gestaltung à Ulm, l'auteur tente de retracer les origines historiques, les prémisses idéologiques et les cadres conceptuels du discours d'Asger Jorn (1914-1973) sur l'art et l'architecture modernes, en général, et sur la question du fonctionnalisme, en particulier. Développant son analyse en replaçant ce débat à la fois dans le parcours individuel des artistes, dans le contexte spécifique de l'après-guerre et en continuité avec l'histoire de l'avant-garde et du modernisme européen, l'auteur essaie d'interpréter de manière critique la position «contre-fonctionnaliste » d'Asger Jorn à la lumière de ses articles parus dans des périodiques Scandinaves et des essais compilés dans Pour la forme : ébauche d'une méthodologie des arts, anthologie publiée en 1957 au terme d'une intense période d'expérimentation artistique et de réflexion théorique sous l'égide du Mouvement International pour un Bauhaus Imaginiste

Ce mémoire intitulé L’impact du nombre. Vers une neutralisation de l’érotisme dans les œuvres de Vanessa Beecroft et de Spencer Tunick explore les liens entre érotisme et nudité dans les œuvres de Vanessa Beecroft et de Spencer Tunick. Les œuvres de ces deux artistes contemporains présentent une multitude de corps dénudés, qui semblent pourtant se détacher de la dimension érotique. Afin de montrer les différentes façons par lesquelles les œuvres tendent vers une neutralisation de l’érotisme, nous interrogerons le rapport entre les corps présentés et la tradition du nu artistique, tout en nous intéressant aux problématiques plus actuelles en art comme la position du spectateur et l’influence de la biopolitique. Nous proposons ainsi que la neutralité qui traverse les œuvres de Beecroft et de Tunick n’est pas seulement un problème de nudité, mais qu’elle est liée aux différents enjeux soulevés par la représentation du corps dans un contexte spécifique.

Note sur les annexes : 8 fichiers en format m4a présentant l'interprétation de pièces de luth à la guitare / Cette recherche se concentre sur la transcription des sonates de la période de maturité de Sylvius Leopold Weiss (1687-1750), écrites originellement pour le luth baroque à 13 chœurs, afin de les adapter à la guitare moderne à 6 cordes. L'objectif principal est d'analyser comment intégrer et interpréter cette musique sur un instrument contemporain. Deux caractéristiques majeures se dégagent de ces œuvres : le niveau technique requis et la structure des mouvements, annonçant des éléments du classicisme à venir. Ces éléments évoluent à partir d'un contexte baroque vers des traits caractéristiques du classicisme naissant. Le projet de recherche vise spécifiquement la transcription d'œuvres de la maturité de Weiss, en mettant l'accent sur des aspects tels que le style du compositeur, les ornementations et d'autres éléments distinctifs. Son but principal est de trouver des solutions pour transcrire avec succès les œuvres du compositeur pour la guitare, un instrument qui diffère considérablement de celui utilisé dans la culture musicale de ce compositeur allemand. / This research focuses on transcribing the sonatas from the mature period of Sylvius Leopold Weiss (1687-1750), originally written for the 13-course baroque lute, to adapt them for the modern 6-string guitar. The primary objective is to analyze how to integrate and interpret this music on a contemporary instrument. Two major characteristics emerge from these works: the required technical level and the structure of the movements, foreshadowing elements of the forthcoming classicism. These elements evolve from a Baroque context towards characteristics of emerging classicism. This research project specifically aims at transcribing Weiss's mature works, focusing on aspects such as the composer's style, ornamentation, and other distinctive elements. Its main goal is to find successful solutions for transcribing the composer's works to the guitar, an instrument that differs considerably from that used in the musical culture of this German composer.

Ce mémoire utilise la démarche expérimentale afin de détourner des images et des objets de leur usage fonctionnel conventionnel afin de créer des expériences artistiques nouvelles. Ce projet s'appuie d'abord sur une recherche théorique qui identifie des critères d'appréhension de l'image à partir d'études de cas et d'analyses de projets. La seconde partie de la recherche fait état des expériences effectuées sur le terrain et évalue leur efficacité à la lumière des constats faits dans la première partie.

Cette thèse porte sur la recherche-création ayant menée à l’apprentissage et l’exécution publique de Diário, œuvre pour piano du compositeur brésilien Heber Schuenemann (né en 1971). Dans ce cycle, qui comprend 23 courtes pièces, le compositeur explore la notion de « hasard », propre à la musique aléatoire. Il utilise également des techniques de composition s’apparentant au sérialisme et au minimalisme. Après avoir présenté les principales caractéristiques des courants musicaux propres à l’œuvre, la chercheuse-pianiste procède à une analyse de l’œuvre, décrivant la structure et les techniques de composition de chaque pièce. Par la suite, elle décrit sa propre démarche d’interprète – du déchiffrage de l’œuvre à sa prestation publique et à son enregistrement en studio – et elle commente son expérience à la lumière de la littérature pertinente. Sont abordées, notamment, les difficultés inhérentes au déchiffrage d’une œuvre atonale et les diverses étapes menant à l’identification de ses éléments structuraux; les difficultés relatives à la technique pianistique; l’importance du regroupement d’unités et de l’acquisition d’automatismes corporels; la définition de l’image artistique. Des pistes pédagogiques favorisant l’enseignement et l’apprentissage de l’œuvre sont également présentées. / This thesis reports on a research-creation focused on learning and public performance of the cycle Diário, a piano work by Brazilian composer Heber Schuenemann (born in 1971). In this cycle, which includes 23 pieces, the composer explores the notion of chance, specific to the indeterminate (aleatory) music, and uses the compositional techniques comparable to the serialism and the minimalism. After presenting main features of musical styles of the cycle, the researcher-pianist proceeds to the analysis of the cycle, describing the structure and the technique of composition of each piece. Thereafter, the author describes her own approach of an interpreter, from the deciphering the work to its public performance and studio recording, commenting on her experience in the light of the relevant literature. In particular, the author examines the difficulties in deciphering an atonal work and various steps leading to the identification of its structural elements. In addition, the author focuses on the definition of the artistic image, the difficulties related to the piano technique, the combination of units, and the acquisition of automatisms. Educational means promoting the teaching and learning of the work are also presented.

La composition et la formation du corpus pseudo-clémentin constitue un problème littéraire et historique qui n'a toujours pas trouvé de solution satisfaisante, malgré un nombre considérable de travaux consacrés à la question. Dans cette thèse, nous avons mis de côté ce problème, qui touche les origines des Pseudo-Clémentines et donc la définition des différents niveaux rédactionnels, pour étudier le texte, tel qu'il se présente sous la forme des Homélies et des Reconnaissances, et le mettre en rapport avec une sélection de documents contemporains et d'un genre semblable. Le but de l'exercice se limite à mieux déterminer la nature et l'originalité du propos pseudo-clémentin. Nous avons choisi, pour mener à bien cette étude, un thème capable de supporter une analyse comparative, celui de l'opposition entre l'apôtre Pierre et Simon le magicien.

Ce mémoire présente la conception, la réalisation et les tests effectués pour une architecture générique permettant à une machine de reconnaitre le sens d'un message en utilisant le modèle de la cognition linguistique de l'humain et un environnement commun à celui des humains. À ce jour, les machines reconnaissent des mots clés et répondent en suivant un modèle préfabriqué, tous deux préprogrammés par des humains. Donc, chaque agent informatique muni d'une forme d'interaction avec le public se voit attribuer un certain nombre de questions potentielles avec les réponses associées, parfois préconstruite. C'est-à-dire que la machine possède une base de mots avec un ordre prédéfini de ceux-ci qu'elle peut utiliser, parfois une phrase déjà entièrement construite, que la machine utilise telle qu'elle. L'objectif principal de ce projet est de démontrer qu'il est possible pour la machine de s'approcher du modèle proposé par les linguistes, principalement un modèle proposé par Kleiber, adjoint à un modèle de cognition, celui du STI, et d'extraire le sens d'un message dans le but de l'interpréter Ainsi, il est possible d'établir une forme de dialogue entre un être humain et une machine. Cet objectif est atteint en proposant une nouvelle architecture générique pour le traitement du langage naturel. Contrairement à ce qui est fait habituellement dans ce genre de problématique, les réponses obtenues ne doivent pas être des réponses préconçues, mais bien des phrases générées par la machine à partir de la grammaire de la langue. Les résultats obtenus montrent qu'il est possible de donner un sens aux mots composant un message de manière à ce qu'une machine soit en mesure de l'interpréter dans un langage qui lui est propre. Cela est fait de manière à ce que cette même machine puisse répondre à son interlocuteur, voire éventuellement prendre une décision en rapport avec la conversation.

Ce manuscrit résume des travaux de recherche effectués durant mon travail de thèse qui s'est déroulé en plusieurs étapes. La première partie de ce travail a consisté en une interprétation de l'ensemble des données sismiques disponibles documentant la zone Sud du Prisme de la Barbade*. La deuxième partie, a consisté à analyser la déformation (étude structurale et cinématique) du sud du Prisme de la Barbade et la dernière partie a été consacrée à l'analyse des structures profondes. <br />La problématique abordée dans le cadre de cette thèse a porté sur l'étude des structures géologiques développées en domaine sous-marin et fortement dépendantes de la sédimentation. Ces structures concernent à la fois des zones compressives et des zones extensives. Nous avons tenté de définir les liens génétiques entre la nature et l'architecture des dépôts, et la géométrie et le développement des structures, ceci à partir de l'interprétation des données acquises lors de la Campagne CARAMBA, des profils des campagnes VEN et AN, et de deux forages situés sur la plate-forme. <br />L'analyse sismostratigraphique nous a permis d'identifier sept unités sismiques qui ont été repérées sur la plate-forme et dans la partie sud du prisme de la Barbade, et de mieux comprendre la chronologie des événements et la cinématique de la déformation. La nature des dépôts (faciès sismiques), leur distribution, et leur migration au cours du temps apparaissent étroitement associés à la déformation. Le développement d'un réseau de chenaux, le volcanisme de boue, et la localisation des zones d'érosion ont constitué d'autres éléments pour préciser l'évolution tectono-sédimentaire. Ceci a permis de distinguer 2 grandes zones distinctes (1 et 2) à partir de l'analyse des faciès sismiques. L'essentiel des zones d'érosion ont été identifiées dans la zone 1. Ces érosions sont à relier à l'activation des structures internes (jeux des failles très forts) et à l'activité du volcanisme de boue. Les dépôts " chaotiques " (coulées de boue, glissements en masse) qui jalonnent la faille 5, participent à l'érosion et alimentent la sédimentation plus au nord. La distribution des chenaux est induite par l'hydrodynamisme des pentes (foresets) du delta de l'Orénoque, puis contrôlée par la déformation progressive du prisme d'accrétion. <br />A partir de l'étude structurale, nous avons proposé que la déformation migre du nord-est vers le Sud-Ouest à raison d'environ 0.7 cm/an, depuis le Pléistocène. Par ailleurs, nous avons constaté que l'orientation de ces structures superficielles est indépendante des structures profondes. D'après les mécanismes au foyer et l'orientation des contraintes associées, les déformations profondes sont opposées à celles analysées en surface. L'épaisseur de la croûte continentale tend à augmenter vers le SE en même temps que l'épaisseur de la couverture sédimentaire tend à se réduire. L'activité des failles de la plate-forme crétacée a joué un rôle important dans la création d'espace d'accommodation pour les dépôts sédimentaires.

<P align="justify">Model-checking is an automated technique which aims at verifying properties of computer systems. A model-checker is fed with a model of the system (which capture all its possible behaviors) and a property to verify on this model. Both are given by a convenient mathematical formalism like, for instance, a transition system for the model and a temporal logic formula for the property.</P> <P align="justify">For several reasons (the model-checking is undecidable for this class of model or the model-checking needs too much resources for this model) model-checking may not be applicable. For safety properties (which basically says "nothing bad happen"), a solution to this problem uses a simpler model for which model-checkers might terminate without too much resources. This simpler model, called the abstract model, over-approximates the behaviors of the concrete model. However the abstract model might be too imprecise. In fact, if the property is true on the abstract model, the same holds on the concrete. On the contrary, when the abstract model violates the property, either the violation is reproducible on the concrete model and so we found an error; or it is not reproducible and so the model-checker is said to be inconclusive. Inconclusiveness stems from the over-approximation of the concrete model by the abstract model. So a precise model yields the model-checker to conclude, but precision comes generally with an increased computational cost.</P> <P align="justify">Recently, a lot of work has been done to define abstraction refinement algorithms. Those algorithms compute automatically abstract models which are refined as long as the model-checker is inconclusive. In the thesis, we give a new abstraction refinement algorithm which applies for safety properties. We compare our algorithm with previous attempts to build abstract models automatically and show, using formal proofs that our approach has several advantages. We also give several extensions of our algorithm which allow to integrate existing techniques used in model-checking such as acceleration techniques.</P> <P align="justify">Following a rigorous methodology we then instantiate our algorithm for a variety of models ranging from finite state transition systems to infinite state transition systems. For each of those models we prove the instantiated algorithm terminates and provide encouraging preliminary experimental results.</P> <br> <br> <P align="justify">Le model-checking est une technique automatisée qui vise à vérifier des propriétés sur des systèmes informatiques. Les données passées au model-checker sont le modèle du système (qui en capture tous les comportements possibles) et la propriété à vérifier. Les deux sont donnés dans un formalisme mathématique adéquat tel qu'un système de transition pour le modèle et une formule de logique temporelle pour la propriété.</P> <P align="justify">Pour diverses raisons (le model-checking est indécidable pour cette classe de modèle ou le model-checking nécessite trop de ressources pour ce modèle) le model-checking peut être inapplicable. Pour des propriétés de sûreté (qui disent dans l'ensemble "il ne se produit rien d'incorrect"), une solution à ce problème recourt à un modèle simplifié pour lequel le model-checker peut terminer sans trop de ressources. Ce modèle simplifié, appelé modèle abstrait, surapproxime les comportements du modèle concret. Le modèle abstrait peut cependant être trop imprécis. En effet, si la propriété est vraie sur le modèle abstrait alors elle l'est aussi sur le modèle concret. En revanche, lorsque le modèle abstrait enfreint la propriété : soit l'infraction peut être reproduite sur le modèle concret et alors nous avons trouvé une erreur ; soit l'infraction ne peut être reproduite et dans ce cas le model-checker est dit non conclusif. Ceci provient de la surapproximation du modèle concret faite par le modèle abstrait. Un modèle précis aboutit donc à un model-checking conclusif mais son coût augmente avec sa précision.</P> <P align="justify">Récemment, différents algorithmes d'abstraction raffinement ont été proposés. Ces algorithmes calculent automatiquement des modèles abstraits qui sont progressivement raffinés jusqu'à ce que leur model-checking soit conclusif. Dans la thèse, nous définissons un nouvel algorithme d'abstraction raffinement pour les propriétés de sûreté. Nous comparons notre algorithme avec les algorithmes d'abstraction raffinement antérieurs. A l'aide de preuves formelles, nous montrons les avantages de notre approche. Par ailleurs, nous définissons des extensions de l'algorithme qui intègrent d'autres techniques utilisées en model-checking comme les techniques d'accélérations.</P> <P align="justify">Suivant une méthodologie rigoureuse, nous instancions ensuite notre algorithme pour une variété de modèles allant des systèmes de transitions finis aux systèmes de transitions infinis. Pour chacun des modèles nous établissons la terminaison de l'algorithme instancié et donnons des résultats expérimentaux préliminaires encourageants.</P>