Evaluating the Production and Price Impacts of Biotechnology Application in Crop Markets

Biotechnology crop traits have been applied on a widespread commercial global basis since 1996, making it the most rapidly adopted crop technology in agriculture. The primary biotechnologies used have included technology delivering herbicide tolerance and insect resistance for crops, such as corn, soybeans, cotton, and canola. This technology has provided farmers with productivity improvements through a combination of yield improvements and cost reductions. Thus, this technology has had an impact on prices of cereals and oilseeds (and their derivatives) both in countries where biotech traits were applied and in the global market. Realizing the surging significance of biotechnology application in global crop markets, this study first summarizes the productivity impacts of biotech crops on production; secondly, aims to quantify the impact of the use of biotech traits on production, utilization and prices of corn, soybeans, and canola as well as other crops where the biotechnology is not utilized.biotech crops, prices, yield, soybeans, corn, canola, partial-equilibrium model, price effects, Demand and Price Analysis, Productivity Analysis,

A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and showing that it is a congruence for the operators of CSP. This equivalence belongs to the bisimulation family of semantic equivalences, in the sense that on transition systems without internal actions it coincides with strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda

Diurnal variation in harbour porpoise detection – potential implications for management

Peer reviewedPublisher PD

Observation and theoretical description of the pure Fano-effect in the valence-band photo-emission of ferromagnets

The pure Fano-effect in angle-integrated valence-band photo-emission of ferromagnets has been observed for the first time. A contribution of the intrinsic spin polarization to the spin polarization of the photo-electrons has been avoided by an appropriate choice of the experimental parameters. The theoretical description of the resulting spectra reveals a complete analogy to the Fano-effect observed before for paramagnetic transition metals. While the theoretical photo-current and spin difference spectra are found in good quantitative agreement with experiment in the case of Fe and Co only a qualitative agreement could be achieved in the case of Ni by calculations on the basis of plain local spin density approximation (LSDA). Agreement with experimental data could be improved in this case in a very substantial way by a treatment of correlation effects on the basis of dynamical mean field theory (DMFT).Comment: 11 pages, 3 figures accepted by PR

On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi