The control of Latin American trypanosomiasis

The author presents his personal point of view on the present situation of Chagas' disease control in Latin America countries. He compares the situation with African trypanosomiasis. He comments on the existence of cases in other Continents. He emphazises the success of the fighting against domiciliated triatomine bugs by using residual inseticides. He discusses other forms of Trypanosoma cruzi transmission.

Healing replicas in a software component replication system

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

Serial heart rate changes in rats inoculated by conjunctival instillation of Trypanosoma cruzi obtained from bug faeces

The cardiac effects of experimentally induced myocarditis, when the parasite is obtained from mouse blood, are well known. However, the consequences of the infection when the parasites are obtained from bug faeces are less well defined. In the present investigation, we have used the "Y" strain of Trypanosoma cruzi, which was maintained in Rhodnius prolixus by repeated passages in mice. The faeces of 30 infected bugs were collected, the number of parasites counted and 4,000 parasites inoculated by the conjunctival route in 60 rats. Twenty-nine other rats received faeces from noninfected bugs (sham-inoculated controls) and 40 were used as normal controls. The heart rate of the three groups of animals was recorded under general anesthesia with ether. The heart rate, at day 0 pre-inoculation, was similar in the three groups of animals (Controls: 379 ± 27 beats/min Mean ± SD; Sham-inoculated: 366 ± 31; Infected: 351 ± 29) (p> 0.05). In the infected animals, the mean heart rate began to increase significantly by day 12 following infection (375 ± 31), reaching the highest values between days 18 (390 ± 33) and 21 (403 ± 33) and returned to baseline by day 30 (359 ± 28) (p< 0.05). The heart rate changes were statistically different from those observed in the sham-inoculated controls and in the control animals. Therefore, these heart rate changes were provoked by the Trypanosoma cruzi-induced infection. Thus, it appears that irrespective of the source of the parasite and route of inoculation Trypanosoma cruziacute infection provokes a transient sinus tachycardia.

Avaliação do ciclo de vida do sistema de produção soja-girassol no cerrado Brasileiro.

RESUMO: O girassol é uma importante cultura na região de Parecis, no Cerrado brasileiro. Em 2014, a região respondeu pela produção de 232.700 t de grãos, 45% da produção nacional. A produção de girassol provém principalmente de um sistema que tem a soja como cultura principal. A associação entre soja e girassol pode reduzir impactos ambientais devido ao uso compartilhado de recursos. Este estudo desenvolveu uma Avaliação de Ciclo de Vida (ACV) ?do berço ao túmulo? do sistema de produção soja-girassol usado na região de Parecis e comparou seu perfil ambiental ao das monoculturas de soja e girassol. Impactos relacionados ao uso do solo (emissões da mudança de uso da terra e calagem) por cada cultura foram alocados em função do tempo de ocupação do solo. O sistema soja-girassol teve impactos ambientais menores em todas as categorias de impacto quando comparado à monocultura de soja e girassol, com o mesmo rendimento. Reduções importantes foram observadas em ?Mudança do Clima?, ?Acidificação Terrestre? e ?Formação de Material Particulado?. ABSTRACT: Sunflower is an important crop in Parecis region of the Brazilian Cerrado. In 2014 the region accounted for the production of 232,700 tons of sunflower grain, 45% of national production. Sunflower production comes mostly from a system that has soybean as the main crop. The association of soybean and sunflower can reduce environmental impacts due to shared use of resources. This study performed a ?cradle to gate? Life Cycle Assessment (LCA) of the soybean-sunflower production system used in Parecis region and compared its environmental profile to that of the monoculture of these two crops. Impacts related to the use of soil (land use change emissions and liming) by each crop were evaluated according to time of soil occupation criterion. Soybean-sunflower system had lower environmental impacts on every impact category comparing to soybean and sunflower monoculture with the same yield. Important reduction were observed on ?Climate change?, ?Terrestrial acidification? and ?Particulate matter formation? categories.

Study on Chagas disease occurrence in the municipality of Monte Negro, State of Rondônia, Brazilian Amazon

INTRODUCTION: Studies on Chagas disease deal with the perspective of its occurrence in the Amazon region, which is directly correlated to the population growth and the spread of the bug biotope. The state of Rondônia has an immense source of vectors (Triatomine) and reservoirs of Trypanosoma cruzi. Environmental changes brought forth by the deforestation in the region may cause vector behavior changes and bring these vectors to a closer contact with humans, increasing the probability of vector infection. METHODS: This study was carried out to check the occurrence of Chagas disease in the municipality of Monte Negro, Rondônia, Brazil, based on a random sampling of the farms and people wherein blood collection from the population and capturing triatomines were done. The blood samples were submitted to serologic tests to detect antibodies of the IgG class against T. cruzi. The triatomines that were collected had their digestive tract checked for the presence of trypanosomatidae with morphology resembling that of the T. cruzi. RESULTS: The population examined was mostly from other states. From the 322 bugs examined on the microscope, 50% showed parasites with morphology compatible with T. cruzi. From the serology of 344 random samples of human blood, 1.2% was found positive, 6% showed inconclusive results, and 92.8% were negative. CONCLUSIONS: Monte Negro shows low prevalence of human infection by T. cruzi and none active vector transmission; however, preventive and surveying measures, which are not performed until now, shall be taken due to the abundance of vectors infected by trypanosomatidae.

