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

Recurrence After Operative Management of Intrahepatic Cholangiocarcinoma

INTRODUCTION: Data on recurrence after operation for intrahepatic cholangiocarcinoma (ICC) are limited. We sought to investigate rates and patterns of recurrence in patients after operative intervention for ICC. METHODS: We identified 301 patients who underwent operation for ICC between 1990 and 2011 from an international, multi-institutional database. Clinicopathologic data, recurrence patterns, and recurrence-free survival (RFS) were analyzed. RESULTS: During the median follow up duration of 31 months (range 1-208), 53.5% developed a recurrence. Median RFS was 20.2 months and 5-year actuarial disease-free survival, 32.1%. The most common site for initial recurrence after operation of ICC was intrahepatic (n = 98; 60.9%), followed by simultaneous intra- and extrahepatic disease (n = 30; 18.6%); 33 (21.0%) patients developed extrahepatic recurrence only as the first site of recurrence. Macrovascular invasion (hazard ratio [HR], 2.08; 95% confidence interval [CI], 1.34-3.21; P < .001), nodal metastasis (HR, 1.55; 95% CI, 1.01-2.45; P = .04), unknown nodal status (HR, 1.57; 95% CI, 1.10-2.25; P = .04), and tumor size ≥5 cm (HR, 1.84; 95% CI, 1.28-2.65; P < .001) were independently associated with increased risk of recurrence. Patients were assigned a clinical score from 0 to 3 according to the presence of these risk factors. The 5-year RFS for patients with scores of 0, 1, 2, and 3 was 61.8%, 36.2%, 19.5%, and 9.6%, respectively. CONCLUSION: Recurrence after operative intervention for ICC was common. Disease recurred both at intra- and extrahepatic sites with roughly the same frequency. Factors such as lymph node metastasis, tumor size, and vascular invasion predict highest risk of recurrence.

Sistema aplicacional para o acompanhamento e monitorização de casos de perturbação psicótica

Pretende-se, na presente dissertação, descrever o trabalho desenvolvido e os conhecimentos adquiridos no decorrer do projeto “iCOPE”, realizado no âmbito do curso de Mestrado em Engenharia de Computação e Instrumentação Médica. O projeto consistiu no desenvolvimento de um sistema aplicacional para o auxílio à prestação de serviços e cuidados de saúde a pacientes com doenças psicóticas tanto através de ferramentas de autogestão, como por funcionalidades que permitirão a um terapeuta monitorizar as ocorrências comunicadas pelos respetivos pacientes atribuídos. As tarefas à responsabilidade do autor desta dissertação compreenderam o levantamento e especificação de requisitos funcionais, o desenvolvimento das funcionalidades e interfaces de gestão de utilizadores e administração do sistema, o desenvolvimento das funcionalidades e interfaces para utilização pelos terapeutas e a criação de ferramentas para a instalação do servidor aplicacional central, existindo ainda cooperação no desenvolvimento de funcionalidades e interfaces para utilização pelos pacientes, nomeadamente ao nível da modelização da base de dados e na realização de testes e deteção de erros. Os resultados da avaliação das interfaces desenvolvidas, obtidos por meio da análise de respostas dadas por um grupo de potenciais utilizadores a um inquérito de usabilidade anónimo, demonstraram que estes estão satisfeitos com a solução implementada, havendo, no entanto, margem para futuros melhoramentos e incremento de funcionalidades.

Heterogeneous sensor database framework for the sensor observation service: integrating remote and in-situ sensor observations at the database backend

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

How to promote healthy eating habits in children

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

Fat Mass Index Performs Best in Monitoring Management of Obesity in Prepubertal Children

An early and accurate recognition of success in treating obesity may increase the compliance of obese children and their families to intervention programs. This observational, prospective study aimed to evaluate the ability and the time to detect a significant reduction of adiposity estimated by body mass index (BMI), percentage of fat mass (%FM), and fat mass index (FMI) during weight management in prepubertal obese children.

Obama's law : analysis of a breakthrough law on healthcare access and lessons for the Portuguese health system management

