309 research outputs found

    Evolutionary epidemiology in the field: a proactive approach for identifying herbicide resistance in problematic crop weeds

    Full text link
    Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/150501/1/nph15959_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/150501/2/nph15959.pd

    A Calculus for Orchestration of Web Services

    Get PDF
    We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages

    Orchestrating Tuple-based Languages

    Get PDF
    The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

    SCC: A Service Centered Calculus

    Get PDF
    We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones

    Comparative life cycle assessment study on environmental impact of oil production from micro-algae and terrestrial oilseed crops

    Get PDF
    In this study the LCA methodology is applied in order to satisfy two goals: i) to evaluate the hot spots in site-specific production chain of biodiesel from terrestrial and micro-algae feedstock; ii) to compare quantitatively, utilizing primary data, the impacts of the first generation in respect to the third generation bio-fuels. Results show that micro-algae are neither competitive yet with traditional oil crops nor with fossil fuel. The use of renewable technologies as photovoltaics and biogas self production might increase the competitiveness of micro-algae oil. Further investigations are however necessary to optimize their production chain and to increase the added value of co-products

    Herbicide-resistant weeds : from research and knowledge to future needs

    Get PDF
    Synthetic herbicides have been used globally to control weeds in major field crops. This has imposed a strong selection for any trait that enables plant populations to survive and reproduce in the presence of the herbicide. Herbicide resistance in weeds must be minimized because it is a major limiting factor to food security in global agriculture. This represents a huge challenge that will require great research efforts to develop control strategies as alternatives to the dominant and almost exclusive practice of weed control by herbicides. Weed scientists, plant ecologists and evolutionary biologists should join forces and work towards an improved and more integrated understanding of resistance across all scales. This approach will likely facilitate the design of innovative solutions to the global herbicide resistance challenge

    Weed resistance to synthetic auxin herbicides

    Get PDF
    Herbicides classified as synthetic auxins have been most commonly used to control broadleaf weeds in a variety of crops and in non-cropland areas since the first synthetic auxin herbicide (SAH), 2,4-D, was introduced to the market in the mid-1940s. The incidence of weed species resistant to SAHs is relatively low considering their long-term global application with 29 broadleaf weed species confirmed resistant to date. An understanding of the context and mechanisms of SAH resistance evolution can inform management practices to sustain the longevity and utility of this important class of herbicides. A symposium was convened during the 2nd Global Herbicide Resistance Challenge (May 2017 in Denver, CO, USA) to provide an overview of the current state of knowledge of SAH resistance mechanisms including case studies of weed species resistant to SAHs and perspectives on mitigating resistance development in SAH-tolerant crops

    Analysis and Verification of Service Interaction Protocols - A Brief Survey

    Get PDF
    Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

    genetic structuring and differentiation of echinococcus multilocularis in slovakia assessed by sequencing and isoenzyme studies

    Get PDF
    AbstractNucleotide sequencing of the mitochondrial cytochrome c oxidase subunit 1 (CO1) gene and isoenzyme analysis were used to survey the genetic variability in Echinococcus multilocularis populations from Slovakia. A sample of 12 isolates acquired from 10 different districts from red foxes exhibited identical sequences. Compared with the previously described E. multilocularis variants, one base substitution was consistently observed relative to the M1 variant (detected in China, Alaska, North America, Japan) and three base substitutions were recorded relative to the M2 variant (detected in Germany) in the CO1 fragment. These data, along with the recently gathered data from French isolates, are indicative of a genetically unique population occurring in Central and Western Europe. Electrophoretic examination of enzymes produced by 14 gene loci revealed intraspecific polymorphism only with the glucose-phosphate isomerase (two distinct patterns) and the mannosephosphate isomerase (four genotypes composed of three alleles) enzyme systems. To allow a fast species differentiation of E. multilocularis and E. granulosus (specifically, the G7 genotype occurring in Slovakia), discriminative electrophoretic characters between the species were obtained by isoenzyme analysis. Fixed genetic differences between the species were detected in the glucose-phosphate isomerase, esterase and aldolase systems, and partial differences were detected in four additional systems
    • …
    corecore