On the cloud deployment of a session abstraction for service/data aggregation

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

Studies on the wine spoilage yeast Brettanomyces bruxellensis: 4-ethylphenol production and improved detection

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Inventário e Georreferenciação do mundo funerário rupestre medieval no Centro de Portugal

O presente relatório resultou do estágio efetuado na DGPC, no âmbito da componente não-letiva do Mestrado em Arqueologia. O seu propósito centrou-se no Inventário e Georreferenciação das manifestações funerárias rupestres medievais, enquadradas na região do Centro de Portugal. Este trabalho possibilitou a atualização e introdução de inúmeras ocorrências, respeitantes a sepulturas e necrópoles escavadas na rocha, na base de dados da DGPC – o Endovélico. A concretização deste objetivo assentou essencialmente na consulta de bibliografia especializada, assim como de relatórios técnico-científicos. Ao constar do Endovélico, a informação inserida afigura-se como um contributo para o conhecimento e divulgação deste tipo de património medieval, auxiliando, inevitavelmente, no que concerne à sua salvaguarda e proteção. O processamento e sistematização da vasta informação inventariada e georreferenciada possibilitou o desenvolvimento de uma análise, na perspetiva das sepulturas escavadas na rocha como fenómeno funerário alto-medieval. Esta permitiu a criação de uma imagem, ainda que incompleta, dos tipos de agrupamentos existentes e da relação entre as sepulturas e as zonas envolventes, com lugar numa parte do território de Viseu.

Software languages engineering: experimental evaluation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Artificial Intelligence in geospatial analysis: applications of self-organizing maps in the context of geographic information science.

A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Information Systems.

A diabetes mellitus como determinante em saúde e envelhecimento: o conhecimento do diabético e a presença de complicações da doença

RESUMO: O aumento da longevidade humana é um facto prevalente na actualidade mas, a requerer grandes esforços na promoção da saúde e prevenção de doenças, estando, ainda, as pessoas idosas sob riscos elevados de desenvolver doenças à medida que envelhecem. Assim, é importante o contributo dos próprios indivíduos no sentido minorar estes riscos e retardar a evolução e agudizações das doenças uma vez manifestadas. Nesse sentido, o objectivo geral deste estudo é descrever de que modo os conhecimentos do diabético, podem estar relacionados com a presença de complicações da doença. Realizámos um estudo exploratório descritivo, no Hospital Nossa Senhora do Rosário E.P.E, em pessoas idosas residentes no concelho do Barreiro que frequentaram o Hospital Dia de Diabetologia, após as consultas médicas e de enfermagem. O método utilizado para a selecção da amostra foi a amostragem não probabilística por conveniência (n=50). O instrumento utilizado na colheita de dados foi um questionário, aplicado sob a forma de inquérito, para colheita de dados sócio-demográficos, saúde em geral, estado mental, dados sobre a diabetes e comorbilidades. Os dados foram tratados informaticamente, recorrendo ao programa estatístico S.P.S.S. e a análise de conteúdo. Os resultados obtidos demonstraram que os participantes possuíam conhecimentos sobre a sua doença. Verificámos que os inquiridos que já tiveram complicações devido à diabetes responderam correctamente à questão acerca da medicação ser mais importante que a dieta e o exercício físico para controlar a diabetes, do que os que nunca tiveram complicações devido à diabetes, que responderam incorrectamente ou desconheciam a resposta à questão.----------- ABSTRACT: The increase in human longevity is a fact prevalent nowadays, but to require great efforts on health promotion and disease prevention and is also in the elderly high risk of developing illnesses as they age. It is therefore important contribution of the individuals themselves towards mitigating these risks and delaying the development and exacerbations of disease once manifested. Thus, the general purpose of this study is to describe how the knowledge of diabetes, may be related to complications of the disease. We conducted an exploratory study in the Hospital Nossa Senhora do Rosario EPE, in elderly people living in the county of Barry, who attended the hospital Diabetes Day, after the medical and nursing care. The method used for the sampling was not probabilistic by convenience sampling (n = 50). The instrument used for data collection was a questionnaire applied in the form of survey to collect socio-demographic data, general health, mental state, data on diabetes and comorbidities. The data were processed by computer, using the SPSS and content analysis. The results showed that participants had knowledge about their disease. We found that respondents who have had complications due to diabetes responded correctly to questions about the medication is more important than diet and exercise to control diabetes than those who never had complications due to diabetes, who answered incorrectly or did not know the answer the question.

Alterações da função visual e da qualidade de vida relacionada com a saúde em indivíduos idosos

