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

Tegumentary leishmaniasis in Northern Argentina: distribution of infection and disease, in three municipalities of Salta, 1990-1992

This work describes the epidemiological pattern of tegumentary leishmaniasis in an area north of Salta, Argentina. The prevalence and incidence were estimated by means of a cross-sectional study and two follow-up studies during two consecutive years. The Montenegro Skin Test (MST) was administered to 7336 subjects at baseline. The prevalence and incidence between 1990 and 1992 of infection (MST reactive) was 38‰ persons and 4.5‰ persons/year respectively. The prevalence and incidence of tegumentary leishmaniasis (presence of clinical signs) was 1.8‰ and 0.8‰ persons/year, respectively. A physical examination performed on 264 patients with MST reactive during three years revealed that 130 cases (49.2%) had some evident sign of infection (scar and/or lesion), with a clinical presentation compatible with leishmaniasis. Our study demonstrated that after the epidemic outbreak of 1985 the transmission in the study area returned to endemic levels in 1992, and also demonstrated the presence of the asymptomatic infection in the area.

First record on Loxosceles laeta (Nicolet, 1849) (Araneae, Sicariidae) in the West Zone of São Paulo City, São Paulo, Brazil, and considerations regarding its geographic distribution

Loxosceles laeta spiders were captured in the West zone of São Paulo City, this being the first record of the specie in this area. Since loxoscelism is an important public health problem in the South region of Brazil, it is necessary to investigate the presence of this spider in São Paulo City.

Heterogeneous computing with an algorithmic skeleton framework

The Graphics Processing Unit (GPU) is present in almost every modern day personal computer. Despite its specific purpose design, they have been increasingly used for general computations with very good results. Hence, there is a growing effort from the community to seamlessly integrate this kind of devices in everyday computing. However, to fully exploit the potential of a system comprising GPUs and CPUs, these devices should be presented to the programmer as a single platform. The efficient combination of the power of CPU and GPU devices is highly dependent on each device’s characteristics, resulting in platform specific applications that cannot be ported to different systems. Also, the most efficient work balance among devices is highly dependable on the computations to be performed and respective data sizes. In this work, we propose a solution for heterogeneous environments based on the abstraction level provided by algorithmic skeletons. Our goal is to take full advantage of the power of all CPU and GPU devices present in a system, without the need for different kernel implementations nor explicit work-distribution.To that end, we extended Marrow, an algorithmic skeleton framework for multi-GPUs, to support CPU computations and efficiently balance the work-load between devices. Our approach is based on an offline training execution that identifies the ideal work balance and platform configurations for a given application and input data size. The evaluation of this work shows that the combination of CPU and GPU devices can significantly boost the performance of our benchmarks in the tested environments, when compared to GPU-only executions.

Prevalence and monthly distribution of head lice using two diagnostic procedures in several age groups in Uberlândia, State of Minas Gerais, Southeastern Brazil

Some epidemiological characteristics of head lice, Pediculus capitis, were studied using two procedures: cut hair analysis and head inspection. Higher prevalence rates were observed in the middle and at the end of the school terms. Both procedures indicated that children were the main reservoir for this type of pediculosis in Uberlândia.

Predictive analytical and numerical modeling for orthogonal cutting

In this thesis, a predictive analytical and numerical modeling approach for the orthogonal cutting process is proposed to calculate temperature distributions and subsequently, forces and stress distributions. The models proposed include a constitutive model for the material being cut based on the work of Weber, a model for the shear plane based on Merchants model, a model describing the contribution of friction based on Zorev’s approach, a model for the effect of wear on the tool based on the work of Waldorf, and a thermal model based on the works of Komanduri and Hou, with a fraction heat partition for a non-uniform distribution of the heat in the interfaces, but extended to encompass a set of contributions to the global temperature rise of chip, tool and work piece. The models proposed in this work, try to avoid from experimental based values or expressions, and simplifying assumptions or suppositions, as much as possible. On a thermo-physical point of view, the results were affected not only by the mechanical or cutting parameters chosen, but also by their coupling effects, instead of the simplifying way of modeling which is to contemplate only the direct effect of the variation of a parameter. The implementation of these models was performed using the MATLAB environment. Since it was possible to find in the literature all the parameters for AISI 1045 and AISI O2, these materials were used to run the simulations in order to avoid arbitrary assumption.

Predicting the impacts of climate change on the distribution and conservation of endemic forest land snails of Madeira Island

