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

Estimating data divergence in cloud computing storage systems

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

Assessing self-organization and emergence in Evolvable Assembly Systems (EAS)

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

Seroprevalence and sociocultural conditionants of Chagas disease in school aged children of marginal zones of Asunción

Chagas disease is becoming a public health problem in Latin America due to the wide distribution, the high prevalence, the magnitude of the damage caused and the difficulties to control it. In Paraguay, the disease is mainly distributed in the departments of Paraguari, Cordillera and Central. Prevalence in marginal zones, where migrations from rural populations and endemic areas make possible the urbanization of the disease, has no been studied yet. This is a descriptive study with a cross-sectional sampling and a probabilistic system recruitment carried out in school aged children from marginal zones of Asuncion to determine the prevalence of Chagas' disease. Serological methods, parasite isolation and questionnaires were used to achieve the goals. Nine hundred and fifty three children were studied to determine the prevalence of Chagas' disease in marginal zones which was 1.4%.

Robustness of corroded reinforced concrete structures

Dissertação para obtenção do Grau de Doutor em Engenharia Civil

Planeamento da alta : impacto nos indicadores de desempenho hospitalar

RESUMO - Planeamento da Alta: Impacto nos Indicadores de Desempenho Hospitalar O problema do presente trabalho reside na percentagem de hospitais do SNS que não tem um processo de planeamento de alta standartizado. Norteada pela questão de investigação: Qual o impacto do Planeamento das Altas nos indicadores de desempenho dos hospitais do SNS?; pelas hipóteses de que os hospitais com um processo de Planeamento da Alta standartizado têm uma Taxa de Reinternamento e uma Demora Média menor; e pelo objetivo geral: Conhecer o impacto do planeamento da alta standartizado nos indicadores de desempenho dos hospitais do SNS, enveredou-se pelo paradigma quantitativo e foi realizada uma análise comparativa dos indicadores de desempenho de dois grupos hospitalares. Estudou-se uma amostra da população acessível, constituída por 57 estabelecimentos hospitalares do SNS e destes foram criados dois grupos de hospitais, que diferiam no facto de ter um processo de planeamento de alta standartizado. No final obteve-se uma amostra, não probabilística, de 12 hospitais, seis que possuíam um processo standartizado e os outros seis não. A recolha de dados foi efetuada através dos sítios da ACSS, DGS e das entidades hospitalares. Os dados foram tratados através da estatística descritiva e indutiva, com recurso a programas informáticos. Da análise emergiram como principais resultados: A existência de um processo de planeamento de alta hospitalar standartizado não tem um impacto significativo nos indicadores de desempenho hospitalar, nomeadamente na redução das Taxas de Reinternamento e da Demora Média hospitalar.

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.

Statistics as a basis for discrimination in the insurance business

The European Court of Justice has held that as from 21 December 2012 insurers may no longer charge men and women differently on the basis of scientific evidence that is statistically linked to their sex, effectively prohibiting the use of sex as a factor in the calculation of premiums and benefits for the purposes of insurance and related financial services throughout the European Union. This ruling marks a sharp turn away from the traditional view that insurers should be allowed to apply just about any risk assessment criterion, so long as it is sustained by the findings of actuarial science. The naïveté behind the assumption that insurers’ recourse to statistical data and probabilistic analysis, given their scientific nature, would suffice to keep them out of harm’s way was exposed. In this article I look at the flaws of this assumption and question whether this judicial decision, whilst constituting a most welcome landmark in the pursuit of equality between men and women, has nonetheless gone too far by saying too little on the million dollar question of what separates admissible criteria of differentiation from inadmissible forms of discrimination.

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.

Knowledge management framework based on brain models and human physiology

The life of humans and most living beings depend on sensation and perception for the best assessment of the surrounding world. Sensorial organs acquire a variety of stimuli that are interpreted and integrated in our brain for immediate use or stored in memory for later recall. Among the reasoning aspects, a person has to decide what to do with available information. Emotions are classifiers of collected information, assigning a personal meaning to objects, events and individuals, making part of our own identity. Emotions play a decisive role in cognitive processes as reasoning, decision and memory by assigning relevance to collected information. The access to pervasive computing devices, empowered by the ability to sense and perceive the world, provides new forms of acquiring and integrating information. But prior to data assessment on its usefulness, systems must capture and ensure that data is properly managed for diverse possible goals. Portable and wearable devices are now able to gather and store information, from the environment and from our body, using cloud based services and Internet connections. Systems limitations in handling sensorial data, compared with our sensorial capabilities constitute an identified problem. Another problem is the lack of interoperability between humans and devices, as they do not properly understand human’s emotional states and human needs. Addressing those problems is a motivation for the present research work. The mission hereby assumed is to include sensorial and physiological data into a Framework that will be able to manage collected data towards human cognitive functions, supported by a new data model. By learning from selected human functional and behavioural models and reasoning over collected data, the Framework aims at providing evaluation on a person’s emotional state, for empowering human centric applications, along with the capability of storing episodic information on a person’s life with physiologic indicators on emotional states to be used by new generation applications.