Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Type System for the ComponentJ Programming Language

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 Informática.

Reactivity of human fetal and adult immortalized hepatocytes to potentially toxic bilirubin and bile acid species

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Sentido de coerência : ligação materno-fetal e estilo de vida da mulher durante a gravidez

RESUMO - Um dos grandes desafios actuais enfrentados pela Saúde Pública diz respeito ao fardo representado pelas doenças crónicas não transmissíveis enquanto co-responsáveis pela maioria das mortes que ocorrem no mundo, pela significativa e progressiva redução da qualidade de vida e aumento das incapacidades dos indivíduos afectados e por uma fasquia bastante elevada das despesas em saúde. Entretanto, a complexa dinâmica genética, biológica, psicológica, afectiva, sócio-cultural e ambiental que envolve o comportamento humano, tão amplamente relacionado com algumas destas doenças – doenças cardiovasculares, alguns tipos de cancro, obesidade, hipertensão, diabetes e doenças osteo-articulares – impõe o desafio constante da busca de novas e efectivas intervenções em promoção da saúde que influenciem positivamente os estilos de vida dos indivíduos, dos grupos e das comunidades. Sendo o sentido de coerência um traço da personalidade do indivíduo desenvolvido sob a influência directa ou indirecta dos mesmo factores acima referidos, o estabelecimento de uma relação entre este constructo e os comportamentos humanos pode revelar-se promissor para a elaboração de novas intervenções em promoção da saúde. Por sua vez, a gravidez, talvez por influência da ligação materno-fetal, pode representar um ponto de viragem na vida da mulher no que respeita ao sentido de coerência e aos comportamentos de saúde e um bom começo na vida do bebé que irá nascer sob a influência dos mesmos. Com a finalidade de contribuir para a construção de intervenções efectivas em promoção da saúde, através da descoberta de prováveis potencialidades salutogénicas dos constructos referidos – sentido de coerência e ligação materno-fetal –, foi desenvolvido um estudo quantitativo, observacional que teve por objectivos: ampliar o conhecimento sobre as mudanças do sentido de coerência no decorrer da vida, especificamente durante a gravidez; ampliar o conhecimento acerca das relações de alguns factores de natureza sócio-demográfica, psico-afectiva e obstétrica com o sentido de coerência das mulheres grávidas e com a ligação materno-fetal; e identificar possíveis relações entre o sentido de coerência, a ligação materno-fetal e o estilo de vida das mulheres grávidas, este último representado pelos hábitos alimentares, consumo de cafeína, consumo de álcool, hábitos tabágicos, prática regular de actividade física e ganho de peso durante a gravidez. O presente relatório descreve a concepção e os resultados deste estudo, que envolveu a uma amostra de 61 mulheres grávidas que estavam a ser acompanhadas nos serviços de saúde materna dos Centros de Saúde de Carnaxide extensão Linda-a-Velha e de Oeiras, no Distrito de Lisboa, Portugal, entre os meses de Fevereiro e Julho de 2005. Os resultados demonstram que, para a amostra de 61 mulheres grávidas que responderam ao inquérito por questionário de auto-resposta, foram encontradas associações estatisticamente significativas entre o sentido de coerência e a escolaridade e entre o sentido de coerência e a percepção do próprio estado de saúde. Além disso, foi encontrada alguma evidência das associações entre o sentido de coerência e a faixa etária, estado civil e rendimento mensal familiar e foi observada alguma tendência para que as mulheres grávidas com níveis de sentido de coerência mais elevados consumissem menos álcool do que as mulheres grávidas com níveis de sentido de coerência inferiores. Entretanto, as demais associações testadas não foram confirmadas. Relativamente à ligação materno-fetal, foram encontradas, para a amostra de 41 mulheres grávidas que participaram do segundo momento de colheita de dados do estudo, entre a 20ª e a 24ª semanas de gravidez, associações estatisticamente significativas com a escolaridade e o nível de rendimento familiar das mulheres grávidas, não tendo sido confirmadas as demais associações testadas. Embora não tenham sido estatisticamente evidenciadas as relações entre o sentido de coerência e a ligação materno-fetal e entre estes e os comportamentos de saúde, o carácter preliminar destes resultados, devido à subjectividade do processo de selecção não probabilístico da amostra estudada e à reduzida dimensão desta amostra, e a escassez de estudos descritos na literatura fazem com que seja prudente a realização de estudos de follow-up, com amostras de maiores dimensões, aleatórias e representativas da população, para que sejam estabelecidas quaisquer conclusões acerca destas questões.-----------------------------ABSTRACT - One of the greatest challenges faced by Public Health in nowadays is the burden represented by chronic diseases as co-responsible for the majority of deaths that occurs in the world, for the meaningful and progressive reduction of quality of life and increase of disabilities in affected individuals and for an important part of health expenses. However, the complexity of the genetic, biological, psychological, emotional, social, cultural and environmental dynamics that involves human behaviours related to some of these diseases – cardiovascular diseases, some kind of cancers, obesity, hypertension, diabetes and joint and bone diseases – poses the continuous challenge of searching for new and effective interventions of health promotion that positively influence individuals, groups and community lifestyles. Due to the fact that sense of coherence is an individual personality trace directly or indirectly influenced by the same factors listed above, the discovery of a relationship between this construct and human behaviours might be promising to the creation of new health promotion interventions. On the other hand, pregnancy may represent a turn point to the mother’s life and a good start in the baby’s life in relation to sense of coherence and health behaviours and It might occur because of the influence of maternal-fetal attachment. With the purpose of contributing with the creation of effective health promotion interventions through the discovery of probable salutogenic potentials in the referred constructs – sense of coherence and maternal-fetal attachment – , it was developed a quantitative observational study with the following objectives: to increase knowledge about changes in sense of coherence throughout life, specifically during pregnancy; to increase knowledge about the relationship between sense of coherence and maternal-fetal attachment and some social, demographical, psychological, emotional and obstetric factors of pregnant women; to identify probable relationships between sense of coherence, maternal-fetal attachment and pregnant women’s lifestyles, represented by diet habits, caffeine consumption, alcohol consumption, smoking habits, physical activity habits and weigh gain during pregnancy. This report describes the structure and the findings of this study involving a sample of 61 pregnant women who had been followed by health professionals in the mother health services of Carnaxide (Linda-a-Velha unity) and Oeiras Health Centres, in Lisbon, Portugal, between February and July of 2005. The results show that, for the 61 pregnant women who filled the self-reported questionnaire, it was found a statistically significant association between sense of coherence and education level. It was also found some evidence of the associations between sense of coherence and age, marital status and mensal household income and a trend toward pregnant women with higher levels of sense of coherence to drink less alcoholic beverages than pregnant women with lower levels of sense of coherence. However, the others associations tested were not confirmed. Regarding maternal-fetal attachment, it was found, for the sample of 41 women who participated in the second moment of data collection, between the 20th and the 24th week of pregnancy, statistically significant associations with education level and mensal household income. The others associations tested were not confirmed. Although the associations between sense of coherence and maternal-fetal attachment and between these constructs and health behaviours were not confirmed, all findings presented here are considered preliminary because of small dimension of sample and non-probabilistic criteria used for sample selection. What’s more, there are almost no studies described in the literature which could confirm or contradict these findings. Therefore, it is better to be careful and develop follow-up studies, with bigger and representative of population samples, before draw any conclusions about these theme.

