351 research outputs found

    DecSerFlow: Towards a Truly Declarative Service Flow Language

    Get PDF
    The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and pi-calculus. The languages developed for service flows, i.e., process specification languages for web services, have adopted many concepts from classical workflow management systems. As a result, these languages are rather procedural and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. DecSerFlow can be used to specify, enact, and monitor service flows. The language is extendible (i.e., constructs can be added without changing the engine or semantical basis) and can be used to enforce or to check the conformance of service flows. Although the language has an appealing graphical representation, it is grounded in temporal logic

    Global gene flow releases invasive plants from environmental constraints on genetic diversity

    Get PDF
    When plants establish outside their native range, their ability to adapt to the new environment is influenced by both demography and dispersal. However, the relative importance of these two factors is poorly understood. To quantify the influence of demography and dispersal on patterns of genetic diversity underlying adaptation, we used data from a globally distributed demographic research network comprising 35 native and 18 nonnative populations of Plantago lanceolata. Species-specific simulation experiments showed that dispersal would dilute demographic influences on genetic diversity at local scales. Populations in the native European range had strong spatial genetic structure associated with geographic distance and precipitation seasonality. In contrast, nonnative populations had weaker spatial genetic structure that was not associated with environmental gradients but with higher within-population genetic diversity. Our findings show that dispersal caused by repeated, long-distance, human-mediated introductions has allowed invasive plant populations to overcome environmental constraints on genetic diversity, even without strong demographic changes. The impact of invasive plants may, therefore, increase with repeated introductions, highlighting the need to constrain future introductions of species even if they already exist in an area

    Mapping child growth failure across low- and middle-income countries

    Get PDF
    Childhood malnutrition is associated with high morbidity and mortality globally1. Undernourished children are more likely to experience cognitive, physical, and metabolic developmental impairments that can lead to later cardiovascular disease, reduced intellectual ability and school attainment, and reduced economic productivity in adulthood2. Child growth failure (CGF), expressed as stunting, wasting, and underweight in children under five years of age (0�59 months), is a specific subset of undernutrition characterized by insufficient height or weight against age-specific growth reference standards3�5. The prevalence of stunting, wasting, or underweight in children under five is the proportion of children with a height-for-age, weight-for-height, or weight-for-age z-score, respectively, that is more than two standard deviations below the World Health Organization�s median growth reference standards for a healthy population6. Subnational estimates of CGF report substantial heterogeneity within countries, but are available primarily at the first administrative level (for example, states or provinces)7; the uneven geographical distribution of CGF has motivated further calls for assessments that can match the local scale of many public health programmes8. Building from our previous work mapping CGF in Africa9, here we provide the first, to our knowledge, mapped high-spatial-resolution estimates of CGF indicators from 2000 to 2017 across 105 low- and middle-income countries (LMICs), where 99 of affected children live1, aggregated to policy-relevant first and second (for example, districts or counties) administrative-level units and national levels. Despite remarkable declines over the study period, many LMICs remain far from the ambitious World Health Organization Global Nutrition Targets to reduce stunting by 40 and wasting to less than 5 by 2025. Large disparities in prevalence and progress exist across and within countries; our maps identify high-prevalence areas even within nations otherwise succeeding in reducing overall CGF prevalence. By highlighting where the highest-need populations reside, these geospatial estimates can support policy-makers in planning interventions that are adapted locally and in efficiently directing resources towards reducing CGF and its health implications. © 2020, The Author(s)

    5-Lipoxygenase Metabolic Contributions to NSAID-Induced Organ Toxicity

    Full text link

    Search for Tensor, Vector, and Scalar Polarizations in the Stochastic Gravitational-Wave Background

    Get PDF
    The detection of gravitational waves with Advanced LIGO and Advanced Virgo has enabled novel tests of general relativity, including direct study of the polarization of gravitational waves. While general relativity allows for only two tensor gravitational-wave polarizations, general metric theories can additionally predict two vector and two scalar polarizations. The polarization of gravitational waves is encoded in the spectral shape of the stochastic gravitational-wave background, formed by the superposition of cosmological and individually unresolved astrophysical sources. Using data recorded by Advanced LIGO during its first observing run, we search for a stochastic background of generically polarized gravitational waves. We find no evidence for a background of any polarization, and place the first direct bounds on the contributions of vector and scalar polarizations to the stochastic background. Under log-uniform priors for the energy in each polarization, we limit the energy densities of tensor, vector, and scalar modes at 95% credibility to Ω0T<5.58×10-8, Ω0V<6.35×10-8, and Ω0S<1.08×10-7 at a reference frequency f0=25 Hz. © 2018 American Physical Society

    Erratum: "A Gravitational-wave Measurement of the Hubble Constant Following the Second Observing Run of Advanced LIGO and Virgo" (2021, ApJ, 909, 218)

    Get PDF
    [no abstract available
    corecore