Size-Change Termination, Monotonicity Constraints and Ranking Functions

Size-Change Termination (SCT) is a method of proving program termination based on the impossibility of infinite descent. To this end we may use a program abstraction in which transitions are described by monotonicity constraints over (abstract) variables. When only constraints of the form x>y' and x>=y' are allowed, we have size-change graphs. Both theory and practice are now more evolved in this restricted framework then in the general framework of monotonicity constraints. This paper shows that it is possible to extend and adapt some theory from the domain of size-change graphs to the general case, thus complementing previous work on monotonicity constraints. In particular, we present precise decision procedures for termination; and we provide a procedure to construct explicit global ranking functions from monotonicity constraints in singly-exponential time, which is better than what has been published so far even for size-change graphs.Comment: revised version of September 2

Training emergency services’ dispatchers to recognise stroke: an interrupted time-series analysis

Background: Stroke is a time-dependent medical emergency in which early presentation to specialist care reduces death and dependency. Up to 70% of all stroke patients obtain first medical contact from the Emergency Medical Services (EMS). Identifying ‘true stroke’ from an EMS call is challenging, with over 50% of strokes being misclassified. The aim of this study was to evaluate the impact of the training package on the recognition of stroke by Emergency Medical Dispatchers (EMDs). Methods: This study took place in an ambulance service and a hospital in England using an interrupted time-series design. Suspected stroke patients were identified in one week blocks, every three weeks over an 18 month period, during which time the training was implemented. Patients were included if they had a diagnosis of stroke (EMS or hospital). The effect of the intervention on the accuracy of dispatch diagnosis was investigated using binomial (grouped) logistic regression. Results: In the Pre-implementation period EMDs correctly identified 63% of stroke patients; this increased to 80% Post-implementation. This change was significant (p=0.003), reflecting an improvement in identifying stroke patients relative to the Pre-implementation period both the During-implementation (OR=4.10 [95% CI 1.58 to 10.66]) and Post-implementation (OR=2.30 [95% CI 1.07 to 4.92]) periods. For patients with a final diagnosis of stroke who had been dispatched as stroke there was a marginally non-significant 2.8 minutes (95% CI −0.2 to 5.9 minutes, p=0.068)reduction between Pre- and Post-implementation periods from call to arrival of the ambulance at scene. Conclusions: This is the first study to develop, implement and evaluate the impact of a training package for EMDs with the aim of improving the recognition of stroke. Training led to a significant increase in the proportion of stroke patients dispatched as such by EMDs; a small reduction in time from call to arrival at scene by the ambulance also appeared likely. The training package has been endorsed by the UK Stroke Forum Education and Training, and is free to access on-line

The social value of a QALY : raising the bar or barring the raise?

Background: Since the inception of the National Institute for Health and Clinical Excellence (NICE) in England, there have been questions about the empirical basis for the cost-per-QALY threshold used by NICE and whether QALYs gained by different beneficiaries of health care should be weighted equally. The Social Value of a QALY (SVQ) project, reported in this paper, was commissioned to address these two questions. The results of SVQ were released during a time of considerable debate about the NICE threshold, and authors with differing perspectives have drawn on the SVQ results to support their cases. As these discussions continue, and given the selective use of results by those involved, it is important, therefore, not only to present a summary overview of SVQ, but also for those who conducted the research to contribute to the debate as to its implications for NICE. Discussion: The issue of the threshold was addressed in two ways: first, by combining, via a set of models, the current UK Value of a Prevented Fatality (used in transport policy) with data on fatality age, life expectancy and age-related quality of life; and, second, via a survey designed to test the feasibility of combining respondents’ answers to willingness to pay and health state utility questions to arrive at values of a QALY. Modelling resulted in values of £10,000-£70,000 per QALY. Via survey research, most methods of aggregating the data resulted in values of a QALY of £18,000-£40,000, although others resulted in implausibly high values. An additional survey, addressing the issue of weighting QALYs, used two methods, one indicating that QALYs should not be weighted and the other that greater weight could be given to QALYs gained by some groups. Summary: Although we conducted only a feasibility study and a modelling exercise, neither present compelling evidence for moving the NICE threshold up or down. Some preliminary evidence would indicate it could be moved up for some types of QALY and down for others. While many members of the public appear to be open to the possibility of using somewhat different QALY weights for different groups of beneficiaries, we do not yet have any secure evidence base for introducing such a system

Heritage designation and scale: a World Heritage case study of the Ningaloo Coast

