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

Tuberculosis among HIV-1-infected subjects in a tertiary out-patient service in São Paulo city, Brazil

TB is currently considered to be the most important infectious disease among HIV-1-infected subjects in developing countries, such as Brazil. A retrospective analysis of TB cases was performed, occurring from January 1995 to December 2010 in our cohort of 599 HIV positive patients. The primary outcome was the occurrence of active TB. Forty-one TB cases were diagnosed over this period of 16 years, among 599 HIV positive patients in an open cohort setting in the city of Sao Paulo, Brazil. All-time lowest mean CD4 T cell count at the time of TB diagnosis was 146 and 186 cells/mm³, respectively. The mean HIV viral load was 5.19 log10 copies/mL, and 59% of the patients were on HAART. TB incidence was 1.47 per 100 person-years, for a total follow-up time of 2775 person-years. The probability of surviving up to 10 years after diagnosis was 75% for TB patients as opposed to 96% for patients with other, non-TB opportunistic diseases (p = 0.03). TB can be considered a public health problem among people living with HIV in Brazil despite of the widespread use of antiretrovirals for the treatment of HIV infection/AIDS.

APPLICABILITY OF kDNA-PCR FOR ROUTINE DIAGNOSIS OF AMERICAN TEGUMENTARY LEISHMANIASIS IN A TERTIARY REFERENCE HOSPITAL

SUMMARYThis study evaluated the applicability of kDNA-PCR as a prospective routine diagnosis method for American tegumentary leishmaniasis (ATL) in patients from the Instituto de Infectologia Emílio Ribas (IIER), a reference center for infectious diseases in São Paulo - SP, Brazil. The kDNA-PCR method detected Leishmania DNA in 87.5% (112/128) of the clinically suspected ATL patients, while the traditional methods demonstrated the following percentages of positivity: 62.8% (49/78) for the Montenegro skin test, 61.8% (47/76) for direct investigation, and 19.3% (22/114) for in vitro culture. The molecular method was able to confirm the disease in samples considered negative or inconclusive by traditional laboratory methods, contributing to the final clinical diagnosis and therapy of ATL in this hospital. Thus, we strongly recommend the inclusion of kDNA-PCR amplification as an alternative diagnostic method for ATL, suggesting a new algorithm routine to be followed to help the diagnosis and treatment of ATL in IIER.

EFFECTS OF SINGLE, BINARY AND TERTIARY COMBINATIONS WITH Jatropha gossypifolia AND OTHER PLANT-DERIVED MOLLUSCICIDES ON REPRODUCTION AND SURVIVAL OF THE SNAIL Lymnaea acuminata

The effect of sub-lethal doses (40% and 80% of LC50/24h) of plant derived molluscicides of singly, binary (1:1) and tertiary (1:1:1) combinations of the Rutin, Ellagic acid, Betulin and taraxerol with J. gossypifolia latex, leaf and stem bark powder extracts and their active component on the reproduction of freshwater snail Lymnaea acuminata have been studied. It was observed that the J. gossypifolia latex, stem bark, individual leaf and their combinations with other plant derived active molluscicidal components caused a significant reduction in fecundity, hatchability and survival of young snails. It is believed that sub-lethal exposure of these molluscicides on snail reproduction is a complex process involving more than one factor in reducing the reproductive capacity.

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

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

FREQUENCY OF Candida SPECIES IN A TERTIARY CARE HOSPITAL IN TRIANGULO MINEIRO, MINAS GERAIS STATE, BRAZIL

Infections by Candida species are a high-impact problem in public health due to their wide incidence in hospitalized patients. The goal of this study was to evaluate frequency, susceptibility to antifungals, and genetic polymorphism of Candida species isolated from clinical specimens of hospitalized patients. The Candida isolates included in this study were obtained from blood cultures, abdominal fluids, and central venous catheters (CVC) of hospitalized patients at the Clinical Hospital of the Federal University of Uberlândia during the period of July 2010 - June 2011. Susceptibility tests were conducted by the broth microdilution method. The RAPD-PCR tests used employed initiator oligonucleotides OPA09, OPB11, and OPE06. Of the 63 Candida isolates, 18 (28.5%) were C. albicans, 20 (31.7%) were C. parapsilosis complex species, 14 (22.2%) C. tropicalis, four (6.4%) C. glabrata, four (6.4%) C. krusei, two (3.3%) C. kefyr, and one (1.6%) C. lusitaniae. In vitro resistance to amphotericin B was observed in 12.7% of isolates. In vitroresistance to azoles was not detected, except for C. krusei. The two primers, OPA09 and OPB11, were able to distinguish different species. Isolates of C. albicans and C. parapsilosis complex species presented six and five clusters, respectively, with the OPA09 marker by RAPD-PCR, showing the genetic variability of the isolates of those species. It was concluded that members of the C. parapsilosis complex were the most frequent species found, and most isolates were susceptible to the antifungals amphotericin B, flucozanole, and itraconazole. High genetic polymorphisms were observed for isolates of C. albicans and C. parapsilosis complex species, mainly with the OPA09 marker.

