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.

A son retour de Paris en 1940, Alfred Pellan ramène une production artistique qui se caractérise par la semi- figuration. Ces représentations surchargées d'éléments hétéroclites, de personnages hybrides et d'objets insolites participent d'une sémanticité nouvelle de l'oeuvre picturale. La sémiotique de Charles S. Peirce, aussi appelée "théorie de la signification", permet une interprétation approfondie, toujours "proposée" et jamais finale des signes visuels. En passant par la notion d'interprétant, les signes visuels iconiques, indiciels et symboliques permettent un décryptage des signes semi- figuratifs contenus dans ce type de représentations. Nous proposons dans ce mémoire une analyse sémiotique de trois tableaux de Pellan des années '40 et '50 en nous basant sur la catégorie de l'objet -icône, indice et symbole-, deuxième niveau de la trichotomie peircienne, en vue d'une confrontation théorie/pratique renouvelant l'approche sémiotique de Peirce en regard de l'objet pictural. / Montréal Trigonix inc. 2018

Les Homélies et les Reconnaissances du Pseudo-Clément, aussi appelées Pseudo-Clémentines, sont des témoins privilégiés du foisonnement intellectuel et théologique des premiers siècles chrétiens. Alors que la recherche moderne a longtemps tenté de déterminer les différentes étapes de leur constitution (ne posant pour seule conclusion certaine que l’existence d’un « Écrit de base » à leur origine), le présent mémoire offre une enquête littéraire qui permettra de situer l’état final des Pseudo-Clémentines dans leur contexte rédaction, en établissant comment elles dialoguent avec les principaux groupes religieux de leur milieu (chrétiens, judéo-chrétiens, juifs, gnostiques et païens). Dans ce cadre, cette étude définit le dualisme pseudo-clémentin selon ses quatre aspects : la règle de syzygies ou des couples antagonistes, qui veut que tout, dans la création, soit organisé par Dieu en couples opposés ; les prophéties masculine et féminine, dont la première apporte la vérité alors que la seconde apporte le mensonge ; la doctrine des deux rois, dont l’un, qui est bon, gouverne le royaume du monde à venir, alors que l’autre, qui est mauvais, règne sur le monde présent ; la doctrine des deux voies, dont l’une mène au salut et l’autre à la perdition. Après une analyse de ces thèmes au sein des Pseudo-Clémentines, qui révèle les différences qui existent entre les deux textes, ces mêmes motifs sont recherchés dans la littérature apparentée, en particulier dans les textes gnostiques de la bibliothèque de Nag Hammadi, les textes découverts à Qumrân et la littérature judéo-chrétienne. Les conclusions dégagées permettent de définir précisément le dualisme des Homélies et celui des Reconnaissances, d’identifier des fonctions polémiques et rhétoriques de ce dualisme et de cerner des groupes religieux possiblement alliés et ennemis des Pseudo-Clémentines. / Pseudo-Clement’s Homilies and Recognitions, also called the Pseudo-Clementines, are important witnesses of the intellectual and theological explosion that took place in the first Christian centuries. Modern research tried for a long time to elucidate the multiples steps of their constitution, and the only result was that the existence of a ‘‘ Basic Writing’’ that had been the source material for the Pseudo-Clementines. This master’s thesis presents a literary investigation that will resituates the Pseudo-Clementines in their final form in the context of their redaction, while establishing their relations to the main religious groups of their milieu (Christians, Judeo-Christians, Jews, Gnostics and Pagans). This study defines the four aspects of the Pseudo-Clementine’s dualism : the rule of syzygies or antagonist couples, which states that everything in the creation is organized by God in opposite couples ; male and female prophecies, in which the first one brings truth while the second one brings falseness ; the doctrine of the two kings, in which one, who is good, rules the kingdom of the world to come and the other, who is evil, rules the present world ; the doctrine of the two ways, in which one leads to salvation, the other to damnation. After an analysis of these themes in the Pseudo-Clementines, one that reveals the differences between the two texts, this project looks for these patterns in similar literature, especially in the Gnostics writings of the library of Nag Hammadi, the Qumrân’s scrolls and Judeo-Christian literature. The other results are the identification of the dualism's polemic and its rhetorical functions, as well as the establishment of possible religious allies and enemies of the Pseudo-Clementines.

