Spatial analysis of suicide attack incidences in Kabul City

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

Jogos digitais com contos infantis - Uma proposta de brinquedo-jogo para dispositivos móveis

O desenvolvimento e proliferação de equipamentos e produtos multimédia, permitindo a combinação de som, imagem e texto despoletou a emergência de novos estímulos que se associam a sensações, novas formas de interagir, de comunicar e também de brincar e aprender. Jogar e brincar são excelentes fontes de estímulos, principalmente para as crianças, pois potenciam a evolução da lógica, do raciocínio, das associações e da capacidade de escolha. No contexto dos jogos, decorrente da evolução tecnológica, o mercado dos jogos digitais tem vindo a expandir-se consideravelmente, nomeadamente na área dos jogos educativos. Os jogos educativos baseados em contos infantis permitem um enriquecimento de experiências, de capacidades sequenciais de lógica e promovem a apetência da criança para fantasiar num mundo paralelo. No entanto, do nosso ponto de vista, o mercado dos jogos digitais ainda tem um longo caminho a percorrer para fornecer de forma equilibrada este tipo de jogos educativos. Com este trabalho abordam-se as potencialidades que os jogos educativos baseados em contos infantis podem ter no desenvolvimento de algumas competências das crianças, nomeadamente através da análise das suas vantagens e dos seus aspetos negativos. O mercado dos jogos digitais é também analisado para determinar os seus contributos e as ideias principais presentes. A componente prática deste trabalho de mestrado contempla a criação de um jogo educativo baseado em contos infantis que corresponda aos interesses das crianças entre os 3 e os 5 anos de idade, e que fomente o desenvolvimento de algumas das suas competências a nível da linguagem. Os testes feitos com o protótipo do jogo permitem aferir a recetividade por parte das crianças. A simplicidade no manuseamento da aplicação e o facto de integrar histórias do imaginário infantil consideram-se fatores positivos e motivadores à utilização do jogo “Contos Baralhados: Brinca com as Histórias”.

Relatório de estágio em Ensino do 1.º Ciclo do Ensino Básico

Relatório EPE - Relatório de estágio em Educação Pré-Escolar: O presente relatório foi realizado no âmbito da unidade curricular Prática Pedagógica Supervisionada, inserida no Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, da Escola Superior de Educação do Porto, durante o ano letivo 2013/2014, atribuindo qualificação profissional no contexto de pré-escolar. Este documento pretende descrever e analisar o percurso formativo desenvolvido pela mestranda ao longo da sua prática pedagógica supervisionada, numa perspetiva reflexiva sobre a construção dos saberes profissionais para a Educação. Este percurso formativo comprometeu uma atitude investigativa, bem como a mobilização de saberes científicos e legais por forma a articular as vertentes de teoria e prática, perspetivando uma construção integrada dos saberes. A prática pedagógica foi sustentada numa perspetiva construtivista, atribuindo um papel ativo à criança na construção das suas aprendizagens. Esta baseou-se num trabalho de equipa cooperativo, o qual se concretiza através do debate e da partilha de ideias, entre os vários intervenientes da ação, como meio para a transformação da realidade educativa. Ao longo da prática foi, ainda, atribuído um papel fundamental à observação do contexto, sendo esta essencial para a compreensão e conhecimento pleno da criança. Em suma, todo o percurso formativo no qual está englobado a prática pedagógica, levou a uma problematização das questões emergentes da prática, desenvolvendo uma atitude indagadora e reflexiva. Apesar da significante contribuição para a aquisição de competências pessoais e profissionais, o percurso formativo deve ser assumido como uma construção contínua, fundamentado num princípio da aprendizagem ao longo da vida.

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.

O contributo de Julián Marías para uma teoria da filosofia aplicada à questão da felicidade

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de doutor em filosofia

Estudo dos rácios trapézio inferior/ trapézio superior e grande dentado/ trapézio superior, em exercícios com envolvimento das articulações escapulo-torácica e gleno-umeral : recurso à electromiografia de superfície

