404 research outputs found
Evolutionary epidemiology in the field: a proactive approach for identifying herbicide resistance in problematic crop weeds
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
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
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
Comparative life cycle assessment study on environmental impact of oil production from micro-algae and terrestrial oilseed crops
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
SCC: A Service Centered Calculus
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
Simulation tools for scattering corrections in spectrally resolved X-ray Computed Tomography using McXtrace
Batalin-Vilkovisky Integrals in Finite Dimensions
The Batalin-Vilkovisky method (BV) is the most powerful method to analyze
functional integrals with (infinite-dimensional) gauge symmetries presently
known. It has been invented to fix gauges associated with symmetries that do
not close off-shell. Homological Perturbation Theory is introduced and used to
develop the integration theory behind BV and to describe the BV quantization of
a Lagrangian system with symmetries. Localization (illustrated in terms of
Duistermaat-Heckman localization) as well as anomalous symmetries are discussed
in the framework of BV.Comment: 35 page
Herbicide-resistant weeds : from research and knowledge to future needs
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
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
- …