Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.

Suorituskyvyn mittaaminen työnjohdon apuvälineenä henkilöstön motivoinnissa elintarviketeollisuudessa

Tutkimuksen tavoitteena on selvittää miten tuotannon työnjohto voi osaltaan vaikuttaa henkilöstön työmotivaatioon hyödyntämällä suorituskyvyn mittaamista. Tutkimuksen empiirinen aineisto on hankittu haastattelemalla työnjohtoa ja suorittamalla kyselytutkimus tuotannon henkilöstölle. Yritykset mittaavat menestystekijöidensä suorituskykyä erilaisilla mittareilla, mutta usein mittaamisesta saatavaa tietoa ei osata hyödyntää parhaalla mahdollisella tavalla. Suorituskyvyn mittaamisen on muututtava suorituskyvyn johtamiseksi, jotta siitä on hyötyä yrityksen toiminnan kannalta. Suorituskyvyn johtamisessa mittaustuloksia tulkitaan ja niiden perusteella tehdään toimenpiteitä. Työmotivaatio vaikuttaa oleellisesti henkilöstön suoritukseen, joten on tärkeää, että työmotivaatioon kiinnitetään yrityksissä huomiota. Suorituskyvyn mittaamisella on mahdollista vaikuttaa työmotivaation taustalla oleviin tekijöihin, joiden avulla työmotivaatio paranee. Näitä tekijöitä ovat tavoitteiden asettaminen, selkeä viestiminen, palkitseminen ja vaikutusmahdollisuudet. Muita työmotivaatioon vaikuttavia tekijöitä ovat työympäristö ja kehittyminen työssä. Työnjohdon tehtävänä on hyödyntää mittaustietoa tuotannon henkilöstön johtamisessa.

Exploring the use of effective learning strategies to increase students' reading comprehension and test taking skills /

This study examined the effects of providing students with explicit instruction in how to use a repertoire of reading comprehension strategies and test taking skills when reading and responding to three types of questions (direct, inferential, critical). Specifically, the study examined whether providing students with a "model" of how to read and respond to the text and to the comprehension questions improved their reading comprehension relative to providing them with implicit instruction on reading comprehension strategies and test taking skills. Students' reading comprehension and test taking performance scores were compared as a function of instructional condition. Students from 2 grade 8 classes participated in this study. The reading component of the Canadian Achievement Tests, Third Edition (CAT/3) was used to identify students' level of reading comprehension prior to the formal instructional sessions. Students received either explicit instruction, which involved modelling, or implicit instruction, which consisted of review and discussion of the strategies to be used. Comprehension was measured through the administration of formative tests after each instructional session. The formative tests consisted of reading comprehension questions pertaining to a specific form of text (narrative, informational, graphic). In addition, students completed 3 summative tests and a delayed comprehension test which consisted of the alternative version of the CAT/3 standardized reading assessment. These data served as a posttest measure to determine whether students had shown an improvement in their reading comprehension skills as a result of the program delivery. There were significant differences in students' Canadian Achievement Test performance scores prior to the onset of the study. Students in the implicit group attained significantly higher comprehension scores than did students in the explicit group. The results from the program sessions indicated no significant differences in reading comprehension between the implicit and explicit conditions, with the exception of the 6th session involving the reading and interpreting of graphic text. Students in the explicit group performed significantly better when reading and interpreting graphic text than those in the implicit group. No significant differences were evident between the two study conditions across the three summative tests. Upon completion of the study, the results from the Canadian Achievement Test indicated no significant differences in performance between the two study conditions. The findings from this study reveal the effectiveness of providing students with explicit strategy instruction when reading and responding to various forms of text. Modelling the appropriate reading comprehension strategies and test taking skills enabled students to apply the same thought processes to their own independent work. This form of instruction enabled students in the explicit group to improve in their abilities to comprehend and respond to text and therefore should be incorporated as an effective form of classroom teaching.

Imagery or video feedback : which is the "route" to strategic improvement?

