Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

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

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

Polymerase chain reaction-based method for the identification of Leishmania (Viannia) braziliensis and Leishmania (Viannia) guyanensis in mucosal tissues conserved in paraffin

ABSTRACTINTRODUCTION: In the Americas, mucosal leishmaniasis is primarily associated with infection by Leishmania (Viannia) braziliensis. However, Leishmania (Viannia) guyanensis is another important cause of this disease in the Brazilian Amazon. In this study, we aimed at detecting Leishmaniadeoxyribonucleic acid (DNA) within paraffin-embedded fragments of mucosal tissues, and characterizing the infecting parasite species.METHODS: We evaluated samples collected from 114 patients treated at a reference center in the Brazilian Amazon by polymerase chain reaction (PCR) and restriction fragment length polymorphism (RFLP) analyses.RESULTS: Direct examination of biopsy imprints detected parasites in 10 of the 114 samples, while evaluation of hematoxylin and eosin-stained slides detected amastigotes in an additional 17 samples. Meanwhile, 31/114 samples (27.2%) were positive for Leishmania spp. kinetoplast deoxyribonucleic acid (kDNA) by PCR analysis. Of these, 17 (54.8%) yielded amplification of the mini-exon PCR target, thereby allowing for PCR-RFLP-based identification. Six of the samples were identified as L. (V.) braziliensis, while the remaining 11 were identified as L. (V.) guyanensis.CONCLUSIONS: The results of this study demonstrate the feasibility of applying molecular techniques for the diagnosis of human parasites within paraffin-embedded tissues. Moreover, our findings confirm that L. (V.) guyanensisis a relevant causative agent of mucosal leishmaniasis in the Brazilian Amazon.

Synthesis and characterization of novel 4H-pyran-4-ylidene indole-based heterocyclic systems for several optical applications

The development of organic materials displaying high two-photon absorption (TPA) has attracted much attention in recent years due to a variety of potential applications in photonics and optoelectronics, such as three-dimensional optical data storage, fluorescence imaging, two-photon microscopy, optical limiting, microfabrication, photodynamic therapy, upconverted lasing, etc. The most frequently employed structural motifs for TPA materials are donor–pi bridge–acceptor (D–pi–A) dipoles, donor–pi bridge–donor (D–pi–D) and acceptor–pi bridge-acceptor (A–pi–A) quadrupoles, octupoles, etc. In this work we present the synthesis and photophysical characterization of quadrupolar heterocyclic systems with potential applications in materials and biological sciences as TPA chromophores. Indole is a versatile building block for the synthesis of heterocyclic systems for several optoelectronic applications (chemosensors, nonlinear optical, OLEDs) due to its photophysical properties and donor electron ability and 4H-pyran-4-ylidene fragment is frequently used for the synthesis of red light-emitting materials. On the other hand, 2-(2,6-dimethyl-4H-pyran-4-ylidene)malononitrile (1) and 1,3-diethyl-dihydro-5-(2,6-dimethyl-4H-pyran-4-ylidene)-2-thiobarbituric (2) units are usually used as strong acceptor moieties for the preparation of π-conjugated systems of the push-pull type. These building blocks were prepared by Knoevenagel condensation of the corresponding ketone precursor with malononitrile or 1,3-diethyl-dihydro-2-thiobarbituric acid. The new quadrupolar 4H-pyran-4-ylidene fluorophores (3) derived from indole were prepared through condensation of 5-methyl-1H-indole-3-carbaldehyde with the acceptor precursors 1 and 2, in the presence of a catalytical amount of piperidine. The new compounds were characterized by the usual spectroscopic techniques (UV-vis., FT-IR and multinuclear NMR - 1H, 13C).

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.

Bird community in an Araucaria forest fragment in relation to changes in the surrounding landscape in Southern Brazil

The dynamics of the bird community in a small forest fragment was evaluated along seven years in relation to changes in the surrounding landscape. The study area is an Araucaria forest fragment in Southern Brazil (state of Paraná). The sampling period covered the years 1988 through 1994 and the mark-release-recapture method was utilized. The landscape analysis was based on Landsat TM images, and changes in exotic tree plantations, native forest, open areas (agriculture, pasture, bare soil, and abandoned field), and "capoeira"(native vegetation < 2 m) were quantified. The relationship between landscape changes and changes in abundance diversity of forest birds, open-area birds, forest-edge birds, and bamboo specialists was evaluated. Richness estimates were run for each year studied. The richness recorded in the study area comprised 96 species. The richness estimates were 114, 118 and 110 species for Chao 1, Jackknife 1 and Bootstrap, respectively. The bird community varied in species richness, abundance and diversity from year to year. As for species diversity, 1991, 1993 and 1994 were significantly different from the other years. Changes in the landscape contributed to the increase in abundance and richness for the groups of forest, open-area and bamboo-specialist species. An important factor discussed was the effect of the flowering of "taquara" (Poaceae), which contributed significantly to increasing richness of bamboo seed eaters, mainly in 1992 and 1993. In general, the results showed that landscape changes affected the dynamics and structure of the bird community of this forest fragment over time, and proved to have an important role in conservation of the avian community in areas of intensive forestry and agricultural activities.

