Les noyaux de systèmes d'exploitation manipulent des données fournies par les programmes utilisateur via les appels système. Si elles sont manipulées sans prendre une attention particulière, une faille de sécurité connue sous le nom de Confused Deputy Problem peut amener à des fuites de données confidentielles ou l'élévation de privilèges d'un attaquant. Le but de cette thèse est d'utiliser des techniques de typage statique afin de détecter les manipulations dangereuses de pointeurs contrôlés par l'espace utilisateur. La plupart des systèmes d'exploitation sont écrits dans le langage C. On commence par en isoler un sous-langage sûr nommé Safespeak. Sa sémantique opérationnelle et un premier système de types sont décrits, et les propriétés classiques de sûreté du typage sont établies. La manipulation des états mémoire est formalisée sous la forme de lentilles bidirectionnelles, qui permettent d'encoder les mises à jour partielles des états et variables. Un première analyse sur ce langage est décrite, permettant de distinguer les entiers utilisés comme bitmasks, qui sont une source de bugs dans les programmes C.

Ce mémoire propose des lectures croisées de la mémoire urbaine dans Dora Bruder de Patrick Modiano et La Québécoite de Régine Robin. Les deux récits mettent en scène des narrateurs héritiers de la mémoire de la Shoah qui déambulent dans les villes de Paris et Montréal. La ville est espace d’intelligibilité dont les signes sont porteurs de sens à activer par l’observateur. À l’aide de la sémiotique de la ville (Benjamin) et des pratiques de la ville (De Certeau) et en tenant compte de la position particulière des narrateurs autour des enjeux du témoignage et de l’écriture, ce mémoire cherche à étudier comment la ville participe au déploiement d’une mémoire juive en même temps qu’elle contribue à son inévitable perte. La Deuxième Guerre mondiale a eu lieu en partie à Paris, qui en porte les traces dans une forte densité mémorielle, tandis que Montréal, ville diasporique où les événements ne se sont pas déroulés, accueille les mémoires écorchées qui se fixent d’une autre manière dans l’espace urbain. Dans les deux récits, l’espace urbain est nécessaire à la mise en texte de la rupture et de la perte, qui se dévoilent à la fois au niveau thématique (destruction urbaine, échecs répétés, perte identitaire) et formel (remise en question du récit, hybridité générique.) / This thesis offers crossed readings of urban memory in Dora Bruder from Patrick Modiano and La Québécoite from Régine Robin. Both stories depict narrators heirs of the Holocaust memory who roam the cities of Paris and Montreal. The city is a space of intelligibility whose signs are meaningful to the observer. Using the semiotics of the city (Benjamin), the practices of the city (De Certeau) and taking into account the specific position of both narrators on the issues of testimony and writing, this study seeks to explore how the city spreads the Jewish memory while at the same time contributing to its inevitable loss. The Second World War took partly place in Paris, which bears the traces in a high density of memory, while Montreal, a city where Holocaust events did not unfold, is hosting memories otherwise within its urban space. In both stories, the city is necessary to the writing of the breakdown and loss, which reveal themselves both in the background (urban destruction, repeated failures, loss of identity) and form (question of the story, generic hybridity.)

