Locating and quantifying gas emission sources using remotely obtained concentration data

We describe a method for detecting, locating and quantifying sources of gas emissions to the atmosphere using remotely obtained gas concentration data; the method is applicable to gases of environmental concern. We demonstrate its performance using methane data collected from aircraft. Atmospheric point concentration measurements are modelled as the sum of a spatially and temporally smooth atmospheric background concentration, augmented by concentrations due to local sources. We model source emission rates with a Gaussian mixture model and use a Markov random field to represent the atmospheric background concentration component of the measurements. A Gaussian plume atmospheric eddy dispersion model represents gas dispersion between sources and measurement locations. Initial point estimates of background concentrations and source emission rates are obtained using mixed L2-L1 optimisation over a discretised grid of potential source locations. Subsequent reversible jump Markov chain Monte Carlo inference provides estimated values and uncertainties for the number, emission rates and locations of sources unconstrained by a grid. Source area, atmospheric background concentrations and other model parameters are also estimated. We investigate the performance of the approach first using a synthetic problem, then apply the method to real data collected from an aircraft flying over: a 1600 km^2 area containing two landfills, then a 225 km^2 area containing a gas flare stack

Hill of Banchory Geothermal Energy Project Feasibility Study Report

This feasibility study explored the potential for a deep geothermal heat project at Hill of Banchory, Aberdeenshire. The geology of the Hill of Fare, to the north of Banchory, gives cause to believe it has good geothermal potential, while the Hill of Banchory heat network, situated on the northern side of the town, offers a ready-made heat customer. The partners in the consortium consisted of academics and developers with relevant expertise in deep geothermal energy, heat networks, and financial analysis, together with representatives of local Government. They conducted geological fieldwork around the Hill of Fare, engaged with local residents to establish their attitudes to geothermal energy, and built business models to predict the conditions under which the heat network at Hill of Banchory would be commercial if it utilised heat from the proposed geothermal well. They also estimated the potential carbon emission reductions that could be achieved by using deep geothermal energy, both at Hill of Banchory and more widely

Bayes Linear Variance Learning for Mixed Linear Temporal Models

Modelling of complex corroding industrial systems is ritical to effective inspection and maintenance for ssurance of system integrity. Wall thickness and corrosion rate are modelled for multiple dependent corroding omponents, given observations of minimum wall thickness per component. At each inspection, partial observations of the system are considered. A Bayes Linear approach is adopted simplifying parameter estimation and avoiding often unrealistic distributional assumptions. Key system variances are modelled, making exchangeability assumptions to facilitate analysis for sparse inspection time-series. A utility based criterion is used to assess quality of inspection design and aid decision making. The model is applied to inspection data from pipework networks on a full-scale offshore platform

Who’s challenging who? : a co-produced approach for training staff in learning disability services about challenging behaviour

Purpose The purpose of this paper is to outline the development, piloting and evaluation of the Who’s Challenging Who? (WCW) training intervention for social care staff to improve their empathy and attitudes towards people with learning disabilities (LD) and challenging behaviour (CB). Design/methodology/approach A phased approach was taken to the development and testing of the intervention. Initially, the existing literature was reviewed, the theoretical background of the intervention was developed, and then the intervention was designed. A pilot study was undertaken, followed by further development, and a large-scale randomised controlled trial (RCT). Findings WCW had a small positive effect on staff empathy 20 weeks after the intervention, and small to moderate effects for other staff reported outcomes (e.g. positive empowerment attitudes and positive work motivation). Being trained by people with LD and CB encouraged staff to reflect on the impact they have on the people they support. The trainers with LD valued their role, and saw benefits beyond this (e.g. friendships). Research limitations/implications It is possible to carry out high-quality RCT evaluations of social care practice, and research should continue to generate evidence in this way, as in healthcare settings. However, there were difficulties in retaining participants. Practical implications People with LD can be actively involved in the co-production and delivery of social care training. Social implications Employment and a fair wage can increase the confidence and empowerment of people with LD. Originality/value This is the first large-scale RCT of an intervention that aimed to improve empathy/change attitudes in social care staff who work with people with LD and CB

Blurring the boundaries of the Mackintosh room

In this paper we describe a prototype interactive systemsupporting a shared synchronous experience for physical,World Wide Web and virtual reality visitors to anexhibition devoted to the designer and architect C.R.Mackintosh. The system provides awareness betweenvisitors that spans multiple media while also providinglocation- and device-sensitive content to each visitor

Effect of display resolution on time to diagnosis with virtual pathology slides in a systematic search task

Performing diagnoses using virtual slides can take pathologists significantly longer than with glass slides, presenting a significant barrier to the use of virtual slides in routine practice. Given the benefits in pathology workflow efficiency and safety that virtual slides promise, it is important to understand reasons for this difference and identify opportunities for improvement. The effect of display resolution on time to diagnosis with virtual slides has not previously been explored. The aim of this study was to assess the effect of display resolution on time to diagnosis with virtual slides. Nine pathologists participated in a counterbalanced crossover study, viewing axillary lymph node slides on a microscope, a 23-in 2.3-megapixel single-screen display and a three-screen 11-megapixel display consisting of three 27-in displays. Time to diagnosis and time to first target were faster on the microscope than on the single and three-screen displays. There was no significant difference between the microscope and the three-screen display in time to first target, while the time taken on the single-screen display was significantly higher than that on the microscope. The results suggest that a digital pathology workstation with an increased number of pixels may make it easier to identify where cancer is located in the initial slide overview, enabling quick location of diagnostically relevant regions of interest. However, when a comprehensive, detailed search of a slide has to be made, increased resolution may not offer any additional benefit

Analysing the familiar : reasoning about space and time in the everyday world

The development of suitable explicit representations of knowledge that can be manipulated by general purpose inference mechanisms has always been central to Artificial Intelligence (AI). However, there has been a distinct lack of rigorous formalisms in the literature that can be used to model domain knowledge associated with the everyday physical world. If AI is to succeed in building automata that can function reasonably well in unstructured physical domains, the development and utility of such formalisms must be secured. This thesis describes a first order axiomatic theory that can be used to encode much topological and metrical information that arises in our everyday dealings with the physical world. The formalism is notable for the minimal assumptions required in order to lift up a very general framework that can cover the representation of much intuitive spatial and temporal knowledge. The basic ontology assumes regions that can be either spatial or temporal and over which a set of relations and functions are defined. The resulting partitioning of these abstract spaces, allow complex relationships between objects and the description of processes to be formally represented. This also provides a useful foundation to control the proliferation of inference commonly associated with mechanised logics. Empirical information extracted from the domain is added and mapped to these basic structures showing how further control of inference can be secured. The representational power of the formalism and computational tractability of the general methodology proposed is substantiated using two non-trivial domain problems - modelling phagocytosis and exocytosis of uni-cellular organisms, and modelling processes arising during the cycle of operations of a force pump

The Atomic Manifesto: a Story in Four Quarks

This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific communities: database and transaction processing systems, fault tolerance and dependable systems, formal methods for system design and correctness reasoning, and hardware architecture and programming languages. Each community presents its position in interpreting the notion of atomicity and the existing state of the art, and each community identifies scientific challenges that should be addressed in future work. In addition, the report discusses common themes across communities and strategic research problems that require multiple communities to team up for a viable solution. The general theme of how to specify, implement, compose, and reason about extended and relaxed notions of atomicity is viewed as a key piece in coping with the pressing issue of building and maintaining highly dependable systems that comprise many components with complex interaction patterns