GIS from a cultural heritage perspective: when past and future collide

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

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

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

Urban change monitoring using GIS and remote sensing tools in Kathmandu valley (Nepal)

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

Implementação de um sistema de gestão municipal com recurso a sistemas de informação geográfica

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Vias de Comunicação e Transportes

Efeitos imediatos da MWM na dor, amplitude de movimento e funcionalidade, na osteoartrite da anca.

Introdução: A mobilização com movimento (MWM), segundo o Conceito Mulligan tem apresentado bons resultados na melhoria da dor, amplitude de movimento e funcionalidade em diversas disfunções. No entanto, existem poucos estudos sobre a articulação da anca e, até este momento, não foi avaliada a sua efetividade em indivíduos com osteoartrite da anca. Objectivo(s): Avaliar os efeitos imediatos da técnica de MWM na dor, na amplitude de movimento e na função física em indivíduos com osteoartrite da anca. Métodos: Foram incluídos 40 participantes com osteoartrite da anca, divididas de forma aleatória em dois grupos (experimental e placebo). Foram avaliadas as amplitudes de movimento de flexão e rotação medial da anca recorrendo ao goniómetro universal, a intensidade da dor através da Escala Numérica da Dor e a funcionalidade através de testes de função física, antes e imediatamente após a intervenção. Para o tratamento estatístico, foi utilizado um nível de significância de 0,05. Resultados: A aplicação de MWM resultou em diferenças significativas, com redução da dor na Escala Numérica da Dor (p=0,005), um aumento de amplitude de movimento de flexão (p=0,001) e de rotação medial (p=0,011), uma diminuição nos tempos dos testes de função física, o teste Timed “Up and Go” (p=0,037) e o teste “40m Self Placed Walk” (p=0,019), e um aumento nas repetições do teste ―30 seg Sit to Stand” (p=0,009), comparativamente ao grupo placebo. Conclusão: Os resultados sugerem que a técnica MWM parece produzir um efeito imediato significativo na diminuição da dor, aumento de amplitude articular e melhoria da função física em indivíduos com osteoartrite da anca. Este efeito foi maior para dor, para as amplitudes de movimento e para o teste de função física - ―30 seg Sit to Stand” quando se analisou a magnitude do efeito.

Domestic vectors of Chagas' disease in three rural communities of Nicaragua

A triatomine survey was conducted in three rural settlements of Nicaragua (Santa Rosa, Quebrada Honda and Poneloya) where Chagas' disease is endemic, to determine rates of house infestation, evaluate the housing condition and to asess the performance of the María sensor box in detection of domestic vectors. A total of 184 households were selected and vectors were sought by the methods of timed manual capture and by sensor boxes. The sole vectors species found in this study was Triatoma dimidiata. Of the examined bugs 50, 60 and 33%, in the respective communities, were infected with T. cruzi. The rates of house infestation as determined by manual capture and sensor boxes were respectively, 48.3% and 54.2% in Santa Rosa, 29.8% and 51.2% in Quebrada Honda and in Poneloya 3.8 and 5.9% with significant difference between the methods in Quebrada Honda. When compared with the manual capture, the Maria sensor box detected vectors in 71.4% of positive houses in two of the communities but also was able to detect bugs in 39.3% and 41.1% of houses where manual capture had been negative. Housing condition was evaluated according to three structural parameters, in this way, in the first community 79.2% of houses were classified as bad, 20.8% as regular; in the second one 42.5% were bad and 57.5% regular, whereas in the third 62.5% of the houses were regular. Rates of infestation did not differ greatly between the different housing conditions. Our results show that the sensor box is as efficient as manual capture and could be implemented in our country.

Domestic Rhodnius ecuadoriensis (Hemiptera, Reduviidae) infestation in Northern Peru: a comparative trial of detection methods during a six-month follow-up

Two passive methods in the assessment of intradomiciliary infestation by Rhodnius ecuadoriensis were tested: (i) the Gomes Nuñez sensor box (GN), (ii) sheets of white typing paper and (iii) one active timed manual method. The study was carried out in the Alto Chicama River Valley, Province of Gran Chimú, Department of La Libertad. The study design consisted of an initial searching of triatomines inside of the domestic environment by the manual capture active procedure (man/hour) covering all the studied houses. Then, matched pairs of GN boxes and paper sheets were simultaneously installed in the bedrooms of 207 households distributed in 19 localities. A comparative prospective trial of these passive detection devices were monitored at 2, 4 and, finally 6 months follow-up. Parasitological Trypanosoma rangeli and/or T. cruzi infections were investigated in two houses with high level of infestation by R. ecuadoriensis. 16.9% of the 207 households investigated by an initial active manual method were infested with R. ecuadoriensis. The proportion of infested houses fluctuated from 6.2 to 55.5% amongst the 19 localities investigated. T. rangeli natural infection was detected in R. ecuadoriensis specimens collected in two households. Parasite rates in the bugs ranged from 16.6 to 21.7% respectively. The most striking fact was an average rate of salivary gland infection ranging from 7.4 to 8.3%. At the end of the sixth month period, a cumulative incidence of 31.4% of positive GN boxes against 15.9% for paper sheets was recorded. All three methods combined detected domestic infestation in 129 (62.3%) of the 207 houses studied in the 19 localities. The range of houses infested varies from 6.7% to 92.9%. In areas with low bug density infestation rates, the methodology experienced in our studies, seems to be the best choice for investigations on domestic R. ecuadoriensis populations.

