Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

The Echinococcus canadensis (G7) genome: A key knowledge of parasitic platyhelminth human diseases

Background: The parasite Echinococcus canadensis (G7) (phylum Platyhelminthes, class Cestoda) is one of the causative agents of echinococcosis. Echinococcosis is a worldwide chronic zoonosis affecting humans as well as domestic and wild mammals, which has been reported as a prioritized neglected disease by the World Health Organisation. No genomic data, comparative genomic analyses or efficient therapeutic and diagnostic tools are available for this severe disease. The information presented in this study will help to understand the peculiar biological characters and to design species-specific control tools. Results: We sequenced, assembled and annotated the 115-Mb genome of E. canadensis (G7). Comparative genomic analyses using whole genome data of three Echinococcus species not only confirmed the status of E. canadensis (G7) as a separate species but also demonstrated a high nucleotide sequences divergence in relation to E. granulosus (G1). The E. canadensis (G7) genome contains 11,449 genes with a core set of 881 orthologs shared among five cestode species. Comparative genomics revealed that there are more single nucleotide polymorphisms (SNPs) between E. canadensis (G7) and E. granulosus (G1) than between E. canadensis (G7) and E. multilocularis. This result was unexpected since E. canadensis (G7) and E. granulosus (G1) were considered to belong to the species complex E. granulosus sensu lato. We described SNPs in known drug targets and metabolism genes in the E. canadensis (G7) genome. Regarding gene regulation, we analysed three particular features: CpG island distribution along the three Echinococcus genomes, DNA methylation system and small RNA pathway. The results suggest the occurrence of yet unknown gene regulation mechanisms in Echinococcus. Conclusions: This is the first work that addresses Echinococcus comparative genomics. The resources presented here will promote the study of mechanisms of parasite development as well as new tools for drug discovery. The availability of a high-quality genome assembly is critical for fully exploring the biology of a pathogenic organism. The E. canadensis (G7) genome presented in this study provides a unique opportunity to address the genetic diversity among the genus Echinococcus and its particular developmental features. At present, there is no unequivocal taxonomic classification of Echinococcus species; however, the genome-wide SNPs analysis performed here revealed the phylogenetic distance among these three Echinococcus species. Additional cestode genomes need to be sequenced to be able to resolve their phylogeny.Fil: Maldonado, Lucas Luciano. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Assis, Juliana. Fundación Oswaldo Cruz; BrasilFil: Gomes Araújo, Flávio M.. Fundación Oswaldo Cruz; BrasilFil: Salim, Anna C. M.. Fundación Oswaldo Cruz; BrasilFil: Macchiaroli, Natalia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Cucher, Marcela Alejandra. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Camicia, Federico. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Fox, Adolfo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Rosenzvit, Mara Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; ArgentinaFil: Oliveira, Guilherme. Instituto Tecnológico Vale; Brasil. Fundación Oswaldo Cruz; BrasilFil: Kamenetzky, Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Investigaciones en Microbiología y Parasitología Médica. Universidad de Buenos Aires. Facultad de Medicina. Instituto de Investigaciones en Microbiología y Parasitología Médica; Argentin

Illegal Substance Use among Italian High School Students: Trends over 11 Years (1999–2009)

Purpose: To monitor changes in habits in drug use among Italian high school students. Methods: Cross-sectional European School Survey Project on Alcohol and Other Drugs (ESPAD) carried out in Italy annually for 11 years (1999-2009) with representative samples of youth attending high school. The sample size considered ranges from 15,752 to 41,365 students and response rate ranged from 85.5% to 98.6%. Data were analyzed to obtain measures of life-time prevalence (LT), use in the last year (LY), use in the last 30 days (LM), frequent use. Comparisons utilized difference in proportion tests. Tests for linear trends in proportion were performed using the Royston p trend test. Results: When the time-averaged value was considered, cannabis (30% LT) was the most, and heroin the least (2%) frequently used, with cocaine (5%), hallucinogens (2%) and stimulants (2%) in between. A clear gender gap is evident for all drugs, more obvious for hallucinogens (average M/F LY prevalence ratio 2, range 1.7-2.4, p,0.05), less for cannabis (average M/F LY prevalence ratio 1.3, range 1.2-1.5, p,0.05). Data shows a change in trend between 2005 and 2008; in 2006 the trend for cannabis use and availability dropped and the price rose, while from 2005 cocaine and stimulant use prevalence showed a substantial increase and the price went down. After 2008 use of all substances seems to have decreased. Conclusions: Drug use is widespread among students in Italy, with cannabis being the most and heroin the least prevalent. Girls are less vulnerable than boys to illegal drug use. In recent years, a decrease in heroin use is overbalanced by a marked rise in hallucinogen and stimulant use.-