La mémoire de travail (MdeT) est le sujet de plusieurs études récentes, notamment en raison des liens qu'elle entretient avec des variables d’intérêt telles que l’intelligence (Kuhn, 2016), le langage (Dehn, 2008) et les apprentissages (Alloway & Alloway, 2010). Le modèle de la MdeT de Baddeley et Hitch (1974) est le plus souvent utilisé dans les études sur le développement cognitif (Kroesbergen, van’t Noordende, & Kolkman, 2014). Ce modèle est dit multi-composantes puisqu’il divise la MdeT en trois principales composantes, soit l’administrateur central, la boucle phonologique et le calepin visuo-spatial. Ces trois composantes sont liées à la performance générale en mathématiques (p. ex., De Smedt et al., 2009, Meyer, Salimpoor, Wu, Geary, & Menon, 2010; Rasmussen & Bisanz, 2005). Par contre, les résultats restent divergents quant aux liens entre les composantes de la MdeT et des habiletés mathématiques spécifiques. La présente recherche vise donc à préciser, en premier lieu, les liens qui unissent les composantes de la MdeT à la performance en arithmétique et en résolution de problèmes chez des enfants tout-venant de 1re et de 2e année. Pour ce faire, 77 enfants tout-venant ont été évalués. Les résultats montrent que la MdeT est liée à la performance en arithmétique et en résolution de problèmes. Par contre, le calepin visuo-spatial n’est pas impliqué, ce qui sous-tend l’usage de stratégies verbales dès la 1re année. L’implication des deux autres composantes de la MdeT varie, quant à elle, selon le niveau scolaire, mais pas selon l’habileté mathématique. Effectivement, alors que l’administrateur central est impliqué en arithmétique et en résolution de problèmes en 1re et en 2e année, la boucle phonologique n’est impliquée qu’en 1re année, ce qui sous-tend un changement vers des stratégies de récupération directe en mémoire à long terme en 2e année. La présence de liens entre la MdeT et les mathématiques ouvre par ailleurs la porte à des interventions prometteuses, telles que l’entrainement de la MdeT, pour améliorer les performances en mathématiques. Notre recherche vise donc, en second lieu, à vérifier les effets d’un entrainement de la MdeT sur les principales composantes de la MdeT et sur la performance en arithmétique et en résolution de problèmes chez des jeunes du premier cycle du primaire. Pour vérifier les effets de l’entrainement, 73 participants ont été séparés entre un groupe contrôle de type liste d’attente et un groupe expérimental qui a bénéficié d’un entrainement de la MdeT pendant 6 semaines. Les enfants ont été évalués à trois reprises, soit avant l’entrainement, tout de suite après l’entrainement et 6 mois plus tard. Les résultats révèlent que l’entrainement informatisé de la MdeT améliore seulement les capacités de l’administrateur central; ces gains, dans la modalité verbale, tendent à se maintenir sur 6 mois contrairement à ceux en modalité visuo-spatiale. Les bienfaits de l’entrainement ne se transfèrent pas à la performance en mathématiques. En revanche, un effet compensatoire est observé en résolution de problèmes, puisqu’une amélioration de la performance est observée chez les enfants qui avaient une plus faible MdeT au départ. Ainsi, les effets de l’entrainement sont spécifiques; de façon générale, à la MdeT et plus particulièrement à l’administrateur central, et de façon différentielle, aux habiletés de résolution de problèmes pour les élèves ayant de plus faibles capacités de MdeT.

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

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

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

Cette thèse s’inscrit dans la thématique de l’identification des bases neurobiologiques du déclin de la mémoire déclarative (MD) lié au vieillissement. Deux difficultés principales sont à noter : 1) la modélisation animale de la MD, mémoire typiquement humaine et 2) le manque d’intégration des différents niveaux d’analyse du fonctionnement cérébral. Nos travaux ont contribué à résoudre ces deux problèmes par le développement d’un modèle murin du déclin de MD lié au vieillissement, associé une approche d’imagerie fonctionnelle de l’expression de la protéine Fos. Une première série de résultats montre que la perturbation du système cholinergique au cours du vieillissement s’accompagne d’une modification de l’activité des systèmes de mémoire. Une deuxième série montre que le déficit de MD observé au cours du vieillissement est attribuable au dysfonctionnement d’un composant de la mémoire à court terme/de travail, le tampon épisodique, sous-tendu par le CA1 hippocampique. / Abstract

Cette recherche s’inscrit, à la fois, dans le champ des recherches portant sur l’organisation du temps scolaire et dans celui traitant de l’articulation des enseignements mathématiques entre école et collège. Il s’agit d’une approche transversale, visant à tisser des liens entre temps d’enseignement, culture des professeurs et mémoire didactique. La thèse montre en quoi la possibilité ou non de mobiliser des situations mathématiques nécessitant des recherches longues et des débats, exerce une influence sur les formes prises par l’institutionnalisation des connaissances et, au-delà, sur le rapport aux mathématiques des enseignants. Dans le courant de l’année scolaire 2006-2007, quatre classes de sixième et quatre classes de CM2 ont été observées. La production d’un nombre important d’énonciations différentes de connaissances différentes, a été mise en évidence, entraînant une régulation, sous la forme d’un nombre restreint de connaissances rappelées et/ou institutionnalisées par écrit. On peut qualifier ce double processus, d’extension et de réduction didactique. La réduction didactique assure aux connaissances visées par l’étude une visibilité élective, tout au long du processus d’institutionnalisation. Cette mise en avant de certaines connaissances, liée à un traitement discursif et sémiotique spécifique, a été qualifiée de « visibilité institutionnelle ». L’aptitude de la mémoire didactique à se projeter dans l’avenir comme dans le passé confirme sa dimension prospective et sa capacité à organiser un récit susceptible d’emporter l’adhésion des élèves. / This research is two-fold, taking place in the field of research on the organization of school time and the one focusing on Mathematics teaching organization, both in primary school and middle school. The approach exposed is transversal, forging links between instructional time, teacher culture and didactic memory. The thesis demonstrates how the possibility or not to mobilize mathematical situations, requiring long research and discussions, affects the institutionalization of knowledge shapes and, beyond, teachers’ feeling about Mathematics. In the course of the 2006-2007 school year, four classes of fifth grade and four classes of sixth grade were observed. The production of a large number of different enunciations of various knowledge was highligthed, resulting in a regulation with a limited number of knowledge recalled and / or institutionalized in writing. We can describe this dual process as didactic extension and reduction.Didactic reduction ensures targeted knowledge elective visibility, all along the institutionalization process. Highlighting a specific knowledge is called “institutional visibility”. The ability of didactic memory to project into the future as into the past confirms its prospective dimension and its ability to organize a story that could win students’ support.

