Is resilience a normative concept?

In this paper, we engage with the question of the normative content of the resilience concept. The issues are approached in two consecutive steps. First, we proceed from a narrow construal of the resilience concept – as the ability of a system to absorb a disturbance – and show that under an analysis of normative concepts as evaluative concepts resilience comes out as descriptive. In the second part of the paper, we argue that (1) for systems of interest (primarily social systems or system with a social component) we seem to have options with respect to how they are described and (2) that this matters for what is to be taken as a sign of resilience as opposed to a sign of the lack of resilience for such systems. We discuss the implications of this for how the concept should be applied in practice and suggest that users of the resilience concept face a choice between versions of the concept that are either ontologically or normatively charged

Modeling the initiation of others into injection drug use, using data from 2,500 injectors surveyed in Scotland during 2008-2009

The prevalence of injection drug use has been of especial interest for assessment of the impact of blood-borne viruses. However, the incidence of injection drug use has been underresearched. Our 2-fold aim in this study was to estimate 1) how many other persons, per annum, an injection drug user (IDU) has the equivalent of full responsibility (EFR) for initiating into injection drug use and 2) the consequences for IDUs' replacement rate. EFR initiation rates are strongly associated with incarceration history, so that our analysis of IDUs' replacement rate must incorporate when, in their injecting career, IDUs were first incarcerated. To do so, we have first to estimate piecewise constant incarceration rates in conjunction with EFR initiation rates, which are then combined with rates of cessation from injecting to model IDUs' replacement rate over their injecting career, analogous to the reproduction number of an epidemic model. We apply our approach to Scotland's IDUs, using over 2,500 anonymous injector participants who were interviewed in Scotland's Needle Exchange Surveillance Initiative during 2008-2009. Our approach was made possible by the inclusion of key questions about initiations. Finally, we extend our model to include an immediate quit rate, as a reasoned compensation for higher-than-expected replacement rates, and we estimate how high initiates' quit rate should be for IDUs' replacement rate to be 1

Towards a portable and future-proof particle-in-cell plasma physics code

We present the first reported OpenCL implementation of EPOCH3D, an extensible particle-in-cell plasma physics code developed at the University of Warwick. We document the challenges and successes of this porting effort, and compare the performance of our implementation executing on a wide variety of hardware from multiple vendors. The focus of our work is on understanding the suitability of existing algorithms for future accelerator-based architectures, and identifying the changes necessary to achieve performance portability for particle-in-cell plasma physics codes. We achieve good levels of performance with limited changes to the algorithmic behaviour of the code. However, our results suggest that a fundamental change to EPOCH3D’s current accumulation step (and its dependency on atomic operations) is necessary in order to fully utilise the massive levels of parallelism supported by emerging parallel architectures

Running up Blueberry Hill: Prototyping whole body interaction in harmony space

Musical harmony is considered to be one of the most abstract and technically difficult parts of music. It is generally taught formally via abstract, domain-specific concepts, principles, rules and heuristics. By contrast, when harmony is represented using an existing interactive desktop tool, Harmony Space, a new, parsimonious, but equivalently expressive, unified level of description emerges. This focuses not on abstract concepts, but on concrete locations, objects, areas and trajectories. This paper presents a design study of a prototype version of Harmony Space driven by whole body navigation, and characterizes the new opportunities presented for the principled manipulation of chord sequences and bass lines. These include: deeper engagement and directness; rich physical cues for memory and reflection, embodied engagement with rhythmic time constraints; hands which are free for other simultaneous activities (such as playing a traditional instrument); and qualitatively new possibilities for collaborative use

Investigating the prisoner finance gap across four prisons in the North East

Within the underpinning context of reducing re-offending of released prisoners, the Prisoner Finance Gap (PFG) has been identified as an issue that is likely to present a significant barrier to the effective resettlement of offenders. The Hallam Centre for Community Justice at Sheffield Hallam University was therefore commissioned by the Department for Work and Pensions to conduct an investigation into the PFG within four prisons in the North East: Her Majesty’s Prison HMP Durham, HMP Acklington, Her Majesty’s Young Offenders Institution HMYOI Castington and HMP Low Newton. The research was conducted between April 2009 and May 2010 and included a literature review, semi-structured interviews with strategic and policy stakeholders, staff from prison, probation, voluntary sector agencies and Jobcentre Plus, 51 prisoners and 21 ex-prisoners, and an online survey