RESUMO: Introdução: A estabilidade dinâmica relativa ao complexo articular do ombro depende de uma interacção perfeita entre músculos da coifa dos rotadores e músculos escapulares, como o binómio rotador da escápula – trapézio superior e trapézio inferior e o grande dentado. A compreensão dessas sinergias musculares em sujeitos assintomáticos permite, em última instância, o desenvolvimento de linhas orientadoras de raciocínio na abordagem clínica. Objectivo: Estudar o rácio de activação entre os músculos trapézio inferior e trapézio superior e entre grande dentado e trapézio superior, através de um conjunto de cinco exercícios aplicados a uma amostra de sujeitos assintomáticos, estabelecendo uma hierarquia entre esses rácios. Metodologia: Trata-se de um estudo descritivo, com uma amostra de 15 sujeitos saudáveis (n=9 homens; n=6 mulheres), com idades compreendidas entre os 19 e 27 anos (média=21 anos, dp=2,24), tendo sido avaliados por um sistema de electromiografia de superfície, em dois momentos de recolha diferentes. Os exercícios foram realizados em cadeia cinética aberta, sem qualquer aplicação de resistências externas. Resultados: De entre os exercícios analisados com envolvimento escapulo-torácico e gleno-umeral simultaneamente, destacaram-se com melhor rácio trapézio inferior/trapézio superior e grande dentado/trapézio superior (activação dos músculos trapézio inferior e grande dentado superior à activação do trapézio superior) os movimentos de flexão do ombro até aos 90º no plano sagital e a abdução do ombro até aos 90º no plano da escápula, considerando ambas as recolhas. Nos exercícios apenas com envolvimento escapulotorácico, destacaram-se com melhor rácio os movimentos de adução e depressão das escápulas bilateralmente com os membros superiores em repouso, seguido da abdução da escápula, com o ombro a 90º de flexão e mantendo a escápula em depressão (“murro à frente”), em ambas as recolhas. O exercício de abdução do ombro até aos 90º no plano frontal obteve sempre o pior rácio muscular, nos dois momentos de recolha. Conclusões: O presente trabalho estudou as interacções dos músculos escapulotorácicos em cinco exercícios realizados até aos 90º de elevação do membro superior,em cadeia cinética aberta e sem recurso a resistências externas. Será, eventualmente possível, enquadrar os exercícios propostos nas fases de consciencialização e associação de reaprendizagem motora. Sugerem-se futuros estudos com uso de análise cinemática. --------------------ABSTRACT: Introduction: Stability of the shoulder and scapula depend upon a perfect interaction between rotator cuff of the shoulder and scapular muscles, such as upper and lower trapezius and serratus anterior. A deeper comprehension of these synergies in healthy subjects allows, ultimately, the development of a better reasoning in the clinical approach. Goal: To study the ratios between lower trapezius/ upper trapezius and between serratus anterior/ upper trapezius in five different exercises, applied to healthy subjects, presenting a hierarchy between ratios. Methods: It’s an observational descriptive study including 15 healthy subjects (n= 9 men; n=6 women) with ages between 19 and 27 years (mean of 21 years, SD of 2,24). Surface electromyography was used in two different recording moments. All the exercises were performed in open kinetic chain, without external resistance. Results: Of the exercises studied that involved the shoulder and scapula together, the best ratios between lower trapezius/upper trapezius and serratus anterior/ upper trapezius (greater activity for lower trapezius and serratus anterior and less for upper trapezius) were found in shoulder flexion to 90º and in shoulder abduction to 90º in the plane of the scapula, in both recording moments. Considering the exercises that included only the scapula, the best ratio were found in bilateral adduction and depression of the scapula with the upper limbs resting and in abduction of the scapula, while being in depression, with the shoulder flexed at 90º, considering both recordings. Shoulder abduction to 90º in the coronal plane presented the worse ratio in both recording moments. Conclusions: This present paper studied the interaction of the scapula upward rotator muscles in five exercises performed below 90º of shoulder flexion or abduction, in open kinetic chain, with no external resistance. It may be possible to associate our exercises with the motor learning phases of association and consciousness. Future studies are suggested with kinematic analysis.

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Data fusion with computational intelligence techniques: a case study of fuzzy inference for terrain assessment

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Analysis of panoramio photo tags in order to extract land use information

