Patients with schizophrenia are normally treated with one of several antipsychotic medications that differ from one another in the areas of the brain they affect including the dorsal striatum, a subcortical section of the forebrain, and the prefrontal cortex (PFC), located in the anterior part of the frontal lobes. Two different tests of implicit memory, the probabilistic classification learning (PCL) and the Iowa gambling task (IGT), have been shown to rely on the dorsal striatum and the PFC, respectively. Studies have previously shown that patients with schizophrenia treated with antipsychotics that affect the dorsal striatum (e.g., risperidone), have altered performance on the PCL, and those treated with antipsychotics that affect the PFC (e.g., clozapine), have altered performance on the IGT. We tested the hypothesis that patients with schizophrenia treated with olanzapine would have a poorer performance on the IGT, but not the PCL, when compared with controls. This study aimed to clarify conflicting results from prior experiments observing the effects of olanzapine on implicit memory in people with schizophrenia. We also hypothesized that performance of patients taking aripiprazole would be comparable to those taking risperidone, or an FGA; however, we were unable to recruit a sufficient amount of participants to test this hypothesis. Patients with schizophrenia, a mental disorder characterized by a breakdown in relation between thoughts, emotion, and behavior, treated with olanzapine were recruited through local psychiatric clinics or using a newspaper ad. Administration of the Brief Psychiatric Rating Scale (BPRS) and the Mini Mental State Examination (MMSE) preceded a brief questionnaire of demographic information. Participants were tested on the PCL and the IGT using a personal computer. Results revealed poorer performance on both the MMSE and BPRS for patients when compared with controls. Patients taking olanzapine were impaired in learning the PCL but not the IGT when compared with controls. Results suggest that olanzapine acts on the PFC to augment IGT performance but further studies are needed. / Thesis (Master, Neuroscience Studies) -- Queen's University, 2013-07-23 15:09:21.55

Šio darbo tikslas yra sukurti metodą, kuris teiktų galimybę kuo didesnę vartotojo sąsajos dalį apibrėžti deklaratyviai (komponentų kūrimas, įvykių klausytojų registravimas, komponentų tarpusavio sąryšių apibrėžimas ir vizualus komponentų išdėstymas languose). Darbe išanalizuotos įvairios komponentinės architektūros bei išraiškingą vartotojo sąsajos apibrėžimą įgalinantys sprendimai. Apibrėžta ir įgyvendinta architektūra leidžianti kurti deklaratyviai apibrėžiamus vartotojo sąsajos komponentus, kurie deklaruoja savo elgesį ir gali bendrauti tarpusavyje pranešimų pagalba. Rezultate buvo sukurta sistema, kuri leidžia kurti taikomąsias programas su Java Swing vartotojo sąsaja, naudojantis beveik vien tik deklaratyviais taikomosios programos dalių apibrėžimais. Sukurtos sistemos konfigūracijos galimybės leidžia sumažinti komponentų manipuliacijai skirto Java kodo poreikį. / A part of a user interface can be created using declarative means. The main goal of this paper is to maximize that portion. To do that, said means would be used to create components, register event listeners, describe relationships between components and layout them in windows. Various component-based architectures and existing solutions for declarative user interface definition were analyzed. As a result, an architecture was defined which allows user interface components to be created using a declarative approach. These components define their behavior and use messages to communicate with each other. The outcome was a system, which can create Java Swing applications using mostly declarative definitions of various parts of said applications. This system provides various configuration options that reduce the need of writing Java code for component manipulation.