© 2015 Tod Jones, Roy Jones and Michael Hughes As heritage research has engaged with a greater plurality of heritage practices, scale has emerged as an important concept in Heritage Studies, albeit relatively narrowly defined as hierarchical levels (household, local, national, etcetera). This paper argues for a definition of scale in heritage research that incorporates size (geographical scale), level (vertical scale) and relation (an understanding that scale is constituted through dynamic relationships in specific contexts). The paper utilises this definition of scale to analyse heritage designation first through consideration of changing World Heritage processes, and then through a case study of the world heritage designation of the Ningaloo Coast region in Western Australia. Three key findings are: both scale and heritage gain appeal because they are abstractions, and gain definition through the spatial politics of interrelationships within specific situations; the spatial politics of heritage designation comes into focus through attention to those configurations of size, level and relation that are invoked and enabled in heritage processes; and researchers choice to analyse or ignore particular scales and scalar politics are political decisions. Utilising scale as size, level and relation enables analyses that move beyond heritage to the spatial politics through which all heritage is constituted

Effect of a 2-tier rapid response system on patient outcome and staff satisfaction

Background: Rapid response systems (RRS) have been recommended as a strategy to prevent and treat deterioration in acute care patients. Questions regarding the most effective characteristics of RRS and strategies for implementing these systems remain. Aims: The aims of this study were to (i) describe the structures and processes used to implement a 2-tier RRS, (ii) determine the comparative prevalence of deteriorating patients and incidence of unplanned intensive care unit (ICU) admission and cardiac arrest prior to and after implementation of the RRS, and (iii) determine clinician satisfaction with the RRS. Method: A quasi-experimental pre-test, post-test design was used to assess patient related outcomes and clinician satisfaction prior to and after implementation of a 2-tier RRS in a tertiary metropolitan hospital. Primary components of the RRS included an ICU Outreach Nurse and a Rapid Response Team. Prevalence of deteriorating patients was assessed through a point prevalence assessment and chart audit. Incidence of unplanned admission to ICU and cardiac arrests were accessed from routine hospital databases. Clinician satisfaction was measured through surveys. Results: Prevalence of patients who met medical emergency call criteria without current treatment reduced from 3% prior to RRS implementation to 1% after implementation; a similar reduction from 9% to 3% was identified on chart review. The number of unplanned admissions to ICU increased slightly from 17.4/month prior to RRS implementation to 18.1/month after implementation (p = 0.45) while cardiac arrests reduced slightly from 7.5/month to 5.6/month (p = 0.22) but neither of these changes were statistically significant. Staff satisfaction with the RRS was generally high. Conclusion: The 2-tier RRS was accessed by staff to assist with care of deteriorating patients in a large, tertiary hospital. High levels of satisfaction have been reported by clinical staff

Patient perspectives of managing fatigue in ankylosing spondylitis, and views on potential interventions: a qualitative study

<p>Background: Fatigue is a major component of living with ankylosing spondylitis (AS), though it has been largely over-looked, and currently there are no specific agreed management strategies.</p> <p>Methods: This qualitative exploratory study involved participants who are members of an existing population-based ankylosing spondylitis (PAS) cohort. Participants residing in South West Wales were invited to participate in a focus group to discuss; (1) effects of fatigue, (2) self-management strategies and (3) potential future interventions. The focus groups were audio-recorded and the transcripts were analysed using thematic analysis.</p> <p>Results: Participants consisted of 3 males/4 females (group 1) and 4 males/3 females (group 2), aged between 35 and 73 years (mean age 53 years). Three main themes were identified: (1) The effects of fatigue were multi-dimensional with participants expressing feelings of being ‘drained’ (physical), ‘upset’ (emotional) and experiencing ‘low-mood’ (psychological); (2) The most commonly reported self-management strategy for fatigue was a balanced combination of activity (exercise) and rest. Medication was reluctantly taken due to side-effects and worries over dependency; (3) Participants expressed a preference for psychological therapies rather than pharmacological for managing fatigue. Information on Mindfulness-Based Stress Reduction (MBSR) was received with interest, with recommendations for delivery in a group format with the option of distance-based delivery for people who were not able to attend a group course.</p> <p>Conclusions: Patients frequently try and manage their fatigue without any formal guidance or support. Our research indicates there is a need for future research to focus on psychological interventions to address the multi-faceted aspects of fatigue in AS.</p&gt

Protocol for the Smoking, Nicotine and Pregnancy (SNAP) trial: double-blind, placebo-randomised, controlled trial of nicotine replacement therapy in pregnancy