Database repairs with answer set programming

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

A solidão na gravidez : determinantes da solidão e seu impacto na ligação materno-fetal

RESUMO - O sentimento de solidão tem vindo a tornar-se cada vez mais frequente entre os indivíduos, fruto do desenvolvimento da sociedade moderna. Especificamente, ocorrendo durante a gravidez, situação que produz na mulher importantes alterações não só físicas, como também psicológicas, familiares e sociais, deve passar a ser alvo de uma atenção especial. De um ponto de vista da Saúde Mental, o desenvolvimento saudável da gravidez exige uma rede de suporte social e uma relação conjugal satisfatórias. Tais elementos devem ser considerados como factores protectores do aparecimento de sentimentos de solidão. Pelo contrário, um baixo sentido de coerência e o aparecimento de depressão durante a gravidez são factores de risco que, inevitavelmente, irão interferir na qualidade da ligação materno-fetal, com repercussões no desenvolvimento psico-social do futuro ser humano. Este protocolo de projecto propõe um estudo transversal, exploratório e de natureza quantitativa. Engloba dois sub-estudos, focando os determinantes da solidão e o impacto desta na ligação materno-fetal, e pretende identificar associações pertinentes entre as várias dimensões envolvidas. A amostra em estudo será constituída por 202 grávidas que frequentam o Centro de Saúde de Torres Vedras. As variáveis correspondentes serão operacionalizadas através de questionários estandardizados e validados para a população portuguesa, sendo eles a Escala de Solidão da UCLA, a Escala de Satisfação com o Suporte Social, a Escala de Avaliação de Áreas da Vida Conjugal, a Escala de Ligação Materno-Fetal, a Escala de Depressão Pós-Parto de Edimburgo e o Questionário de Orientação para Viver. Espera-se identificar e caracterizar as possíveis associações entre a solidão e a satisfação com o suporte social, a satisfação conjugal, a depressão durante a gravidez e o sentido de coerência, que a explicarão, e a ligação materno-fetal, que será influenciada por ela. Os questionários serão respondidos pelas grávidas seleccionadas de acordo com critérios de inclusão e exclusão. Além das descrições estatísticas iniciais, as análises de associação serão realizadas em função das distribuições encontradas, e tendo em conta dimensões do contexto sociodemográfico. Os resultados da investigação serão divulgados num relatório final. ----------------------- ABSTRACT - The feeling of loneliness is increasing as a result of developments in modern society. Specifically occurring during pregnancy, when important changes - physical, psychological and related to the family structure and interaction with society - take place, special attention should be devoted. To maintain good mental health during pregnancy it is important to have good social support and harmonious conjugal relations, both considered as factors preventing the emergence of feelings of loneliness. By contrast low sense of coherence and depression during the pregnancy are risk factors which, inevitably, will affect the quality of the maternal-fetal attachment and have repercussions on the psycho-social development of the future individual. This protocol of draft proposes a transversal exploratory study of a quantitative nature on two sub-studies, exploring the determinants of loneliness and its impact on the maternal-fetal attachment, which intends to identify some correlations between parameters. The study sample is made up of 202 pregnant women who are patients at the Health Centre of the city of Torres Vedras. They will be selected according to criteria of inclusion and exclusion. All variables will be measured through standardized and validated surveys illustrating the Portuguese population, like the Scale of Loneliness of the UCLA, Scale of Satisfaction with the Social Support, Scale of Evaluation of Areas of the Conjugal Life, Maternal-Fetal Attachment Scale, Edinburgh Postnatal Depression Scale, and Orientation To Life Questionnaire. We expect to identify correlations between loneliness and satisfaction with social support and conjugal relations, depression during pregnancy and sense of coherence, which will explain it, and the maternal-fetal attachment, which will influence it. Beyond the initial statistical descriptions, the data analysis will be executed according to the distributions found and will be carried taking into account the socio-demographic context. The results of the survey will be published in a final report.

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Data-centric concurrency control on the java programming language

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

Child programming: an adequate domain specific language for programming specific robots

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

Unraveling maternal and fetal genetic factors protecting from Pregnancy Associated Malaria in the mouse

Malaria is one of the most devastating diseases in the world. In Plasmodium endemic regions, pregnant women are among the most vulnerable groups. Pregnancy Associated Malaria (PAM) threatens both maternal and foetal lives. Despite differences between human and mouse placentas PAM mouse models recapitulate key pathological features of human PAM. Here we describe new PAM models of mid gestation infection in the C57BL/6 mouse.(...)

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.