Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. <br />Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactif, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes.

L’interprétation du personnage de Judas connaît actuellement une mutation, à lafaveur de la découverte des Evangiles gnostiques, qui vont au-delà de la versionconservatrice biblique, confinée à l’accusation définitive du personnage. La réécritureromanesque de Judas paraît en effet plus féconde et nuancée, laquelle récuse touteforme de manichéisme et de réduction. A l’appui des romans d’Auguy Makey et deJacques Duquesne qui réécrivent Judas Iscariote, cette thèse étudie le processus decette réécriture qui va du mythe biblique au mythe romanesque et montre encomparant ces oeuvres que la réhabilitation du personnage est en oeuvre. Makeyprésente un Judas faustien et Duquesne un Judas oedipien. Ils se divisent sur le motif dela livraison de Jésus par Judas : la réforme de Jésus menace de mort la Loi de Moïsereprésentée par le Sanhédrin et défendue par Judas (Duquesne), l’apolitisme de Jésuscompromet la libération politique d’Israël sous occupation romaine et déçoit lesespoirs placés sur le Messie rédempteur tant attendu du peuple élu qui atermoie(Makey). Ainsi le Judas romanesque invite-t-il à plus de complexité, d’ambivalence etd’invention, où le rebelle est aussi l’ami, et le « traitre », l’apôtre pieux. L’antinomie etla nuance sont en vigueur, sous le signe de la mélancolie de Babel. Judas ravive l’utopied’une parole romanesque attachée à la réflexion, à la relativité du jugement, et à unautre sens qui redécouvre les vertus du silence, de la dérision et du renouvellementde la langue / Traditional historiography presents Judas as a Devil hero, with a negative influence.That thesis would like to refuse the dogmatic version of the Bible, about Judas, andinvites to another way, more dynamic. How Romanesque literature writes againstthis figure, beyond reductions and Manichaeism? Does-it proposed another version?A comparison between Auguy Makey and Jacques Duquesne attests that arehabilitation of that figure is working. But the divergence of these authors is abouttheir interpretation of Judas’ treatise. Faust myth with the first writer, and Oedipalwith the second, Judas appears as a complexly figure, beyond the violence of uniquemeaning, calling a new description, a deep mutation through an important language’sutopia, where melancholia and enjoying are revisited both, with a stochastic writing,by antinomies, silences and suspensions

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactifs, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes / There are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources. In this document, we focus our study on the resource control with the help of semantics interpretations. After introducing the notion of quasi-interpretation together with its distinct properties and characterizations, we show the results obtained in the study of such a tool: We study the synthesis problem which consists in finding a quasi-interpretation for a given program and we tackle the issue of quasi-interpretation modularity. Modularity allows to decrease the complexity of the synthesis procedure and to capture more algorithms. We present several extensions of quasi-interpretations to reactive programming, bytecode verification or higher-order programming. Afterwards, we introduce the notion of sup-interpretation. This notion strictly generalizes the one of quasi-interpretation and is used in distinct criteria in order to control the resources of more algorithms, including algorithms over infinite data and algorithms using a divide and conquer strategy. We combine sup-interpretations with distinct termination criteria, such as RPO orderings, dependency pairs or size-change principle, and we compare them to the notion of quasi-interpretation. Using the notion of sup-interpretation, we characterize small parallel complexity classes. We provide some heuristics for the sup-interpretation synthesis: we manage to synthesize sup-interpretations without the subterm property, that is, sup-interpretations which are not quasi-interpretations. Finally, we extend sup-interpretations to object-oriented programs, thus obtaining distinct criteria for resource control of object-oriented programs and their methods

L'objectif de cette étude est de mettre en lumière la complexité de l'écriture de l'histoire et du processus de renouvellement historique, en prenant pour cas d'étude l'histoire de l'Ouest américain. De la théorie de la Frontière, développée par Frederick Jackson Turner à la fin du dix-neuvième siècle, à la " New Western History ", apparue dans les années 1980, le sujet a fait l'objet de diverses interprétations au cours du vingtième siècle. Sa complexité réside en outre dans la mythologie véhiculée par la culture populaire, ainsi que la place centrale de l'Ouest dans l'inconscient collectif américain. Très controversées, les réécritures de la Nouvelle Histoire de l'Ouest ont redonné de l'intérêt et du dynamisme au domaine de recherche, tout en suscitant des débats passionnés, dont la médiatisation fut tout à fait inédite. Enfin, l'analyse de la transmission de ces réécritures au grand public, à travers l'enseignement et l'histoire publique, permet d'évaluer l'impact du mouvement au-delà des frontières universitaires et, de fait, offre une meilleure compréhension des enjeux et défis de la discipline historique.