A Laboratory-based Approach to Biological Control of Snails

Development of Schistosoma mansoni in the intermediate host Biomphalaria glabrata is influenced by a number of parasite and snail genes. Understanding the genetics involved in this complex host/parasite relationship may lead to an often discussed approach of introducing resistant B. glabrata into the field as a means of biological control for the parasite. For the snail, juvenile susceptibility to the parasite is controlled by at least four genes, whereas one gene seems to be responsible for adult nonsusceptibility. Obtaining DNA from F2 progeny snails from crosses between parasite-resistant and-susceptible snails, we have searched for molecular markers that show linkage to either the resistant or susceptible phenotype. Both restriction fragment length polymorphism (RFLP) and random amplified polymorphic DNA (RAPD) approaches have been used. To date, using a variety of snail and heterologous species probes, no RFLP marker has been found that segregates with either the resistant or susceptible phenotype in F2 progeny snails. More promising results however have been found with the RAPD approach, where a 1.3 kb marker appears in nearly all resistant progeny, and a 1.1 kb marker appears in all susceptible progeny

Molecular identification of similar species of the genus Biomphalaria (Mollusca: Planorbidae) determined by a polymerase chain reaction-restriction fragment length polymorphism

The freshwater snails Biomphalaria straminea, B. intermedia, B. kuhniana and B. peregrina, are morphologically similar; based on this similarity the first three species were therefore grouped in the complex B. straminea. The morphological identification of these species is based on characters such as vaginal wrinkling, relation between prepuce: penial sheath:deferens vas and number of muscle layers in the penis wall. In this study the polymerase chain reaction restriction fragment length polymorphism technique was used for molecular identification of these molluscs. This technique is based on the amplification of the internal transcribed spacer regions ITS1 e ITS2 of the ribosomal RNA gene and subsequent digestion of these fragments by restriction enzymes. Six enzymes were tested: Dde I, Mnl I, Hae III, Rsa I, Hpa II e Alu I. The restriction patterns obtained with DdeI presented the best profile for separation of the four species of Biomphalaria. The profiles obtained with all the enzymes were used to estimate the genetic distances among the species through analysis of common banding patterns.

Identification of Biomphalaria havanensis and Biomphalaria obstructa populations from Cuba using polymerase chain reaction and restriction fragment length polymorphism of the ribosomal RNA intergenic spacer

In Cuba, several Biomphalaria species have been reported such as B. orbignyi, B. schrammi, B. helophila, B. havanensis and B. peregrina; only the latter three are considered as potential hosts of Schistosoma mansoni. The specific identification of Biomphalaria species is based on anatomical and morphological characters of genital organs and shells. The correct identification of these snails is complicated by the high variation in these characters, similarity among species and in some cases by the small size of the snails. In this paper, we reported the classical morphological identification, the use of PCR and RFLP analysis of the internal transcribed spacer region of the ribosomal RNA genes for molecular identification of seven snail populations from different localities in Cuba. Using morphological and molecular analysis, we showed that among the studied Cuban Biomphalaria populations only B. havanensis and B. obstructa species were found.

Morphological and polymerase chain reaction-restriction fragment lenght polymorphism characterization of Biomphalaria kuhniana and Biomphalaria amazonica from Colombia

In Colombia, five Biomphalaria planorbid species are known: B. kuhniana, B. straminea, B. peregrina, B. canonica and B. oligoza(var. B. philippiana). Among them, B. straminea is intermediate host of Schistosoma mansoni and B. peregrina has been found to be experimentally susceptible to this parasite. B. straminea is commonly confused with B. kuhniana and they have been clustered together with B. intermedia in the complex named B. straminea. The difficulties involved in the specific identification, based on morphological data, have motivated the use of new techniques as auxiliary tools in cases of inconclusive morphological identification of such planorbid. In the present study, five Biomphalaria populations from the Colombian Amazon region and from Interandian Valleys were morphologically identified and characterized by polymerase chain reaction-restriction fragment lenght polymorphism directed at the internal transcribed spacer region of the rRNA gene, followed by digestion of the generated fragment with restriction enzymes (DdeI, AluI, RsaI, MvaI and HaeIII). Known profiles of the Brazilian species B. straminea, B. peregrina, B. kuhniana, B. intermedia and B. amazonica, besides B. kuhniana from Colombia, were used for comparison. The five populations under study were morphologically and molecularly identified as B. kuhniana and B. amazonica.

Polymerase chain reaction and restriction fragment length polymorphism of cytocrome oxidase subunit I used for differentiation of Brazilian Biomphalaria species intermediate host of Schistosoma mansoni

