Prática de ensino supervisionado no 1.º e 2.º ciclo do ensino básico: o contributo do GeoGebra para a aprendizagem da geometria

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1º e 2º Ciclo do Ensino Básico

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

A visão e a voz do diretor: a construção do seu projeto de Intervenção

Dissertação apresentada para obtenção do grau de Mestre em Ciências da Educação - Área de especialização em Administração Escolar

New evidence of shared dinosaur across upper jurassic proto-North Atlantic: stegosaurus from Portugal

Naturwissenschaften 94,367–374

Neural correlations during brain activation in arithmetical tasks – an approach using electroencephalographic data

Dissertação apresentada na Faculdade de Ciências e Tecnologiea da Universidade Nova de Lisboa, para obtenção do Grau de Mestre em Engenharia Biomédica

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Neuropsychological Abnormalities in Children with the Panayiotopoulos Syndrome Point to Parietal Lobe Dysfunction

Panayiotopoulos syndrome (PS) is a common epilepsy syndrome associated with rare clinical seizures and unknown localization of the epileptogenic area. Despite findings of normal development in patientswith PS, recent neuropsychological studies point to subtle and diverse cognitive impairments. No well-outlined hypothesis about the localization of the brain dysfunction responsible for these impairments has been proposed.We further explored the cognitive dysfunctions in PS andmade inferences on the most likely anatomical localization of brain impairment. A group of 19 patients (aged 6–12) with PS was rated according to spike activity and lateralization. The patients were submitted to a neuropsychological evaluation to assess general intelligence, memory, language, visual–perceptual abilities, attention, and executive functions. Using 35-channel scalp EEG recordings, the N170 face-evoked event-related potential (ERP)was obtained to assess the functional integrity of the ventral pathway. All patientswith PS showed normal IQ but subtle and consistent neurocognitive impairments. Namely, we found abnormalities in the copy task of the Rey–Osterrieth Complex Figure and in theNarrative Memory Test. There was no correlation between neuropsychological impairments with spike activity and hemispheric spike lateralization. The N170 ERP was normal in all patients except for one. Our neuropsychological findings demonstrate impairments in visual–perceptual abilities and in semantic processing. These findings, paired with the absence of occipital lobe dysfunction in all neuropsychological studies of PS performed to this date, support the existence of parietal lobe dysfunction.

The influence of a fun packaging on children’s sensory evaluation of a healthy product

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Use of Poisson spatiotemporal regression models for the Brazilian Amazon Forest: malaria count data

INTRODUCTION: Malaria is a serious problem in the Brazilian Amazon region, and the detection of possible risk factors could be of great interest for public health authorities. The objective of this article was to investigate the association between environmental variables and the yearly registers of malaria in the Amazon region using Bayesian spatiotemporal methods. METHODS: We used Poisson spatiotemporal regression models to analyze the Brazilian Amazon forest malaria count for the period from 1999 to 2008. In this study, we included some covariates that could be important in the yearly prediction of malaria, such as deforestation rate. We obtained the inferences using a Bayesian approach and Markov Chain Monte Carlo (MCMC) methods to simulate samples for the joint posterior distribution of interest. The discrimination of different models was also discussed. RESULTS: The model proposed here suggests that deforestation rate, the number of inhabitants per km², and the human development index (HDI) are important in the prediction of malaria cases. CONCLUSIONS: It is possible to conclude that human development, population growth, deforestation, and their associated ecological alterations are conducive to increasing malaria risk. We conclude that the use of Poisson regression models that capture the spatial and temporal effects under the Bayesian paradigm is a good strategy for modeling malaria counts.

Contraexemplos e raciocínio dedutivo

Tese de Doutoramento apresentada ao ISPA - Instituto Universitário

Genes that encodes NAGT, MIF1 and MIF2 are not virulence factors for kala-azar caused by Leishmania infantum

