Chain: A Dynamic Double Auction Framework for Matching Patient Agents

In this paper we present and evaluate a general framework for the design of truthful auctions for matching agents in a dynamic, two-sided market. A single commodity, such as a resource or a task, is bought and sold by multiple buyers and sellers that arrive and depart over time. Our algorithm, Chain, provides the first framework that allows a truthful dynamic double auction (DA) to be constructed from a truthful, single-period (i.e. static) double-auction rule. The pricing and matching method of the Chain construction is unique amongst dynamic-auction rules that adopt the same building block. We examine experimentally the allocative efficiency of Chain when instantiated on various single-period rules, including the canonical McAfee double-auction rule. For a baseline we also consider non-truthful double auctions populated with zero-intelligence plus"-style learning agents. Chain-based auctions perform well in comparison with other schemes, especially as arrival intensity falls and agent valuations become more volatile

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances

Evaluating palliative care training in the oncology registrar programme in South Africa

Background. Following a World Health Assembly call in 2014 to strengthen palliative care, the South African (SA) Department of Health approved this strategy as part of the SA National Policy Framework and Strategy on Palliative Care. In 2016, the University of Cape Town, together with the College of Radiation Oncology of SA, identified the need to integrate palliative care (PC) into the oncology curriculum. In collaboration with the Cancer Association of SA, a research project was developed to introduce a 12-module curriculum at five teaching hospitals. The aim of this research was to evaluate the impact of a 1-year PC course within the training programme for specialist oncologists in SA. Objective. To determine the reaction of oncology registrars and their supervisors to the course to determine changes in knowledge and skills, and to determine the application in oncology practice. Methods. This study was a mixed-method prospective evaluation of an educational intervention. The educational programme used a blended learning method to train and support registrars (n=32) and facilitators (n=5) across five universities from August 2017 to September 2018. Evaluation feedback was electronically collected to determine the registrars’ reactions to the course materials. Pre and post multiple-choice questions (MCQs) were used to review their knowledge. Focus group discussions (FGDs) were used to explore reactions, change in knowledge and skills and how registrars integrated PC into their daily work. Results. There was an overwhelmingly positive reaction to the PC course by the oncology registrars and their supervisors. The training was found to be feasible, and the topics addressed appropriate. Concerns previously raised by the College of Radiation Oncology of SA regarding the feasibility and appropriateness of the course and material were found to be unsubstantiated. The poor MCQ results can be ascribed to poor sequencing of the execution of the question. However, the MCQs in modules 7 and 8 (symptom management) demonstrated the most significant change in knowledge and skills (symptom management). The FGDs demonstrated a perceived change in knowledge and skills, especially for communication skills and pain and symptom management. The FGDs also indicated that the registrars’ approach to PC changed in that they were able to integrate the principles of PC into practice, and now saw PC as an essential component of oncology. Lastly, registrars and their supervisors felt that the course addressed topics that formed part of their daily clinical work. Conclusion. This research supports the view that PC training is an essential component of oncology training in the SA setting. PC forms part of the daily practice of oncologists, and a structured curriculum prepares clinicians to be able to integrate evidence-based PC into the practice of oncology if they receive appropriate training. Supervisors of the oncology training programme and registrars are confident that the training of 12 modules across 1 year is feasible and appropriate

A selected ion flow tube study of the ion-molecule reactions of monochloroethene, trichloroethene and tetrachloroethene

Data for the rate coefficients and product cations of the reactions of a large number of atomic and small molecular cations with monochloroethene, trichloroethene and tetrachloroethene in a selected ion flow tube at 298 K are reported. The recombination energy of the ions range from 6.27 eV (H$_3$O$^+$) through to 21.56 eV (Ne$^+$). Collisional rate coefficients are calculated by modified average dipole orientation theory and compared with experimental values. Thermochemistry and mass balance predict the most feasible neutral products. Together with previously reported results for the three isomers of dichloroethene (J. Phys. Chem. A., 2006, 110, 5760), the fragment ion branching ratios have been compared with those from threshold photoelectron photoion coincidence spectroscopy over the photon energy range 9-22 eV to determine the importance or otherwise of long-range charge transfer. For ions with recombination energy in excess of the ionisation energy of the chloroethene, charge transfer is energetically allowed. The similarity of the branching ratios from the two experiments suggest that long-range charge transfer is dominant. For ions with recombination energy less than the ionisation energy, charge transfer is not allowed; chemical reaction can only occur following formation of an ion-molecule complex, where steric effects are more significant. The products that are now formed and their percentage yield is a complex interplay between the number and position of the chlorine atoms with respect to the C=C bond, where inductive and conjugation effects can be important

Reducing inconsistencies in point observations of maximum flood inundation level

Flood simulation models and hazard maps are only as good as the underlying data against which they are calibrated and tested. However, extreme flood events are by definition rare, so the observational data of flood inundation extent are limited in both quality and quantity. The relative importance of these observational uncertainties has increased now that computing power and accurate lidar scans make it possible to run high-resolution 2D models to simulate floods in urban areas. However, the value of these simulations is limited by the uncertainty in the true extent of the flood. This paper addresses that challenge by analyzing a point dataset of maximum water extent from a flood event on the River Eden at Carlisle, United Kingdom, in January 2005. The observation dataset is based on a collection of wrack and water marks from two postevent surveys. A smoothing algorithm for identifying, quantifying, and reducing localized inconsistencies in the dataset is proposed and evaluated showing positive results. The proposed smoothing algorithm can be applied in order to improve flood inundation modeling assessment and the determination of risk zones on the floodplain