The implementation of imagery and video feedback programs has become an important tool for aiding athletes in achieving peak performance (Halliwell, 1990). The purpose of the study was to determine the effect of strategic imagery training and video feedback on immediate performance. Participants were two university goaltenders. An alternating treatment design (ATD; Barlow & Hayes, 1979; Tawney & Gast, 1984) was employed. The strategies were investigated using three plays originating from the right side by a right-handed shooting defenceman from the blueline. The baseline condition consisted of six practices and was used to establish a stable and "ideal" measure of performance. The intervention conditions included alternating the use of strategic imagery (Cognitive general; Paivio, 1985) and video feedback. Both participants demonstrated an increase in the frequency of Cognitive general use. Specific and global performance measures were assessed to determine the relative effectiveness of the interventions. Poor inter-rater reliability resulted in the elimination of specific performance measures. Consequently, only the global measure (i.e., save percentage) was used in subsequent analyses. Visual inspection of participant save percentage was conducted to determine the benefits of the intervention. Strategic imagery training resulted in performance improvements for both participants. Video feedback facilitated performance for Participant 2, but not Participant 1. Results are discussed with respect to imagery and video interventions and the challenges associated with applied research. KEYWORDS: imagery, video, goaltenders, alternating treatment design.

The efficacy of cognitive retraining of attentional deficits for a client who has schizophrenia

The purpose of this study was to assess the efficacy of the Process Specific Approach to cognitive rehabilitation for a client with schizophrenia who has attentional deficits. The study was a single case experimental design which followed a variation of the multiple baseline approach. Prior to training of the attentional deficit, multiple baseline assessments were completed. These included an ov:erview of the sUbject's information processing ability, random measures of attention and a genera.l level of functioning in living, learning and working environments. During the re-training, attention tests were administered at the completion of each attention component. A general functional evaluation through interviews and a measure of information processing ability were. completed after the re-training was concluded. The results of the study demonstrate a significant i'mprovement in attention and memory measures. Qualitative data indicate si·gni.ficant others observed improvements in performance in r livi'ng, learning and working environments. The results suggest this approach to cognitive rehabilitation was effective with this subject and further research to establish generalizability is recommended.

Beyond g : putting multiple intelligences theory to the test /

The purpose of this study was to investigate Howard Gardner's (1983) Multiple Intelligences theory, which proposes that there are eight independent intelligences: Linguistic, Spatial, Logical/Mathematical, Interpersonal, Intrapersonal, Naturalistic, Bodily-Kinesthetic, and Musical. To explore Gardner's theory, two measures of each ability area were administered to 200 participants. Each participant also completed a measure of general cognitive ability, a personality inventory, an ability self-rating scale, and an ability self-report questionnaire. Nonverbal measures were included for most intelligence domains, and a wide range of content was sampled in Gardner's domains. Results showed that all tests of purely cognitive abilities were significantly correlated with the measure of general cognitive ability, whereas Musical, Bodily-Kinesthetic, and one of the Intrapersonal measures were not. Contrary to what Multiple Intelligences theory would seem to predict, correlations among the tests revealed a positive manifold and factor analysis indicated a large factor of general intelligence, with a mathematical reasoning test and a classification task from the Naturalistic domain having the highest ^- loadings. There were only minor sex differences in performance on the ability tests. Participants' self-estimates of ability were significantly and positively correlated with actual performance in some, but not all, intelligences. With regard to personality, a hypothesized association between Openness to Experience and crystallized intelligence was supported. The implications of the findings in regards to the nature of mental abilities were discussed, and recommendations for further research were made.

Effects of Cerebral Blood Flow and PETCO2 on Cognitive Function During Passive Heat Stress

This thesis tested whether cognitive performance during passive heat stress may be affected by changes in cerebrovascular variables as opposed to strictly thermally-induced changes. A pharmacological reduction in cerebral blood flow (CBF) using indomethacin along with a hypocapnia-induced CBF reduction during passive heat stress (Tre ~1.5°C above baseline) were used to investigate any cerebrovascular-mediated changes in cognitive performance. Repeated measures analysis of variance indicated that One-Touch Stockings of Cambridge (OTS) performance was not affected by a significant reduction in CBF during passive heat stress. More specifically, OTS accuracy measures did not change as a result of either a reduction in CBF or increasing passive heat stress. However, it was found that OTS response time indices improved with increasing passive heat stress independent of CBF changes. In conclusion, a significant reduction in CBF does not cause additional changes in performance of an executive functioning task during severe passive heat stress.