In the recent past, hardly anyone could predict this course of GIS development. GIS is moving from desktop to cloud. Web 2.0 enabled people to input data into web. These data are becoming increasingly geolocated. Big amounts of data formed something that is called "Big Data". Scientists still don't know how to deal with it completely. Different Data Mining tools are used for trying to extract some useful information from this Big Data. In our study, we also deal with one part of these data - User Generated Geographic Content (UGGC). The Panoramio initiative allows people to upload photos and describe them with tags. These photos are geolocated, which means that they have exact location on the Earth's surface according to a certain spatial reference system. By using Data Mining tools, we are trying to answer if it is possible to extract land use information from Panoramio photo tags. Also, we tried to answer to what extent this information could be accurate. At the end, we compared different Data Mining methods in order to distinguish which one has the most suited performances for this kind of data, which is text. Our answers are quite encouraging. With more than 70% of accuracy, we proved that extracting land use information is possible to some extent. Also, we found Memory Based Reasoning (MBR) method the most suitable method for this kind of data in all cases.

Nota prévia à obra «Os conceitos jurídicos fundamentais aplicados na argumentação judicial» de Wesley Newcomb Hohfeld

Nota prévia à tradução, da autora, para a língua portuguesa, da obra de Wesley Newcomb Hohfeld «Os conceitos jurídicos fundamentais aplicados na argumentação judicial», publicada pela Fundação Calouste Gulbenkian em 2008. Original: «Fundamental legal conceptions as applied in judicial reasoning and other legal essays», New Haven 1923.

O direito de exoneração do acionista minoritário

This study specifically addresses the situation of minority shareholders after the transfer of control in an listed company. The various underlying interests and reasons that shareholders have for investing in a company can demonstrate shareholders’ reasoning for taking radically different positions on issues relating to the transfer of control of the referred company. This study analyses the current legal system in Portugal and in the European Union in order to assess whether, in the event of a takeover bid of a listed company where there is a transfer of control, minority shareholders have the same appraisal rights as other shareholders to sell their shares and leave the company. The study then examines the European Court of Justice decision on whether a general principle of equal treatment of minority shareholders exists upon a transfer of control (Audiolux) and the Portuguese Securities Market Commission decision regarding the delisting of Brisa - Autoestradas de Portugal, S.A. based on the principle of investor protection. The study concludes that although the principle of equality amongst shareholders has made progress in the European legal system e.g. it is laid down in Directive 2004/25/EC of 21 April 2004 on takeover bids and the Portuguese Securities Market Code, there is also a need for further improvement, which can be accomplished by allowing minority shareholders to exercise an appraisal right in similar unregulated situations.

Adaptação cultural e contributo para a validação da pain attitudes and believes scale for physiotherapists (PABS-PT) para a população de fisioterapeutas portugueses

