Neo-Piagetian Theory and the novice programmer

This PhD project studied the genetic epistemology of novice programmers, and provides empirical evidence that the development of programming skills can be described using the neo-Piagetian cognitive development framework. The thesis identifies the manifestations of each of the early neo-Piagetian stages of development in the programming domain – that is: sensorimotor, preoperational and concrete operational. This research informs not only tertiary pedagogy, but teaching and learning of computer programming in any setting. It will enable educators to (a) identify the developmental stage of their students, (b) provide stage-appropriate learning resources and (c) assist students in transitioning to the next more mature stage of reasoning.

The link between logic, mathematics and imagination: evidence from children with developmental dyscalculia and mathematically gifted children

This study examined performance on transitive inference problems in children with developmental dyscalculia (DD), typically developing controls matched on IQ, working memory and reading skills, and in children with outstanding mathematical abilities. Whereas mainstream approaches currently consider DD as a domain-specific deficit, we hypothesized that the development of mathematical skills is closely related to the development of logical abilities, a domain-general skill. In particular, we expected a close link between mathematical skills and the ability to reason independently of one's beliefs. Our results showed that this was indeed the case, with children with DD performing more poorly than controls, and high maths ability children showing outstanding skills in logical reasoning about belief-laden problems. Nevertheless, all groups performed poorly on structurally equivalent problems with belief-neutral content. This is in line with suggestions that abstract reasoning skills (i.e. the ability to reason about content without real-life referents) develops later than the ability to reason about belief-inconsistent fantasy content.A video abstract of this article can be viewed at http://www.youtube.com/watch?v=90DWY3O4xx8.

Capacidade para o trabalho e função executiva

O presente trabalho pretende caracterizar a associação existente entre a função cognitiva executiva e a capacidade para o trabalho em profissionais de saúde (médicos e enfermeiros) e profissionais de educação (professores). A função cognitiva executiva é definida como uma série de processos cognitivos de ordem superior (capacidade de planeamento, raciocínio abstrato, flexibilidade cognitiva e resolução de problemas) determinantes no controlo e coordenação de operações cognitivas e fundamentais na organização e monitorização do comportamento humano. A integridade destas funções, são determinantes para a realização adequada de tarefas da vida diária, incluindo o contexto organizacional. A capacidade para trabalho é um forte preditor do desempenho laboral, sendo definida como a autoavaliação que o trabalhador faz do seu bem-estar no presente e no futuro próximo e da capacidade para assegurar o seu trabalho tendo em conta as exigências do mesmo, a saúde e os recursos psicológicos e cognitivos disponíveis. Assim, com o objetivo de compreender a relação entre estas duas variáveis em médicos, enfermeiros e professores, no presente trabalho utilizamos uma amostra composta por 218 sujeitos, sendo que 93 são enfermeiros, 100 professores (ensino secundário) e 25 médicos. Para avaliar as funções cognitivas executivas, nomeadamente a flexibilidade cognitiva e raciocínio abstrato não-verbal utilizamos o Halstead Category Test (HCT). Para avaliar a capacidade de planeamento e resolução de problemas, utilizamos a Torre de Hanoi (TH). Para determinamos o valor da capacidade para o trabalho, utilizamos o índice de capacidade para o trabalho. No sentido de controlar variáveis que poderiam influenciar esta relação, utilizamos Questionário Geral de Saúde (GHQ-12), escala de ansiedade-traço, Questionário de Personalidade de Eysenck, escala de satisfação no trabalho e uma questão dicotómica (Sim/Não) sobre o trabalho por turnos. Pela análise dos resultados, verificamos que alterações nas funções cognitivas executivas poderão prejudicar a capacidade para o trabalho. No entanto, verificamos que variáveis como a idade, trabalho por turnos, personalidade e saúde mental poderão exercer um efeito moderador desta relação. Por fim, em comparação com médicos, enfermeiros e professores, verificamos que os médicos e enfermeiros apresentam um maior prejuízo nas funções cognitivas executivas que os professores, mas não na capacidade para o trabalho. Como conclusão, o nosso trabalho contribuiu para uma melhor compreensão da ação das funções executivas em contexto laboral (em particular na área da saúde e educação), contribuindo para o desenvolvimento e implementação de programas de promoção de saúde laboral em contexto organizacional.

Estudio de caso: perfil neuropsicológico de joven con Síndrome de Williams-Beuren