Investigation of shock waves in explosive blasts using fibre optic pressure sensors

The published version of this article may be accessed at the link below. Copyright @ IOP Publishing, 2006.We describe miniature all-optical pressure sensors, fabricated by wafer etching techniques, less than 1 mm(2) in overall cross-section with rise times in the mu s regime and pressure ranges typically 900 kPa (9 bar). Their performance is suitable for experimental studies of the pressure-time history for test models exposed to shocks initiated by an explosive charge. The small size and fast response of the sensors promises higher quality data than has been previously available from conventional electrical sensors, with potential improvements to numerical models of blast effects. Results from blast tests are presented in which up to six sensors were multiplexed, embedded within test models in a range of orientations relative to the shock front.Support from the UK Engineering&Physical Sciences Research Council and Dstl Fort Halstead through the MoD Joint Grants Scheme are acknowledged. WN MacPherson is supported by an EPSRC Advanced Research Fellowship

Numerical analysis of thermal stresses around fasteners in composite metal foils

The process of composite metal foil manufacturing (CMFM) has reduced a number of limitations associated with commercial additive manufacturing (AM) methods. The existing metal AM machines are restricted by their build envelope and there is a growing market for the manufacture of large parts using AM. These parts are subsequently manufactured in fragments and are fastened together. This paper analyses the thermal stresses around cylindrical fasteners for three layered metal composite parts consisting of aluminium foil, brazing paste and copper foil layers. The investigation aims to examine the mechanical integrity of the metallurgically bonded aluminium/copper foils of 100 micron thickness manufactured in a disc shape. A cylindrical fastener set at an elevated temperature of 100 °C is fitted in the middle of the disc which results in a steady-state thermal distribution. Radial and shear stresses are computed using finite element method which shows that non-zero shear stresses developed by the copper layer inhibit the axial slippage of the fastener and thereby establishing the suitability of rivet joints for CMFM parts

Focused Local Search for Random 3-Satisfiability

A local search algorithm solving an NP-complete optimisation problem can be viewed as a stochastic process moving in an 'energy landscape' towards eventually finding an optimal solution. For the random 3-satisfiability problem, the heuristic of focusing the local moves on the presently unsatisfiedclauses is known to be very effective: the time to solution has been observed to grow only linearly in the number of variables, for a given clauses-to-variables ratio $\alpha$ sufficiently far below the critical satisfiability threshold $\alpha_c \approx 4.27$. We present numerical results on the behaviour of three focused local search algorithms for this problem, considering in particular the characteristics of a focused variant of the simple Metropolis dynamics. We estimate the optimal value for the ``temperature'' parameter $\eta$ for this algorithm, such that its linear-time regime extends as close to $\alpha_c$ as possible. Similar parameter optimisation is performed also for the well-known WalkSAT algorithm and for the less studied, but very well performing Focused Record-to-Record Travel method. We observe that with an appropriate choice of parameters, the linear time regime for each of these algorithms seems to extend well into ratios $\alpha > 4.2$ -- much further than has so far been generally assumed. We discuss the statistics of solution times for the algorithms, relate their performance to the process of ``whitening'', and present some conjectures on the shape of their computational phase diagrams.Comment: 20 pages, lots of figure

How did the Good School Toolkit reduce the risk of past week physical violence from teachers to students? Qualitative findings on pathways of change in schools in Luwero, Uganda.

Violence against children is a serious violation of children's rights with significant impacts on current and future health and well-being. The Good School Toolkit (GST) is designed to prevent violence against children in primary schools through changing schools' operational cultures. Conducted in the Luwero District in Uganda between 2012 and 2014, findings from previous research indicate that the Toolkit reduced the odds of past week physical violence from school staff (OR = 0.40, 95%CI 0.26-0.64, p < 0.001), corresponding to a 42% reduction in risk of past week physical violence. This nested qualitative study involved 133 interviews with students, teachers, school administration, and parents, and two focus group discussion with teachers. Interviews were conducted using semi-structured tools and analysed using thematic analysis complemented by constant comparison and deviant case analysis techniques. Within a context of normative acceptance of corporal punishment this qualitative paper reports suggestive pathways related to teacher-student relationships through which reductions in violence operated. First, improved student-teacher relationships resulted in improved student voice and less fear of teachers. Second, the intervention helped schools to clarify and encourage desired behaviour amongst students through rewards and praise. Third, many teachers valued positive discipline and alternative discipline methods, including peer-to-peer discipline, as important pathways to reduced use of violence. These shifts were reflected in changes in the views, use, and context of beating. Although the GST is effective for reducing physical violence from teachers to students, violence persisted, though at significantly reduced levels, in all schools with reductions varying across schools and individuals. Much of the success of the Toolkit derives from the support it provides for fostering better student-teacher relationships and alternative discipline options. Such innovation could usefully be incorporated in teacher training syllabi to equip teachers with knowledge and skills to maintain discipline without the use of fear or physical punishment