Study of multi-component systems in polybenzimidazole membrane formation and their impact on membrane performance

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Data-centric concurrency control on the java programming language

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

Healing replicas in a software component replication system

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

An assessment of the integration of the mental health component into the care of women affected by intimate partner violence in Peru

RESUMO: A violência contra as mulheres (VCM) é um problema de saúde pública e uma violação dos direitos humanos. Ele tem uma alta prevalência na América Latina e no Caribe; o Estudo da Violência Contra as Mulheres da Organização Mundial de Saúde (OMS) identificou que as mulheres peruanas sofrem o maior índice de violência. O Perú é signatário da CEDAW e da Convenção de Belém do Pará, com recomendações para resolver este tipo de discriminação e descrever o papel do setor da saúde. A lei peruana define a violência como um problema de saúde mental. Objectivos: As três orientações clínicas do Ministério da Saúde para avaliar a integração da componente de saúde mental no cuidado de mulheres afetadas pela VCM foram revistas. Método: A proteção da saúde mental foi avaliada nas orientações acima mencionadas. A lei peruana relevante para perceber o reconhecimento das consequências de VCM na saúde mental e os cuidados prestados neste contexto foram revistos. Usando esses padrões nacionais e internacionais, foi realizada uma análise de conteúdo dos guias peruanos para a atenção da violência para ver como eles se integram a saúde mental. Resultados: Estas orientações são muito extensas e não definem claramente a responsabilidade dos profissionais de saúde. Não incluem um exame de saúde mental na avaliação da vítima e são vagas na descrição das atividades a serem realizadas pelo prestador dos cuidados de saúde. As orientações recomendam uma triagem universal usando um instrumento com formato antiquado e pesado. Em contrapartida, as orientações da OMS não recomendam qualquer triagem. Conclusão: As várias orientações analisadas não fornecem a informação necessária para o profissional de saúde avaliar o envolvimento da saúde mental e, desnecessariamente, tratam as mulheres sobreviventes de VCM como doentes mentais. Recomenda-se que as orientações recentes da OMS (Responding to intimate partner violence and sexual violence against women: WHO clinical and policy guidelines, 2013) para os cuidados de VCM sejam usadas como um modelo para o desenvolvimento de um único dispositivo técnico que incorpora directrizes com base científica. legislação com base no género, saúde, guias, prevenção e mujeres 6 RESUMO (PORTUGUESE) A violência contra as mulheres (VCM) é um problema de saúde pública e uma violação dos direitos humanos. Ele tem uma alta prevalência na América Latina e no Caribe; o Estudo da Violência Contra as Mulheres da Organização Mundial de Saúde (OMS) identificou que as mulheres peruanas sofrem o maior índice de violência. O Perú é signatário da CEDAW e da Convenção de Belém do Pará, com recomendações para resolver este tipo de discriminação e descrever o papel do setor da saúde. A lei peruana define a violência como um problema de saúde mental. Objectivos: As três orientações clínicas do Ministério da Saúde para avaliar a integração da componente de saúde mental no cuidado de mulheres afetadas pela VCM foram revistas. Método: A proteção da saúde mental foi avaliada nas orientações acima mencionadas. A lei peruana relevante para perceber o reconhecimento das consequências de VCM na saúde mental e os cuidados prestados neste contexto foram revistos. Usando esses padrões nacionais e internacionais, foi realizada uma análise de conteúdo dos guias peruanos para a atenção da violência para ver como eles se integram a saúde mental. Resultados: Estas orientações são muito extensas e não definem claramente a responsabilidade dos profissionais de saúde. Não incluem um exame de saúde mental na avaliação da vítima e são vagas na descrição das atividades a serem realizadas pelo prestador dos cuidados de saúde. As orientações recomendam uma triagem universal usando um instrumento com formato antiquado e pesado. Em contrapartida, as orientações da OMS não recomendam qualquer triagem. Conclusão: As várias orientações analisadas não fornecem a informação necessária para o profissional de saúde avaliar o envolvimento da saúde mental e, desnecessariamente, tratam as mulheres sobreviventes de VCM como doentes mentais. Recomenda-se que as orientações recentes da OMS (Responding to intimate partner violence and sexual violence against women: WHO clinical and policy guidelines, 2013) para os cuidados de VCM sejam usadas como um modelo para o desenvolvimento de um único dispositivo técnico que incorpora directrizes com base científica.-----------------ABSTRACT: Violence against women (VAW) is a public health problem and a human rights violation. It is highly prevalent in Latin America and the Caribbean; the Multi-country Study on Violence against Women by the World Health Organization identified rural Peruvian women as suffering the highest rates of VAW. The country is party to CEDAW and Belen Do Para Conventions, which set forth recommendations to overcome this form of discrimination and describe the role of the health sector. Peruvian law defines violence as a mental health issue. Objective: The Ministry of Health’s three technical guidelines were reviewed to assess the integration of mental health into the care of women affected by violence Method: The protection of the woman’s mental health was ascertained in the conventions mentioned above. The recognition of the mental health consequences of VAW and the inclusion of its evaluation and care were assessed in pertinent Peruvian legislation. Using these international and national parameters, the three guidelines for the attention of violence were subject to content analysis to see whether they conform to the conventions and integrate mental health care. Outcome: These guidelines are too extensive and do not clearly define the responsibility of health workers. They do not include a mental health exam in the evaluation of the victim and are vague in the description of the actions to be carried out by the health care provider. Guidelines prescribe universal screening using an outdated instrument and moreover, WHO Guidelines do not recommend screening. Conclusion: These multiple guidelines do not provide useful guidance for health care providers, particularly for the assessment of mental health sequelae, and unnecessarily stigmatize survivors of violence as mentally ill. It is recommended that the World Health Organization’s document Responding to intimate partner violence and sexual violence against women: WHO clinical and policy guidelines (2013) be used as a blueprint for only one technical instrument that incorporates evidence -based national policy and guidelines.

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.

