Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Web Processing Services for Forestry and Environmental Applications

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

The impact of the economic crisis on the quality of health services

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

The Future of services: Uncovering latent needs through trend analysis

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

Guincho surf center business plan viability: Case study

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

Marketing plan for Educational Center "The Unknow Islands" Russia

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

Dynamic adaptation of interaction models for stateful web services

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

Factors associated with Leptospira sp infection in a large urban center in northeastern Brazil

Leptospirosis is a zoonotic disease that has emerged to cause epidemics in urban communities in developing countries. However, little is known about the infection in the general population. A seroprevalence survey was performed on a random sample of 1,390 subjects in Salvador, Brazil. Data on environmental and socioeconomic factors were collected. The microagglutination test of serum samples was used to show any prior Leptospira infection. The overall seroprevalence was 12.4%. Among the seropositive individuals, 111 (61%) had high titers for serovars of the Icterohaemorrhagiae serogroup. Seroprevalence increased with age and was similar for males and females. A positive correlation between Leptospira infection and low educational level was found. These findings indicate that a significant proportion of this urban population is exposed to pathogenic Leptospira. Public health actions for leptospirosis control will need to target not only the traditional groups at risk of infection with severe forms of this disease, but also the general population that is at risk.

Differences in ERP use and value across Iberian Manufacturing and Services SMEs

Enterprise Resource Planning (ERP) system literature reports very little research on post-adoption stages, that is, actual usage and value. Even fewer studies focus on the specificities of an industry analysis. Based on the Technology-Organizational-Environment (TOE) framework and the Resource-Based View (RBV) theory, we develop a research model to measure and examine determinants of ERP use and value and their impact in the Iberian region (Portugal and Spain) across Manufacturing and Services industries in Small and Medium Enterprises (SMEs). The empirical test was conducted through structural equation modelling, using data from 261 firms in the peninsula in the Manufacturing and Service industries. Results show that amongst ERP use determinants, Training is the most important determinant for Service firms and Compatibility for Manufacturing firms. Firm size, Analytics, and Collaboration contribute to ERP Value in both industries, with Analytics being more important for the Service industry. The paper provides insight into which determinants contribute to ERP use and ERP value in Iberian Manufacturing and Services SMEs, offering managerial and academic implications.

Epidemiological profile of hepatitis C in blood donors at the Uberaba Regional Blood Center

The aim of the present study was to outline the serological profile of hepatitis C among blood donors seen at the Uberaba Regional Blood Center, Hemominas Foundation, over the last 14 years. The frequency of hepatitis C was compared between first-time and repeat donors and the epidemiological characteristics of those with positive and indeterminate ELISA anti-HCV (third and fourth generation) were analyzed based on the donor histories kept in the archives of the Uberaba Regional Blood Center. The serological ineligibility rate was 0.3%, with higher prevalence in the group of first-time donors. We did not find any significant differences regarding age, skin color, marital status or place of residence between eligible and ineligible donors; however, the frequency of positive serology was higher among men. The lower (0.3%) rate of ineligibility due to hepatitis C that was observed at the Uberaba Regional Blood Center, in relation to most Brazilian blood centers, is probably due to the large number of repeat donors (83.3%). This reinforces the importance of achieving donor commitment for increasing transfusion safety.

Caraterização do acesso ao Centro Hospitalar Lisboa Norte, EPE : análise do acesso e da utilização da consulta externa e da urgência do Centro Hospitalar Lisboa Norte, EPE

RESUMO - Introdução: As alterações verificadas no dimensionamento e na redistribuição da rede de prestação de cuidados hospitalares, nomeadamente no que confere à reorganização das áreas de influência, e, cumulativamente, à abertura do Hospital Beatriz Ângelo, tornam evidente a necessidade de se analisar o acesso e a utilização da consulta externa e da urgência, antes e depois destas alterações. Objetivo: Este trabalho de investigação tem como principal objetivo analisar o acesso e a utilização da consulta externa e da urgência do Centro Hospitalar Lisboa Norte e verificar a evolução desse mesmo acesso, no período de 2010 a 2013. Material e Métodos: Estudo descritivo que visa determinar a frequência e a distribuição dos episódios de Consulta Externa e de Urgência do Centro Hospitalar Lisboa Norte. Foram considerados todos os episódios de consulta externa (3785579 episódios) e de urgência (1140052 episódios) ocorridos entre 1 de janeiro de 2010 e 31 de dezembro de 2013. Resultados: Entre 2010 e 2013, verificou-se o aumento de +2,3% no número de primeiras consultas e de +5%, em consultas subsequentes. As especialidades médicas com maior afluência são Oftalmologia, Dermatologia I, Pediatria e Otorrinolaringologia I. Observou-se, no total de consultas, qual a percentagem que, em cada ano, obteve um tempo de espera inferior a 1 mês, entre a marcação e a realização da consulta: 56,7%, em 2010; 54,3%, em 2011; 55% em 2012; 56,2%, em 2013. Verificou-se o decréscimo do número de atendimentos de urgência, no período em análise, de -38,9%. Cerca de 90% dos atendimentos de urgência respeitam a utentes que acorrem diretamente à urgência sem virem referenciados de outras unidades de saúde. Os meses de janeiro e fevereiro são aqueles que registam maior afluência, 9,9% e 8,8%, respetivamente. O período de maior afluência regista-se entre as 9 e as 11 horas, representando 20,7% dos episódios, em 2010, 21,2%, em 2011, 21% e 20,5%, em 2012 e 2013, respetivamente. Conclusão: Face à alteração da área de influência do Centro Hospitalar Lisboa Norte, torna-se necessária a adaptação da capacidade instalada para haja um sobredimensionamento face à procura, bem como a adequação de recursos internos, financeiros, humanos e tecnológicos.

