694 research outputs found

    Simulations of Weighted Tree Automata

    Full text link
    Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, Noetherian semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there exists a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.Comment: 17 pages, 2 figure

    Punctuated equilibria and 1/f noise in a biological coevolution model with individual-based dynamics

    Full text link
    We present a study by linear stability analysis and large-scale Monte Carlo simulations of a simple model of biological coevolution. Selection is provided through a reproduction probability that contains quenched, random interspecies interactions, while genetic variation is provided through a low mutation rate. Both selection and mutation act on individual organisms. Consistent with some current theories of macroevolutionary dynamics, the model displays intermittent, statistically self-similar behavior with punctuated equilibria. The probability density for the lifetimes of ecological communities is well approximated by a power law with exponent near -2, and the corresponding power spectral densities show 1/f noise (flicker noise) over several decades. The long-lived communities (quasi-steady states) consist of a relatively small number of mutualistically interacting species, and they are surrounded by a ``protection zone'' of closely related genotypes that have a very low probability of invading the resident community. The extent of the protection zone affects the stability of the community in a way analogous to the height of the free-energy barrier surrounding a metastable state in a physical system. Measures of biological diversity are on average stationary with no discernible trends, even over our very long simulation runs of approximately 3.4x10^7 generations.Comment: 20 pages RevTex. Minor revisions consistent with published versio

    Guiding the Way to Gamma-Ray Sources: X-ray Studies of Supernova Remnants

    Full text link
    Supernova remnants have long been suggested as a class of potential counterparts to unidentified gamma-ray sources. The mechanisms by which such gamma-rays can arise may include emission from a pulsar associated with a remnant, or a variety of processes associated with energetic particles accelerated by the SNR shock. Imaging and spectral observations in the X-ray band can be used to identify properties of the remnants that lead to gamma-ray emission, including the presence of pulsar-driven nebulae, nonthermal X-ray emission from the SNR shells, and the interaction of SNRs with dense surrounding material.Comment: 16 pages, 11 figures, To appear in the proceedings of the workshop: "The Nature of the Unidentified Galactic Gamma-Ray Sources" held at INAOE, Mexico, October 2000, (A.Carraminana, O. Reiner and D. Thompson, eds.

    Untargeted Metabolome Analysis of Alcohol-Exposed Pregnancies Reveals Metabolite Differences That Are Associated with Infant Birth Outcomes

    Get PDF
    Prenatal alcohol exposure can produce offspring growth deficits and is a leading cause of neurodevelopmental disability. We used untargeted metabolomics to generate mechanistic insight into how alcohol impairs fetal development. In the Western Cape Province of South Africa, 52 women between gestational weeks 5–36 (mean 18.5 ± 6.5) were recruited, and they provided a finger-prick fasting bloodspot that underwent mass spectrometry. Metabolomic data were analyzed using partial least squares-discriminant analyses (PLS-DA) to identify metabolites that correlated with alcohol exposure and infant birth outcomes. Women who consumed alcohol in the past seven days were distinguished by a metabolite profile that included reduced sphingomyelins, cholesterol, and pregnenolones, and elevated fatty acids, acyl and amino acyl carnitines, and androsterones. Using PLS-DA, 25 of the top 30 metabolites differentiating maternal groups were reduced by alcohol with medium-chain free fatty acids and oxidized sugar derivatives having the greatest influence. A separate ortho-PLS-DA analysis identified a common set of 13 metabolites that were associated with infant length, weight, and head circumference. These included monoacylglycerols, glycerol-3-phosphate, and unidentified metabolites, and most of their associations were negative, implying they represent processes having adverse consequences for fetal development

    Comparing HIV case detection in prison during opt-in vs. Opt-out testing policies

    Get PDF
    Routine HIV screening in health care settings, including prisons and jails, is recommended by the US Centers for Disease Control and Prevention to enhance the detection of HIV infection
    • …
    corecore