RESUMO: Introdução: A visão é um sentido fundamental na relação do indivíduo com os mais variados ambientes, sendo elemento central na funcionalidade e independência do idoso, qualquer perturbação da função visual provoca limitações na qualidade de vida. As alterações demográficas em curso caracterizam-se pelo envelhecimento progressivo da população, paralelamente constata-se um aumento da prevalência de perturbações do sistema visual com alteração da função e do funcionamento visual. Considerando que os indivíduos idosos são mais dependentes da visão, e que não existem para esta área estudos desenvolvidos em Portugal, esta investigação tem como fundamento analisar a influência que a perturbação da função visual em indivíduos com 65 ou mais anos tem na qualidade de vida relacionada com a saúde. Estudaram-se também as características sócio-demográficas dos indivíduos participantes, da saúde visual e a percepção da saúde geral, bem como identificaram se junto dos idosos participantes e de Médicos especialistas em Medicina Geral e Familiar perspectivas sobre perturbações da função visual e envelhecimento. Desenho de estudo: Estudo transversal, caso-controlo e descritivo-exploratório. Materiais e Métodos: A partir de uma população de 112 indivíduos com 65 ou mais anos, frequentadores de várias instituições de apoio social do Concelho de Loures e de idosos frequentadores/institucionalizados da Mansão de Santa Maria de Marvila, unidade orgânica da Fundação D. Pedro IV, foram incluídos no estudo 90 (80,4%). Após consentimento informado, procedeu-se à avaliação da função visual nos Laboratórios de Ortóptica da Escola Superior de Tecnologia de Saúde de Lisboa, onde também se aplicaram o Questionário de Funcionamento Visual VFQ-25 e uma questão aberta para o tipo de dificuldades de visão sentidas durante o último ano. Aplicou-se ainda, em ambiente virtual, uma pergunta aberta a Médicos especialistas em Medicina Geral e Familiar para aspectos relacionados com o diagnóstico/suspeita relativamente tardio de perturbações da função visual. Procedeu-se ao tratamento descritivo das características sócio-demográficas, da percepção de saúde geral e da saúde visual e das respostas dos idosos e dos médicos. Analisou-se a relação entre função visual e qualidade de vida relacionada com a saúde aplicando o teste não-paramétrico de Mann-Whitney. Resultados: Constatou-se que os indivíduos da amostra são maioritariamente do género feminino (71,1%), casados (41,1%), detentores de baixos níveis de escolaridade em que 63,3% apenas frequentou/concluiu o 1º ciclo do ensino básico e quase na sua totalidade reformados (88,9%). Verifica-se que 77,8% dos idosos percepciona a sua saúde geral como razoável ou boa. Da mesma forma, 86,7% dos indivíduos têm a função visual alterada devido principalmente à alteração da acuidade visual para longe (86,7%), registando-se que 65,5% dos olhos tinham uma acuidade visual igual ou superior a 5/10. Outras dimensões que contribuíram para a alteração da função visual contam-se a sensibilidade ao contraste (63,3%), estereopsia (51,1%), visão cromática (38,9%) e a motilidade ocular (25,6%). Obtiveram-se assim maiores pontuações para as diversas escalas do questionário VFQ-25 em indivíduos com função visual alterada exceptuando nas escalas actividades de perto, condução e dependência. Verificou-se portanto existir relação entre alteração da função visual e perturbação da qualidade de vida relacionada com a saúde. À questão colocada aos idosos, 42,6% não manifestou qualquer razão para que visse mal/sentisse dificuldades de visão durante o último ano. A diminuição da acuidade visual para longe/perto foi referida por 20,5% dos indivíduos, seguido pela deterioração do estado de saúde geral e ocular por 15%. As respostas do Médicos especialistas em Medicina Geral e Familiar sobre razões para a suspeita/diagnóstico relativamente tardia das perturbações da função visual, indicam a iliteracia dos idosos para a saúde da visão e semiologia ocular (34%), a baixa formação/informação dos Médicos de Medicina Geral e Familiar na área da saúde da visão (22%) e a pouca acessibilidade e resposta demorada/ineficaz dos serviços de oftalmologia do SNS (20%) como principais motivos para os assuntos questionados.Conclusões: As alterações do sistema visual com impacto na função e no funcionamento visual alteram a qualidade de vida relacionada com a saúde, devido principalmente à alteração da acuidade visual para longe. Os idosos do estudo não valorizam a saúde visual ao percepcionarem positivamente a saúde geral e a saúde visual relativamente à avaliação da função visual. É fundamental definir estratégias e programas de literacia para a saúde da visão para toda a população, não apenas destinados a idosos. Sugere-se repensar o modelo de formação base dos Médicos com especial incidência na área da saúde da visão, com necessidades sentidas de formação/informação. As respostas obtidas dos idosos e dos Médicos indicaram existir fragilidades na saúde da visão, necessário repensar o modelo de prestação de cuidados de saúde nesta área. Esta investigação permitiu ao autor uma reflexão sobre as temáticas relacionadas com o envelhecimento levando a uma mudança de atitudes e comportamento na abordagem profissional a indivíduos idosos, promovendo autonomia nas escolhas e decisões em questões de saúde, na criação de estratégias para lidar com o problema de visão e na adaptação à nova condição de saúde da visão.---------------ABSTRACT:Purpose: The vision is a fundamental sense in the individual's relationship with the most varied environments, a central element in the functionality and independence of the elderly, any disturbance of visual function causes limitations in quality of life. The current demographic changes are characterized by progressive aging of population, there has been a parallel increase in the prevalence of disorders of the visual system by changing the visual function and functioning. Whereas the elderly are more dependent on vision, and there are no studies in this area developed in Portugal, this research is based analyze the influence that the disturbance of visual function in subjects aged 65 years or more has on the health related quality of life. We studied also the socio-demographic characteristics of the subjects, the eye health and general health perception, and identified themselves with the elderly participants and medical specialists in Family General Medicine perspective on disorders of visual function and aging. Design: Cross-sectional study, case control, descriptive and exploratory. Methods: From a population of 112 people with 65 or more years, regulars of various social welfare institutions of the Municipality of Loures and elderly regulars/institutionalized the Mansion of Santa Maria de Marvila, organic unity of the Foundation D. Pedro IV, were included 90 (80.4%). After informed consent, proceeded to the assessment of visual function in the Laboratories of Orthopticsof the School of Health Technology of Lisbon, where he also applied the Visual Functioning Questionnaire VFQ-25 and an open question for the type of vision difficulties experienced during the last year. Was applied also in a virtual environment, an open question to Doctors specialists in family general medicine related to the diagnosis/suspected relatively late disturbance of visual function. We carried out the descriptive treatment of socio-demographic characteristics, perception of general health and eye health and the responses of older people and doctors. We analyzed the relationship between visual function and quality of life related to health by applying the nonparametric Mann-Whitney test. Results: We found that individuals in the sample are mostly female (71.1%), married (41.1%), holders of low levels of education in which only 63.3% frequented / completed the 1st cycle of primary and almost entirely retired (88.9%). It is found that 77.8% of the elderly perceive their general health as fair or good. Likewise, 86.7% of individuals have altered vision mainly due to the change in visual acuity away (86.7%),up to 65.5% of eyes had a visual acuity of 5/10 or greater. Other dimensions that contributed to the alteration of visual function include contrast sensitivity (63.3%), stereopsis (51.1%), color vision (38.9%) and ocular motility (25.6%). There was thus obtained the highest scores for different scales of the questionnaire VFQ-25 in patients with altered vision except for scales related to near activities, driving and dependence. It is therefore a relationship between alteration in visual function and disturbance of quality of life related to health. To question for the elderly, 42.6% expressed no reason to see evil/feel difficulty seeing over the last year. The decrease in visual acuity for distance/near was reported by 20.5% of subjects, followed by the deterioration of general health and eye for 15%. The responses of medical specialists in general practice about reasons for the suspicion/diagnosis relatively late disturbance of visual function, indicate the illiteracy of the elderly for healthy vision and ocular semiology (34%), low education/information for Doctors in the health of vision (22%) and poor accessibility and response timeconsuming/ inefficient NHS ophthalmology services (20%) as main reasons for the subjects questioned. Conclusion: Changes in the visual system with an impact on visual function and the functioning change the health related quality of life, mainly due to the change in distance visual acuity. Older people do not value the visual health perceiving the general health and eye health positively relatively of visual function. It is essential to define strategies and literacy programs for eye health for the entire population, not just for the elderly. It is suggested reconsider the model of basic training of Doctors with special focus on the health of the vision, with special needs sensed training/information. The responses of older people and doctors have indicated there is weakness in eye health, need to rethink the model of health care in this area. This research allowed the author to reflect on issues related to aging leading to a change in attitudes and behavior in professional approach to the elderly, promoting autonomy in choices and decisions in health issues, creating strategies to deal with the problem of vision and adaptation to new conditions of eye health.