Decline in prevalence and asymmetric distribution of human T cell lymphotropic virus 1 and 2 in blood donors, State of Minas Gerais, Brazil, 1993 to 2007

INTRODUCTION: Human T cell lymphotropic virus types 1 and 2 (HTLV-1/2) are endemic in Brazil and are screened for in transfusion services since 1993. This study evaluated the evolution of the prevalence of HTLV-1 and 2 in blood donors of the Hemominas Foundation from 1993 to 2007, and its geographical distribution in State of Minas Gerais, Brazil. METHODS: The Hemominas Foundation is a centralized blood center in Minas Gerais, Brazil. The sources of data were the Hemominas Foundation Technical Bulletin and files from the centralized serological laboratory. Donors were tested in the period using enzyme linked immuno sorbent assays (ELISA), followed by Western blot, when repeatedly reactive. The data were analyzed by EPIINFO 6.2 and TABWIN 3.5 softwares. RESULTS: The average seroprevalence in the period 1993-2007 was 0.1%. A steady decline occurred from 0.4% in 1993 to below 0.1% in 2002 and later, with a transient peak of 0.5% in 1994. HTLV reactivity distribution was asymmetrical in the state, with regions of higher prevalence, interspersed with low prevalence areas. Comparison of positive and negative donors verified that increasing age was proportional to virus positivity. Odds ratio for age ranged from 1.43 (30 to 39 years-old) to 3.09 (50 to 65 years-old). Women had a greater chance of being positive (OR-1.64), as previously described. CONCLUSIONS: Possible explanations for HTLV-1/2 prevalence decline are the exclusion of positive donors from the donor pool, an increase in repeat donors and ELISA test improvement, with reduction in the number of false positive results.

Profile of pregnant women and children treated at a reference center for congenital toxoplasmosis in the northern state of Minas Gerais, Brazil

INTRODUCTION: To describe the clinical and epidemiological profile of pregnant women and children treated at a reference outpatient clinic for congenital toxoplasmosis. METHODS: Pregnant women potentially exposed to Toxoplasma gondii were observed. Diagnoses were made using serologic tests compatible with acute toxoplasmosis. Children presenting with: Toxoplasma-specific antibodies (IgM or IgA or ascending IgG titers higher than maternal titers in the first 3 months of life) coupled with toxoplasmosis symptoms; intracranial calcifications (by transfontanelar ultrasound or cephalic segment tomography); or retinochoroiditis (by fundoscopy examination) in the first 8 months of life were also included in the study. RESULTS: Fifty-eight mother-child pairs were observed (mean age of the mothers was 22.1 years). Most patients lived in urban areas (86.2%) and had attended less than 8 years of school (51.7%). Diagnosis was made after birth in 19 (32.8%) children. Thirty-four (58.6%) women received some type of treatment during pregnancy. Most (72.4%) of the children did not present with clinical alterations at birth. The main findings were ophthalmological: 20 (34.5%) children with retinochoroiditis, 17 (29.3%) with strabismus, and 7 (12.1%) with nystagmus. Of the children with retinochoroiditis, 9 presented with subnormal vision. Ten (32.3%) out of 31 children presented with intracranial calcifications by cephalic segment congenital toxoplasmosis, and 9 (42.9%) children presented with delayed psychomotor development. CONCLUSIONS: Our results highlight a critical situation. Protocols for follow-up of pregnant women and their children must be created to improve medical care and minimize sequelae.

How to improve Sonae's processes of suppliers of services' management?

Sonae is one of the greatest retailers in Portugal. As the business got bigger, it centralized operations. Direcção de Serviços Administrativos processes all invoices sent by suppliers. However, there are many which deliver errors and are not processed automatically. As a result, there are lost invoices and suppliers who are not paid, while the company’s accountability becomes less transparent. Such is due to a lack of proactive attitude towards suppliers as well as to a lack of incentives for employees to perform well. Great savings may be achieved with little effort, if the right things are measured so that the right tools may be applied.

Barriers preventing the successful integration of mental health services into Primary Health Care in Nigeria : a mixed methods approach