Climate change is emerging as one of the major threats to natural communities of the world’s ecosystems; and biodiversity hotspots, such as Madeira Island, might face a challenging future in the conservation of endangered land snails’ species. With this thesis, progresses have been made in order to properly understand the impact of climate on these vulnerable taxa; and species distribution models coupled with GIS and climate change scenarios have become crucial to understand the relations between species distribution and environmental conditions, identifying threats and determining biodiversity vulnerability. With the use of MaxEnt, important changes in the species suitable areas were obtained. Laurel forest species, highly dependent on precipitation and relative humidity, may face major losses on their future suitable areas, leading to the possible extinction of several endangered species, such as Leiostyla heterodon. Despite the complexity of the biological systems, the intrinsic uncertainty of species distribution models and the lack of information about land snails’ functional traits, this analysis contributed to a pioneer study on the impacts of climate change on endemic species of Madeira Island. The future inclusion of predictions of the effect of climate change on species distribution as part of IUCN assessments could contribute to species prioritizing, promoting specific management actions and maximizing conservation investment.

Extended-spectrum β-lactamase-producing Salmonella enterica serovar Oranienburg (CTX-M-2 group) in a pediatric hospital in Tucumán, Argentina

INTRODUCTION: Salmonella sp infections have been reported over recent years in hospitals in Argentina and other countries due to multiresistant strains. The aim of this study was to characterize the extended-spectrum β-lactamases in third-generation cephalosporin-resistant strains of Salmonella enterica serovar Oranienburg. METHODS: We studied 60 strains isolated from children with gastroenteritis and/or extraintestinal complications. The antibiotic susceptibility patterns of the isolates were analyzed and the β-lactamases were characterized using phenotyping and genotyping methods. RESULTS: All the strains were resistant to ampicillin, cefotaxime, cefepime and aztreonam and partially susceptible to ceftazidime, thus corresponding well with the resistance phenotype conferred by CTX-M-type β-lactamases. An isoelectric point enzyme (pI = 7.9) was detected in all of the strains, and this was confirmed by PCR as a member of the CTX-M-2 group. CONCLUSIONS: This is the first report of Salmonella enterica serovar Oranienburg producing β-lactamases of the CTX-M-2 group in a pediatric hospital in Tucumán, Argentina.

Epidemiology of extended spectrum β-lactamase producing Enterobacter bacteremia in a brazilian hospital

INTRODUCTION: Enterobacter can be included in the group of extended spectrum β-lactamases (EBSL)-producing bacteria, though few studies exist evaluating risk factors associated with this microorganism. A retrospective cohort study was conducted to determine risk factors associated with ESBL-producing-Enterobacter and mortality METHODS: A retrospective cohort study with 58 bacteremia caused by ESBL-producing-Enterobacter (28 cases) and non-ESBL (30 cases) RESULTS: Risk factors associated with ESBL-Enterobacter were trauma, length of hospitalization, admission to the intensive care unit, urinary catheter and elective surgery (p< 0.05). The survival curves were similar for ESBL and non-ESBL CONCLUSIONS: ESBL-producing-Enterobacter bacteremia is prevalent and the survival curve was similar to non-ESBL-producing strains.

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.

How to optimize Lipton’s business model in order to stimulate tea consumption in Portugal and increase Lipton Leaf tea market share?: The importance of distribution and sales channels management in a B2B2C market

Field Lab Entrepreneurial Innovative Ventures

Distribution of hepatitis C virus genotypes among different exposure categories in the State of Pará, Brazilian Amazon

INTRODUCTION: Epidemiological studies concerning HCV genotypic distribution in the Brazilian Amazon are scarce. Thus, this study determined the patterns of distribution of HCV genotypes among different exposure categories in the State of Pará, Brazilian Amazon. METHODS: A cross-sectional study was conducted on 312 HCV-infected individuals belonging to different categories of exposure, who were attended at the HEMOPA, CENPREN and a private hemodialysis clinic in Belém. They were tested for HCV antibodies using an immunoenzymatic test, RNA-HCV, using real-time PCR and HCV genotyping through phylogenetic analysis of the 5' UTR. The population groups were epidemiologically characterized according to data collected in a brief interview or medical consultation. RESULTS: Genotype 1 predominated in all the different categories of HCV exposure. HCV genotypic distribution among blood donors comprised genotypes 1 (94%) and 3 (6%). All patients with chronic hematologic diseases had HCV genotype 1. The genotypic distribution in illicit-drug users comprised genotypes 1 (59.6%) and 3 (40.4%). In patients under hemodialysis, genotypes 1 (90.1%), 2 (3.3%), and 3 (6.6%) were detected. Finally, the frequency of genotypes 1 and 3 was significantly different between the groups: BD and DU, PUH and DU, PUH and PCHD and PCHD and DU. CONCLUSIONS: The genotypic frequency and distribution of HCV in different categories of exposure in the State of Pará showed a predominance of genotype 1, regardless of the possible risk of infection.