The goal of this research is to realize the advantages of declarative modeling for complex physical systems that involve both advection and diffusion to varying degrees in multiple domains. This occurs, for example, in chemical devices such as fuel cells. The declarative or equation-based modeling approach can provide computational advantages and is compatible with physics-based, object-oriented representations. However, there is no generally accepted method of representing coupled advection and diffusion in a declarative modeling framework. This work develops, justifies, and implements a new upstream discretization scheme for mixed advective and diffusive flows that is well-suited for declarative models. The discretization scheme yields a gradual transition from pure diffusion to pure advection without switching events or nonlinear systems of equations. Transport equations are established in a manner that ensures the conservation of material, momentum, and energy at each interface and in each control volume. The approach is multi-dimensional and resolved down to the species level, with conservation equations for each species in each phase. The framework is applicable to solids, liquids, gases, and charged particles. Interactions among species are described as exchange processes which are diffusive if the interaction is inert or advective if it involves chemical reactions or phase change. The equations are implemented in a highly modular and reconfigurable manner using the Modelica language. A wide range of examples are demonstrated—from basic models of electrical conduction and evaporation to a comprehensive model of a proton exchange membrane fuel cell (PEMFC). Several versions of the PEMFC model are simulated under various conditions including polarization tests and a cyclical electrical load. The model is shown to describe processes such as electro-osmotic drag and liquid pore saturation. It can be scaled in complexity from 4000 to 32,000 equations, resulting in a simulation times from 0.2 to 19 s depending on the level of detail. The most complex example is a seven-layer cell with six segments along the length of the channel. The model library is thoroughly documented and made available as a free, open-source software package.

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

This thesis reports a research project that aims to improve the teaching and learning of introductory programming from a pedagogical and psychological viewpoint. Towards this aim, seven principles for designing educational programming tools for novices were identified by reviewing literature regarding novices’ difficulties and using a theoretical framework defined by the psychological theories of Constructivism and Cognitive Load Theory. This set of design principles was not only theoretically identified, but its pedagogical impact was also empirically tested. For this reason, Koios, a new programming tool, was designed and developed as a manifestation of the combined set of principles. Empirical studies were conducted by a way of a quasi-experimental design in two different Greek secondary-education institutions. The independent variable was compliance with the set of the seven principles. Students’ level of programming skills (procedural knowledge) was the dependent variable, while the quality of their mental models in the domain of introductory programming (declarative knowledge) was the potential mediator. The effect of compliance with the set of principles on students’ programming skills and mental-model quality was explored via Koios’ evaluation. Declarative- and procedural-knowledge measurements, as well as a practical test, were used to collect data, which were analysed using ANOVA and hierarchical multiple regression. The major conclusions drawn from this study are:(a) compliance with the set of design principles does not affect the development of novices’ procedural and declarative programming knowledge, (b) a programming tool that highly complies with this set facilitates novices in the application of their procedural programming knowledge during program creation and (c) programming tools, declarative and procedural knowledge are independent components in learning to program. However, it was also concluded that the two knowledge types and a programming tool that highly complies with the set contribute significantly to novices’ programming performance. This study contributes to knowledge by theoretically identifying and empirically testing a set of design principles for educational programming software, and by producing and scientifically evaluating a programming tool as an embodiment of this set. Through this evaluation, the suggestion of Koios as a practically useful programming tool for novices seems to be well supported.

Cette thèse s'inscrit dans le cadre d'un projet pluridisciplinaire, le projet DRAMA, qui consiste à générer des scènes virtuelles 3D à partir des descriptions contenues dans les textes théâtraux. L'un des objectifs de ce projet consiste à simplifier au maximum la tâche des utilisateurs finaux en leur offrant un outil simple, rapide, et efficace. Ainsi, la technique adoptée dans cette étude est axée sur la modélisation déclarative d'environnements virtuels qui s'appuie sur trois phases (description, génération et prise de connaissances). La phase de description permet au concepteur de décrire l'environnement à partir d'un ensemble de propriétés, interprétées en un ensemble de contraintes destinées à un système de génération qui produit un ou plusieurs environnements virtuels solutions.Dans le cadre de ce projet DRAMA, des nouvelles méthodes de balisage ont été proposées afin de détecter les éléments essentiels pour la création d'une pièce théâtrale, notamment les informations sur les placements d'objets. Par ailleurs, les utilisateurs peuvent, aussi, lancer des requêtes au niveau du texte à partir de ces balises. Les propriétés sur les placements seront traduites en contraintes spatiales grâce aux données initialement stockées dans une base de connaissance qui utilise le langage XML. Une technique adoptant la méthode des métaheuristiques est ensuite utilisée pour la résolution des contraintes de placements obtenues précédemment. La gestion des propriétés physiques des objets (collision, gravité, friction) a été aussi gérée à partir d'un moteur physique. À la fin, les scènes solutions finales seront proposées à l'utilisateur, en utilisant un moteur de rendu 3D. / This thesis is part of a multidisciplinary project, the DRAMA project, which attempts to generate 3D virtual scenes from the descriptions which are obtained from theatrical text. This project aims to simplify, as soon as possible, the tasks of the end-users by providing simple, fast, and effective tools. Thus, the technique used in this study is focused on the declarative modeling of virtual environments that is based on three phases (description, generation and management of knowledge). The description phase allows the designer to describe the environment from a set of properties, interpreted as a set of constraints for a generation system which produces one or several virtual environments solutions. This project, new tagging methods have been proposed to detect essential for the creation of scene, including information on the placement of objects. In addition, users can also run queries in the text from these tags. Placement properties are translated into spatial constraints with the data originally stored in a knowledge base that uses XML. A technique adopting the method of metaheuristics is then used for solving constraints. The object physical properties (collision, gravity, friction) were also managed from a physics engine. At the end, the finals scenes solutions were be proposed to the user, using a 3D rendering engine.

