Técnicas de interacção e visualização para informação temporal em dispositivos móveis

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

Using GIS to map the spatial and temporal occurrence of cholera epidemic in Camaroon

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

Análise temporal da variabilidade da freqüência cardíaca no estado basal em idosos chagásicos na forma indeterminada em área endêmica

Com o objetivo de avaliar a função autonômica cardíaca em pacientes chagásicos residentes em área endêmica, foram avaliados, por meio da análise computadorizada da variabilidade da freqüência cardíaca, 28 pacientes idosos chagásicos na forma indeterminada, 28 pacientes idosos não-chagásicos e 28 adultos jovens. Todos os pacientes chagásicos realizaram eletrocardiograma, radiografia de tórax, estudo radiológico contrastado do esôfago e cólons e ecodopplercardiograma, sendo que os não-chagásicos deixaram de realizar apenas os exames contrastados. Não houve diferença estatisticamente significativa entre os grupos, quanto às dimensões sistólica e diastólica e função sistólica do ventrículo esquerdo. Não houve diferença estatisticamente significante entre os grupos, quanto à duração média do intervalo RR. Quanto à variância, desvio padrão, coeficiente de variação, e ao pNN50, houve diferença estatisticamente significante entre o grupo jovem e os idosos, mas não entre os grupos idosos. Concluímos que, no estado basal, os grupos idosos chagásicos e não-chagásicos não diferiram quanto à modulação autonômica cardíaca no domínio do tempo.

A epidemia de AIDS no Brasil, 1991-2000: descrição espaço-temporal

A incidência de AIDS foi retratada por um estudo ecológico dos municípios brasileiros, considerando as notificações entre 1991 e 2000. Observou-se aumento da incidência em mulheres e em indivíduos com baixa escolaridade. O Estado de São Paulo, com 46% das notificações registradas no País, apresentou perfil epidemiológico distinto, quando a capital foi comparada com as cidades do interior; o Estado de Pernambuco apresentou um perfil epidemiológico semelhante àquele do início da epidemia no Brasil; o Estado Santa Catarina mostrou o predomínio de casos usuários de drogas injetáveis. O aumento de notificações pela via de transmissão ignorada indica que o viés de classificação foi crescente no sistema de vigilância epidemiológica.

Avaliação do potencial da produção de energia elétrica através de resíduos urbanos em Portugal Continental. Horizonte Temporal 2014-2020

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Gestão de Sistemas Ambientais

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

Tendência temporal do tétano acidental no período de 1981 a 2004 em Pernambuco com avaliação do impacto da assistência em unidade de terapia intensiva sobre a letalidade

Apesar da redução na incidência de tétano acidental no Brasil, não houve queda significativa na letalidade. Nesta série de casos, comparamos a letalidade antes e após o estabelecimento padrão de manejo em unidade de terapia intensiva do paciente com tétano no Hospital Universitário Oswaldo Cruz, no período de 1981 a 2004. Em 24 anos, foram internados 1.971 pacientes e antes do manejo em Unidade de terapia intensiva a letalidade era de 35%. Durante 1997 foi instituída a unidade de terapia intensiva para assistência dos pacientes com tétano, e de 1998 a 2004, a letalidade caiu para 12,6%, OR= 0,27 (IC95%= 0,18- 0,39); p<0,001. Esta tendência foi evidenciada em todas as faixas etárias e em ambos os sexos. A centralização da assistência a esses pacientes em um único serviço especializado com Unidade de terapia intensiva de forma precoce, portanto, tem sido decisiva na redução da letalidade, por contar com a vasta experiência da equipe de saúde no manejo do tétano e melhor tratamento sintomático, antecipando as graves complicações da doença.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

A epidemia de aids no Estado de São Paulo: uma aplicação do modelo espaço-temporal bayesiano completo