On the Use of Multiple Probe Insertions at the Same Site for Repeated Intracerebral Microdialysis Experiments in the Nigrostriatal Dopamine System of Rats

The effects of implantation of a dialysis probe into the striatum of awake rats on indices of dopamine (DA) and serotonin neurotransmission were assessed, first over 24 h following initial insertion of a probe, and then again following reinsertion of a probe at the same site 1 week later. It was found that the basal concentration of DA in dialysate stabilized within 20–40 min after probe implantation, although DA showed a modest decline 24 h later. There was, however, no significant difference in basal DA between two test sessions separated by 1 week. On the other hand, the basal concentrations of the DA metabolites, 3,4-dihydroxyphenylacetic acid and homovanillic acid, progressively increased for 2–3 h after probe implantation and decreased markedly by 24 h later. Furthermore, in contrast to DA, the DA metabolites decreased even further after the second probe insertion. Amphetamine-stimulated DA release was also greatly attenuated following the second probe insertion, relative to the first probe insertion. Two probe insertions had only modest effects on the concentration of 5-hydroxyindoleacetic acid in dialysate, relative to the DA metabolites. It is suggested the effects of two probe insertions on DA metabolism and amphetamine-stimulated DA release described here are indicative of probe-induced damage to the nigrostriatal DA system. If this is the case, multiple probe insertions may not provide a feasible strategy for within-subjects design dialysis experiments over extended periods of time, at least in the DA system of small animals. It is suggested further that a stable basal concentration of DA in dialysate may be an especially poor indicator of the integrity of the dopaminergic input to the striatum.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65235/1/j.1471-4159.1992.tb10044.x.pd

A phylogenetic generalized hidden Markov model for predicting alternatively spliced exons

BACKGROUND: An important challenge in eukaryotic gene prediction is accurate identification of alternatively spliced exons. Functional transcripts can go undetected in gene expression studies when alternative splicing only occurs under specific biological conditions. Non-expression based computational methods support identification of rarely expressed transcripts. RESULTS: A non-expression based statistical method is presented to annotate alternatively spliced exons using a single genome sequence and evidence from cross-species sequence conservation. The computational method is implemented in the program ExAlt and an analysis of prediction accuracy is given for Drosophila melanogaster. CONCLUSION: ExAlt identifies the structure of most alternatively spliced exons in the test set and cross-species sequence conservation is shown to improve the precision of predictions. The software package is available to run on Drosophila genomes to search for new cases of alternative splicing

Increased risk of malignancies in a population-based study of 818 soft-tissue sarcoma patients

Soft-tissue sarcomas (STS) have been associated with various rare cancer syndromes and occur at increased frequencies in survivors of childhood cancer. Also adult patients with STS have been suggested to be at an increased risk of additional malignancies. After exclusion of syndrome-associated and radiation-induced sarcomas, we studied multiple primary malignancies in a population-based cohort of 818 patients with primary STS of the extremities and the trunk wall. In total, 203 other malignancies developed in 164 (20%) patients median 10 (0–32) years before and median 4 (0–35) years after the sarcoma diagnosis. Standardised morbidity ratios (SMRs) were determined for primary malignancies following a STS. Hereby individuals who had developed a STS were identified to be at increased risk of second primary malignancies (SMR for all malignant tumours=1.3; 95% CI=1.0–1.5; P=0.02) with STS being the only specific tumour type that occurred at an increased risk (SMR=17.6; 95% CI=8.1–33.5; P<0.001). Hence, this population-based series demonstrates a high frequency of second primary tumours among STS patients and indicates a particularly increased risk of developing a new STS

High Sensitivity TSS Prediction: Estimates of Locations Where TSS Cannot Occur

Although transcription in mammalian genomes can initiate from various genomic positions (e.g., 3′UTR, coding exons, etc.), most locations on genomes are not prone to transcription initiation. It is of practical and theoretical interest to be able to estimate such collections of non-TSS locations (NTLs). The identification of large portions of NTLs can contribute to better focusing the search for TSS locations and thus contribute to promoter and gene finding. It can help in the assessment of 5′ completeness of expressed sequences, contribute to more successful experimental designs, as well as more accurate gene annotation.Using comprehensive collections of Cap Analysis of Gene Expression (CAGE) and other transcript data from mouse and human genomes, we developed a methodology that allows us, by performing computational TSS prediction with very high sensitivity, to annotate, with a high accuracy in a strand specific manner, locations of mammalian genomes that are highly unlikely to harbor transcription start sites (TSSs). The properties of the immediate genomic neighborhood of 98,682 accurately determined mouse and 113,814 human TSSs are used to determine features that distinguish genomic transcription initiation locations from those that are not likely to initiate transcription. In our algorithm we utilize various constraining properties of features identified in the upstream and downstream regions around TSSs, as well as statistical analyses of these surrounding regions.