El síndrome de Williams-Beuren (SWB) es definido como una condición genética cuyo patrón cognitivo se caracteriza principalmente por la presencia de retardo mental leve a moderado, un bajo desempeño en tareas relacionadas con las funciones viso-espaciales y un alto rendimiento en funciones del lenguaje. A pesar de lo anterior, hoy en día no existe un acuerdo general en cuanto al perfil neuropsicológico específico de esta condición en vista del carácter heterogéneo de los cuadros clínicos estudiados en previas investigaciones. El objetivo del presente estudio es realizar una evaluación neuropsicológica a una joven diagnosticada con SWB, para explorar el perfil neuropsicológico y tener una mejor comprensión de las manifestaciones cognitivas de esta condición. Lo anterior teniendo en cuenta los nuevos paradigmas de la discapacidad intelectual, describiendo tanto las debilidades como las fortalezas de las personas con esta condición. Los resultados obtenidos a partir de la evaluación neuropsicológica consistieron fundamentalmente en la conservación de procesos atencionales de tipo auditivo, memoria declarativa explícita anterógrada en rango normal, lenguaje del polo receptivo y motor conservado, un coeficiente intelectual (CI) en 72, ubicado en rango inferior, denotando una inteligencia límite, alteración en habilidades viso-espaciales, limitaciones en funciones ejecutivas, principalmente en planeación y razonamiento abstracto. Lo anterior confirmaría algunos de los aspectos cognitivos señalados en estudios precedentes.

Conflito de interesses nas companhias de capital aberto e o novo padrão de transparência do IFRS : um estudo empírico dos mecanismos voluntários dedicados às transações entre partes relacionadas

O trabalho está inserido na grande área do direito societário, especificamente sob a temática dos conflitos de interesses nas deliberações de S.A.´s listadas em Bolsa de Valores. O objetivo assumido foi o de percorrer criticamente as propostas teóricas empregadas na interpretação do problema jurídico resultante destes conflitos, para depois realizar um estudo empírico sobre uma modalidade negocial potencialmente conflitiva, as transações entre partes relacionadas. Após o estudo da lógica norteadora das propostas doutrinárias, sustenta-se a hipótese de que as explicações da literatura jurídica brasileira variam na razão do conceito aberto de “interesse da companhia”, articulado de acordo com a posição da parte representada pelo advogado. Arbitrariamente concebidas como formais ou substancias, tais interpretações cuidam do momento de violação do interesse da companhia, respectivamente, visando proibir ou garantir o exercício de voto do interessado por meio de entendimentos convenientes ao tempo do litígio. Diante deste comprometimento do raciocínio abstrato com a prática da advocacia, sugere-se a abordagem do tema por outra proposta teórica, vinculada a uma noção específica do Direito. Compreendido como um provedor de informações relevantes aos interessados nas operações das empresas, ele atua na regulação dos dados exigidos destas sociedades e na confecção das informações produzidas individualmente por elas. Tal transparência, junto das regras que vinculam o mercado, forma o conteúdo conceitual da expressão governança corporativa, desenvolvido em torno da proposta chamada de “sistema de governança corporativa”. A interpretação das informações dos diversos possíveis sistemas deve oferecer ao tomador de decisão a chance de conhecer os seus poderes, prerrogativas, incentivos, competências, limitações e proibições, de modo a avaliar se a sua escolha é uma boa prática de governo da empresa, segundo o sistema no qual ela opera. Aos terceiros interessados, deve servir para verificar se o processo decisório segue o esperado pelo ambiente negocial que o sistema de governança delineia. No tema do conflito de interesses, a sugestão de pensar o problema por esta noção do Direito visa respaldar a criação e divulgação de regras próprias pelas empresas listadas, as quais alimentem o aludido sistema de governança e sirvam à tomada de decisões que orientem o alinhamento dos objetivos dissonantes envolvidos na companhia, sem que haja a necessidade de recorrer ao arbitramento externo. O trabalho empírico se debruça então nos estudos destas regras particulares aplicáveis às transações entre partes relacionadas, tais mecanismos são colhidos nos formulários de referência das 100 companhias mais líquidas da BM&FBovespa no ano de 2011. Os resultados mostram que apenas 6% das empresas possuem procedimentos para identificar as relações conflituosas decorrentes da modalidade negocial estudada e 29% para tratar o problema. Os números relativos às sociedades que estabelecem regras para a administração dos conflitos de interesses nas deliberações de assembleia geral e conselho de administração também são baixos, respectivamente, 7% e 13% apresentam mecanismos de identificação, 4% e 11% para o seu tratamento. A baixa frequência mostrada pelos resultados à luz da proposta teórica construída identifica uma oportunidade, qual seja, a de pensar a mitigação do problema por esta via particular e extrajudicial.

Comportamento, fluência verbal e ritmos circadianos em indivíduos com o Transtorno do Espectro do Autismo (TEA) antes e após o uso de melatonina

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Emotional stability promotes intelligence