Relating the spatial component and users interests to improve applications based on questions, petitions and participatory processes

Nowadays, participatory processes attending the need for real democracy and transparency in governments and collectives are more needed than ever. Immediate participation through channels like social networks enable people to give their opinion and become pro-active citizens, seeking applications to interact with each other. The application described in this dissertation is a hybrid channel of communication of questions, petitions and participatory processes based on Public Participation Geographic Information System (PPGIS), Participation Geographic Information System (PGIS) and ‘soft’ (subjective data) Geographic Information System (SoftGIS) methodologies. To achieve a new approach to an application, its entire design is focused on the spatial component related with user interests. The spatial component is treated as main feature of the system to develop all others depending on it, enabling new features never seen before in social actions (questions, petitions and participatory processes). Results prove that it is possible to develop a working application mainly using open source software, with the possibility of spatial and subject filtering, visualizing and free download of actions within application. The resulting application empowers society by releasing soft data and defines a new breaking approach, unseen so far.

Pair trading: Clustering based on principal component analysis

This study focuses on the implementation of several pair trading strategies across three emerging markets, with the objective of comparing the results obtained from the different strategies and assessing if pair trading benefits from a more volatile environment. The results show that, indeed, there are higher potential profits arising from emerging markets. However, the higher excess return will be partially offset by higher transaction costs, which will be a determinant factor to the profitability of pair trading strategies. Also, a new clustering approach based on the Principal Component Analysis was tested as an alternative to the more standard clustering by Industry Groups. The new clustering approach delivers promising results, consistently reducing volatility to a greater extent than the Industry Group approach, with no significant harm to the excess returns.

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.

Electrohysterogram signal component cataloging with spectral and time-frequency methods

The Electrohysterogram (EHG) is a new instrument for pregnancy monitoring. It measures the uterine muscle electrical signal, which is closely related with uterine contractions. The EHG is described as a viable alternative and a more precise instrument than the currently most widely used method for the description of uterine contractions: the external tocogram. The EHG has also been indicated as a promising tool in the assessment of preterm delivery risk. This work intends to contribute towards the EHG characterization through the inventory of its components which are: • Contractions; • Labor contractions; • Alvarez waves; • Fetal movements; • Long Duration Low Frequency Waves; The instruments used for cataloging were: Spectral Analysis, parametric and non-parametric, energy estimators, time-frequency methods and the tocogram annotated by expert physicians. The EHG and respective tocograms were obtained from the Icelandic 16-electrode Electrohysterogram Database. 288 components were classified. There is not a component database of this type available for consultation. The spectral analysis module and power estimation was added to Uterine Explorer, an EHG analysis software developed in FCT-UNL. The importance of this component database is related to the need to improve the understanding of the EHG which is a relatively complex signal, as well as contributing towards the detection of preterm birth. Preterm birth accounts for 10% of all births and is one of the most relevant obstetric conditions. Despite the technological and scientific advances in perinatal medicine, in developed countries, prematurity is the major cause of neonatal death. Although various risk factors such as previous preterm births, infection, uterine malformations, multiple gestation and short uterine cervix in second trimester, have been associated with this condition, its etiology remains unknown [1][2][3].

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.

Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

Relatório de estágio de mestrado em Ensino de Informática

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.