135 research outputs found
High resolution measurements of carbon monoxide along a late Holocene Greenland ice core: evidence for in situ production
We present high-resolution measurements of carbon monoxide (CO)
concentrations from a shallow ice core of the North Greenland Eemian Ice
Drilling project (NEEM-2011-S1). An optical-feedback cavity-enhanced
absorption spectrometer (OF-CEAS) coupled to a continuous melter system
performed continuous, online analysis during a four-week measurement campaign.
This analytical setup generated stable measurements of CO concentrations
with an external precision of 7.8 ppbv (1σ), based on repeated
analyses of equivalent ice core sections. However, this first application of
this measurement technique suffered from a poorly constrained procedural
blank of 48 ± 25 ppbv and poor accuracy because an absolute
calibration was not possible. The NEEM-2011-S1 CO record spans 1800 yr and
the long-term trends within the most recent section of this record
(i.e., post 1700 AD) resemble the existing discrete CO measurements from the
Eurocore ice core. However, the CO concentration is highly variable (75–1327 ppbv
range) throughout the ice core with high frequency (annual scale), high
amplitude spikes characterizing the record. These CO signals are too abrupt
and rapid to reflect atmospheric variability and their prevalence largely
prevents interpretation of the record in terms of atmospheric CO variation.
The abrupt CO spikes are likely the result of in situ production occurring
within the ice itself, although the unlikely possibility of CO production
driven by non-photolytic, fast kinetic processes within the continuous
melter system cannot be excluded. We observe that 68% of the CO spikes
are observed in ice layers enriched with pyrogenic aerosols. Such aerosols,
originating from boreal biomass burning emissions, contain organic
compounds, which may be oxidized or photodissociated to produce CO within
the ice. However, the NEEM-2011-S1 record displays an increase of
~0.05 ppbv yr<sup>−1</sup> in baseline CO level prior to 1700 AD (129 m
depth) and the concentration remains elevated, even for ice layers depleted
in dissolved organic carbon (DOC). Thus, the processes driving the likely
in situ production of CO within the NEEM ice may involve multiple, complex
chemical pathways not all related to past fire history and require further investigation
Towards an Entropy-based Analysis of Log Variability
Rules, decisions, and workflows are intertwined components depicting the overall process. So far imperative workflow modelling languages have played the major role for the description and analysis of business processes. Despite their undoubted efficacy in representing sequential executions, they hide circumstantial information leading to the enactment of activities, and obscure the rationale behind the verification of requirements, dependencies, and goals. This workshop aimed at providing a platform for the discussion and introduction of new ideas related to the development of a holistic approach that encompasses all those aspects. The objective was to extend the reach of the business process management audience towards the decisions and rules community and increase the integration between different imperative, declarative and hybrid modelling perspectives. Out of the high-quality submitted manuscripts, three papers were accepted for publication, with an acceptance rate of 50%. They contributed to foster a fruitful discussion among the participants about the respective impact and the interplay of decision perspective and the process perspective
Bigraphical Refinement
We propose a mechanism for the vertical refinement of bigraphical reactive
systems, based upon a mechanism for limiting observations and utilising the
underlying categorical structure of bigraphs. We present a motivating example
to demonstrate that the proposed notion of refinement is sensible with respect
to the theory of bigraphical reactive systems; and we propose a sufficient
condition for guaranteeing the existence of a safety-preserving vertical
refinement. We postulate the existence of a complimentary notion of horizontal
refinement for bigraphical agents, and finally we discuss the connection of
this work to the general refinement of Reeves and Streader.Comment: In Proceedings Refine 2011, arXiv:1106.348
Recommended from our members
High resolution measurements of carbon monoxide along a late Holocene Greenland ice core: evidence for in situ production
We present high-resolution measurements of carbon monoxide (CO) concentrations from a shallow ice core of the North Greenland Eemian Ice Drilling project (NEEM-2011-S1). An optical-feedback cavity-enhanced absorption spectrometer (OF-CEAS) coupled to a continuous melter system performed continuous, online analysis during a four-week measurement campaign. This analytical setup generated stable measurements of CO concentrations with an external precision of 7.8 ppbv (1σ), based on repeated analyses of equivalent ice core sections. However, this first application of this measurement technique suffered from a poorly constrained procedural blank of 48 ± 25 ppbv and poor accuracy because an absolute calibration was not possible. The NEEM-2011-S1 CO record spans 1800 yr and the long-term trends within the most recent section of this record (i.e., post 1700 AD) resemble the existing discrete CO measurements from the Eurocore ice core. However, the CO concentration is highly variable (75–1327 ppbv range) throughout the ice core with high frequency (annual scale), high amplitude spikes characterizing the record. These CO signals are too abrupt and rapid to reflect atmospheric variability and their prevalence largely prevents interpretation of the record in terms of atmospheric CO variation. The abrupt CO spikes are likely the result of in situ production occurring within the ice itself, although the unlikely possibility of CO production driven by non-photolytic, fast kinetic processes within the continuous melter system cannot be excluded. We observe that 68% of the CO spikes are observed in ice layers enriched with pyrogenic aerosols. Such aerosols, originating from boreal biomass burning emissions, contain organic compounds, which may be oxidized or photodissociated to produce CO within the ice. However, the NEEM-2011-S1 record displays an increase of ~0.05 ppbv yr−1 in baseline CO level prior to 1700 AD (129 m depth) and the concentration remains elevated, even for ice layers depleted in dissolved organic carbon (DOC). Thus, the processes driving the likely in situ production of CO within the NEEM ice may involve multiple, complex chemical pathways not all related to past fire history and require further investigation.This is the publisher’s final pdf. The published article is copyrighted by the author(s) and published by Copernicus Publications on behalf of the European Geosciences Union. The published article can be found at: http://www.climate-of-the-past.net/home.html
Return of the Great Spaghetti Monster : Learnings from a Twelve-Year Adventure in Web Software Development
The widespread adoption of the World Wide Web has fundamentally changed the landscape of software development. Only ten years ago, very few developers would write software for the Web, let alone consider using JavaScript or other web technologies for writing any serious software applications. In this paper, we reflect upon a twelve-year adventure in web development that began with the development of the Lively Kernel system at Sun Microsystems Labs in 2006. Back then, we also published some papers that identified important challenges in web-based software development based on established software engineering principles. We will revisit our earlier findings and compare the state of the art in web development today to our earlier learnings, followed by some reflections and suggestions for the road forward.Peer reviewe
A foundation for runtime monitoring
Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe
A Foundation for Runtime Monitoring
Runtime Verification is a lightweight technique that complements other
verification methods in an effort to ensure software correctness.
The technique poses novel questions to software engineers: it is not easy to
identify which specifications are amenable to runtime monitoring, nor is it
clear which monitors effect the required runtime analysis correctly.
This exposition targets a foundational understanding of these questions.
Particularly, it considers an expressive specification logic (a syntactic
variant of the mmucalc) that is agnostic of the verification method used,
together with an elemental framework providing an operational semantics for the
runtime analysis performed by monitors.
The correspondence between the property satisfactions in the logic on the one
hand, and the verdicts reached by the monitors performing the analysis on the
other, is a central theme of the study.
Such a correspondence underpins the concept of monitorability, used to identify
the subsets of the logic that can be adequately monitored for by RV.
Another theme of the study is that of understanding what should be expected of a
monitor in order for the verification process to be correct.
We show how the monitor framework considered can constitute a basis whereby
various notions of monitor correctness may be defined and investigated
- …