Mortality of Dipetalogaster maximus (uhler) in response to temperature and humidity

Observations were made on the mortality of Dipetalogaster maximus in relation to humidity and temperature in controlled conditions. The bugs survived longer at higher relative humidities and at lower temperatures, but when these results were plotted against vapour pressure déficit, no independent temperature effect was seen. The results may be explained by thefaster depletion of water reserves at higher vapour pressure deficits. D. maximus did not increase its resistance to water vapour transferat higher vapour pressure deficits. In orderto increase survival rates when D. maximus is used for xenodiagnosis in field conditions it should be protected against high temperatures and low humidities.

Data-centric concurrency control on the java programming language

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

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.

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).

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/.

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.

Estudos citológicos em Hemíoteros da família Coreidae

A more or less detailed study of the spermatogenesis in six species of Hemiptera belonging to the Coreid Family is made in the present paper. The species studied and their respective chromosome numbers were: 1) Diactor bilineatus (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationaliv in the first division and passing undivided to one pole in the second. 2) Lcptoglossus gonagra (Fabr.) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 3) Phthia picta (Drury) : spermatogonia with 20 + X, primary spermatocytes with 10 + X, X dividing equationally in the first division and passing undivided to one pole in the second. 4) Anisocelis foliacea Fabr. : spermatogonia with 26 + X fthe highest mumber hitherto known in the Family), primary .spermatocytes with 13 + X, X dividing equationally in the first division an passing undivided to one pole in the second. 5) Pachylis pharaonis (Herbtst) : spermatogonia with 16 + X, primary spermatocytes with 8 + X. Behaviour of the heteroehromosome not referred. 6) Pachylis laticornis (Fabr.) : spermatogonia with 14 + X, primary spermatocytes with 7 + X, X passing undivided to one pole in the first division and therefore secondary spermatocytes with 7 + X and 7 chromosomes. General results and conclusions a) Pairing modus of the chromosomes (Telosynapsis or Farasynapsis ?) - In several species of the Coreld bugs the history of the chromosomes from the diffuse stage till diakinesis cannot be follewed in detail due specially to the fact that lhe bivalents, as soon as they begin to be individually distinct they appear as irregular and extremely lax chromatic areas, which through an obscure process give rise to the diakinesis and then to the metaphase chomosomes. Fortunately I was able to analyse the genesis of the cross-shaped chromosomes, becoming thus convinced that even in the less favorable cases like that of Phthia, in which the crosses develop from four small condensation areas of the diffuse chromosomes, nothing in the process permit to interpret the final results as being due to a previous telosynaptic pairing. In the case of long bivalents formed by two parallel strands intimately united at both endsegments and more or less widely open in the middle (Leptoglossus, Pachylis), I could see that the lateral arms of the crosses originate from condensation centers created by a torsion or bending in the unpaired parts of the chromosomes In the relatively short bivalents the lateral branches of the cross are formed in the middle but in the long ones, whose median opening is sometimes considerable, two asymetrical branches or even two independent crosses may develop in the same pair. These observations put away the idea of an end-to-end pairing of the chromosomes, since if it had occured the lateral arms of the crosses would always be symetrical and median and never more than two. The direct observation of a side- toside pairing of the chromosomal threads at synizesis, is in foil agreement with the complete lack of evidence in favour of telosynapsis. b) Anaphasic bridges and interzonal connections - The chromosomes as they separate from each other in anaphase they remain connected by means of two lateral strands corresponding to the unpaired segmenas observed in the bivalents at the stages preceding metaphase. In the early anaphase the chromosomes again reproduce the form they had in late diafcinesis. The connecting threads which may be thick and intensely coloured are generally curved and sometimes unequal in lenght, one being much longer than the other and forming a loop outwardly. This fact points to a continuous flow of chromosomal substance independently from both chromosomes of the pair rather than to a mechanical stretching of a sticky substance. At the end of anaphase almost all the material which formed the bridges is reduced to two small cones from whose vertices a very fine and pale fibril takes its origin. The interzonal fibres, therefore, may be considered as the remnant of the anaphasic bridges. Abnormal behaviour of the anaphase chromosomes showed to be useful in aiding the interpretation of normal aspects. It has been suggested by Schrader (1944) "that the interzonal is nothing more than a sticky coating of the chromosome which is stretched like mucilage between the daughter chromosomes as they move further and further apart". The paired chromosomes being enclosed in a commom sheath, as they separate they give origin to a tube which becomes more and more stretched. Later the walls of the tube collapse forming in this manner an interzonal element. My observations, however, do not confirm Schrader's tubular theory of interzonal connections. In the aspects seen at anaphase of the primary spermatocytes and described in this paper as chromosomal bridges nothing suggests a tubular structure. There is no doubt that the chromosomes are here connected by two independent strands in the first division of the spermatocytes and by a single one in the second. The manner in which the chromosomes separate supports the idea of transverse divion, leaving little place for another interpretation. c) Ptafanoeomc and chromatoid bodies - The colourabtlity of the plasmosome in Diactor and Anisocelis showed to be highly variable. In the latter species, one may find in the same cyst nuclei provided with two intensely coloured bodies, the larger of which being the plasmosome, sided by those in which only the heterochromosome took the colour. In the former one the plasmosome strongly coloured seen in the primary metaphase may easily be taken for a supernumerary chromosome. At anaphase this body stays motionless in the equator of the cell while the chromosomes are moving toward the poles. There, when intensely coloured ,it may be confused with the heterochromosome of the secondary spermatocytes, which frequently occupies identical position in the corresponding phase, thus causing missinterpretation. In its place the plasmosome may divide into two equal parts or pass undivided to one cell in whose cytoplasm it breaks down giving rise to a few corpuscles of unequal sizes. In Pachylis pharaonis, as soon as the nuclear membrane breate down, the plasmosome migrates to a place in the periphery of the cell (primary spermatocyte), forming there a large chromatoid body. This body is never found in the cytoplasm prior to the dissolution of the nuclear membrane. It is certain that chromatoid bodies of different origin do exist. Here, however, we are dealing, undoubtedly, with true plasmosomes. d) Movement of the heterochromosome - The heterochromosome in the metaphase of the secondary spermatocytes may occupy the most different places. At the time the autosomes prient themselves in the equatorial plane it may be found some distance apart in this plane or in any other plane and even in the subpolar and polar regions. It remains in its place during anaphase. Therefore, it may appear at the same level with the components of one of the anaphase plates (synchronism), between both plates (succession) or between one plate and tbe pole (precession), what depends upon the moment the cell was fixed. This does not mean that the heterochromosome sometimes moves as quickly as the autosomes, sometimes more rapidly and sometimes less. It implies, on the contrary, that, being anywhere in the cell, the heterochromosome m he attained and passed by the autosomes. In spite of being almost motionless the heterochromosome finishes by being enclosed in one of the resulting nuclei. Consequently, it does move rapidly toward the group formed by the autosomes a little before anaphase is ended. This may be understood assuming that the heterochromosome, which do not divide, having almost inactive kinetochore cannot orient itself, giving from wherever it stays, only a weak response to the polar influences. When in the equator it probably do not perform any movement in virtue of receiving equal solicitation from both poles. When in any other plane, despite the greater influence of the nearer pole, the influence of the opposite pole would permit only so a slow movement that the autosomes would soon reach it and then leave it behind. It is only when the cell begins to divide that the heterochromosome, passing to one of the daughter cells scapes the influence of the other and thence goes quickly to join the autosomes, being enclosed with them in the nucleus formed there. The exceptions observed by BORING (1907) together with ; the facts described here must represent the normal behavior of the heterocromosome of the Hemiptera, the greater frequency of succession being the consequence of the more frequent localization of the heterochromosome in the equatorial plane or in its near and of the anaphase rapidity. Due to its position in metaphase the heterochromosome in early anaphase may be found in precession. In late anaphase, oh the contrary ,it appears almost always in succession. This is attributed to the fact of the heterochromosome being ordinairily localized outside the spindle area it leaves the way free to the anaphasic plate moving toward the pole. Moreover, the heterochromosome being a round element approximately of the size of the autosomes, which are equally round or a little longer in the direction of the movement, it can be passed by the autosomes even when it stands in the area of the spindle, specially if it is not too far from the equatorial plane. e) The kinetochore - This question has been fully discussed in another paper (PIZA 1943a). The facts treated here point to the conclusion that the chromosomes of the Coreidae, like those of Tityus bahiensis, are provided with a kinetochore at each end, as was already admitted by the present writer with regard to the heterochromosome of Protenor. Indeed, taking ipr granted the facts presented in this paper, other cannot be the interpretation. However, the reasons by which the chromosomes of the species studied here do not orient themselves at metaphase of the first division in the same way as the heterochromosome of Protenor, that is, with the major axis parallelly to the equatorial plane, are claiming for explanation. But, admiting that the proximity of the kinetochores at the ends of chromosomes which do not separate until the second division making them respond to the poles as if they were a single kinetochore ,the explanation follows. (See PIZA 1943a). The median opening of the diplonemas when they are going to the diffuse stage as well as the reappearance of the bivalents always united at the end-segments and open in the middle is in full agreement with the existence of two terminal kinetochores. The same can be said with regard to the bivalents which join their extremities to form a ring.