P2 receptors are involved in the mediation of motivation-related behavior

The importance of purinergic signaling in the intact mesolimbic–mesocortical circuit of the brain of freely moving rats is reviewed. In the rat, an endogenous ADP/ATPergic tone reinforces the release of dopamine from the axon terminals in the nucleus accumbens as well as from the somatodendritic region of these neurons in the ventral tegmental area, as well as the release of glutamate, probably via P2Y1 receptor stimulation. Similar mechanisms may regulate the release of glutamate in both areas of the brain. Dopamine and glutamate determine in concert the activity of the accumbal GABAergic, medium-size spiny neurons thought to act as an interface between the limbic cortex and the extrapyramidal motor system. These neurons project to the pallidal and mesencephalic areas, thereby mediating the behavioral reaction of the animal in response to a motivation-related stimulus. There is evidence that extracellular ADP/ATP promotes goal-directed behavior, e.g., intention and feeding, via dopamine, probably via P2Y1 receptor stimulation. Accumbal P2 receptor-mediated glutamatergic mechanisms seem to counteract the dopaminergic effects on behavior. Furthermore, adaptive changes of motivation-related behavior, e.g., by chronic succession of starvation and feeding or by repeated amphetamine administration, are accompanied by changes in the expression of the P2Y1 receptor, thought to modulate the sensitivity of the animal to respond to certain stimuli

Active zone proteins are dynamically associated with synaptic ribbons in rat pinealocytes

Synaptic ribbons (SRs) are prominent organelles that are abundant in the ribbon synapses of sensory neurons where they represent a specialization of the cytomatrix at the active zone (CAZ). SRs occur not only in neurons, but also in neuroendocrine pinealocytes where their function is still obscure. In this study, we report that pinealocyte SRs are associated with CAZ proteins such as Bassoon, Piccolo, CtBP1, Munc13–1, and the motorprotein KIF3A and, therefore, consist of a protein complex that resembles the ribbon complex of retinal and other sensory ribbon synapses. The pinealocyte ribbon complex is biochemically dynamic. Its protein composition changes in favor of Bassoon, Piccolo, and Munc13–1 at night and in favor of KIF3A during the day, whereas CtBP1 is equally present during the night and day. The diurnal dynamics of the ribbon complex persist under constant darkness and decrease after stimulus deprivation of the pineal gland by constant light. Our findings indicate that neuroendocrine pinealocytes possess a protein complex that resembles the CAZ of ribbon synapses in sensory organs and whose dynamics are under circadian regulation

Comparative Genomics Suggests that the Fungal Pathogen Pneumocystis Is an Obligate Parasite Scavenging Amino Acids from Its Host's Lungs

Pneumocystis jirovecii is a fungus causing severe pneumonia in immuno-compromised patients. Progress in understanding its pathogenicity and epidemiology has been hampered by the lack of a long-term in vitro culture method. Obligate parasitism of this pathogen has been suggested on the basis of various features but remains controversial. We analysed the 7.0 Mb draft genome sequence of the closely related species Pneumocystis carinii infecting rats, which is a well established experimental model of the disease. We predicted 8’085 (redundant) peptides and 14.9% of them were mapped onto the KEGG biochemical pathways. The proteome of the closely related yeast Schizosaccharomyces pombe was used as a control for the annotation procedure (4’974 genes, 14.1% mapped). About two thirds of the mapped peptides of each organism (65.7% and 73.2%, respectively) corresponded to crucial enzymes for the basal metabolism and standard cellular processes. However, the proportion of P. carinii genes relative to those of S. pombe was significantly smaller for the “amino acid metabolism” category of pathways than for all other categories taken together (40 versus 114 against 278 versus 427, P<0.002). Importantly, we identified in P. carinii only 2 enzymes specifically dedicated to the synthesis of the 20 standard amino acids. By contrast all the 54 enzymes dedicated to this synthesis reported in the KEGG atlas for S. pombe were detected upon reannotation of S. pombe proteome (2 versus 54 against 278 versus 427, P<0.0001). This finding strongly suggests that species of the genus Pneumocystis are scavenging amino acids from their host's lung environment. Consequently, they would have no form able to live independently from another organism, and these parasites would be obligate in addition to being opportunistic. These findings have implications for the management of patients susceptible to P. jirovecii infection given that the only source of infection would be other humans