An intelligent clustering scheme for distributed intrusion detection in vehicular cloud computing

In recent years, vehicular cloud computing (VCC) has emerged as a new technology which is being used in wide range of applications in the area of multimedia-based healthcare applications. In VCC, vehicles act as the intelligent machines which can be used to collect and transfer the healthcare data to the local, or global sites for storage, and computation purposes, as vehicles are having comparatively limited storage and computation power for handling the multimedia files. However, due to the dynamic changes in topology, and lack of centralized monitoring points, this information can be altered, or misused. These security breaches can result in disastrous consequences such as-loss of life or financial frauds. Therefore, to address these issues, a learning automata-assisted distributive intrusion detection system is designed based on clustering. Although there exist a number of applications where the proposed scheme can be applied but, we have taken multimedia-based healthcare application for illustration of the proposed scheme. In the proposed scheme, learning automata (LA) are assumed to be stationed on the vehicles which take clustering decisions intelligently and select one of the members of the group as a cluster-head. The cluster-heads then assist in efficient storage and dissemination of information through a cloud-based infrastructure. To secure the proposed scheme from malicious activities, standard cryptographic technique is used in which the auotmaton learns from the environment and takes adaptive decisions for identification of any malicious activity in the network. A reward and penalty is given by the stochastic environment where an automaton performs its actions so that it updates its action probability vector after getting the reinforcement signal from the environment. The proposed scheme was evaluated using extensive simulations on ns-2 with SUMO. The results obtained indicate that the proposed scheme yields an improvement of 10 % in detection rate of malicious nodes when compared with the existing schemes.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Feasibility and acceptability of an exergame intervention for schizophrenia

Objectives To evaluate the feasibility and acceptability of an exergame intervention as a tool to promote physical activity in outpatients with schizophrenia. Design Feasibility/Acceptability Study and Quasi-Experimental Trial. Method Sixteen outpatients with schizophrenia received treatment as usual and they all completed an 8-week exergame intervention using Microsoft Kinect® (20 min sessions, biweekly). Participants completed pre and post treatment assessments regarding functional mobility (Timed Up and Go Test), functional fitness performance (Senior Fitness Test), motor neurological soft signs (Brief Motor Scale), hand grip strength (digital dynamometer), static balance (force plate), speed of processing (Trail Making Test), schizophrenia-related symptoms (Positive and Negative Syndrome Scale) and functioning (Personal and Social Performance Scale). The EG group completed an acceptability questionnaire after the intervention. Results Attrition rate was 18.75% and 69.23% of the participants completed the intervention within the proposed schedule. Baseline clinical traits were not related to game performance indicators. Over 90% of the participants rated the intervention as satisfactory and interactive. Most participants (76.9%) agreed that this intervention promotes healthier lifestyles and is an acceptable alternative to perform physical activity. Repeated-measures MANOVA analyses found no significant multivariate effects for combined outcomes. Conclusion This study established the feasibility and acceptability of an exergame intervention for outpatients with schizophrenia. The intervention proved to be an appealing alternative to physical activity. Future trials should include larger sample sizes, explore patients' adherence to home-based exergames and consider greater intervention dosage (length, session duration, and/or frequency) in order to achieve potential effects.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Immediate effects of hip mobilization with movement in patients with hip osteoarthritis: A randomised controlled trial

Background Mobilization with movement (MWM) has been shown to reduce pain, increase range of motion (ROM) and physical function in a range of different musculoskeletal disorders. Despite this evidence, there is a lack of studies evaluating the effects of MWM for hip osteoarthritis (OA). Objectives To determine the immediate effects of MWM on pain, ROM and functional performance in patients with hip OA. Design Randomized controlled trial with immediate follow-up. Method Forty consenting patients (mean age 78 ± 6 years; 54% female) satisfied the eligibility criteria. All participants completed the study. Two forms of MWM techniques (n = 20) or a simulated MWM (sham) (n = 20) were applied. Primary outcomes: pain recorded by numerical rating scale (NRS). Secondary outcomes: hip flexion and internal rotation ROM, and physical performance (timed up and go, sit to stand, and 40 m self placed walk test) were assessed before and after the intervention. Results For the MWM group, pain decreased by 2 points on the NRS, hip flexion increased by 12.2°, internal rotation by 4.4°, and functional tests were also improved with clinically relevant effects following the MWM. There were no significant changes in the sham group for any outcome variable. Conclusions Pain, hip flexion ROM and physical performance immediately improved after the application of MWM in elderly patients suffering hip OA. The observed immediate changes were of clinical relevance. Future studies are required to determine the long-term effects of this intervention.

Mobilidade funcional, risco de queda, nível de actividade física e percepção de saúde em indivíduos com 65 ou mais anos