RESUMO: A Nigéria tem uma população estimada em cerca de 170 milhões de pessoas. O número de profissionais de saúde mental é muito diminuto, contando apenas com 150 psiquiatras o que perfaz aproximadamente um rácio de psiquiatra: população de mais de 1:1 milhão de pessoas. O Plano Nacional de Saúde Mental de 1991 reconheceu esta insuficiência e recomendou a integração dos serviços de saúde mental nos cuidados de saúde primários (CSP). Depois de mais de duas décadas, essa política não foi ainda implementada. Este estudo teve como objetivos mapear a estrutura organizacional dos serviços de saúde mental da Nigéria, e explorar os desafios e barreiras que impedem a integração bem-sucedida dos serviços de saúde mental nos cuidados de saúde primários, isto segundo a perspectiva dos profissionais dos cuidados de saúde primários. Com este objetivo, desenvolveu-se um estudo exploratório sequencial e utilizou-se um modelo misto para a recolha de dados. A aplicação em simultâneo de abordagens qualitativas e quantitativas permitiram compreender os problemas relacionados com a integração dos serviços de saúde mental nos CSP na Nigéria. No estudo qualitativo inicial, foram realizadas entrevistas com listagens abertas a 30 profissionais dos CSP, seguidas de dois grupos focais com profissionais dos CSP de duas zonas governamentais do estado de Oyo de forma a obter uma visão global das perspectivas destes profissionais locais sobre os desafios e barreiras que impedem uma integração bem-sucedida dos serviços de saúde mental nos CSP. Subsequentemente, foram realizadas entrevistas com quatro pessoas-chave, especificamente coordenadores e especialistas em saúde mental. Os resultados do estudo qualitativo foram utilizados para desenvolver um questionário para análise quantitativa das opiniões de uma amostra maior e mais representativa dos profissionais dos CSP do Estado de Oyo, bem como de duas zonas governamentais locais do Estado de Osun. As barreiras mais comummente identificadas a partir deste estudo incluem o estigma e os preconceitos sobre a doença mental, a formação inadequada dos profissionais dos CPS sobre saúde mental, a perceção pela equipa dos CSP de baixa prioridade de ação do Governo, o medo da agressão e violência pela equipa dos CSP, bem como a falta de disponibilidade de fármacos. As recomendações para superar estes desafios incluem a melhoria sustentada dos esforços da advocacia à saúde mental que vise uma maior valorização e apoio governamental, a formação e treino organizados dos profissionais dos cuidados primários, a criação de redes de referência e de apoio com instituições terciárias adjacentes, e o engajamento da comunidade para melhorar o acesso aos serviços e à reabilitação, pelas pessoas com doença mental. Estes resultados fornecem indicações úteis sobre a perceção das barreiras para a integração bem sucedida dos serviços de saúde mental nos CSP, enquanto se recomenda uma abordagem holística e abrangente. Esta informação pode orientar as futuras tentativas de implementação da integração dos serviços de saúde mental nos cuidados primários na Nigéria.------------ABSTRACT: Nigeria has an estimated population of about 170 million people but the number of mental health professionals is very small, with about 150 psychiatrists. This roughly translates to a psychiatrist:population ratio of more than 1:1 million people. The National Mental Health Policy of 1991 recognized this deficiency and recommended the integration of mental health into primary health care (PHC) delivery system. After more than two decades, this policy has yet to be implemented. This study aimed to map out the organizational structure of the mental health systems in Nigeria, and to explore the challenges and barriers preventing the successful integration of mental health into primary health care, from the perspective of the primary health care workers. A mixed methods exploratory sequential study design was employed, which entails the use of sequential timing in the combined methods of data collection. A combination of qualitative and uantitative approaches in sequence, were utilized to understand the problems of mental health services integration into PHC in Nigeria. The initial qualitative phase utilized free listing interviews with 30 PHC workers, followed by two focus group discussions with primary care workers from two Local Government Areas (LGA) of Oyo State to gain useful insight into the local perspectives of PHC workers about the challenges and barriers preventing successful integration of mental health care services into PHC. Subsequently, 4 key informant interviews with PHC co-ordinators and mental health experts were carried out. The findings from the qualitative study were utilized to develop a quantitative study questionnaire to understand the opinions of a larger and more representative sample of PHC staff in two more LGAs of Oyo State, as well as 2 LGAs from Osun State. The common barriers identified from this study include stigma and misconceptions about mental illness, inadequate training of PHC staff about mental health, low government priority, fear of aggression and violence by the PHC staff, as well as non-availability of medications. Recommendations for overcoming these challenges include improved and sustained efforts at mental health advocacy to gain governmental attention and support, organized training and retraining for primary care staff, establishment of referral and supportive networks with neighbouring tertiary facilities and community engagement to improve service utilization and rehabilitation of mentally ill persons. These findings provide useful insight into the barriers to the successful integration of mental health into PHC, while recommending a holistic and comprehensive approach. This information can guide future attempts to implement the integration of mental health into primary care in Nigeria.