Permanence of Carbon Sequestered in Forests under Uncertainty

In this paper we examine the issue of permanence in the context of sequestering carbon through afforestation. We develop a dynamic nested optimal control model of carbon sequestration associated with the decision to afforest a tract of land given there are uncertainties associated with fire and insect/disease hazards. Conceptually, these potential hazards are similar in that their occurrence at any time t is uncertain and landowners can take specific actions – although generally different actions - in any time period t to reduce the probability of sustaining losses related to them. The hazards differ, however, in that fire represents a large loss in carbon at a moment in time, while insect/disease infestations are more likely to be reflected in a period of significant slowing of the rate of carbon accumulation than was anticipated followed by a sustained period of slowly decreasing carbon losses. The nature of these losses will influence the design of incentives under GHG mitigation frameworks that require carbon losses to be replaced as well as the strategies farmers adopt to deal with the uncertainties associated with these events occurring.carbon sequestration, uncertainty, optimal control, hazard function, forestry, permanence, Environmental Economics and Policy, Land Economics/Use,

Worker/wrapper/makes it/faster

Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs is actually improved. This paper addresses this problem for a general-purpose optimization technique, the worker/wrapper transformation. In particular, we use the call-by-need variant of improvement theory to establish conditions under which the worker/wrapper transformation is formally guaranteed to preserve or improve the time performance of programs in lazy languages such as Haskell

FliPpr: A Prettier Invertible Printing System

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations

Isolating JavaScript with Filters, Rewriting, and Wrappers

Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into the execution environment, while rewriting allows greater expressiveness by inserting run-time checks. Wrapping properties of the execution environment can prevent misuse without requiring changes to imported JavaScript. Using a formal semantics for the ECMA 262-3 standard language, we prove security properties of a subset of JavaScript, comparable in expressiveness to Facebook FBJS, obtained by combining three isolation mechanisms. The isolation guarantees of the three mechanisms are interdependent, with rewriting and wrapper functions relying on the absence of JavaScript constructs eliminated by language filters.

Microbiology and atmospheric processes: research challenges concerning the impact of airborne micro-organisms on the atmosphere and climate

For the past 200 years, the field of aerobiology has explored the abundance, diversity, survival and transport of micro-organisms in the atmosphere. Micro-organisms have been explored as passive and severely stressed riders of atmospheric transport systems. Recently, an interest in the active roles of these micro-organisms has emerged along with proposals that the atmosphere is a global biome for microbial metabolic activity and perhaps even multiplication. As part of a series of papers on the sources, distribution and roles in atmospheric processes of biological particles in the atmosphere, here we describe the pertinence of questions relating to the potential roles that air-borne micro-organisms might play in meteorological phenomena. For the upcoming era of research on the role of air-borne micro-organisms in meteorological phenomena, one important challenge is to go beyond descriptions of abundance of micro-organisms in the atmosphere toward an understanding of their dynamics in terms of both biological and physico-chemical properties and of the relevant transport processes at different scales. Another challenge is to develop this understanding under contexts pertinent to their potential role in processes related to atmospheric chemistry, the formation of clouds, precipitation and radiative forcing. This will require truly interdisciplinary approaches involving collaborators from the biological and physical sciences, from disciplines as disparate as agronomy, microbial genetics and atmosphere physics, for example

Economic Potential of Greenhouse Gas Emission Reductions: Comparative Role for Soil Sequestration in Agriculture and Forestry

We use the Agricultural Sector Model to analyze the economic potential of soil carbon sequestration as one of several agricultural greenhouse gas emission mitigation strategies, including afforestation. For low incentives on carbon emission savings, agricultural soil carbon sequestration is the most cost-efficient strategy. As incentive levels increase above $50 per ton of carbon equivalent, afforestation and biofuel production become the key strategies, while the role of soil carbon diminishes. If saturating sinks are discounted based on their net present value, the competitive economic equilibrium among agricultural mitigation strategies shifts away from soil carbon sequestration and afforestation and toward more biofuel production. Regardless of the discounting assumption and the carbon savings incentive level, the economic potential of soil carbon sequestration never attains its technical potential as estimated by soil scientists. The study also estimates the impacts of agricultural mitigation policies on welfare, prices, production, and input use in the traditional food and fiber sector and the effects of emission leakage from unregulated agricultural sources

Detecting host-parasitoid interactions in an invasive Lepidopteran using nested tagging DNA metabarcoding

Determining the host-parasitoid interactions and parasitism rates for invasive species entering novel environments is an important first step in assessing potential routes for biocontrol and integrated pest management. Conventional insect rearing techniques followed by taxonomic identification are widely used to obtain such data, but this can be time consuming and prone to biases. Here we present a Next Generation Sequencing approach for use in ecological studies which allows for individual level metadata tracking of large numbers of invertebrate samples through the use of hierarchically organised molecular identification tags. We demonstrate its utility using a sample data set examining both species identity and levels of parasitism in late larval stages of the Oak Processionary Moth (Thaumetopoea processionea - Linn. 1758), an invasive species recently established in the UK. Overall we find that there are two main species exploiting the late larval stages of Oak Processionary Moth in the UK with the main parasitoid (Carcelia iliaca - Ratzeburg, 1840) parasitising 45.7% of caterpillars, while a rare secondary parasitoid (Compsilura conccinata - Meigen, 1824) was also detected in 0.4% of caterpillars. Using this approach on all life stages of the Oak Processionary Moth may demonstrate additional parasitoid diversity. We discuss the wider potential of nested tagging DNA-metabarcoding for constructing large, highly-resolved species interaction networks

Mediating boundaries between knowledge and knowing: ICT and R4D praxis

Research for development (R4D) praxis (theory-informed practical action) can be underpinned by the use of Information and Communication Technologies (ICTs) which, it is claimed, provide opportunities for knowledge working and sharing. Such a framing implicitly or explicitly constructs a boundary around knowledge as reified, or commodified – or at least able to be stabilized for a period of time (first order knowledge). In contrast ‘third-generation knowledge’ emphasizes the social nature of learning and knowledge-making; this reframes knowledge as a negotiated social practice, thus constructing a different system boundary. This paper offers critical reflections on the use of a wiki as a data repository and mediating technical platform as part of innovating in R4D praxis. A sustainable social learning process was sought that fostered an emergent community of practice among biophysical and social researchers acting for the first time as R4D co-researchers. Over time the technologically mediated element of the learning system was judged to have failed. This inquiry asks: How can learning system design cultivate learning opportunities and respond to learning challenges in an online environment to support R4D practice? Confining critical reflection to the online learning experience alone ignores the wider context in which knowledge work took place; therefore the institutional setting is also considered