Capture of Triatoma arthurneivai (Hemiptera: Reduviidae) using a new luminous trap in Southeast Brazil

INTRODUCTION: Triatomine bug captures in the wild are laborious and time-consuming. Some traps may assist in this task. We report a new trap design and the capture of a specimen of a triatomine rarely found. METHODS: Two luminous traps were installed in the city of Diamantina, State of Minas Gerais, and surveyed weekly for a year. RESULTS: A Triatoma arthurneivai female and other triatomine bugs were caught. CONCLUSIONS: A new trap design may be used in triatomine bugs field captures, mainly in low density areas. We assume the center of endemism of Triatoma arthurneivai is the Espinhaço Mountain range.

The exotic palm Roystonea oleracea(Jacq.) O.F. Cook as a rural biotype for Rhodnius neglectus Lent, 1954, in Caçu, State of Goiás

IntroductionRhodnius neglectus is a triatomine that colonizes different palm species. In this study, we aimed to describe the presence of this triatomine bug in the royal palms (Roystonea oleracea) in a rural region of the State of Goiás.MethodsPalm infestation was investigated by dissecting the palms or by using live-bait traps.ResultsTwo palm trees were infested by R. neglectusnegative for Trypanosoma cruzi, the etiological agent for Chagas disease. In the study area, R. neglectus is frequently found in households.ConclusionsThe adaptation of this species to palm trees introduced in Brazil for landscaping purposes poses another challenge for controlling the vectors of Chagas disease.

Triatominae (Hemiptera, Reduviidae) in the Pantanal region: association with Trypanosoma cruzi, different habitats and vertebrate hosts

ABSTRACTINTRODUCTION: The transmission cycle of Trypanosoma cruzi in the Brazilian Pantanal region has been studied during the last decade. Although considerable knowledge is available regarding the mammalian hosts infected by T. cruzi in this wetland, no studies have investigated its vectors in this region. This study aimed to investigate the presence of sylvatic triatomine species in different habitats of the Brazilian Pantanal region and to correlate their presence with the occurrences of vertebrate hosts and T. cruzi infection.METHODS: The fieldwork involved passive search by using light traps and Noireau traps and active search by visual inspection. The light traps were placed at five selected points along forested areas for seven nights during each of the nine excursions. At each point where a light trap was set, eight Noireau traps were placed in palm trees and bromeliads.RESULTS: In all, 88 triatomine bugs were collected: two and one individuals from light traps and Noireau traps, respectively; three from peridomestic areas; 23 in coati nests; and 59 in thornbird nests. In this study, active search in microhabitats showed higher efficiency than passive search, since 95% of the triatomine bugs were caught in nests. Further, triatomine bugs were only found to be infected by T. cruzi in coati nests.CONCLUSIONS: Coati nests might act as a point of convergence and dispersion for triatomine bugs and mammal hosts infected by T. cruzi, thereby playing an important role in the sylvatic cycle of T. cruziin the Pantanal region.

Venomous and poisonous arthropods: identification, clinical manifestations of envenomation, and treatments used in human injuries

Abstract This review presents the main species of venomous and poisonous arthropods, with commentary on the clinical manifestations provoked by the toxins and therapeutic measures used to treat human envenomations. The groups of arthopods discussed include the class Arachnida (spiders and scorpions, which are responsible for many injuries reported worldwide, including Brazil); the subphylum Myriapoda, with the classes Chilopoda and Diplopoda (centipedes and millipedes); and the subphylum Hexapoda, with the class Insecta and the orders Coleoptera (beetles), Hemiptera (stink bugs, giant water bugs, and cicadas), Hymenoptera (ants, wasps, and bees), and Lepidoptera (butterflies and moths).

Characteristics of Triatomine infestation and natural Trypanosoma cruzi infection in the State of Rio Grande do Norte, Brazil