RESUMO: Introdução: Vários estudos têm encontrado evidência para a relação entre as crenças e atitudes dos profissionais de saúde, a sua abordagem de tratamento, referida como orientada segundo o modelo biomédico ou modelo biopsicossocial (Bishop, 2008; Mutsaers, 2012), e os resultados obtidos. É sugerido que, no tratamento da dor lombar crónica, os profissionais que orientam o seu raciocínio e prática segundo o modelo biomédico, tendem a obter piores resultados quando comparados com os obtidos pelos profissionais que orientam o seu raciocínio e prática segundo uma abordagem biopsicossocial. Esta área de estudo tem salientado a importância de desenhar instrumentos capazes de identificar a orientação preferencial dos profissionais de saúde no tratamento da dor crónica de natureza músculo-esquelética, entre os quais se encontra a “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objetivo: Adaptar culturalmente a PABS-PT para a população de fisioterapeutas portugueses que intervêm em utentes com dor (lombar) crónica, e contribuir para a sua validação Metodologia: A versão original (língua inglesa) do PABS-PT foi adaptada para a língua e cultura portuguesas, através das etapas definidas nas normas orientadoras estabelecidas para este processo (Beaton et al., 2002; MAPI Institute, 2001). A avaliação das propriedades psicométricas da versão portuguesa foi realizada com recurso a uma amostra de 202 fisioterapeutas e estudantes finalistas do curso de licenciatura em Fisioterapia. Inicialmente foi realizada a análise fatorial exploratória da escala através do método das componentes principais. Posteriormente avaliou-se a consistência interna das componentes obtidas com recurso ao alpha de Cronbach (α). Para analisar a validade de constructo foram correlacionadas as componentes obtidas com a versão portuguesa da “Health Care Providers’ Pain and Impairment Relationship Scale” (HC-PAIRS), recorrendo ao cálculo do coeficiente de Spearman. Resultados: O processo de adaptação cultural não revelou dificuldades importantes sendo considerado que a versão portuguesa da PABS-PT é de fácil compreensão e preenchimento, e os seus itens adequados para avaliar as crenças e atitudes dos fisioterapeutas portugueses relativas à intervenção na dor crónica músculo-esquelética. Os resultados revelaram uma estrutura fatorial de duas componentes, identificadas com as componentes da escala original que explicam 30,96% da variância total. A consistência interna encontrada é boa, para a componente biomédica (α de Cronbach = 0,826), mas muito fraca para a componente biopsicossocial (α de Cronbach= 0,589). Relativamente à validade convergente e discriminativa, foi encontrada uma associação estatisticamente significativa e positiva, entre as componentes 1 (biomédica) da versão nportuguesa da PABS e a HC-PAIRS (Rs = 0,481, p≤ 0,005), e negativa, fraca e significativa entre a pontuação total da componente 2 (biopsicossocial) e a HC-PAIRS (Rs = -0,038, p=0,612). Conclusão: A versão portuguesa do PABS-PT é de fácil compreensão e aparenta ser um instrumento válido para a medição da orientação preferencial dos fisioterapeutas, relativamente às suas atitudes e crenças na avaliação e tratamento de utentes com dor crónica de natureza músculo-esquelética. No entanto, a componente biopsicossocial requer uma análise mais aprofundada para que possa, com rigor, ser utilizada na definição de uma orientação preferencialmente biopsicossocial.--------------ABSTRACT: Introduction: Previous studies have found a relation between the beliefs and attitudes of health professionals, their treatment approach, which can follows a biomedical or a biopsychosocial orientation (Bishop, 2008; Mutsaers, 2012), and the outcomes obtained. Therefore, is suggested that the professionals who tend to approach chronic low back pain patients according to the biomedical model have worse outcomes than professionals who use a biopsychosocial approach in there clinical reasoning. This research field has highlighted the importance of developing measures capable of identifying the preferred orientation of health professionals in the treatment of chronic pain of musculoskeletal nature, including the “Pain Attitudes and Beliefs Scale for Physiotherapists” (PABS-PT). Objective: To cross culturally adapt and validate the PABS-PT for the Portuguese population of physiotherapists. Methodology: The original version (English version) of the PABS-PT was adapted to the Portuguese language and culture, through the guidelines established for these processes (Beaton et al., 2002; MAPI Institute, 2001). The psychometric evaluation of the Portuguese version was carried out on a sample of 202 p physiotherapist and final year students of the physiotherapy course. Initially, an exploratory factorial analysis was performed through the method of the main components. Then, the internal consistence of the main components was evaluated using the Cronbach’s alpha (α). The convergent construct validity was analysed through the correlation between the obtained components of PABS-PT and the Health Care Provider’s Pain and Impairment Relationship Scale (HC-PAIRS), using the Spearmen correlation coefficient. Results: No major difficulties were found during the cultural adaptation process of PABS-PT to Portugal, which means that the Portuguese version is easy to understand and fulfill, and items are appropriated to evaluate the beliefs and attitudes of the Portuguese physiotherapists who treat chronic pain of musculoskeletal origins. The results revealed a factorial structure of two components, as the original scale, explaining 30,96% of the total variance. Internal consistence results were good, for the biomedical component (Cronbach’s α = 0,826), but very weak for the biopsychosocial componente (Cronbach’s α = 0,589). Relatively to convergent and discriminative validity, a statistically significant association was found, between the components 1 (biomedical) of the Portuguese version of PABS-PT and the HC-PAIRS (Rs= 0,481, p≤ 0,005) and negative, weak and significant between the total score of component 2 (biopsychosocial) and the HC-PAIRS (Rs = -0,038, p=0,612). Conclusion: The Portuguese Version of PABS-PT is easy to understand and seems to be a valid instrument to measure the attitudes and beliefs of physiotherapists in the management of patients with chronic low back pain. However, the biopsychosocial component requires a further deep analysis to examine a preferable biopsychosocial orientation.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.