Emotional stability promotes intelligence In the research field of the relationship between intelligence and personality factors, one of the most consistent findings is that intelligence is positively correlated with emotional stability. However, few studies have considered this relationship in children, and very few have differentiated between types of intelligence as well as underlying differences in working memory capacity when explaining the relationship between intelligence scores and emotional stability. In this study, the level of emotional stability and performance in a proxy for fluid and crystallized intelligence as well as in two working memory tasks was assessed in a sample of 397 primary school children. Results reveal that emotional stability is significantly positively related to vocabulary (crystallized intelligence), moderated by high working memory performance, but unrelated to abstract reasoning (fluid intelligence). This was interpreted as indicating that the positive relationship between intelligence and emotional stability is mainly due to learning advantages starting in early age, due to high working memory performance, rather than to higher general intelligence. This bears the important implication that emotionally labile children (high level of neuroticism) should be supported to regulate their negative emotions, intrusive thoughts and anxiety as early as possible to eliminate progressive learning disadvantages. One approach to do so is by specific working memory training targeting the improvement of emotional regulation skills.

Caracterización y simulación de arborizaciones dentríticas con redes bayesianas incluyendo variables angulares

El funcionamiento interno del cerebro es todavía hoy en día un misterio, siendo su comprensión uno de los principales desafíos a los que se enfrenta la ciencia moderna. El córtex cerebral es el área del cerebro donde tienen lugar los procesos cerebrales de más alto nivel, cómo la imaginación, el juicio o el pensamiento abstracto. Las neuronas piramidales, un tipo específico de neurona, suponen cerca del 80% de los cerca de los 10.000 millones de que componen el córtex cerebral, haciendo de ellas un objetivo principal en el estudio del funcionamiento del cerebro. La morfología neuronal, y más específicamente la morfología dendrítica, determina cómo estas procesan la información y los patrones de conexión entre neuronas, siendo los modelos computacionales herramientas imprescindibles para el estudio de su rol en el funcionamiento del cerebro. En este trabajo hemos creado un modelo computacional, con más de 50 variables relativas a la morfología dendrítica, capaz de simular el crecimiento de arborizaciones dendríticas basales completas a partir de reconstrucciones de neuronas piramidales reales, abarcando desde el número de dendritas hasta el crecimiento los los árboles dendríticos. A diferencia de los trabajos anteriores, nuestro modelo basado en redes Bayesianas contempla la arborización dendrítica en su conjunto, teniendo en cuenta las interacciones entre dendritas y detectando de forma automática las relaciones entre las variables morfológicas que caracterizan la arborización. Además, el análisis de las redes Bayesianas puede ayudar a identificar relaciones hasta ahora desconocidas entre variables morfológicas. Motivado por el estudio de la orientación de las dendritas basales, en este trabajo se introduce una regularización L1 generalizada, aplicada al aprendizaje de la distribución von Mises multivariante, una de las principales distribuciones de probabilidad direccional multivariante. También se propone una distancia circular multivariante que puede utilizarse para estimar la divergencia de Kullback-Leibler entre dos muestras de datos circulares. Comparamos los modelos con y sin regularizaci ón en el estudio de la orientación de la dendritas basales en neuronas humanas, comprobando que, en general, el modelo regularizado obtiene mejores resultados. El muestreo, ajuste y representación de la distribución von Mises multivariante se implementa en un nuevo paquete de R denominado mvCircular.---ABSTRACT---The inner workings of the brain are, as of today, a mystery. To understand the brain is one of the main challenges faced by current science. The cerebral cortex is the region of the brain where all superior brain processes, like imagination, judge and abstract reasoning take place. Pyramidal neurons, a specific type of neurons, constitute approximately the 80% of the more than 10.000 million neurons that compound the cerebral cortex. It makes the study of the pyramidal neurons crucial in order to understand how the brain works. Neuron morphology, and specifically the dendritic morphology, determines how the information is processed in the neurons, as well as the connection patterns among neurons. Computational models are one of the main tools for studying dendritic morphology and its role in the brain function. We have built a computational model that contains more than 50 morphological variables of the dendritic arborizations. This model is able to simulate the growth of complete dendritic arborizations from real neuron reconstructions, starting with the number of basal dendrites, and ending modeling the growth of dendritic trees. One of the main diferences between our approach, mainly based on the use of Bayesian networks, and other models in the state of the art is that we model the whole dendritic arborization instead of focusing on individual trees, which makes us able to take into account the interactions between dendrites and to automatically detect relationships between the morphologic variables that characterize the arborization. Moreover, the posterior analysis of the relationships in the model can help to identify new relations between morphological variables. Motivated by the study of the basal dendrites orientation, a generalized L1 regularization applied to the multivariate von Mises distribution, one of the most used distributions in multivariate directional statistics, is also introduced in this work. We also propose a circular multivariate distance that can be used to estimate the Kullback-Leibler divergence between two circular data samples. We compare the regularized and unregularized models on basal dendrites orientation of human neurons and prove that regularized model achieves better results than non regularized von Mises model. Sampling, fitting and plotting functions for the multivariate von Mises are implemented in a new R packaged called mvCircular.