Abstract: INTRODUCTION Natural and artificial ecotope infestation by the kissing bug triatomines and their colonization and infection by Trypanosoma cruzi , the Chagas disease agent, were evaluated in nine municipalities of the State of Rio Grande do Norte, Brazil. METHODS Following identification, triatomine intestinal contents were analyzed by direct microscopic examination, xenoculture, and polymerase chain reaction (PCR) for parasite detection. Trypanosoma cruzi isolates were genotyped using three different markers. RESULTS Of 842 triatomines captured, 65% were Triatoma brasiliensis , 17.8% Triatoma pseudomaculata , 12.5% Panstrongylus lutzi , and 4.7% Rhodnius nasutus . Triatoma brasiliensis and P. lutzi adults were found in the intradomicile. T. brasiliensis, T. pseudomaculata , and R. nasutus nymphs and adults were found in the peridomicile and wild environment. Intradomiciliary and peridomiciliary infestation indexes were 5.6% and 33.7%, respectively. In the peridomicile, chicken coops were the most infested ecotope. The T. cruzi triatomine infection rate was 30.2%, of which PCR detected 29%. P . lutzi (78.1%), T . brasiliensis (24.5%), and T . pseudomaculata (22.7%) were the most infected species. TcII and III genotypes were detected in T. brasiliensis and TcIII in P. lutzi . CONCLUSIONS T. brasiliensis was found in all environments and most ecotopes with high T. cruzi infection rates. High infection rates were also detected in T . pseudomaculata and P. lutzi , suggesting their role in the interchange between the wild and peridomestic transmission cycles. The combination of PCR, microscopic examination, and xenoculture contributed to improving T. cruzi infection evaluation in triatomine bugs. The TcII and TcIII genotypes were predominant in the study area.

New cases of Chagas disease in a rural area of Northeast Brazilian

Abstract: INTRODUCTION: Chagas disease is considered one of the 17 most neglected tropical diseases in the World, with the most common form of vector transmission. METHODS: This structured cross-sectional study was conducted through an epidemiological survey in the Tobias Barreto municipality of Sergipe. RESULTS: Of the 255 participants, 1 (0.4%) participant was positive for human Chagas disease. Approximately 30.2% of the participants found the triatomine bugs in their houses and outbuildings. CONCLUSIONS: The detection of a case indicated transmission, which was also evidenced by the presence of triatomines and poor housing conditions.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Lipid metabolism in rats fed diets containing different types of lipids

OBJECTIVE: To assess the effect of different types of lipid diets on the lipid metabolism of aging rats. METHODS: Fifty male Wistar rats were studied from the time of weaning to 12 and 18 months of age. Their diets were supplemented as follows: with soybean oil (S), canola oil (CA), lard and egg yolk (LE), and canola oil + lard and egg yolk (CA + LE). Blood pressure (BP) was measured every month, and the heart/body ratio (H/BR) was determined. The rats were euthanized at the age of 12 and 18 months, and blood samples were collected for lipid analysis as follows: total cholesterol (TC), LDL-C, VLDL-C, HDL-C, triglycerides (TG), and glucose. RESULTS: The type of oil ingested by the animals significantly altered BP, H/BR, and serum lipid levels in rats at 12 and 18 months. No difference was observed in the survival curve of the animals in the different groups. The LE group had the highest BP, and the CA group was the only one in which BP did not change with aging. A reduction in the H/BR was observed in the LE and CA+LE animals. At the age of 12 months, differences in TC, HDL-C, LDL-C, VLDL-C, TG, and glucose were observed. At the age of 18 months, a significant difference in TC, HDL-C, and glucose was observed. The highest TC value was found in the CA group and the lowest in the S group. CONCLUSION: No increase in BP occurred, and an improvement was evident in the lipid profile of rats fed a diet supplemented with CA, in which an elevation in HDL-C levels was observed, as compared with levels with the other types of diet.

Development of a water-in-oil-in-water multiple emulsion system integrating biomimetic aqueous-core lipid nanodroplets for protein entity stabilization. Part I: experimental factorial design

Lipid nanoballoons integrating multiple emulsions of the type water-in-oil-in-water enclose, at least in theory, a biomimetic aqueous-core suitable for housing hydrophilic biomolecules such as proteins, peptides and bacteriophage particles. The research effort entertained in this paper reports a full statistical 23x31 factorial design study (three variables at two levels and one variable at three levels) to optimize biomimetic aqueous-core lipid nanoballoons for housing hydrophilic protein entities. The concentrations of protein, lipophilic and hydrophilic emulsifiers, and homogenization speed were set as the four independent variables, whereas the mean particle hydrodynamic size (HS), zeta potential (ZP) and polydispersity index (PI) were set as the dependent variables. The V23x31 factorial design constructed led to optimization of the higher (+1) and lower (-1) levels, with triplicate testing for the central (0) level, thus producing thirty three experiments and leading to selection of the optimized processing parameters as 0.015% (w/w) protein entity, 0.75% (w/w) lipophilic emulsifier (soybean lecithin) and 0.50% (w/w) hydrophilic emulsifier (poloxamer 188). In the present research effort, statistical optimization and production of protein derivatives encompassing full stabilization of their three-dimensional structure, has been attempted via housing said molecular entities within biomimetic aqueous-core lipid nanoballoons integrating a multiple (W/O/W) emulsion.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.