RESUMO:O objectivo deste estudo foi analisar a relação entre mobilidade funcional, risco de queda, nível de actividade física e percepção de saúde de 34 indivíduos praticantes (n=18) e não praticantes (n=16) de exercício físico duas ou mais vezes por semana durante pelo menos 45 minutos, residentes na comunidade e ambulatórios. Tipo de estudo: transversal exploratório-descritivo. Metodologia: foi feito um levantamento das variáveis de caracterização (idade, sexo, habilitações literárias, situação sócio-económica, situação familiar) e do estado cognitivo e estado emocional/depressão (Mini-Mental State Examination e Geriatric Depression Scale). As variáveis em análise foram: a mobilidade funcional avaliada através do Timed up and GoTest, o risco de queda medido com o Funtional Reach Test, o nível de actividade física avaliado através do Questionário Internacional de Actividade Física (IPAQ) e a percepção de saúde medida através do SF-6D. Foi também questionada a prática de alguma modalidade de exercício físico, da sua frequência e duração. Os dados foram analisados através de estatística descritiva, foi realizada uma regressão linear múltipla e uma análise bivariada das correlações, utilizando o coeficiente de correlação linear de Pearson (p ≤ 0,05).Resultados: verificou-se que, na amostra global, a maioria dos indivíduos apresentou uma mobilidade funcional considerada normal (TUG<10 segundos), e um risco de queda moderado (FRT entre 15,24 e 25,40 cm), embora sem diferenças entre os grupos em análise. A actividade física apresentou uma duração média de 685,88±540,16 minutos por semana, sendo que 18 indivíduos praticavam exercício físico pelo menos 45 minutos e duas ou mais vezes por semana.A percepção do estado de saúde foi bastante satisfatória, sendo a pontuação média do SF-6D de 0,915±0,067. A análise entre grupos demonstrou que o grupo que praticava exercício físico apresentava um maior número de indivíduos na faixa etária dos 65-74 anos, tinha mais escolarização e melhor estado cognitivo. Estes indivíduos eram fisicamente mais activos e faziam-o, na sua maioria, com uma frequência bissemanal, apenas um desempenhando uma modalidade de intensidade vigorosa. A análise estatística demonstrou que: a mobilidade funcional e o risco de queda eram mais desfavoráveis nos indivíduos com mais idade; o estado cognitivo estava associado a maior mobilidade funcional; uma boa mobilidade funcional correspondeu a um risco de queda reduzido, a mais prática de actividade física, a melhor percepção do estado de saúde e a manutenção do estado cognitivo. Os indivíduos com menor risco de queda apresentaram melhor estado cognitivo e emocional. E este último correspondeu a uma melhor percepção do estado de saúde e a um melhor estado cognitivo. Conclusão: a manutenção da mobilidade funcional reduz o risco de queda aumenta a prática de actividade física e melhora a percepção de saúde de indivíduos com 65 ou mais anos residentes na comunidade.--------- ABSTRACT: Objective: the aim of this study was to analyze the relationship between functional mobility, falls risk, level of physical activity and health perception in a sample of 34 subjects, 18 that practice exercise two or more times a week for at least 45 minutes and 16 that don’t practice exercise, residents and community. Designs: cross-sectional exploratory-descriptive survey. Methods: descriptive variables are age, sex, education, socio-economic level, family status, cognitive status (Mini-Mental State Examination) and emotional status/depression (Geriatric Depression Scale). We analyze the functional mobility with the Timed up and Go Test, the falls risk with Functional Reach Test, the level of physical activity with the International Physical Activity Questionnaire (IPAQ) and health perception with SF-6D. We also questioned the practice of exercise, their frequency and duration. Data were analyzed using descriptive statistics, a multiple linear regression analysis and bivariate correlations, using the linear correlation coefficient of Pearson (p ≤ 0.05). Results: we found that, in the total sample, most individuals had considered a normal functional mobility (TUG <10 seconds), and a moderate falls risk (FRT between 15.24 and 25.40 cm), but no difference between groups. Physical activity showed an mean of 685.88 ± 540.16 minutes per week, with 18 individuals pratice physical exercise at least 45 minutes and two or more times per week. The mean score of the SF-6D was 0.915 ± 0.067 and the perception of health was satisfactory. The analysis between groups showed that the group that practice physical exercise had a greater number of individuals aged 65-74 years, had more schooling and better cognitive status. These subjects were more physically active and mostly did it two times a weak and only one playing a kind of vigorous intensity. The multiple linear regression and correlations, using the linear correlation coefficient of Pearson (p≤0.05) showed that: functional mobility and fall risk decrease with age increase. The cognitive status was associated with greater functional mobility, a good functional mobility corresponded to a reduced falls risk, more physical activity, a better perception of health status and maintenance of cognitive status. Subjects with lower falls risk had better cognitive and emotional state. And subjects with a better emotional status have a better health perception and better cognitive status. Conclusion: the maintenance of functional mobility reduces falls risk, increase physical activity and improves health perception of individuals with 65 years or older living in the community.

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Regional change in the Algarve: A Geographic Information System approach

Thesis submitted to the Instituto Superior de Estatística e Gestão de Informação da Universidade Nova de Lisboa in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Information Management – Geographic Information Systems