La représentation de la masculinité dans les vidéoclips de musique populaire : le code visuel et l’expression de la vulnérabilité masculine

Ce mémoire propose d’étudier les représentations de la masculinité dans les vidéoclips de musique populaire. Il consiste plus précisément en une analyse textuelle de vidéoclips suivant l’approche sémiologique. La représentation y est entendue comme un processus d’attribution de sens, agissant dans la construction sociale de la masculinité. Selon une méthode qualitative, il est premièrement question de cerner et, ultérieurement, explorer les principaux schémas de la masculinité dans un corpus de 29 vidéoclips sélectionné auprès de la chaîne québécoise Musique Plus. L’observation des codes visuels est centrale à cette entreprise, l’articulation de ces derniers permettant la prolifération d’expressions du genre masculin. Partant du point de vue que des attributs, notamment la force et l’invulnérabilité, apparaissent comme typiquement masculins au sein de certaines représentations, il sera question de confronter cette idée aux trois scénarios majeurs ayant émané du corpus ; l’homme-enfant, l’introspectif et le meneur, indiquant tous trois la récente montée des représentations d’une masculinité vulnérable en musique populaire. Les constats qui résulteront de cette exploration seront finalement recadrés dans l’actuel cadre social, où le masculin et le féminin sont de moins en moins enclos dans les moules traditionnels et tendent à se redéfinir sur une nouvelle matrice.

Les différences sexuelles dans l’activation cérébrale durant l’accomplissement de la tâche de rotation mentale chez les patients atteints de schizophrénie

Dans la population générale plusieurs études ont démontré que les hommes ont, par comparaison aux femmes, de meilleures performances dans les tâches de rotation mentale à trois dimensions. A l’aide de l’imagerie par résonnance magnétique fonctionnelle, on a pu observer que l’exécution de cette tâche de rotation mentale s’accompagnait d’une activation du cortex pariétal chez l’homme mais du cortex prefrontal chez la femme. Ces différences entre les deux sexes suggèrent un fonctionnement neuronal différent dans l’appréhension des habiletés cognitives et comportementales. De fait, de nombreuses études ont signalé des différences notables entre les deux sexes quant à leur fonctionnement cérébral tant sur le plan émotionnel que de leurs habiletés visuo spatiales. La schizophrénie est un trouble grave et persistant de la santé mentale dont l’origine est certes multifactorielle et dont les facteurs de protection sont partiellement biologiques, psychologiques et sociales. Cette maladie requiert une approche thérapeutique à la fois clinique médicamenteuse, psychologique et sociale visant à une réintégration des malades dans leur communauté. Le pronostic de cette maladie varie en fonction du sexe ainsi que les atteintes neurologiques, neuropsychologiques et socioculturelles. Il est donc surprenant que l’exploration des mécanismes neuronaux sous-tendant les anomalies fonctionnelles cognitivo-comportementales n’ait point, en schizophrénie, adressé à date la fonctionnalité différente de l’homme et de la femme. Une étude pilote, réalisée dans mon laboratoire d’accueil, ayant suggéré chez le schizophrène, lors du traitement cognitif de stimuli émotionnels, une altération du dimorphisme sexuel observé dans la population normale, il devenait impératif de confirmer ces observations. Ce mémoire vise à vérifier par résonnance magnétique fonctionnelle l’activité neuronale cérébrale témoignant de la performance neuropsychologique de schizophrènes des deux sexes et de la comparer à celle de sujets témoins sains appareillés pour l’âge, la dominance hémisphérique et le statut familial socio-économique. A cette fin, nous avons enregistré, lors d’une tâche de rotation mentale à trois dimensions, les variables neurocognitives traduisant la validité des réponses ainsi que leur rapidité d’exécution. Simultanément, nous avons enregistré, par résonnance magnétique fonctionnelle, les sites d’activation cérébrale ainsi que leur degré d’activation corticale. Les données expérimentales, neurocognitives et cérébro-fonctionnelles, furent analysées en comparant les deux sexes d’une part et les deux états de santé d’autre part. Les résultats de ce mémoire ont fait l’objet de deux articles qui sont inclus. Les résultats obtenus confirment l’hypothèse d’un dimorphisme homme/femme dans la population générale ainsi que chez le schizophrène. Ces résultats appuient aussi l’hypothèse de l’altération, chez le schizophrène, du dimorphisme observé dans la population générale.