IntroductionKala-azar is a disease resulting from infection by Leishmania donovani and Leishmania infantum. Most patients with the disease exhibit prolonged fever, wasting, anemia and hepatosplenomegaly without complications. However, some patients develop severe disease with hemorrhagic manifestations, bacterial infections, jaundice, and edema dyspnea, among other symptoms, followed by death. Among the parasite molecules that might influence the disease severity are the macrophage migration inhibitory factor-like proteins (MIF1 and MIF2) and N-acetylglucosamine-1-phosphotransferase (NAGT), which act in the first step of protein N-glycosylation. This study aimed to determine whether MIF1, MIF2 and NAGT are virulence factors for severe kala-azar.MethodsTo determine the parasite genotype in kala-azar patients from Northeastern Brazil, we sequenced the NAGT genes of L. infantum from 68 patients as well as the MIF1 and MIF2 genes from 76 different subjects with diverse clinical manifestations. After polymerase chain reaction (PCR), the fragments were sequenced, followed by polymorphism identification.ResultsThe nucleotide sequencing of the 144 amplicons revealed the absence of genetic variability of the NAGT, MIF1 and MIF2 genes between the isolates. The conservation of these genes suggests that the clinical variability of kala-azar does not depend upon these genes. Additionally, this conservation suggests that these genes may be critical for parasite survival.ConclusionsNAGT, MIF1 and MIF2 do not alter the severity of kala-azar. NAGT, MIF1 and MIF2 are highly conserved among different isolates of identical species and exhibit potential for use in phylogenetic inferences or molecular diagnosis.

Guidelines on how to assess the validity of results presented in subgroup analysis of clinical trials

In observational studies, identification of associations within particular subgroups is the usual method of investigation. As an exploratory method, it is the bread and butter of epidemiological research. Nearly everything that has been learned in epidemiology has been derived from the analysis of subgroups. In a randomized clinical trial, the entire purpose is the comparison of the test subjects and the controls, and when there is particular interest in the results of treatment in a certain section of trial participants, a subgroup analysis is performed. These subgroups are examined to see if they are liable to a greater benefit or risk from treatment. Thus, analyzing patient subsets is a natural part of the process of improving therapeutic knowledge through clinical trials. Nevertheless, the reliability of subgroup analysis can often be poor because of problems of multiplicity and limitations in the numbers of patients studied. The naive interpretation of the results of such examinations is a cause of great confusion in the therapeutic literature. We emphasize the need for readers to be aware that inferences based on comparisons between subgroups in randomized clinical trials should be approached more cautiously than those based on the main comparison. That is, subgroup analysis results derived from a sound clinical trial are not necessarily valid; one must not jump to conclusions and accept the validity of subgroup analysis results without an appropriate judgment.

A taxonomy for the flexible job shop scheduling problem

This chapter aims at developing a taxonomic framework to classify the studies on the flexible job shop scheduling problem (FJSP). The FJSP is a generalization of the classical job shop scheduling problem (JSP), which is one of the oldest NP-hard problems. Although various solution methodologies have been developed to obtain good solutions in reasonable time for FSJPs with different objective functions and constraints, no study which systematically reviews the FJSP literature has been encountered. In the proposed taxonomy, the type of study, type of problem, objective, methodology, data characteristics, and benchmarking are the main categories. In order to verify the proposed taxonomy, a variety of papers from the literature are classified. Using this classification, several inferences are drawn and gaps in the FJSP literature are specified. With the proposed taxonomy, the aim is to develop a framework for a broad view of the FJSP literature and construct a basis for future studies.

O ensino em grupo de instrumentos musicais: um estudo de caso múltiplo em Portugal e no Brasil

Tese de Doutoramento em Estudos da Criança (área de especialização em Educação Musical)

Mosaic maternal ancestry in the Great Lakes region of East Africa

The Great Lakes lie within a region of East Africa with very high human genetic diversity, home of many ethno-linguistic groups usually assumed to be the product of a small number of major dispersals. However, our knowledge of these dispersals relies primarily on the inferences of historical, linguistics and oral traditions, with attempts to match up the archaeological evidence where possible. This is an obvious area to which archaeogenetics can contribute, yet Uganda, at the heart of these developments, has not been studied for mitochondrial DNA (mtDNA) variation. Here, we compare mtDNA lineages at this putative genetic crossroads across 409 representatives of the major language groups: Bantu speakers and Eastern and Western Nilotic speakers. We show that Uganda harbours one of the highest mtDNA diversities within and between linguistic groups, with the various groups significantly differentiated from each other. Despite an inferred linguistic origin in South Sudan, the data from the two Nilotic-speaking groups point to a much more complex history, involving not only possible dispersals from Sudan and the Horn but also large-scale assimilation of autochthonous lineages within East Africa and even Uganda itself. The Eastern Nilotic group also carries signals characteristic of West-Central Africa, primarily due to Bantu influence, whereas a much stronger signal in the Western Nilotic group suggests direct West-Central African ancestry. Bantu speakers share lineages with both Nilotic groups, and also harbour East African lineages not found in Western Nilotic speakers, likely due to assimilating indigenous populations since arriving in the region ~3000 years ago.