2,847 research outputs found
Uneven batch data alignment with application to the control of batch end-product quality
keywords: Variable batch lengths keywords: Variable batch lengths keywords: Variable batch lengths keywords: Variable batch lengths keywords: Variable batch length
Contracts for Interacting Two-Party Systems
This article deals with the interrelation of deontic operators in contracts
-- an aspect often neglected when considering only one of the involved parties.
On top of an automata-based semantics we formalise the onuses that obligations,
permissions and prohibitions on one party impose on the other. Such
formalisation allows for a clean notion of contract strictness and a derived
notion of contract conflict that is enriched with issues arising from party
interdependence.Comment: In Proceedings FLACOS 2012, arXiv:1209.169
Teaching an Old Robot New Tricks: Learning Novel Tasks via Interaction with People and Things
As AI has begun to reach out beyond its symbolic, objectivist roots into the embodied, experientialist realm, many projects are exploring different aspects of creating machines which interact with and respond to the world as humans do. Techniques for visual processing, object recognition, emotional response, gesture production and recognition, etc., are necessary components of a complete humanoid robot. However, most projects invariably concentrate on developing a few of these individual components, neglecting the issue of how all of these pieces would eventually fit together. The focus of the work in this dissertation is on creating a framework into which such specific competencies can be embedded, in a way that they can interact with each other and build layers of new functionality. To be of any practical value, such a framework must satisfy the real-world constraints of functioning in real-time with noisy sensors and actuators. The humanoid robot Cog provides an unapologetically adequate platform from which to take on such a challenge. This work makes three contributions to embodied AI. First, it offers a general-purpose architecture for developing behavior-based systems distributed over networks of PC's. Second, it provides a motor-control system that simulates several biological features which impact the development of motor behavior. Third, it develops a framework for a system which enables a robot to learn new behaviors via interacting with itself and the outside world. A few basic functional modules are built into this framework, enough to demonstrate the robot learning some very simple behaviors taught by a human trainer. A primary motivation for this project is the notion that it is practically impossible to build an "intelligent" machine unless it is designed partly to build itself. This work is a proof-of-concept of such an approach to integrating multiple perceptual and motor systems into a complete learning agent
Innovating for improved healthcare: Sociotechnical and innovation systems perspectives and lessons from the NHS
Healthcare systems with limited resources face rising demand pressures. Healthcare decision-makers increasingly recognise the potential of innovation to help respond to this challenge and to support high-quality care. However, comprehensive and actionable evidence on how to realise this potential is lacking. We adopt sociotechnical systems and innovation systems theoretical perspectives to examine conditions that can support and sustain innovating healthcare systems. We use primary data focussing on England (with 670 contributions over time) and triangulate findings against globally-relevant literature. We discuss the complexity of factors influencing an innovating healthcare system’s ability to support the development and uptake of innovations and share practical learning about changes in policy, culture, and behaviour that could support system improvement. Three themes are examined in detail: skills, capabilities, and leadership; motivations and accountabilities; and collaboration and coordination. We also contribute to advancing applications of sociotechnical systems thinking to major societal transformation challenges
Bubbles in solvent microextraction : the influence of intentionally introduced bubbles on extraction efficiency
Please refer to full text to view abstrac
Conformance Verification of Normative Specifications using C-O Diagrams
C-O Diagrams have been introduced as a means to have a visual representation
of normative texts and electronic contracts, where it is possible to represent
the obligations, permissions and prohibitions of the different signatories, as
well as what are the penalties in case of not fulfillment of their obligations
and prohibitions. In such diagrams we are also able to represent absolute and
relative timing constrains.
In this paper we consider a formal semantics for C-O Diagrams based on a
network of timed automata and we present several relations to check the
consistency of a contract in terms of realizability, to analyze whether an
implementation satisfies the requirements defined on its contract, and to
compare several implementations using the executed permissions as criteria.Comment: In Proceedings FLACOS 2012, arXiv:1209.169
A multi-sill magma plumbing system beneath the axis of the East Pacific Rise
Author Posting. © The Author(s), 2014. This is the author's version of the work. It is posted here by permission of Nature Publishing Group for personal use, not for redistribution. The definitive version was published in Nature Geoscience 7 (2014): 825-829, doi:10.1038/ngeo2272.The mid-crust axial magma lens detected at fast and intermediate spreading
mid-ocean ridges is believed to be the primary magma reservoir for formation of
upper oceanic crust. However, the mechanism behind formation of the lower crust is a
subject of ongoing debate. The sheeted sill model proposed from observations of
ophiloites requires the presence of multiple lenses/sills throughout lower crust but
only a single lens is imaged directly beneath the innermost axial zone in prior seismic
studies . Here, high-fidelity seismic data from the East Pacific Rise reveal series of
reflections below the axial magma lens that we interpret as mid-lower crustal lenses.
These deeper lenses are present between 9°20-57′N at variable two-way-travel-times,
up to 4.6 s (~1.5 km beneath the axial magma lens), providing direct support for the
sheeted sill model. From local changes in the amplitude and geometry of the events
beneath a zone of recent volcanic eruption, we infer that melt drained from a lower
lens contributed to the replenishment of the axial magma lens above and, perhaps, the
eruption. The new data indicate that a multi-level sill complex is present beneath the
East Pacific Rise that likely contributes to the formation of both the upper and lower
crust.This
research was supported by NSF awards OCE0327872 to J. C. M., S. M. C., OCE-
0327885 to J. P. C., and OCE0624401 to M. R. N.2015-04-1
Distribution of melt along the East Pacific Rise from 9°30′ to 10°N from an amplitude variation with angle of incidence (AVA) technique
Author Posting. © The Author(s), 2015. This article is posted here by permission of The Royal Astronomical Society for personal use, not for redistribution. The definitive version was published in Geophysical Journal International 203 (2015): 1-21, doi:10.1093/gji/ggv251.We examine along-axis variations in melt content of the axial magma lens (AML) beneath the fast-spreading East Pacific Rise (EPR) using an amplitude variation with angle of incidence (AVA) crossplotting method applied to multichannel seismic data acquired in 2008. The AVA crossplotting method, which has been developed for and, so far, applied for hydrocarbon prospection in sediments, is for the first time applied to a hardrock environment. We focus our analysis on 2-D data collected along the EPR axis from 9°29.8′N to 9°58.4′N, a region which encompasses the sites of two well-documented submarine volcanic eruptions (1991–1992 and 2005–2006). AVA crossplotting is performed for a ∼53 km length of the EPR spanning nine individual AML segments (ranging in length from ∼3.2 to 8.5 km) previously identified from the geometry of the AML and disruptions in continuity. Our detailed analyses conducted at 62.5 m interval show that within most of the analysed segments melt content varies at spatial scales much smaller (a few hundred of metres) than the length of the fine-scale AML segments, suggesting high heterogeneity in melt concentration. At the time of our survey, about 2 yr after the eruption, our results indicate that the three AML segments that directly underlie the 2005–2006 lava flow are on average mostly molten. However, detailed analysis at finer-scale intervals for these three segments reveals AML pockets (from >62.5 to 812.5 m long) with a low melt fraction. The longest such mushy section is centred beneath the main eruption site at ∼9°50.4′N, possibly reflecting a region of primary melt drainage during the 2005–2006 event. The complex geometry of fluid flow pathways within the crust above the AML and the different response times of fluid flow and venting to eruption and magma reservoir replenishment may contribute to the poor spatial correlation between incidence of hydrothermal vents and presence of highly molten AML. The presented results are an important step forward in our ability to resolve small-scale characteristics of the AML and recommend the AVA crossplotting as a tool for examining mid-ocean ridge magma-systems elsewhere.This research was supported by NSF awards OCE0327872 to J.C.M. and S.M.C., OCE-0327885 to J.P.C., and OCE0624401 to M.R.N
Constraints on melt content of off-axis magma lenses at the East Pacific Rise from analysis of 3-D seismic amplitude variation with angle of incidence
Author Posting. © American Geophysical Union, 2017. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Journal of Geophysical Research: Solid Earth 122 (2017): 4123–4142, doi:10.1002/2016JB013785.We use 3-D multichannel seismic data to form partial angle P wave stacks and apply amplitude variation with angle (AVA) crossplotting to assess melt content and melt distribution within two large midcrustal off-axis magma lenses (OAMLs) found along the East Pacific Rise from 9°37.5′N to 9°57′N. The signal envelope of the partial angle stacks suggests that both OAMLs are partially molten with higher average melt content and more uniform melt distribution in the southern OAML than in the northern OAML. For AVA crossplotting, the OAMLs are subdivided into seven ~1 km2 analysis windows. The AVA crossplotting results indicate that the OAMLs contain a smaller amount of melt than the axial magma lens (AML). For both OAMLs, a higher melt fraction is detected within analysis windows located close to the ridge axis than within the most distant windows. The highest average melt concentration is interpreted for the central sections of the OAMLs. The overall low OAML melt content could be indicative of melt lost due to recent off-axis eruptions, drainage to the AML, or limited mantle melt supply. Based on the results of this and earlier bathymetric, morphological, geochemical, and geophysical investigations, we propose that the melt-poor OAML state is largely the result of limited melt supply from the underlying mantle source reservoir with smaller contribution attributed to melt leakage to the AML. We hypothesize that the investigated OAMLs have a longer period of melt replenishment, lower eruption recurrence rates, and lower eruption volumes than the AML, though some could be single intrusion events.National Science Foundation;
CFI;
CRC2017-12-2
- …