O Estado de São Paulo, por compreender aproximadamente 40% dos casos de aids notificados no Brasil, oferece uma situação propícia para análise espaço-temporal, visando melhor compreensão da disseminação do HIV/aids. Utilizando os casos de aids notificados ao Ministério da Saúde nos anos de 1990 a 2004 para pessoas com idade igual ou superior a 15 anos, tendo como fonte de informação o Sistema de Informação de Agravos e Notificação, Ministério da Saúde, foram estimados os riscos relativos de aids segundo sexo para períodos de 3 anos utilizando modelos bayesianos completos. Os modelos utilizados se mostraram adequados para explicar o processo de disseminação da aids no Estado de São Paulo e evidenciam os processos de feminização e interiorização da doença, além de sugerir que os municípios atualmente mais atingidos se encontram em regiões de pólos de crescimento econômico e possuem população inferior a 50.000 habitantes.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Análise da distribuição espaço-temporal de dengue e da infestação larvária no município de Tupã, Estado de São Paulo

INTRODUÇÃO: O vírus da dengue é transmitido pela picada do mosquito Aedes aegypti e, o atual programa de controle não atinge o objetivo de impedir sua transmissão. Este trabalho objetivou analisar a relação entre a distribuição espaço-temporal de casos de dengue e os indicadores larvários no município de Tupã, de janeiro de 2004 a dezembro de 2007. MÉTODOS: Foram construídos indicadores larvários por quarteirão e totalidade do município. Utilizou-se o método cross-lagged correlation para avaliar a correlação entre casos de dengue e indicadores larvários. Foi utilizado estimador kernel para análise espacial. RESULTADOS: A correlação cruzada defasada entre casos de dengue e indicadores larvários foi significativa. Os mapas do estimador Kernel da positividade de recipientes indicam uma distribuição heterogênea, ao longo do período estudado. Nos dois anos de transmissão, a epidemia ocorreu em diferentes regiões. CONCLUSÕES: Não ficou evidenciada relação espacial entre infestação larvária e ocorrência de dengue. A incorporação de técnicas de geoprocessamento e análise espacial no programa, desde que utilizados imediatamente após a realização das atividades, podem contribuir com as ações de controle, indicando os aglomerados espaciais de maior incidência.

Um Sistema para evolução espácio-temporal de imagens

Atualmente os computadores, os telemóveis mais recentes e as câmaras fotográficas têm o poder de capturar momentos, e estes momentos são gravados em fotografias. Hoje em dia são tiradas imensas fotografias em todas as partes do mundo e com isto surgem alguns problemas, tais como organizar e visualizar as fotografias de forma a transmitir o sentimento e o momento vivido. Procura-se ainda como inovar e dar uma perceção evolutiva de estruturas ou de pessoas captadas nas fotografias. É neste contexto que esta dissertação se insere. A dissertação tem como principal objetivo, oferecer uma ferramenta que consiga proporcionar uma viagem cronológica ao longo do tempo, do passado até ao presente, dado um conjunto de imagens de várias épocas. A ferramenta, chamada Evolapse, permite visualizar uma representação tridimensional de um conjunto de imagens, podendo visualizar imagens de várias épocas para a mesma localização geográfica. A Evolapse processa automaticamente comparações entre imagens e estabelece relações entre as mesmas. Também oferece um método semiautomático para criar as relações. Todas as relações estabelecidas automaticamente e criadas, recorrendo ao método semi-automático, podem ser editadas. A ferramenta foi desenvolvida no âmbito do projeto LX Conventos e os seus resultados são testados no website do projeto. De modo a testar os resultados, a ferramenta produz documentos descritivos que contêm toda a informação necessária para reconstruir a representação tridimensional. O website do projeto LX Conventos ficará disponível ao público, dando a possibilidade a múltiplos utilizadores de visualizarem os resultados gerados pela ferramenta.

Effects of flooding of the River Paraná on the temporal activity of Anopheles (Nyssorhynchus) darlingi Root (Diptera: Culicidae), at the border state of Mato Grosso do Sul and São Paulo, Brazil