Background: Smoking in pregnancy remains a public health challenge. Nicotine replacement therapy (NRT) is effective for smoking cessation in non-pregnant people, but because women metabolise nicotine and cotinine much faster in pregnancy, it is unclear whether this will be effective for smoking cessation in pregnancy. The NHS Health Technology Assessment Programme (HTA)-funded smoking, nicotine and pregnancy ( SNAP) trial will investigate whether or not nicotine replacement therapy ( NRT) is effective, cost-effective and safe when used for smoking cessation by pregnant women. Methods/Design: Over two years, in 5 trial centres, 1050 pregnant women who are between 12 and 24 weeks pregnant will be randomised as they attend hospital for ante-natal ultrasound scans. Women will receive either nicotine or placebo transdermal patches with behavioural support. The primary outcome measure is biochemically-validated, self-reported, prolonged and total abstinence from smoking between a quit date ( defined before randomisation and set within two weeks of this) and delivery. At six months after childbirth self-reported maternal smoking status will be ascertained and two years after childbirth, self-reported maternal smoking status and the behaviour, cognitive development and respiratory symptoms of children born in the trial will be compared in both groups. Discussion: This trial is designed to ascertain whether or not standard doses of NRT ( as transdermal patches) are effective and safe when used for smoking cessation during pregnancy

Middle and Late Pleistocene environmental history of the Marsworth area, south-central England

To elucidate the Middle and Late Pleistocene environmental history of south-central England, we report the stratigraphy, sedimentology, palaeoecology and geochronology of some deposits near the foot of the Chiltern Hills scarp at Marsworth, Buckinghamshire. The Marsworth site is important because its sedimentary sequences contain a rich record of warm stages and cold stages, and it lies close to the Anglian glacial limit. Critical to its history are the origin and age of a brown pebbly silty clay (diamicton) previously interpreted as weathered till. The deposits described infill a river channel incised into chalk bedrock. They comprise clayey, silty and gravelly sediments, many containing locally derived chalk and some with molluscan, ostracod and vertebrate remains. Most of the deposits are readily attributed to periglacial and fluvial processes, and some are dated by optically stimulated luminescence to Marine Isotope Stage (MIS) 6. Although our sedimentological data do not discriminate between a glacial or periglacial interpretation of the diamicton, amino-acid dating of three molluscan taxa from beneath it indicates that it is younger than MIS 9 and older than MIS 5e. This makes a glacial interpretation unlikely, and we interpret the diamicton as a periglacial slope deposit. The Pleistocene history reconstructed for Marsworth identifies four key elements: (1) Anglian glaciation during MIS 12 closely approached Marsworth, introducing far-travelled pebbles such as Rhaxella chert and possibly some fine sand minerals into the area. (2) Interglacial environments inferred from fluvial sediments during MIS 7 varied from fully interglacial conditions during sub-stages 7e and 7c, cool temperate conditions during sub-stage 7b or 7a, temperate conditions similar to those today in central England towards the end of the interglacial, and cool temperate conditions during sub-stage 7a. (3) Periglacial activity during MIS 6 involved thermal contraction cracking, permafrost development, fracturing of chalk bedrock, fluvial activity, slopewash, mass movement and deposition of loess and coversand. (4) Fully interglacial conditions during sub-stage 5e led to renewed fluvial activity, soil formation and acidic weathering

Protective Behavior and West Nile Virus Risk

We conducted a cross-sectional, household survey in Oakville, Ontario, where an outbreak of West Nile virus (WNV) in 2002 led to an unprecedented number of cases of meningitis and encephalitis. Practicing >2 personal protective behavior traits reduced the risk for WNV infection by half

Library 2.0: the effectiveness of social media as a marketing tool for libraries in educational institutions

In an attempt to market their services and connect with potential users, and particularly young people, many libraries are opening accounts on social media platforms. Research suggests a contradiction between the advice relating to marketing and that regarding the use of social media in libraries, with the former emphasising the importance of the user at the centre of all considerations and the latter placing library staff as central to decisions. In this work we attempt to re-address this imbalance by surveying the current state of library activity on Twitter and, by means of questionnaires, investigate the experiences and motivations of librarians (n=58) in using social media and whether students (n=498) are willing to engage with the library in this manner and why. Our findings confirm that libraries in the sector are indeed struggling to foster interest in their social media activities and go some way to understanding why this is so, leading to a number of conclusions and recommendations for practitioners