Étude multimodale de la consolidation d’habiletés motrices à ‎l’aide de l’IRMf et de l’EEG

La consolidation est le processus qui transforme une nouvelle trace mnésique labile en ‎une autre plus stable et plus solide. Une des tâches utilisées en laboratoire pour ‎l’exploration de la consolidation motrice dans ses dimensions comportementale et ‎cérébrale est la tâche d’apprentissage de séquences motrices. Celle-ci consiste à ‎reproduire une même série de mouvements des doigts, apprise de manière implicite ou ‎explicite, tout en mesurant l’amélioration dans l’exécution. Les études récentes ont ‎montré que, dans le cas de l’apprentissage explicite de cette tâche, la consolidation de la ‎trace mnésique associée à cette nouvelle habileté dépendrait du sommeil, et plus ‎particulièrement des fuseaux en sommeil lent. Et bien que deux types de fuseaux aient ‎été décrits (lents et rapides), le rôle de chacun d’eux dans la consolidation d’une ‎séquence motrice est encore mal exploré. En effet, seule une étude s’est intéressée à ce ‎rôle, montrant alors une implication des fuseaux rapides dans ce processus mnésique ‎suite à une nuit artificiellement altérée. D’autre part, les études utilisant l’imagerie ‎fonctionnelle (IRMf et PET scan) menées par différentes équipes dont la notre, ont ‎montré des changements au niveau de l’activité du système cortico-striatal suite à la ‎consolidation motrice. Cependant, aucune corrélation n’a été faite à ce jour entre ces ‎changements et les caractéristiques des fuseaux du sommeil survenant au cours de la nuit ‎suivant un apprentissage moteur. Les objectifs de cette thèse étaient donc: 1) de ‎déterminer, à travers des enregistrements polysomnographiques et des analyses ‎corrélationnelles, les caractéristiques des deux types de fuseaux (i.e. lents et rapides) ‎associées à la consolidation d’une séquence motrice suite à une nuit de sommeil non ‎altérée, et 2) d’explorer, à travers des analyses corrélationnelles entre les données ‎polysomnographiques et le signal BOLD (« Blood Oxygenated Level Dependent »), ‎acquis à l’aide de l’imagerie par résonance magnétique fonctionnelle (IRMf), ‎l’association entre les fuseaux du sommeil et les activations cérébrales suite à la ‎consolidation de la séquence motrice. Les résultats de notre première étude ont montré ‎une implication des fuseaux rapides, et non des fuseaux lents, dans la consolidation ‎d’une séquence motrice apprise de manière explicite après une nuit de sommeil non ‎altérée, corroborant ainsi les résultats des études antérieures utilisant des nuits de ‎sommeil altérées. En effet, les analyses statistiques ont mis en évidence une ‎augmentation significative de la densité des fuseaux rapides durant la nuit suivant ‎l’apprentissage moteur par comparaison à la nuit contrôle. De plus, cette augmentation ‎corrélait avec les gains spontanés de performance suivant la nuit. Par ailleurs, les ‎résultats de notre seconde étude ont mis en évidence des corrélations significatives entre ‎l’amplitude des fuseaux de la nuit expérimentale d’une part et les gains spontanés de ‎performance ainsi que les changements du signal BOLD au niveau du système cortico-‎striatal d’autre part. Nos résultats suggèrent donc un lien fonctionnel entre les fuseaux ‎du sommeil, les gains de performance ainsi que les changements neuronaux au niveau ‎du système cortico-striatal liés à la consolidation d’une séquence motrice explicite. Par ‎ailleurs, ils supportent l’implication des fuseaux rapides dans ce type de consolidation ; ‎ceux-ci aideraient à l’activation des circuits neuronaux impliqués dans ce processus ‎mnésique et amélioreraient par la même occasion la consolidation motrice liée au ‎sommeil.‎

