Estratégia multi-temporal para produção automática de cartografia de ocupação do solo com imagens AWiFS

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Cartografia multi-escala de alterações do coberto florestal com imagens de satélite

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Serviços pós-4G em redes de satélite com recepção multi-pacote de acesso com agendamento

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e Computadores

The World Health Organization Multi-Professional Patient Safety Curriculum : implementation of key modules and its impact on patient safety knowledge, skills, and attitudes of medical students at the University of Algarve

ABSTRACT - Objectives: We attempted to show how the implementation of the key elements of the World Health Organization Patient Safety Curriculum Guide Multi-professional Edition in an undergraduate curriculum affected the knowledge, skills, and attitudes towards patient safety in a graduate entry Portuguese Medical School. Methods: After receiving formal recognition by the WHO as a Complementary Test Site and approval of the organizational ethics committee , the validated pre-course questionnaires measuring the knowledge, skills, and attitudes to patient safety were administered to the 2nd and3rd year students pursuing a four-year course (N = 46). The key modules of the curriculum were implemented over the academic year by employing a variety of learning strategies including expert lecturers, small group problem-based teaching sessions, and Simulation Laboratory sessions. The identical questionnaires were then administered and the impact was measured. The Curriculum Guide was evaluated as a health education tool in this context. Results: A significant number of the respondents, 47 % (n = 22), reported having received some form of prior patient safety training. The effect on Patient Safety Knowledge was assessed by using the percentage of correct pre- and post-course answers to construct 2 × 2 contingency tables and by applying Fishers’ test (two-tailed). No significant differences were detected (p < 0.05). To assess the effect of the intervention on Patient Safety skills and attitudes, the mean and standard deviation were calculated for the pre and post-course responses, and independent samples were subjected to Mann-Whitney’s test. The attitudinal survey indicated a very high baseline incidence of desirable attitudes and skills toward patient safety. Significant changes were detected (p < 0.05) regarding what should happen if an error is made (p = 0.016), the role of healthcare organizations in error reporting (p = 0.006), and the extent of medical error (p = 0.005). Conclusions: The implementation of selected modules of the WHO Patient Safety Curriculum was associated with a number of positive changes regarding patient safety skills and attitudes, with a baseline incidence of highly desirable patient safety attitudes, but no measureable change on the patient safety knowledge, at the University of Algarve Medical School. The significance of these results is discussed along with implications and suggestions for future research.

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.

Métodos computacionais em engenharia mecânica

Este estudo pretende mostrar algumas aplicações dos métodos computacionais na actividade de projecto em Engenharia Mecânica. Apresentam-se problemas concretos de engenharia que foram abordados durante um estágio realizado no CERN – Centre Européen pour la Recherche Nucléaire, e onde foram utilizados: a) o método dos elementos finitos para cálculo de temperaturas e fluxos de calor e a sua influência sobre os deslocamentos, tensões e deformações que ocorrem numa peça; b) o método híbrido dos elementos finitos/volumes finitos para a discretização das equações de Navier-Stokes e a análise do escoamento de fluidos; c) um algoritmo genético para a obtenção da solução óptima de um problema estrutural. O projecto em engenharia é uma actividade cada vez mais complexa, que requer o uso de ferramentas computacionais sofisticadas tais como os programas ANSYS e MATLAB que foram utilizados no estudo. A criação de modelos numéricos e a análise do seu comportamento com estas ferramentas requer simultaneamente um bom conhecimento dos princípios que estão na base do seu desenvolvimento e uma boa perícia na sua manipulação. Com elas é possível obter soluções quando os constrangimentos do projecto são exigentes e análises detalhadas do comportamento estrutural são necessárias. Neste estudo pretende-se também demonstrar que uma combinação inovadora destas ferramentas pode contribuir para obter aplicações úteis para a actividade de projecto em engenharia.

Efeito de eventos naturais na qualidade do ar - avaliação dos métodos de identificação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente - Sistemas Ambientais

Protocolo Mac para acesso multi-modo em redes de sensores sem fios móveis

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Métodos ágeis: características, pontos fortes e fracos e possibilidades de aplicação

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Aplicabilidade dos métodos do eurocódigo 2 na verificação da segurança de pilares em betão armado de pontes

Dissertação apresentada na Faculdade de Ciências e Tecnologias para a obtenção do grau de Mestre em Estruturas e Geotecnia

Multi-region routing

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

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

Métodos de dimensionamento de cortinas de contenção autoportantes e mono-apoiadas: o problema das cargas verticais

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Civil na especialidade de Estruturas e Geotecnia

Implementação de métodos moleculares para o diagnóstico precoce de leptospirose humana

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Biotecnologia

José e Jacinta nem sempre vivem nos mesmos lugares: reflexões em torno de uma experiência de etnografia multi-situada

Ethnologia - Antropologia dos processos identitários, Lisboa