La présence d'éléments de la tradition classique chez Robert Venturi et Ricardo Bofill origine dans la volonté de doter l'architecture actuelle d'un langage qui lui redonne un pouvoir d'évocation et une richesse sémantique jugés déficients dans la production moderniste. Le langage classique est l'objet chez les deux architectes d'un projet de remise à jour par une transformation physique et sémantique dont le modèle opérationnel est basé sur la sémiotique d'origine linguistico-saussurienne. L'entreprise de Venturi et Bofill est marquée d'insuffisances qui peuvent originer dans la spécificité du langage architectural ou dans les faiblesses du modèle opérationnel d'une sémiotique architecturale encore imparfaite. Ces problèmes n'entachent cependant pas la valeur du but poursuivi, qui s'inscrit dans une longue tradition humaniste concevant l'architecture comme un art au service de l'homme. / Montréal Trigonix inc. 2018

Cette étude a pour objectif de transcrire une sonate (synonyme, en Europe centrale à l’époque, de suite, partie ou partita) pour luth baroque à 11 choeurs de Sylvius Leopold Weiss (1687-1750) pour guitare moderne à 11 cordes et d’analyser la manière dont nous pouvons intégrer et interpréter cette musique sur un instrument moderne. L’adaptation de la musique de Weiss à la guitare à 11 cordes est un sujet original, car cette musique, conçue pour le luth, sera fidèlement respectée en gardant le même accord (contrairement aux transcriptions ordinaires impliquant un changement d’accord). La démarche vise donc à préserver l’intégrité de l’oeuvre par le biais d’une approche soucieuse de respecter l’intention et l’esthétique du compositeur. Ma recherche porte sur les oeuvres de Weiss composées entre 1717 et 1719 pour luth à 11 choeurs (Lundberg, 2001). La Sonate no 1 du Manuscrit de Londres est sélectionnée ici, car elle représente bien les divers aspects du travail de Weiss et on peut y voir tous les éléments clés de sa musique (Cardin, 2005). Ainsi, mes analyses commencent par les bases de la transcription de la musique pour luth sur la guitare à 11 cordes, elles se développent ensuite par des sujets plus complexes comme les ressources stylistiques et se terminent avec les pratiques ornementales de rigueur à cette époque. L’ornementation est l’ajout final dans l’interprétation de cette musique baroque. Elle fait appel à l’imagination et aux connaissances stylistiques, harmoniques et contrapuntiques de l’interprète.

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 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>

Plusieurs encriers se sont déjà épuisés à écrire sur la Venise des films, mais leurs études étaient avant tout d'ordre historique. Nous tenons compte de cette approche, de cette histoire de l'imaginaire, car nous pensons qu'elle est le passage vers un regard esthétique sur certaines interprétations de l'espace vénitien, tel qu'il est représenté dans le cinéma de fiction. Choisies pour leur éclectisme mais aussi pour leurs éventuelles correspondances, les images de notre corpus filmographique nous entraînent vers une analyse variée de l'espace du plan (le cadre, le champ) et de celui du montage (la " dialectique " des plans). Notre démarche, attachée aussi bien aux rapports spirituels et matériels qu'aux résultats signifiants et inconscients entre le créateur et Venise, retrace la sensibilité perceptible dans chacun des films concernés. Grâce à cette sensibilité, nous voulons mieux connaître les conditions d'une poétique de l'espace vénitien (et urbain) à travers le film, mais aussi le statut de la fiction pour son spectateur. Nous considérons objectivement autant les lieux communs que les visions anti-mythiques de la ville, car la spectacularité, le quotidien et la découverte font tous partie de sa nature. Nous cherchons simplement à comprendre comment les images filmiques et leurs histoires peuvent encore progresser vers une définition plus claire de la " place " de Venise et du cinéma pour chacun de leurs observateurs, pour chacun de leurs auteurs.