On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ce travail-ci, on demande ce que ça voudrait dire d'exécuter un programme sur de l'information partielle. Comme réponse possible, on introduit l'interprétation partielle, notre contribution principale. Au lieu de considérer un seul input, on considère un ensemble de inputs possibles. Au lieu de calculer un seul résultat, on calcule un ensemble de résultats possibles, et des ensembles de résultats intermédiaires possibles. On approche l'interprétation partielle à partir du problème de la spécialisation de programme: l'optimisation d'un programme pour certains inputs. Faire ça automatiquement porte historiquement le nom d'évaluation partielle. Ç'a été appliqué avec succès à plusieurs problèmes spécifiques. On croit que ça devrait être un outil de programmation commun, pour spécialiser des librairies générales pour usage spécifique - mais ce n'est pas le cas. Souvent, une implantation donnée de l'évaluation partielle ne fonctionne pas uniformément bien sur tous les programmes. Ça se prête mal à un usage commun. On voit ce manque de régularité comme un problème de précision: si l'évaluateur partiel était très précis, il trouverait la bonne spécialisation, indépendamment de notre style de programme. On propose donc une approche de principe à l'évaluation partielle, visant la précision complète, retirée d'exemples particuliers. On reformule l'évaluation partielle pour la baser sur l'interprétation partielle: le calcul sur de l'information partielle. Si on peut déterminer ce qu'on sait sur chaque donnée dans le programme, on peut décider quelles opérations peuvent être éliminées pour spécialiser le programme: les opérations dont le résultat est unique. On définit une représentation d'ensembles qui ressemble à la définition en compréhension, en mathématiques. On modifie un interpréteur pour des programmes fonctionnels, pour qu'il calcule sur ces ensembles. On utilise un solver SMT pour réaliser les opérations sur les ensembles. Pour assurer la terminaison de l'interpréteur modifié, on applique des idées de l'interprétation abstraite: le calcul de point fixe, et le widening. Notre implantation initiale produit de bons résultats, mais elle est lente pour de plus gros exemples. On montre comment l'accélérer mille fois, en dépendant moins de SMT. / We are used to the following picture of an executing program: an input is provided, the program runs for a while, and a result comes out. We tacitly assume complete information about the input, the result, and any intermediate results in between. In this work, we ask what it would mean to execute a program over partial information. As a possible answer, we introduce partial interpretation, our main contribution. Instead of considering a unique input, we consider a set of possible inputs. Instead of computing a unique result, we compute a set of possible results, and sets of possible intermediate results. We approach partial interpretation from the problem of program specialization: the optimization of a program's execution time for certain inputs. Doing this automatically is historically known as partial evaluation. Partial evaluation has been applied successfully to many specific problems. We believe it should be a mainstream programming tool, to specialize general libraries for specific use - but such a tool has not been delivered. One common problem is that a given implementation of partial evaluation is inconsistent: it does not work uniformly well on all input programs. This inconsistency makes it unsuited for mainstream use. We view this inconsistency as an accuracy problem: if the partial evaluator was very accurate, it would find the correct specialization, no matter how we present the input program. We therefore propose a principled approach to partial evaluation, aimed at complete accuracy, removed from any particular example program. We reformulate partial evaluation to root it in partial interpretation: computation over partial information. If we can determine what we know about every piece of data in the program, we can decide which operations can be removed to specialize the program: those operations whose result is uniquely known. We represent sets with a kind of mathematical set comprehension. We modify an interpreter for functional programs, to compute over these sets. We use an SMT solver (Satisfiability Modulo Theories) to perform set operations. To ensure termination of the modified interpreter, we apply ideas from abstract interpretation: fixed point computation, and widening. Our initial implementation produces good results, but it is slow for larger examples. We show how to speed it up a thousandfold, by relying less on SMT.

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.

Ce mémoire propose une étude des lieux de tension entre réalité et fiction dans les récits de Marie-Sissi Labrèche et d'Annie Ernaux. Les dispositifs paradoxaux, qui rendent ambiguë l'appartenance générique de ces œuvres, y sont interrogés sous différents angles. Le premier chapitre est l'occasion d'étudier la manière dont les textes exploitent les éléments paratextuels, notamment par la comparaison des différentes éditions des oeuvres. Les propos tenus par les auteures lors d'entrevues y sont également considérés. Dans le deuxième chapitre, les références culturelles et les éléments intertextuels sont envisagés comme des effets de réalité ou comme des lieux d'ambiguïté. Le troisième chapitre montre que les procédés autoréférentiels mettent en évidence le caractère fictionnel de l'oeuvre chez Labrèche, tandis qu'ils participent à l'effet de réalité chez Ernaux. Le dernier chapitre étudie le traitement de la temporalité dans les récits. En somme, l'hybridité générique qui caractérise le récit contemporain est mise en évidence.

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

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

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.