Accounting for false mortality in telemetry tag applications

Deaths of animals in the wild are rarely observed directly, which often limits understanding of survival rates. Telemetry transmitters offer field ecologists the opportunity to observe mortality events in cases as the absence of animal movement. When observations of mortality are based on factors such as the absence of animal movement, live individuals can be mistaken for dead, resulting in biased estimates of survival. Additionally, tag failure or emigration might also influence estimates of survival in telemetry studies. Failing to account for mis-classification, tag failure, and emigration rates can result in overestimates of mortality rates by up two-fold, even when the data are corrected for obviously mistaken entries. We use a multi-state capture–recapture model with a misclassification parameter in estimating both the rate of permanent emigration and/or tag failure and the rate at which individuals are mistakenly identified as dead. We use this method on an annual telemetry survey of three species of native fish in the Murray river, Australia: Murray cod (Maccullochella peelii), trout cod (Maccullochella macquariensis) and golden perch (Macquaria ambigua). Evidence for higher mortality rates in the first year post-implantation occurred for Murray cod and golden perch, which is likely an effect of tagging and/or the transmitter, or transmitters shedding. Using simulations, we confirm that our model approach is robust to a broad range of misclassification and transmitter failure rates. With these simulations we also demonstrate that misclassification models that do not account for emigration will likely be erroneous if live and dead animals have different probabilities of detection. These findings will have a broad interest to ecologists wishing to account for multiple sources of misclassification error in capture-mark-recapture studies, with the caveat that the specifics of the approach are dependent on species, transmitter types and other aspects of experimental design which may or may not be amenable to the misclassification framework

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Modeling the initiation of others into injection drug use, using data from 2,500 injectors surveyed in Scotland during 2008-2009

The prevalence of injection drug use has been of especial interest for assessment of the impact of blood-borne viruses. However, the incidence of injection drug use has been underresearched. Our 2-fold aim in this study was to estimate 1) how many other persons, per annum, an injection drug user (IDU) has the equivalent of full responsibility (EFR) for initiating into injection drug use and 2) the consequences for IDUs' replacement rate. EFR initiation rates are strongly associated with incarceration history, so that our analysis of IDUs' replacement rate must incorporate when, in their injecting career, IDUs were first incarcerated. To do so, we have first to estimate piecewise constant incarceration rates in conjunction with EFR initiation rates, which are then combined with rates of cessation from injecting to model IDUs' replacement rate over their injecting career, analogous to the reproduction number of an epidemic model. We apply our approach to Scotland's IDUs, using over 2,500 anonymous injector participants who were interviewed in Scotland's Needle Exchange Surveillance Initiative during 2008-2009. Our approach was made possible by the inclusion of key questions about initiations. Finally, we extend our model to include an immediate quit rate, as a reasoned compensation for higher-than-expected replacement rates, and we estimate how high initiates' quit rate should be for IDUs' replacement rate to be 1

Benchmarking Gas Path Diagnostic Methods: A Public Approach

Recent technology reviews have identified the need for objective assessments of engine health management (EHM) technology. The need is two-fold: technology developers require relevant data and problems to design and validate new algorithms and techniques while engine system integrators and operators need practical tools to direct development and then evaluate the effectiveness of proposed solutions. This paper presents a publicly available gas path diagnostic benchmark problem that has been developed by the Propulsion and Power Systems Panel of The Technical Cooperation Program (TTCP) to help address these needs. The problem is coded in MATLAB (The MathWorks, Inc.) and coupled with a non-linear turbofan engine simulation to produce "snap-shot" measurements, with relevant noise levels, as if collected from a fleet of engines over their lifetime of use. Each engine within the fleet will experience unique operating and deterioration profiles, and may encounter randomly occurring relevant gas path faults including sensor, actuator and component faults. The challenge to the EHM community is to develop gas path diagnostic algorithms to reliably perform fault detection and isolation. An example solution to the benchmark problem is provided along with associated evaluation metrics. A plan is presented to disseminate this benchmark problem to the engine health management technical community and invite technology solutions