ABSTRACT - The Patient Protection and Affordable Care Act shook the foundations of the US health system, offering all Americans access to health care by changing the way the health insurance industry works. As President Obama signed the Act on 23 March 2010, he said that it stood for “the core principle that everybody should have some basic security when it comes to their health care”. Unlike the U.S., the Article 64 of the Portuguese Constitution provides, since 1976, the right to universal access to health care. However, facing a severe economic crisis, Portugal has, under the supervision of the Troika, a tight schedule to implement measures to improve the efficiency of the National Health Service. Both countries are therefore despite their different situation, in a conjuncture of reform and the use of new health management measures. The present work, using a qualitative research methodology examines the Affordable Care Act in order to describe its principles and enforcement mechanisms. In order to describe the reality in Portugal, the Portuguese health system and the measures imposed by Troika are also analyzed. The intention of this entire analysis is not only to disclose the innovative U.S. law, but to find some innovative measures that could serve health management in Portugal. Essentially we identified the Exchanges and Wellness Programs, described throughout this work, leaving also the idea of the possibility of using them in the Portuguese national health system.

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

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

Management consulting labs- Galp loyalty

The purpose of this project was to diagnose and estimate the possible value to add to the current loyalty program of Galp and to explore possible redefinitions to the loyalty approach. In order to do that it was performed a deep benchmarking about the company, exhaustive research on the existent data about loyalty and loyalty programs, new data mining with quantitative and qualitative analysis, exploratory market research and ideation sessions. Based on all the work developed, a group of five changes of paradigm were suggested through structured and innovative ideas to answer the challenge proposed.

Management consulting labs Galp loyalty

The main objective of this project was to investigate methods to create a new loyalty approach for Galp Energia in order to improve customer retention and reduce churn, related with the expansion of hypermarket chains’ in the Fuel Retail Market and the country’s economical situation. The team carried out on-spot surveys and focus groups, researched loyalty programs’ best practices, analyzed peers practices and the company’s past performance in order to find important customer insights. These were used to develop the final recommendations resulting in a new paradigm to the group’s loyalty approach alongside incremental improvements to the current loyalty solutions.

Integrative literature review of the reported uses of serological tests in leprosy management

Abstract: An integrative literature review was conducted to synthesize available publications regarding the potential use of serological tests in leprosy programs. We searched the databases Literatura Latino-Americana e do Caribe em Ciências da Saúde, Índice Bibliográfico Espanhol em Ciências da Saúde, Acervo da Biblioteca da Organização Pan-Americana da Saúde, Medical Literature Analysis and Retrieval System Online, Hanseníase, National Library of Medicine, Scopus, Ovid, Cinahl, and Web of Science for articles investigating the use of serological tests for antibodies against phenolic glycolipid-I (PGL-I), ML0405, ML2331, leprosy IDRI diagnostic-1 (LID-1), and natural disaccharide octyl-leprosy IDRI diagnostic-1 (NDO-LID). From an initial pool of 3.514 articles, 40 full-length articles fulfilled our inclusion criteria. Based on these papers, we concluded that these antibodies can be used to assist in diagnosing leprosy, detecting neuritis, monitoring therapeutic efficacy, and monitoring household contacts or at-risk populations in leprosy-endemic areas. Thus, available data suggest that serological tests could contribute substantially to leprosy management.

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

The importance of risk assessment in the context of investment project management: a case study

Risk management is an important component of project management. Nevertheless, such process begins with risk assessment and evaluation. In this research project, a detailed analysis of the methodologies used to treat risks in investment projects adopted by the Banco da Amazonia S.A. was made. Investment projects submitted to the FNO (Constitutional Fund for Financing the North) during 2011 and 2012 were considered for that purpose. It was found that the evaluators of this credit institution use multiple indicators for risk assessment which assume a central role in terms of decision-making and contribute for the approval or the rejection of the submitted projects; namely, the proven ability to pay, the financial records of project promotors, several financial restrictions, level of equity, level of financial indebtedness, evidence of the existence of a consumer market, the proven experience of the partners/owners in the business, environmental aspects, etc. Furthermore, the bank has technological systems to support the risk assessment process, an internal communication system and a unique system for the management of operational risk.