Für eine konsistente Rechtevergabe in betrieblichen Anwendungssystemen ist die Einbeziehung umfassender intra- und interorganisationeller Strukturen unabdingbar. Die Kernproblematik aktueller Ansätze beruht auf der inkonsistenten Zuweisung von Aufgabenträgern bei der Rechtevergabe. Die Problematik fällt speziell bei aufbauorganisatorischen Änderungen, wie der Einstellung, der Versetzung und dem Ausscheiden von Aufgabenträgern in Unternehmen, ins Gewicht. Das Resultat der inkonsistenten Rechtevergabe ist die Verletzung von (Sicherheits-)Richtlinien in den Unternehmen. Der Neuheitswert der Arbeit basiert vorrangig auf der Entwicklung eines aufbauorganisatorischen Metamodells und einer korrespondierenden deklarativen Anfragesprache. Diese Komposition ermöglicht die konsistente Rechtevergabe und damit einhergehend die Einhaltung der (Sicherheits-)Richtlinien in den betrieblichen Anwendungssystemen. Des Weiteren wird der Wartungsaufwand in den betrieblichen Anwendungssystemen bei den erwähnten aufbauorganisatorischen Änderungen reduziert.

Process mining aims at discovering processes by extracting knowledge from event logs. Such knowledge may refer to different business process perspectives. The organisational perspective deals, among other things, with the assignment of human resources to process activities. Information about the resources that are involved in process activities can be mined from event logs in order to discover resource assignment conditions, which is valuable for process analysis and redesign. Prior process mining approaches in this context present one of the following issues: (i) they are limited to discovering a restricted set of resource assignment conditions; (ii) they do not aim at providing efficient solutions; or (iii) the discovered process models are difficult to read due to the number of assignment conditions included. In this paper we address these problems and develop an efficient and effective process mining framework that provides extensive support for the discovery of patterns related to resource assignment. The framework is validated in terms of performance and applicability.

In this dissertation I provide an account of the distribution of Korean clause-typing markers from the perspective of a formal typological model, the Universal Spine Hypothesis (Wiltschko, 2014, 2017). Although Korean clause-typing markers have both syntactic properties (expressing force/mood, Chomsky 2000, 2001) and pragmatic properties (expressing speech styles, Sohn 1999), my investigation focuses on the morphosyntactic properties of clause-typing markers in single-layered and double-layered CPs. I detail their ability to transmit clause type, their compatibility with TAM elements, and their incompatibility with subordinators and speech act elements. My central claim is that, through an association with the linking spine (i.e., CP in generative grammar), clause-typing markers, including ta and e, construct Korean language-specific categories. Clause-typing markers interact with a syntactic domain encoding the common ground of speech participants, the grounding spine. My dissertation has two major findings. First, the morphophonological realization of C is obligatory in both finite and non-finite clauses. I therefore propose a Clause Complementation Parameter (CCP)—all clauses must have a complementizer, and a C must have a correspondent PF realization. This accounts for the expletive-like dummy complementizers e and ci which can fill the head of the three basic clause types. Second, functional elements selecting clause-typing markers support the existence of syntactic projections above the traditional CP. For instance, iterative ko and hearsay y in reiterated and hearsay utterances, respectively, must be associated with the syntactic domain above CP. I argue that along with polite yo and intonation, they construct Korean language-specific categories through their association with the three universal categorizers k: linking, k: grounding, and k: responding. This is formulated as [RespP [GroundP [LinkingP [AnchoringP …-ssPAST] -taDECL] -yHEARSAY] (-yoPOLITE) -↑]. Investigations of the distributions of periphrastic irrealis clause-typing markers and multifunctional clause-typing markers contribute to our understanding of the multifaceted nature of category C: the periphrastic irrealis markers show that C with T can restrict the person feature on the subject. The interpretations of multifunctional markers in different morphosyntactic contexts show that their properties emerge in two ways: through interaction with local elements in the domain or by virtue of their association with hierarchically distinct domains. Assuming the Universal Spine Hypothesis, I have accounted for the morphosyntactic properties of Korean clause-typing markers by proposing language-specific categories considering the functional layers. This dissertation offers a more complete account of Korean grammar but also will provide an explanation for cross-linguistic differences in encoding of clause-typing—Units of Languages change how C appears. / Graduate