INTRODUCTION: Study of the temporal activity of malaria vectors during the implantation of a hydroelectric power station on the River Paraná, intended to generate electrical energy. The river separates the States of São Paulo and Mato Grosso do Sul, in Brazil. The objective was to verify whether alterations occurred in the wealth and diversity indices of Anopheles, following two successive floods, extended to the temporal activity and nycthemeral rhythm followed over a five year period. METHODS: Mosquito capture was performed monthly using the Human Attraction Technique and Shannon Traps. The first, executed for 24h, provided the nycthemeral rhythm and the second, lasting 15h, permitted the tracking of Anopheles during the two floods. RESULTS: The bimodal pattern of Anopheles darlingi defined before these floods was modified throughout the environment interventions. The same effect had repercussions on the populations of An albitarsis s.l., An triannulatus and An galvaoi. Activity prior to twilight was less affected by the environment alterations. CONCLUSIONS: The dam construction provoked changes in Anopheles temporal activity patterns, permitting classification of the area as an ecologically steady and unstable situation. Differences observed in Anopheles behavior due to the capture methods revealed the influence of solo and multiple attractiveness inside the populations studied.

Analysis of temporal and spatial variations of forest. A case of study in notheastern Armenia

The forest has a crucial ecological role and the continuous forest loss can cause colossal effects on the environment. As Armenia is one of the low forest covered countries in the world, this problem is more critical. Continuous forest disturbances mainly caused by illegal logging started from the early 1990s had a huge damage on the forest ecosystem by decreasing the forest productivity and making more areas vulnerable to erosion. Another aspect of the Armenian forest is the lack of continuous monitoring and absence of accurate estimation of the level of cuts in some years. In order to have insight about the forest and the disturbances in the long period of time we used Landsat TM/ETM + images. Google Earth Engine JavaScript API was used, which is an online tool enabling the access and analysis of a great amount of satellite imagery. To overcome the data availability problem caused by the gap in the Landsat series in 1988- 1998, extensive cloud cover in the study area and the missing scan lines, we used pixel based compositing for the temporal window of leaf on vegetation (June-late September). Subsequently, pixel based linear regression analyses were performed. Vegetation indices derived from the 10 biannual composites for the years 1984-2014 were used for trend analysis. In order to derive the disturbances only in forests, forest cover layer was aggregated and the original composites were masked. It has been found, that around 23% of forests were disturbed during the study period.

A epidemia de AIDS em adolescentes de 13 a 19 anos, no município do Rio de Janeiro: descrição espaço-temporal

INTRODUÇÃO: o objetivo do estudo foi analisar a epidemia de AIDS em adolescentes no município do Rio de Janeiro para subsidiar políticas públicas de prevenção. A incidência de AIDS no Brasil está diminuindo entre homens que fazem sexo com homens (HSH), exceto entre 13 e 19 anos e a feminização é mais intensa entre adolescentes. MÉTODOS: Estudo de dados do Sistema de Informações de Agravos de Notificação (SINAN) de casos diagnosticados, entre 13 e 19 anos até novembro de 2009. RESULTADOS: Foram analisados 656 casos, com incidência crescente até 1998 e verificou-se que, desde 1996, ocorrem mais casos no sexo feminino do que no masculino. A categoria de exposição homo/bissexual é predominante nos rapazes (50,8%) e a heterossexual nas moças (88,9%). A distribuição geográfica dos casos no município por ano de diagnóstico revelou que houve proporcionalmente grande aumento da incidência na Área de Planejamento mais pobre da cidade e redução acentuada na mais rica. Observou-se uma tendência linear decrescente entre o ano de diagnóstico e o índice de desenvolvimento humano (IDH). CONCLUSÕES: O estudo aponta a necessidade de investimento em serviços de saúde sexual e reprodutiva nas áreas mais pobres da cidade e ações de promoção de saúde direcionadas aos rapazes HSH e às adolescentes.