Provas adicionais da dicentricidade dos cromossômios dos Hemípteros

In order to test Piza's conclusions regarding the dicentricity of Hemipteran chromosomes, two species of bugs of the family Coreidae, namely, Anasa sp. and Leptoglossus stigma (Herbst), are studied in the present paper. a) Anasa sp. - The male of this species has 21 chromosomes, that is, 20 pairs of autosomes and a single sex chromosome. The latter divides equationally in the first division of the spermatocytes and passes undivided to one cell in the second division. In this it moves with its longer axis parallelly to the spindle axis and shows fibrillar connections with both poles. Special attention was paid to the behavior of the chromosomes in the anaphase of the spermatogonia. As it was previously stated (Piza 1946 and 1946a) with regard to other species, the chromosomes are here attached to the spindle by both ends and begin to move toward the poles strongly curved to them. No intercalary fibers could be detected although their existente may not be denied by theoretical reasons developed in another paper (Piza 1946). Mitoses in somatic tissues of the embryo were equally studied. Careful examination of anaphase chromosomes in a great number of cells showed that the chromosomes behave exactly as in the spermatogonia, being equally attached to the spindle by the extremities alone and moving with their ends looking to the pole. A weak median constriction sometimes replaced by a slightly clearer space was observed in prometaphase and even in metaphase chromosomes of the spermatogonia as well as the somatic cells, having already been referred to in the case of Diactor bilineatus. (Piza 1945). Hemipteran chromosomes being considered as iso-chromosomes originated by a longitudinal spliting of the monocentric chromosomes resulting from the second division of the spermatocytes, the median aspect just mentioned may be regarded as the point of union of the separated halves. (See origin of dicentricity in Piza 1946). b) Leptoglossus stigma - This species has spermatogonia provided with 20 pairs of autosomes and one sex chromosome whose behavior differs in nothing from what was stated in regard of the preceding species. In the primary spermatocytes nothing meriting special mention was observed. Orientation, connection with the poles and movements of the sex chromosome in the secondary spermatocytes confirm the views already developed.