De nombreuses perspectives ont été et sont utilisées dans le monde de la représentation. Choisir l'une d'elle reflète une certaine façon de percevoir le monde. Le réalisme du point vue unique et fixe, semble ne répondre qu'à une convention culturelle. En effet, lorsqu'on regarde quelque chose, le regard balaye la scène avec deux yeux. Nous avons donc deux points de vue mobiles. Dans l'abstraction représentationnelle occidentale, le spectateur, en tant que corps, est réduit à un oeil, lui même compressé en un point. Le questionnement sur le réalisme de l'image s'impose. L'image dite réaliste renvoie-t-elle à une réalité, en tant que telle, existant dans le monde de façon absolue et directement accessible à l'exclusion de tout code transcriptif, ou à un concept culturellement acquis comme réaliste et qui ne renvoie qu'à lui-même? Le travail de cette thèse consiste à introduire dans la synthèse d'images différents systèmes de représentation, dont le "réalisme" de chacun, d'un point de vue intellectuel, est aussi légitime que le "réalisme" photographique. Cette recherche ne s'inscrit pas dans le cadre d'une recherche scientifique, dont l'objectif serait de construire des modèles dont les règles de fonctionnement correspondraient à des lois absolues de la nature. Nous nous trouvons en présence de modèles issus des seules sciences humaines et d'interprétations sensorielles. L'objectif de ce travail se résume donc à extraire les concepts qui régissent chaque style de représentation. En essayant de rester fidèle à ces concepts de base, nous définissons des fonctions de projection, et dans le cadre de nos résultats nous ne conservons que les images dont l'esthétique nous semble radicalement nouvelle. L'enjeu n'est donc pas de faire de la perspectiva naturalis de façon radicale et ressemblante, ni de systématiser les principes du Cubisme pour réaliser un modeleur cubiste, mais, à partir de différentes idées sur le "réalisme", de créer de nouvelles images, propres à surprendre dans leur organisation formelle. Ce travail théorique sera complété par un développement plastique comprenant une exploitation picturale et vidéo de ces modèles de projection.

L'interprétation du personnage de Judas connaît actuellement une mutation, à lafaveur de la découverte des Evangiles gnostiques, qui vont au-delà de la versionconservatrice biblique, confinée à l'accusation définitive du personnage. La réécritureromanesque de Judas paraît en effet plus féconde et nuancée, laquelle récuse touteforme de manichéisme et de réduction. A l'appui des romans d'Auguy Makey et deJacques Duquesne qui réécrivent Judas Iscariote, cette thèse étudie le processus decette réécriture qui va du mythe biblique au mythe romanesque et montre encomparant ces oeuvres que la réhabilitation du personnage est en oeuvre. Makeyprésente un Judas faustien et Duquesne un Judas oedipien. Ils se divisent sur le motif dela livraison de Jésus par Judas : la réforme de Jésus menace de mort la Loi de Moïsereprésentée par le Sanhédrin et défendue par Judas (Duquesne), l'apolitisme de Jésuscompromet la libération politique d'Israël sous occupation romaine et déçoit lesespoirs placés sur le Messie rédempteur tant attendu du peuple élu qui atermoie(Makey). Ainsi le Judas romanesque invite-t-il à plus de complexité, d'ambivalence etd'invention, où le rebelle est aussi l'ami, et le " traitre ", l'apôtre pieux. L'antinomie etla nuance sont en vigueur, sous le signe de la mélancolie de Babel. Judas ravive l'utopied'une parole romanesque attachée à la réflexion, à la relativité du jugement, et à unautre sens qui redécouvre les vertus du silence, de la dérision et du renouvellementde la langue

Lorsqu’une représentation accède à la conscience, ce n’est pas simplement une représentation « objective », mais plutôt une interprétation subjective. Cette interprétation reflète la combinaison de nos connaissances sur le monde avec les données de notre environnement. Il est intéressant de comprendre comment ces interprétations se modifient lorsque l’on est confronté à des incohérences entre nos connaissances et les données. Dans cette thèse, nous avons étudié ces incohérences dans l’environnement et dans le comportement des individus.Dans une première série d’études, nous avons étudié l’apprentissage de régularités dans l’environnement ainsi que les relations entre ce processus et la conscience d’accès. La première étude porte sur les réponses cérébrales associées à la détection de régularités auditives chez des patients épileptiques implantés. La seconde porte sur la mise en place de stratégies lorsque l’on est confronté à de fréquents conflits, conscients ou non. Dans une seconde série d’études, nous avons étudié comment les sujets traitent les incohérences dans leur propre comportement, dans le cadre de la théorie de la dissonance cognitive, en utilisant le paradigme du choix libre. Nous avons identifié un rôle crucial de la mémoire grâce à une étude comportementale et une étude en IRM fonctionnelle.Les résultats de ces quatre études sont discutés dans ce manuscrit autour de deux questions clés. Tout d’abord, ces résultats mettent en évidence l’existence de processus utilisant des stimuli conscients, mais qui ne sont pas conscients eux-mêmes. Ensuite, nous discutons pourquoi l’on tend à chercher de la cohérence, dans notre environnement et dans notre comportement. / When we perceive a word, a picture or a sound, we do not access an ‘objective’ representation of them. Rather we gain immediate access to a subjective interpretation. This interpretation reflects the combination of our prior knowledge about the world with data sampled in the environment. An interesting issue is to understand how we deal with inconsistencies between our prior knowledge and the data from the environment. During this PhD, responses to inconsistencies both in the environment and in subjects’ own behavior were explored. The first series of studies address how subjects process regularities in the environment and how these processes relate to conscious access. To do so, two levels of auditory regularities were studied in epileptic patients implanted with intracranial electrodes. In a second experiment, we used a paradigm derived from the Stroop task to test responses to frequent conscious or unconscious conflicts. Behavioral measures and scalp EEG were used to assess changes in subjects’ strategy when processing trials conflicting with current expectations. In the second series of studies, we analyzed how subjects adapt their interpretations when confronted with inconsistencies in their own behavior, using the framework of cognitive dissonance. The implication of explicit memory was tested in a behavioral experiment and in an fMRI study. The results of these four studies are discussed around two main issues. First, these results highlight the existence of processes which rely on conscious stimuli but are not conscious themselves. Second, we examine what could explain our tendency to constantly seek consistency both in the external world and in our own behavior.