L’influence d’un contexte virtuel sur les processus de contrôle en ligne des mouvements d’atteinte manuelle

L’objectif principal de la présente thèse était de déterminer les facteurs susceptibles d’influencer l’efficacité des processus de contrôle en ligne des mouvements d’atteinte manuelle. De nos jours, les mouvements d’atteinte manuelle réalisés dans un environnement virtuel (déplacer une souris d’ordinateur pour contrôler un curseur à l’écran, par exemple) sont devenus chose commune. Par comparaison aux mouvements réalisés en contexte naturel (appuyer sur le bouton de mise en marche de l’ordinateur), ceux réalisés en contexte virtuel imposent au système nerveux central des contraintes importantes parce que l’information visuelle et proprioceptive définissant la position de l’effecteur n’est pas parfaitement congruente. Par conséquent, la présente thèse s’articule autour des effets d’un contexte virtuel sur le contrôle des mouvements d’atteinte manuelle. Dans notre premier article, nous avons tenté de déterminer si des facteurs tels que (a) la quantité de pratique, (b) l’orientation du montage virtuel (aligné vs. non-aligné) ou encore (c) l’alternance d’un essai réalisé avec et sans la vision de l’effecteur pouvaient augmenter l’efficacité des processus de contrôle en ligne de mouvement réalisés en contexte virtuel. Ces facteurs n’ont pas influencé l’efficacité des processus de contrôle de mouvements réalisés en contexte virtuel, suggérant qu’il est difficile d’optimiser le contrôle des mouvements d’atteinte manuelle lorsque ceux-ci sont réalisés dans un contexte virtuel. L’un des résultats les plus surprenants de cette étude est que nous n’avons pas rapporté d’effet concernant l’orientation de l’écran sur la performance des participants, ce qui était en contradiction avec la littérature existante sur ce sujet. L’article 2 avait pour but de pousser plus en avant notre compréhension du contrôle du mouvement réalisé en contexte virtuel et naturel. Dans le deuxième article, nous avons mis en évidence les effets néfastes d’un contexte virtuel sur le contrôle en ligne des mouvements d’atteinte manuelle. Plus précisément, nous avons observé que l’utilisation d’un montage non-aligné (écran vertical/mouvement sur un plan horizontal) pour présenter l’information visuelle résultait en une importante diminution de la performance comparativement à un montage virtuel aligné et un montage naturel. Nous avons aussi observé une diminution de la performance lorsque les mouvements étaient réalisés dans un contexte virtuel aligné comparativement à un contexte naturel. La diminution de la performance notée dans les deux conditions virtuelles s’expliquait largement par une réduction de l’efficacité des processus de contrôle en ligne. Nous avons donc suggéré que l’utilisation d’une représentation virtuelle de la main introduisait de l’incertitude relative à sa position dans l’espace. Dans l’article 3, nous avons donc voulu déterminer l’origine de cette incertitude. Dans ce troisième article, deux hypothèses étaient à l’étude. La première suggérait que l’augmentation de l’incertitude rapportée dans le contexte virtuel de la précédente étude était due à une perte d’information visuelle relative à la configuration du bras. La seconde suggérait plutôt que l’incertitude provenait de l’information visuelle et proprioceptive qui n’est pas parfaitement congruente dans un contexte virtuel comparativement à un contexte naturel (le curseur n’est pas directement aligné avec le bout du doigt, par exemple). Les données n’ont pas supporté notre première hypothèse. Plutôt, il semble que l’incertitude soit causée par la dissociation de l’information visuelle et proprioceptive. Nous avons aussi démontré que l’information relative à la position de la main disponible sur la base de départ influence largement les processus de contrôle en ligne, même lorsque la vision de l’effecteur est disponible durant le mouvement. Ce résultat suggère que des boucles de feedback interne utilisent cette information afin de moduler le mouvement en cours d’exécution.

