Spill-over effects in multi-partner loyalty programs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

A debugging engine for parallel and distributed programs

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Environmental indicator frameworks to design and assess environmental monitoring programs

Impact Assessment and Project Appraisal, vol. 22, n.1, March 2004, p. 47–62

Static detection of anomalies in transactional memory programs

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

Tradução com adaptação cultural para portugês e determinação da reprodutibilidade do questionnaire on respiratory symptoms in preschool children

RESUMO: Introdução: A asma brônquica é uma entidade frequente em idade pediátrica, apresentando uma grande heterogeneidade clínica e significativa morbilidade quando não controlada. A identificação de crianças sintomáticas pode atrasar ou até mesmo diminuir a ocorrência de algumas alterações estruturais. Reconhece-se a necessidade de questionários sobre sintomas respiratórios em língua portuguesa, devidamente validados, que tenham como população-alvo os grupos etários inferiores a 3 anos. Deste modo, será possível não só um conhecimento mais rigoroso da asma e da sibilância infantil mas também a uniformização de metodologias para o desenvolvimento de estratégias a nível nacional. Objetivos: Tradução com adaptação cultural para português e determinação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores. Material e métodos: A escolha do questionário obedeceu a vários critérios, entre os quais o grupo etário, o tipo e número de perguntas. O Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores é um questionário de autopreenchimento, dirigido a crianças entre os 12 e os 24 meses de idade e destinado a estudos epidemiológicos ao nível da comunidade. Aborda aspetos referentes a sintomas respiratórios (sibilância, tosse crónica, sintomas das vias aéreas superiores), cuidados médicos, terapêutica, características ambientais, história familiar e situação social. Procedemos à sua tradução, com especial atenção para a adaptação do ponto de vista cultural e linguístico, utilizando o método da tradução / retroversão, amplamente utilizado e descrito na literatura internacional. Seguidamente determinámos a reprodutibilidade da versão final em língua portuguesa – Questionário de sintomas respiratórios em idade pré-escolar – utilizando o teste-reteste. Para tal, incluíram-se crianças entre os 12 e os 36 meses de idade recrutadas num Centro de Saúde e em creches de Lisboa. A distribuição dos questionários decorreu em duas fases: na primeira fase foram entregues pessoalmente nos locais de recrutamento e na segunda fase foram enviados por correio para os domicílios das crianças, respeitando-se um intervalo mínimo de 2 semanas entre ambos. Resultados: Na primeira fase foram distribuídos 180 questionários, com uma taxa de reposta de 41% (n=74). Na segunda fase enviaram-se para os respetivos domicílios 70 questionários,obtendo-se uma taxa de resposta de 66% (n=46). Para a análise de reprodutibilidade foram incluídos apenas os questionários preenchidos em ambos os momentos pelo mesmo indivíduo (mãe, pai ou representante legal) (n=41). A idade média das crianças foi, na primeira fase, de 22,5 meses e, na segunda fase, de 23,7 meses, com um predomínio do sexo feminino (F:M =1:0,6). A mediana do tempo decorrido entre os dois momentos de preenchimento dos questionários foi de 26 dias. Obtivemos valores de concordância globalmente bons a muito bons, à semelhança do sucedido no trabalho original. Conclusões: Procedemos à tradução e avaliação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children. Pretende-se que venha a ser uma ferramenta útil para estudos epidemiológicos e programas de rastreio na comunidade, contribuindo deste modo para uma otimização da abordagem da asma / sibilância infantil a nível nacional. -------------ABSTRACT: Background: Asthma is a very common feature in childhood, with important clinical heterogeneity and morbidity if not properly controlled. Identifying symptomatic children may delay or even reduce several structural changes. The development of questionnaires on respiratory symptoms in Portuguese for children under 3 years old will allow not only a more accurate knowledge of infantile asthma and recurrent wheezing but also the standardization of methodologies to develop nationwide strategies. Objectives: The aim of this study was to translate and adapt to the Portuguese culture and to determine the repeatability of the Questionnaire on respiratory symptoms in preschool children by Strippoli et al. Material and methods: The choice of the questionnaire took in consideration several criteria, among which the target age, the type and the number of questions. The Questionnaire on respiratory symptoms in preschool children by Strippoli et al is a parent-completed questionnaire for assessment of respiratory symptoms in 1 to 2-year-old children, developed for cross-sectional and longitudinal studies. It contains sections on respiratory symptoms (wheezing, chronic cough and upper airways symptoms), healthcare utilization, treatment, environmental exposure, family history and social situation. For the process of translation we used the method of translation and back-translation, with particular concern to cultural and linguistic adaptation. To assess the repeatability of the final Portuguese version - Questionário de sintomas respiratórios em idade pré-escolar - we used the test–retest analyses. The questionnaires were distributed to parents of children between 12 and 36 months old attending nurseries and a Primary Care Center of Lisbon. The distribution took place in two phases: the first questionnaires were delivered in person (phase one) and an identical questionnaire was posted to the families that participated in the first phase, 2 weeks after the first one was returned (phase two). Results: The response rates were 41% (180/74) in the first phase and 66% (70/46) in the second phase. For test–retest analyses, we included the 41 children with the same respondent (mother, father or legal representative) in both occasions. The median age of the children was 22,5 months at the first phase and 23,7 months at the second phase, with a predominance of girls (F:M = 1:0,6). The median time between the fillings of both questionnaires was 26 days. Globally, agreement values were good to excellent, similarly to the original work. Conclusion: In the present study we translated the Questionnaire on respiratory symptoms in preschool children and assessed its repeatability. Overall, we expect it to be a valuable tool for epidemiological studies and community-based screening programs, thus contributing to improve the management of infantile asthma / recurrent wheezing nationwide.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Type-based protocol conformance and aliasing control in concurrent java programs

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

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Lightweight monitoring of transactional memory programs

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

Promoting healthy eating standards on children through CSR educational programs: An evaluation of impact on eating preferences, attitude towards the brand and perceived brand reputation

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Positioning of Ontario University Business Programs - Guelph-Humber

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

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.

The Impact of income support programs on transitions to employment

The income support programs are created with the purpose of fighting both, the poverty trap and the inactivity trap. The balance between both is fragile and hard to find. Thus, the goal of this work is to contribute to solve this issue by finding how income support programs, particularly the Portuguese RSI, affect transitions to employment. This is made through duration analysis, namely using Cox and Competing Risks models. A particular feature is introduced in this work as it incorporates the possibility of Defective Risks. The estimated hazard elasticity with respect to the amount of RSI received for individuals who move to employment is -0,41. More than a half of RSI receivers stays for more than a year and the probability of never leaving to employment is 44%. The results appear to indicate that RSI has affected negatively transitions to employment.