A work domain analysis framework for modelling intensive care unit patients

Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One pioneering effort suggested that clinical abstraction is not based on means-ends relations, whereas another effort downplayed the role of bio-regulatory mechanisms. In this paper it is argued that bio-regulatory mechanisms that govern physiological behaviour must be part of WDA models of patients as the systems at the core of intensive care units. Furthermore it is argued that because the inner functioning of patients is not completely known, clinical abstraction is based on hypothetico-deductive abstract reasoning. This paper presents an alternative modelling framework that conforms to the broader aspirations of WDA. A modified version of the viable systems model is used to represent the patient system as a nested dissipative structure while aspects of the recognition primed decision model are used to represent the information resources available to clinicians in ways that support lsquoif...thenrsquo conceptual relations. These two frameworks come together to form the recursive diagnostic framework, which may provide a more appropriate foundation for information display design in the intensive care unit.

A framework for reasoning about inherent parallelism in modern object-oriented languages

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

Manifestations of preoperational reasoning on similar programming tasks

In this research paper, we study a simple programming problem that only requires knowledge of variables and assignment statements, and yet we found that some early novice programmers had difficulty solving the problem. We also present data from think aloud studies which demonstrate the nature of those difficulties. We interpret our data within a neo-Piagetian framework which describes cognitive developmental stages through which students pass as they learn to program. We describe in detail think aloud sessions with novices who reason at the neo-Piagetian preoperational level. Those students exhibit two problems. First, they focus on very small parts of the code and lose sight of the "big picture". Second, they are prone to focus on superficial aspects of the task that are not functionally central to the solution. It is not until the transition into the concrete operational stage that decentration of focus occurs, and they have the cognitive ability to reason about abstract quantities that are conserved, and are equipped to adapt skills to closely related tasks. Our results, and the neo-Piagetian framework on which they are based, suggest that changes are necessary in teaching practice to better support novices who have not reached the concrete operational stage.

Reasoning about natural language phrases for semantic goal driven exploration

This paper presents a symbolic navigation system that uses spatial language descriptions to inform goal-directed exploration in unfamiliar office environments. An abstract map is created from a collection of natural language phrases describing the spatial layout of the environment. The spatial representation in the abstract map is controlled by a constraint based interpretation of each natural language phrase. In goal-directed exploration of an unseen office environment, the robot links the information in the abstract map to observed symbolic information and its grounded world representation. This paper demonstrates the ability of the system, in both simulated and real-world trials, to efficiently find target rooms in environments that it has never been to previously. In three unexplored environments, it is shown that on average the system travels only 8.42% further than the optimal path when using only natural language phrases to complete navigation tasks.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Metacognitive experience and transfer of logical reasoning

The experiments examine the influence of metacognitive experience on the transfer of logical processes in a problem solving setting. Subjects were presented with two versions of Wason's (1966) selection task. Although they were able to perform successfully on the concrete tasks (following a minimal explanation of the correct solution on an initial trial), the majority were not able to transfer a successful method to the abstract tasks. Verbalization during, or following, the concrete tasks produced substantial transfer effects however. It is suggested that verbalization may lead to an increased awareness of past behaviour, particularly of those aspects necessary for successful solution.

Exploring the validity and reliability of a questionnaire for evaluating virtual patient design with a special emphasis on fostering clinical reasoning

Background: The design of Virtual Patients (VPs) is essential. So far there are no validated evaluation instruments for VP design published. Summary of work: We examined three sources of validity evidence of an instrument to be filled out by students aimed at measuring the quality of VPs with a special emphasis on fostering clinical reasoning: (1) Content was examined based on theory of clinical reasoning and an international VP expert team. (2) Response process was explored in think aloud pilot studies with students and content analysis of free text questions accompanying each item of the instrument. (3) Internal structure was assessed by confirmatory factor analysis (CFA) using 2547 student evaluations and reliability was examined utilizing generalizability analysis. Summary of results: Content analysis was supported by theory underlying Gruppen and Frohna’s clinical reasoning model on which the instrument is based and an international VP expert team. The pilot study and analysis of free text comments supported the validity of the instrument. The CFA indicated that a three factor model comprising 6 items showed a good fit with the data. Alpha coefficients per factor were 0,74 - 0,82. The findings of the generalizability studies indicated that 40-200 student responses are needed in order to obtain reliable data on one VP. Conclusions: The described instrument has the potential to provide faculty with reliable and valid information about VP design. Take-home messages: We present a short instrument which can be of help in evaluating the design of VPs.