Nosocomial infection and characterization of extended-spectrum β-lactamases-producing Enterobacteriaceae in Northeast Brazil

INTRODUCTION: Extended spectrum β-lactamases (ESBLs) are enzymes that degrade β-lactam antibiotics and have been reported to be an important cause of nosocomial infection in worldwide. METHODS: During 2009, 659 enterobacteria strains were isolated from different clinical specimens and tested for ESBL production. The disk approximation test, combined disk method and addition of clavulanic acid were used for phenotypic detection of the ESBL-producing strains and PCR for detection of the blaTEM and blaCTX-M genes. RESULTS: Among the isolates, 125 were ESBL producers. The blaCTX-M and blaTEM genes were detected in 90.4% and 75% of the strains, respectively. Most strains were isolated from urine. Klebsiella pneumoniae was the most prevalent organism. Microorganisms presented high resistance to the antibiotics. CONCLUSIONS: These results support the need for extending ESBL detection methods to different pathogens of the Enterobacteriaceae family because these methods are only currently standardized by the CLSI for Escherichia coli, Klebsiella pneumoniae, Klebsiella oxytoca and Proteus mirabilis. Carbapenems were the antibiotic class of choice for the treatment of infections caused by ESBL-producing Enterobacteriaceae.

Species distribution and in vitro fluconazole susceptibility of clinical Candida isolates in a Brazilian tertiary-care hospital over a 3-year period

INTRODUCTION: In this study, we aimed at identifying Candida isolates obtained from blood, urine, tracheal secretion, and nail/skin lesions from cases attended at the Hospital Universitário de Londrina over a 3-year period and at evaluating fluconazole susceptibilities of the isolates. METHODS: Candida isolates were identified by polymerase chain reaction (PCR) using species-specific forward primers. The in vitro fluconazole susceptibility test was performed according to EUCAST-AFST reference procedure. RESULTS: Isolates were obtained from urine (53.4%), blood cultures (19.2%), tracheal secretion (17.8%), and nail/skin lesions (9.6%). When urine samples were considered, prevalence was similar in women (45.5%) and in men (54.5%) and was high in the age group >61 years than that in younger ones. For blood samples, prevalence was high in neonates (35%) and advanced ages (22.5%). For nail and skin samples, prevalence was higher in women (71.4%) than in men (28.6%). Candida albicans was the most frequently isolated in the hospital, but Candida species other than C. albicans accounted for 64% of isolates, including predominantly Candida tropicalis (33.2%) and Candida parapsilosis (19.2%). The trend for non-albicans Candida as the predominant species was noted from all clinical specimens, except from urine samples. All Candida isolates were considered susceptible in vitro to fluconazole with the exception of isolates belonging to the intrinsically less-susceptible species C. glabrata. CONCLUSIONS: Non-albicans Candida species were more frequently isolated in the hospital. Fluconazole resistance was a rare finding in our study.

Synanthropic triatomines (Hemiptera, Reduviidae) in the state of Pernambuco, Brazil: geographical distribution and natural Trypanosoma infection rates between 2006 and 2007

INTRODUCTION: The present study shows a descriptive analysis of triatomine occurrence and its natural Trypanosoma infection rates in the state of Pernambuco, Brazil, between 2006 and 2007. METHODS: Entomological data for the species, such as specimens captured in both intra and peridomiciles and natural infection index, were obtained via domiciliary capture in 147 municipalities from 11 Regional Managements of Health. The database was obtained from a sample of insects (100% infected and 20% non-infected) sent to the Central Laboratory of Pernambuco. RESULTS: A total of 18,029 triatomines were analyzed from 138 municipalities of the state. Triatoma pseudomaculata (35%), Triatoma brasiliensis (34%), and Panstrongylus lutzi (25%) were the most captured species. These species also showed a widespread geographical distribution in the state. Panstrongylus megistus, Triatoma petrocchiae, Triatoma melanocephala, Triatoma sordida, Rhodnius nasutus, Rhodnius neglectus, and Triatoma infestans showed more limited geographical distribution and lower relative abundance. The parasitological research showed that 8.8% of the triatomines were naturally infected with flagellates morphologically similar to Trypanosoma cruzi and 91.3% of them were captured inside houses in 113 municipalities. P. lutzi showed the highest rates of natural infection. CONCLUSIONS: After the control of T. infestans, synanthropic species, such as T. brasiliensis, T. pseudomaculata, and P. lutzi, maintain the risk of T. cruzi transmission to humans in the state of Pernambuco. These species are widely distributed, and infected specimens have been found inside houses. Thus, an enhanced surveillance and vector control of Chagas disease is recommended in Pernambuco.