La compétence métaorthographique d'élèves dyslexiques francophones du primaire

L’expertise en orthographe requiert le développement de plusieurs types de connaissances et la possibilité d’y recourir volontairement, que l’on nomme compétence métaorthographique. Comme les élèves dyslexiques (ÉD) éprouvent d’importantes difficultés en orthographe, les objectifs de ce travail sont 1) de dresser un portrait de la compétence métaorthographique de 30 ÉD québécois, 2) de la comparer à celle d’élèves de même âge (n=25) ainsi qu’à celle d’élèves plus jeunes de même compétence écrite (n=24) et 3) d’établir des liens entre cette compétence métaorthographique et la compétence orthographique. Pour ce faire, trois tâches étaient demandées aux participants : 1) repérer et 2) corriger des erreurs orthographiques, puis 3) expliciter les motifs des corrections apportées. Les résultats indiquent que les ÉD obtiennent des résultats inférieurs aux deux groupes contrôles et que la compétence orthographique est liée à la compétence métaorthographique.

Neural substrates and functional connectivity associated with sleep-dependent and independent consolidation of new motor skills

La mémoire n’est pas un processus unitaire et est souvent divisée en deux catégories majeures: la mémoire déclarative (pour les faits) et procédurale (pour les habitudes et habiletés motrices). Pour perdurer, une trace mnésique doit passer par la consolidation, un processus par lequel elle devient plus robuste et moins susceptible à l’interférence. Le sommeil est connu comme jouant un rôle clé pour permettre le processus de consolidation, particulièrement pour la mémoire déclarative. Depuis plusieurs années cependant, son rôle est aussi reconnu pour la mémoire procédurale. Il est par contre intéressant de noter que ce ne sont pas tous les types de mémoire procédurale qui requiert le sommeil afin d’être consolidée. Entre autres, le sommeil semble nécessaire pour consolider un apprentissage de séquences motrices (s’apparentant à l’apprentissage du piano), mais pas un apprentissage d’adaptation visuomotrice (tel qu’apprendre à rouler à bicyclette). Parallèlement, l’apprentissage à long terme de ces deux types d’habiletés semble également sous-tendu par des circuits neuronaux distincts; c’est-à-dire un réseau cortico-striatal et cortico-cérébelleux respectivement. Toutefois, l’implication de ces réseaux dans le processus de consolidation comme tel demeure incertain. Le but de cette thèse est donc de mieux comprendre le rôle du sommeil, en contrôlant pour le simple passage du temps, dans la consolidation de ces deux types d’apprentissage, à l’aide de l’imagerie par résonnance magnétique fonctionnelle et d’analyses de connectivité cérébrale. Nos résultats comportementaux supportent l’idée que seul l’apprentissage séquentiel requiert le sommeil pour déclencher le processus de consolidation. Nous suggérons de plus que le putamen est fortement associé à ce processus. En revanche, les performances d’un apprentissage visuomoteur s’améliorent indépendamment du sommeil et sont de plus corrélées à une plus grande activation du cervelet. Finalement, en explorant l’effet du sommeil sur la connectivité cérébrale, nos résultats démontrent qu’en fait, un système cortico-striatal semble être plus intégré suite à la consolidation. C’est-à-dire que l’interaction au sein des régions du système est plus forte lorsque la consolidation a eu lieu, après une nuit de sommeil. En opposition, le simple passage du temps semble nuire à l’intégration de ce réseau cortico-striatal. En somme, nous avons pu élargir les connaissances quant au rôle du sommeil pour la mémoire procédurale, notamment en démontrant que ce ne sont pas tous les types d’apprentissages qui requièrent le sommeil pour amorcer le processus de consolidation. D’ailleurs, nous avons également démontré que cette dissociation de l’effet du sommeil est également reflétée par l’implication de deux réseaux cérébraux distincts. À savoir, un réseau cortico-striatal et un réseau cortico-cérébelleux pour la consolidation respective de l’apprentissage de séquence et d’adaptation visuomotrice. Enfin, nous suggérons que la consolidation durant le sommeil permet de protéger et favoriser une meilleure cohésion au sein du réseau cortico-striatal associé à notre tâche; un phénomène qui, s’il est retrouvé avec d’autres types d’apprentissage, pourrait être considéré comme un nouveau marqueur de la consolidation.