The intermediate hosts of Schistosoma mansoni, in Brazil, Biomphalaria glabrata, B. tenagophila and B. straminea, were identified by restriction fragment length polymorphism analysis of the mitochondrial gene cytochrome oxidase I (COI). We performed digestions with two enzymes (AluI and RsaI), previously selected, based on sequences available in Genbank. The profiles obtained with RsaI showed to be the most informative once they were polymorphic patterns, corroborating with much morphological data. In addition, we performed COI digestion of B. straminea snails from Uruguay and Argentina.

The use of the polymerase chain reaction and restriction fragment length polymorphism technique associated with the classical morphology for characterization of Lymnaea columella, L. viatrix, and L. diaphana (Mollusca: Lymnaeidae)

The specific identification of Lymnaeid snails is based on a comparison of morphological characters of the shell, radula, renal and reproductive organs. However, the identification is complicated by dissection process, intra and interspecific similarity and variability of morphological characters. In the present study, polymerase chain reaction and restriction fragment length polymorphism (PCR-RFLP) techniques targeted to the first and second internal transcribed spacers (ITS1 and ITS2) rDNA and to the mitochondrial 16S ribosomal gene (16S rDNAmt) were used to differentiate the species Lymnaea columella, L. viatrix, and L. diaphana from some localities of Brazil, Argentina, and Uruguay as well as to verify whether the molecular results corroborates the classical morphological method.PCR-RFLP analysis of the ITS1, ITS2, and 16S using 12 restriction enzymes revealed characteristic patterns for L. columella and L. diaphana which were concordant with the classical morphology. On the other hand, for L. viatrix populations a number of 1 to 6 profiles were generated while morphology provided the species pattern results.

Mycobacterium tuberculosis complex differentiation using gyrB-restriction fragment length polymorphism analysis

Mycobacterium tuberculosis complex (MTBC) members are causative agents of human and animal tuberculosis. Differentiation of MTBC members is required for appropriate treatment of individual patients and for epidemiological purposes. Strains from six MTBC species - M. tuberculosis, M. bovis subsp. bovis, M. bovis BCG, M. africanum, M. pinnipedii, and "M. canetti" - were studied using gyrB-restriction fragment length polymorphism (gyrB-RFLP) analysis. A table was elaborated, based on observed restriction patterns and published gyrB sequences. To evaluate applicability of gyrB-RFLP at Instituto Adolfo Lutz, São Paulo, Mycobacterial Reference Laboratory, 311 MTBC clinical isolates, previously identified using traditional methods as M. tuberculosis (306), M. bovis (3), and M. bovis BCG (2), were analyzed by gyrB-RFLP. All isolates were correctly identified by the molecular method, but no distinction between M. bovis and M. bovis BCG was obtained. Differentiation of M. tuberculosis and M. bovis is of utmost importance, because they require different treatment schedules. In conclusion, gyrB-RFLP is accurate and easy-to-perform, with potential to reduce time needed for conventional differentiation methods. However, application for epidemiological studies remains limited, because it cannot differentiate M. tuberculosis from M. africanum subtype II, and "M. canetti", M. africanum subtype I from M. pinnipedii, and. M. bovis from M. bovis BCG.

Isolation of a fragment homologous to the rp49 constitutive gene of Drosophila in the Neotropical malaria vector Anopheles aquasalis (Diptera: Culicidae)

The constitutive ribosomal gene rp49 is frequently used as an endogenous control in Drosophila gene expression experiments. Using the degenerate primer PCR technique we have cloned a fragment homologous to this gene in Anopheles aquasalis Curry, a Neotropical vector of malaria. In addition, based on this first sequence, a new primer was designed, which allowed the isolation of fragments of rp49 in two other species, Aedes aegypti (Linnaeus) and Culex quinquefasciatus Say, suggesting that it could be used to clone fragments of this gene in a number of other mosquito species. Primers were also designed to specifically amplify rp49 cDNA fragments in An. aquasalis and Ae. aegypti, showing that rp49 could be used as a good constitutive control in gene expression studies of these and other vectorially important mosquito species.

Genetic diversity of Triatoma infestans (Hemiptera: Reduviidae) in Chuquisaca, Bolivia based on the mitochondrial cytochrome b gene

Partial cytochrome b DNA sequences for 62 Triatoma infestans were analyzed to determine the degree of genetic variation present in populations of this insect in the northwest region of Chuquisaca, Bolivia. A total of seven haplotypes were detected in the localities sampled. The phylogenetic relationship and population genetic structure of the haplotypes found in this region, indicate that there is greater variation in this relatively small region of Bolivia than what has been previously reported by studies using the same gene fragment, for more distant geographic areas of this country. In addition, a comparison of rural and peri-urban localities, indicate that there is no difference in the genetic variation of T. infestans between these two environments.