Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

The Reversal of Fortunes: Trends in County Mortality and Cross-County Mortality Disparities in the United States

Majid Ezzati and colleagues analyze US county-level mortality data for 1961 to 1999, and find a steady increase in mortality inequality across counties between 1983 and 1999

Georgia Abortion Law and Our Commitment to Patients

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/153775/1/art41143.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/153775/2/art41143_am.pd

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

Physics at a 100 TeV pp collider: beyond the Standard Model phenomena

This report summarises the physics opportunities in the search and study of physics beyond the Standard Model at a 100 TeV pp collider.Comment: 196 pages, 114 figures. Chapter 3 of the "Physics at the FCC-hh" Repor

From Food to Offspring Down: Tissue-Specific Discrimination and Turn-Over of Stable Isotopes in Herbivorous Waterbirds and Other Avian Foraging Guilds

Isotopic discrimination and turn-over are fundamental to the application of stable isotope ecology in animals. However, detailed information for specific tissues and species are widely lacking, notably for herbivorous species. We provide details on tissue-specific carbon and nitrogen discrimination and turn-over times from food to blood, feathers, claws, egg tissues and offspring down feathers in four species of herbivorous waterbirds. Source-to-tissue discrimination factors for carbon (δ13C) and nitrogen stable isotope ratios (δ15N) showed little variation across species but varied between tissues. Apparent discrimination factors ranged between −0.5 to 2.5‰ for δ13C and 2.8 to 5.2‰ for δ15N, and were more similar between blood components than between keratinous tissues or egg tissue. Comparing these results with published data from other species we found no effect of foraging guild on discrimination factors for carbon but a significant foraging-guild effect for nitrogen discrimination factors

Modafinil modulation of the default mode network

RationaleThe default mode network (DMN) is a functional network which is implicated in a range of cognitive processes. This network is proposed to consist of hubs located in the ventromedial prefrontal cortex (vmPFC), posterior cingulate/retrosplenial cortex (PCC/rSpl), and inferior parietal lobule (IPL), with other midline cortical and temporal lobe nodes connected to these hubs. How this network is modulated by neurochemical systems during functional brain activity is not yet understood.ObjectivesIn the present study, we used the norepinephrine/dopamine transporter inhibitor modafinil to test the hypothesis that this drug modulates the DMN.MethodsEighteen healthy right-handed adults participated in a double-blind, placebo-controlled study of single oral dose modafinil 200 mg. They performed a simple visual sensorimotor task during slow event-related fMRI. Drug effects were interrogated within the DMN defined by task-induced deactivation (TID) on placebo.ResultsThere was a trend toward faster reaction time (RT) on modafinil (Cohen's d = 0.38). Brain regions within the DMN which exhibited significant modafinil-induced augmentation of TID included vmPFC, PCC/rSpl, and left IPL. Across subjects, the modafinil effect on TID in the vmPFC was significantly and specifically associated with drug effects on RT speeding.ConclusionsModafinil augments TID in the DMN to facilitate sensorimotor processing speed, an effect which may be particularly dependent on changes in vmPFC activity. This is consistent with the gain control function of catecholamine systems and may represent an important aspect of the pro-cognitive effects of modafinil

Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 2: The Physics Program for DUNE at LBNF

The Physics Program for the Deep Underground Neutrino Experiment (DUNE) at the Fermilab Long-Baseline Neutrino Facility (LBNF) is described

Origins of the Ambient Solar Wind: Implications for Space Weather

The Sun's outer atmosphere is heated to temperatures of millions of degrees, and solar plasma flows out into interplanetary space at supersonic speeds. This paper reviews our current understanding of these interrelated problems: coronal heating and the acceleration of the ambient solar wind. We also discuss where the community stands in its ability to forecast how variations in the solar wind (i.e., fast and slow wind streams) impact the Earth. Although the last few decades have seen significant progress in observations and modeling, we still do not have a complete understanding of the relevant physical processes, nor do we have a quantitatively precise census of which coronal structures contribute to specific types of solar wind. Fast streams are known to be connected to the central regions of large coronal holes. Slow streams, however, appear to come from a wide range of sources, including streamers, pseudostreamers, coronal loops, active regions, and coronal hole boundaries. Complicating our understanding even more is the fact that processes such as turbulence, stream-stream interactions, and Coulomb collisions can make it difficult to unambiguously map a parcel measured at 1 AU back down to its coronal source. We also review recent progress -- in theoretical modeling, observational data analysis, and forecasting techniques that sit at the interface between data and theory -- that gives us hope that the above problems are indeed solvable.Comment: Accepted for publication in Space Science Reviews. Special issue connected with a 2016 ISSI workshop on "The Scientific Foundations of Space Weather." 44 pages, 9 figure

Search for Higgs bosons decaying to tautau pairs in ppbar collisions at sqrt(s) = 1.96 TeV

We present a search for the production of neutral Higgs bosons decaying into tautau pairs in ppbar collisions at a center-of-mass energy of 1.96 TeV. The data, corresponding to an integrated luminosity of 5.4 fb-1, were collected by the D0 experiment at the Fermilab Tevatron Collider. We set upper limits at the 95% C.L. on the product of production cross section and branching ratio for a scalar resonance decaying into tautau pairs, and we then interpret these limits as limits on the production of Higgs bosons in the minimal supersymmetric standard model (MSSM) and as constraints in the MSSM parameter space.Comment: 7 pages, 5 figures, submitted to PL