Étude du traitement visuel simple et complexe chez les enfants autistes

Les personnes ayant un trouble du spectre autistique (TSA) manifestent des particularités perceptives. En vision, des travaux influents chez les adultes ont mené à l’élaboration d’un modèle explicatif du fonctionnement perceptif autistique qui suggère que l’efficacité du traitement visuel varie en fonction de la complexité des réseaux neuronaux impliqués (Hypothèse spécifique à la complexité). Ainsi, lorsque plusieurs aires corticales sont recrutées pour traiter un stimulus complexe (e.g., modulations de texture; attributs de deuxième ordre), les adultes autistes démontrent une sensibilité diminuée. À l’inverse, lorsque le traitement repose principalement sur le cortex visuel primaire V1 (e.g., modulations locales de luminance; attributs de premier ordre), leur sensibilité est augmentée (matériel statique) ou intacte (matériel dynamique). Cette dissociation de performance est spécifique aux TSA et peut s’expliquer, entre autre, par une connectivité atypique au sein de leur cortex visuel. Les mécanismes neuronaux précis demeurent néanmoins méconnus. De plus, on ignore si cette signature perceptuelle est présente à l’enfance, information cruciale pour les théories perceptives de l’autisme. Le premier volet de cette thèse cherche à vérifier, à l’aide de la psychophysique et l’électrophysiologie, si la double dissociation de performance entre les attributs statiques de premier et deuxième ordre se retrouve également chez les enfants autistes d’âge scolaire. Le second volet vise à évaluer chez les enfants autistes l’intégrité des connexions visuelles descendantes impliquées dans le traitement des textures. À cet effet, une composante électrophysiologique reflétant principalement des processus de rétroaction corticale a été obtenue lors d’une tâche de ségrégation des textures. Les résultats comportementaux obtenus à l’étude 1 révèlent des seuils sensoriels similaires entre les enfants typiques et autistes à l’égard des stimuli définis par des variations de luminance et de texture. Quant aux données électrophysiologiques, il n’y a pas de différence de groupe en ce qui concerne le traitement cérébral associé aux stimuli définis par des variations de luminance. Cependant, contrairement aux enfants typiques, les enfants autistes ne démontrent pas une augmentation systématique d’activité cérébrale en réponse aux stimuli définis par des variations de texture pendant les fenêtres temporelles préférentiellement associées au traitement de deuxième ordre. Ces différences d’activation émergent après 200 ms et engagent les aires visuelles extrastriées des régions occipito-temporales et pariétales. Concernant la connectivité cérébrale, l’étude 2 indique que les connexions visuelles descendantes sont fortement asymétriques chez les enfants autistes, en défaveur de la région occipito-temporale droite. Ceci diffère des enfants typiques pour qui le signal électrophysiologique reflétant l’intégration visuo-corticale est similaire entre l’hémisphère gauche et droit du cerveau. En somme, en accord avec l’hypothèse spécifique à la complexité, la représentation corticale du traitement de deuxième ordre (texture) est atypiquement diminuée chez les enfants autistes, et un des mécanismes cérébraux impliqués est une altération des processus de rétroaction visuelle entre les aires visuelles de haut et bas niveau. En revanche, contrairement aux résultats obtenus chez les adultes, il n’y a aucun indice qui laisse suggérer la présence de mécanismes supérieurs pour le traitement de premier ordre (luminance) chez les enfants autistes.

Feuillets pour un album didactique analyse de quatre œuvres dont 3 fugues et la Fantasia Quasi Variazione

Le but de ce document est d’offrir une analyse détaillée de trois fugues et d’une pièce pour orchestre de chambre, pièces composées entre 2013 et 2014 et qui constituent le sommet d’une démarche compositionnelle visant la gradation de difficulté d’écriture et d’exécution. Leur analyse comprend : une explication détaillée de leur position dans l’album, une explication du ou des concepts qui les sous-tendent en plus d’une analyse des différentes sections de toutes les pièces.