Derivation and consistency checking of models in early software product line engineering

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

SDAR: a package for plotting and analyzing stratigraphy data in R

Stratigraphic Columns (SC) are the most useful and common ways to represent the eld descriptions (e.g., grain size, thickness of rock packages, and fossil and lithological components) of rock sequences and well logs. In these representations the width of SC vary according to the grain size (i.e., the wider the strata, the coarser the rocks (Miall 1990; Tucker 2011)), and the thickness of each layer is represented at the vertical axis of the diagram. Typically these representations are drawn 'manually' using vector graphic editors (e.g., Adobe Illustrator®, CorelDRAW®, Inskape). Nowadays there are various software which automatically plot SCs, but there are not versatile open-source tools and it is very di cult to both store and analyse stratigraphic information. This document presents Stratigraphic Data Analysis in R (SDAR), an analytical package1 designed for both plotting and facilitate the analysis of Stratigraphic Data in R (R Core Team 2014). SDAR, uses simple stratigraphic data and takes advantage of the exible plotting tools available in R to produce detailed SCs. The main bene ts of SDAR are: (i) used to generate accurate and complete SC plot including multiple features (e.g., sedimentary structures, samples, fossil content, color, structural data, contacts between beds), (ii) developed in a free software environment for statistical computing and graphics, (iii) run on a wide variety of platforms (i.e., UNIX, Windows, and MacOS), (iv) both plotting and analysing functions can be executed directly on R's command-line interface (CLI), consequently this feature enables users to integrate SDAR's functions with several others add-on packages available for R from The Comprehensive R Archive Network (CRAN).

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.