Existem crescentes evidências sobre a contribuição da liberação de noradrenalina (NA) central na consolidação das memórias. Teoricamente, o Núcleo do Trato Solitário (NTS) recebe informações e diversos estímulos periféricos, que são então projetados ao Núcleo Paragigantocelular (PGi). Este, por sua vez, utiliza neurotransmissores, predominantemente excitatórios, para influenciar a ativação do Locus Coeruleus (LC). Então, o LC envia projeções noradrenérgicas ao hipocampo e à amígdala, influenciando os processos mnemônicos. Aqui nós demonstramos que a inibição pelo muscimol do NTS, PGi ou LC até 3 horas após o treino na tarefa de reconhecimento de objetos (RO) impede a consolidação da memória medida 24 h após o treino. Adicionalmente, a infusão de timolol, um antagonista de receptores β-adrenérgicos, na região CA1 do hipocampo também impede a consolidação deste tipo de memória. A infusão de NA na região CA1 do hipocampo não altera a retenção da memória, mas, reverte o prejuízo causado pela inibição do NTS, PGi ou LC. A infusão de NMDA no LC após a inibição do NTS ou PGi também reverte essa amnésia. Concomitantemente, verificamos que a inibição NTS, PGi ou LC bloqueia o aumento da expressão do fator neurotrófico derivado do cérebro (BDNF, do inglês brain-derived neurotrophic factor) que ocorre 120 min após o treino na tarefa de reconhecimento de objetos na região CA1 do hipocampo. Também a infusão de NA na região CA1 do hipocampo após a inibição do NTS, PGi ou LC ou de NMDA no LC após a inibição do NTS ou PGi promovem novamente o aumento do BDNF120 min após o treino no RO. Com isso conclui-se que a ativação da via NTS-PGi-LC-Hipocampo é necessária para que ocorra consolidação da memória de RO, na qual desempenha um papel o BDNF hipocampal. / There is evidence of the contribution of brain noradrenaline release (NA) to memory consolidation. The Nucleus of the Solitary Tract (NTS) receives information originated by peripheral stimuli and projects to the Paragigantocellularis Nucleus (PGi), which influences the Locus Coeruleus (LC) through excitatory neurotransmitters. The LC sends noradrenergic projections to the hippocampus and amygdala, influencing the memory processes. Here we show that inhibition by muscimol of NTS, PGi or LC up to 3 h after object recognition training impairs the consolidation of the memory measured 24 h later. Additionally, the infusion of timolol in the CA1 region of hippocampus also inhibits consolidation of this type of memory. The infusion of NA into the CA1 region of hippocampus does not alter memory consolidation of this task, but reverts the deleterious effect of NTS, PGi or LC inhibition. The infusion of NMDA in LC after inhibition of NTS or PGi also reverts the amnesia. Concomitantly, the inhibition of NTS, PGi or LC blocks the increase of brain-derived neurotrophic factor (BDNF) expression in CA1 that occurs 120 min after training in the object recognition task. Further, the infusion of NA in CA1 after inhibition of NTS, PGi or LC; or of NMDA in LC after inhibition of NTS or PGi promotes the BDNF increase seen 120 min after object recognition training. Thus, it is concluded that the activation of NTSPGi- LC-Hippocampus pathway is necessary for consolidation of the object recognition memory, and hippocampal BDNF is involved in this process.