Le thème de notre thèse porte sur les rythmes de la vigilance et de la cognition. La première partie porte sur la validation d’échelles subjectives étalonnées sur des tests itératifs de latence d’endormissement. Une analyse factorielle des résultats identifie au moins trois sous catégories de la vigilance (ergique ou comportementale, cognitive, émotionnelle). Ensuite, les rythmes chronologiques de ces trois dimensions sont mesurés avec les variations circadiennes sur vingt-cinq heures de la température centrale et lors d’une modification provoquée d’état de conscience (hypnose). La variation des vigilances cognitives et comportementales semble être corrélée à la variation de la température centrale. De même, les vigilances comportementales et émotionnelles semblent se modifier lors d’une modification d’état de conscience de type hypnotique.La deuxième partie porte sur la variation des processus cognitifs lors d’états de conscience différents (veille, sommeil, hypnose). En utilisant un test d’apprentissage Remember-Know, nous observons des modifications de la mémoire (conditions verbales, imagées et affectives) suivant l’état de conscience du sujet. De plus, nous mettons en évidence que le phénomène d’oubli n’est pas un effacement de l’information, mais dépend des moyens d’accès à la mémoire. / The topic of this thesis relates to the rhythm of vigilance and cognition. In the first part, we validate a subjective evaluation of sleep propensity by reference to MSLT (Multiple Sleep Latency Test). By factorial analysis, it is assumed that there are three main dimensional components of vigilance (ergic or behavioral, emotional, and cognitive). Then, the rhythms of these three dimensions are measured with the circadian variations of the core body temperature and during a modification of state of consciousness (hypnosis). There is a reliable self-evaluation of sleep propensity. The variation of core body temperature seems to be correlated with the rhythm of the ergic dimension and with the cognitive dimension of vigilance. During a modification of state of consciousness as hypnosis, behaviour dimension and emotional dimension of vigilance seem to change.In the second part, we focus on the process of cognition during different state of consciousness (sleep, wake, hypnosis). By using a Remember/Know memory test, we observe quality recall modification (verbal, imagery and emotional conditions) according to the states of consciousness of the subject. Moreover, we highlight that forgetfulness is not a deleted process of information, but depends on access to memory.

De multiples plaisirs sont présents dans À la recherche du temps perdu. Ils sont importants pour les personnages en ce que, bien souvent, ils dirigent leur vie, mais aussi parce qu’ils participent à la constitution de portraits : observer les plaisirs d’un personnage permet de le peindre. L’importance du plaisir dépasse le niveau individuel pour atteindre celui du récit (diégèse et narration). Malgré une présence qui tend à l’omniprésence, le plaisir peine à être vécu au présent par des personnages qui le conjuguent plus facilement au passé ou au futur, et en ont une image très négative. C’est que les sens ne sont pas aptes à véhiculer le plaisir, et n’apportent que culpabilité, punition et déception. Il faut alors explorer d’autres voies : apparaissent artifices et perversions, qui finissent aussi par échouer à procurer un plaisir pur. Le héros proustien le trouve dans l’imaginaire, notamment la création littéraire. Paradoxalement, de l’échec du plaisir vient la fertilité créatrice. / Pleasure appears in various guise in A la Recherche du Temps Perdu. It often directs the characters’ lives or serves to define them: the objects and forms of pleasure enjoyed by the characters constitute indirect portraits of them. Pleasure is not only to be observed on an individual level, but can be analysed on the narrative level. Although it is everywhere to be found, it fails to be actually experienced by characters who more often than not reject it into the past or the future, and entertain a very negative vision of it. The senses indeed appear unable to provide pleasure, and only become sources of guilt, disappointment and retribution. Other paths to pleasure must then be discovered, but artificial paradises or perversions fail to yield real pleasure. The Proustian hero ultimately finds it in the world of imagination, especially through literary creation. Paradoxically, it is from the failure of experiencing pleasure that creative power derives.