L'objectif de cette étude est de mettre en lumière la complexité de l'écriture de l'histoire et du processus de renouvellement historique, en prenant pour cas d'étude l'histoire de l'Ouest américain. De la théorie de la Frontière, développée par Frederick Jackson Turner à la fin du dix-neuvième siècle, à la « New Western History », apparue dans les années 1980, le sujet a fait l'objet de diverses interprétations au cours du vingtième siècle. Sa complexité réside en outre dans la mythologie véhiculée par la culture populaire, ainsi que la place centrale de l’Ouest dans l’inconscient collectif américain. Très controversées, les réécritures de la Nouvelle Histoire de l’Ouest ont redonné de l’intérêt et du dynamisme au domaine de recherche, tout en suscitant des débats passionnés, dont la médiatisation fut tout à fait inédite. Enfin, l’analyse de la transmission de ces réécritures au grand public, à travers l’enseignement et l’histoire publique, permet d’évaluer l’impact du mouvement au-delà des frontières universitaires et, de fait, offre une meilleure compréhension des enjeux et défis de la discipline historique. / Taking the history of the American West as a case study, the aim of this dissertation is to analyze the complex way in which history is written and rewritten over the years. From the first historian of the Frontier, Frederick Jackson Turner, to the “New Western History”, born in the 1980s, the Frontier and the American West have generated different interpretations and revisions over the course of the twentieth century. The subject is all the more complex as the West has a special place in the American psyche, and its myths pervade popular culture. Not only did the emergence of the New Western History revive a field of study that had become dated, it also triggered debates that were so heated that they received ample coverage in the American press. Studying the way the New Historians’ reinterpretations were transmitted to the general public, through teaching and public history, allows an assessment of the impact of the New Western History on a lay audience and, thus, a better understanding of the complex mechanics of history-making.

Longtemps, la recherche dix-huitiémiste considéra la critique de la religion au siècle des Lumières comme un phénomène issu du libertinage érudit du XVIIe siècle et de la littérature philosophique clandestine. Parmi les points essentiels de la religion chrétienne contestés par les libres penseurs, l'exégèse allégorique des prophéties chrétiennes occupe une place déterminante. Les principes interprétatifs qui font de personnages bibliques des préfigurations du Christ, bref l'exégèse allégorique, à propos desquels les « Philosophes » font des gorges chaudes, furent à maintes reprises contestés par plusieurs érudits et théologiens du XVIIe siècle. C'est à ce titre que cette thèse vise à mettre en évidence certaines influences méconnues pourtant au cœur des nombreux textes contestant la religion chrétienne au XVIIIe siècle. Pour parvenir à cette fin, nous avons pratiqué une lecture sérielle de la presse savante entre 1684 et 1750. L'analyse des réseaux internationaux au cœur de cette actualité érudite a mis en évidence plusieurs querelles exégétiques aujourd'hui méconnues, mais qui passionnèrent alors la République des Lettres, et dont on trouve des échos tant dans la littérature philosophique clandestine que dans Y Encyclopédie. Insister sur la place occupée par l'érudition religieuse dans l'histoire de la libre pensée : voilà qui relativise l'idée de « Lumières philosophiques » et laisse place à une conception davantage plurivoque des Lumières, dont les « Lumières religieuses » en sont un exemple aussi méconnu qu'étonnant. Telles sont, entre autres, les considérations auxquelles nous mène la rencontre inattendue entre les érudits, les théologiens et les libertins autour de l'exégèse allégorique à l'âge des Lumières.