Tumors of the Brachial Plexus in a Tertiary Referral Center: a Case Series and Literature Review

Introduction: Brachial plexus (BP) tumors are very rare tumors, with less than 800 cases been described in the literature worldwide since 1970. These tumors often present as local or radicular pain, with scant or no neurological deficits. These symptoms are shared by many other more common rheumatologic diseases, thus making their diagnosis difficult in most cases. Additionally, these tumors often present as lumps and are therefore biopsied, which carries a significant risk of iatrogenic nerve injury. Material and Methods: In this paper the authors describe their experience with the management of 5 patients with BP tumors followed up for at least 2 years. There were 4 males and 1 female. Median follow-up time was 41 ± 21 months. Average age at diagnosis was 40,0 ± 19,9 years. The most common complaints at presentation were pain and sensibility changes. All patients had a positive Tinel sign when the lesion was percussed. In all patients surgery was undertaken and the tumors removed. In 4 patients nerve integrity was maintained. In one patient with excruciating pain a segment of the nerve had to be excised and the nerve defect was bridged with sural nerve grafts. Results: Pathology examination of the resected specimens revealed a Schwannoma in 4 cases and a neurofibroma in the patient submitted to segmental nerve resection. Two years postoperatively, no recurrences were observed. All patients revealed clinical improvement. The patient submitted to nerve resection had improvement in pain, but presented diminished strength and sensibility in the involved nerve territory. Conclusion: Surgical excision of BP tumors is not a risk free procedure. Most authors suggest surgery if the lesion is symptomatic or progressing in size. If the tumor is stationary and not associated with neurological dysfunction a conservative approach should be taken.

Fractures in Children and Adolescents with Spina Bifida: The Experience of a Portuguese Tertiary-Care Hospital

AIM: The morbidity associated with osteoporosis and fractures in children and adolescents with spina bifida highlights the importance of osteoporosis prevention and treatment in these patients. The aim of this study was to examine the occurrence and pattern of bone fractures in paediatric patients with spina bifida. METHOD: We reviewed the data of all paediatric patients with spina bifida who were treated in our centre between 1999 and 2008. RESULTS: One hundred and thirteen patients were included in the study (63 females, 50 males; mean age 10y 8mo, SD 4y 10mo, range 6mo-18y). The motor levels were thoracic in six, upper lumbar in 22, lower lumbar in 42, and sacral in 43 patients. Of the 113 patients, 58 (51.3%) had shunted hydrocephalus. Thirty-six (31.8%) were non-ambulatory (wheelchair-dependent [unable to self-propel wheelchair] n=3, wheelchair-independent [able to self-propel wheelchair] n=33), 13 were partial ambulators, 61 were full ambulators, and three were below the age of walking. Forty-five fractures were reported in 25 patients. The distal femur was the most common fracture site. Statistical analyses showed that patients with higher levels of involvement and in wheelchairs had a significantly increased risk of having a [corrected] fracture (p<0.001). Spontaneous fractures were the principal mechanism of injury, and an association was identified between fracture mechanism, type of ambulation, and lesion level: the fractures of patients with higher levels of motor functioning and those in wheelchairs were mainly pathological (p=0.01). We identified an association between risk of a second fracture, higher motor level lesion, and non-ambulation. There was an increased risk of having a second fracture after a previous spontaneous fracture (p=0.004). INTERPRETATION: Data in this study indicate a high prevalence of fractures in patients with spina bifida.

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

Maintaining the correctness of transactional memory programs

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

Developing and validating a measure of the strength of the HRM system: Operationalizing the construct and relationships among its dimensions

The four studies in this article introduce a questionnaire to measure Strength of the HRM System (HRMSQ), a multidimensional construct, theoretically developed by Bowen and Ostroff (2004). Strength of the HRM System is a set of process characteristics that lead to effectiveness in conveying signals to employees that allow them to create a shared meaning of desired and appropriate work behaviours. Nine characteristics are suggested, grouped in three features: Distinctiveness, Consistency and Consensus. Study 1 developed and tested a questionnaire in a sample of workers from five different sectors. Study 2 cross-validated the measure in a sample of civil servants in a municipality. These two studies used performance appraisal as the reference HRM practice and led to a short version of the HRMSQ. Study 3 and Study 4 extend the HRMSQ to several common HRM practices. The HRMSQ is tested in two samples, of call center and several private and public organizations‟ workers (study 3). In study 4 the questionnaire is refined and tested with a sample from a hotel chain and finally cross-validated with two other samples, in the insurance and batteries sectors, leading to a longer version of the HRMSQ. Content analysis of several interviews with human resource managers and the Rasch model (1960, 1961, 1980), were used to define and select the indicators of the questionnaire. Convergent, discriminant and predictive validity of the measure are tested. The results of the four studies highlight the complexity of the relationships between the proposed characteristics and support the validity of a parsimonious measure of Strength of the HRM System.

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

Impact of the HRM content (i.e. practices) and process (i.e. strength) on individual and organizational outcomes, in the hotel industry

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