LNCS

A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

Modifying patterns of movement in people with low back pain -does it help? A systematic review

Background: Physiotherapy for people with low back pain frequently includes assessment and modification of lumbo-pelvic movement. Interventions commonly aim to restore normal movement and thereby reduce pain and improve activity limitation. The objective of this systematic review was to investigate: (i) the effect of movement-based interventions on movement patterns (muscle activation, lumbo-pelvic kinematics or postural patterns) of people with low back pain (LBP), and (ii) the relationship between changes in movement patterns and subsequent changes in pain and activity limitation. Methods. MEDLINE, Cochrane Central, EMBASE, AMI, CINAHL, Scopus, AMED, ISI Web of Science were searched from inception until January 2012. Randomised controlled trials or controlled clinical trials of people with LBP were eligible for inclusion. The intervention must have been designed to influence (i) muscle activity patterns, (ii) lumbo-pelvic kinematic patterns or (iii) postural patterns, and included measurement of such deficits before and after treatment, to allow determination of the success of the intervention on the lumbo-pelvic movement. Twelve trials (25% of retrieved studies) met the inclusion criteria. Two reviewers independently identified, assessed and extracted data. The PEDro scale was used to assess method quality. Intervention effects were described using standardised differences between group means and 95% confidence intervals. Results: The included trials showed inconsistent, mostly small to moderate intervention effects on targeted movement patterns. There was considerable heterogeneity in trial design, intervention type and outcome measures. A relationship between changes to movement patterns and improvements in pain or activity limitation was observed in one of six studies on muscle activation patterns, one of four studies that examined the flexion relaxation response pattern and in two of three studies that assessed lumbo-pelvic kinematics or postural characteristics. Conclusions: Movement-based interventions were infrequently effec tive for changing observable movement patterns. A relationship between changes in movement patterns and improvement in pain or activity limitation was also infrequently observed. No independent studies confirm any observed relationships. Challenges for future research include defining best methods for measuring (i) movement aberrations, (ii) improvements in movements, and (iii) the relationship between changes in how people move and associated changes in other health indicators such as activity limitation

Flow mediated dilation of the brachial artery: an investigation of methods requiring further standardization

BACKGROUND: In order to establish a consistent method for brachial artery reactivity assessment, we analyzed commonly used approaches to the test and their effects on the magnitude and time-course of flow mediated dilation (FMD), and on test variability and repeatability. As a popular and noninvasive assessment of endothelial function, several different approaches have been employed to measure brachial artery reactivity with B-mode ultrasound. Despite some efforts, there remains a lack of defined normal values and large variability in measurement technique. METHODS: Twenty-six healthy volunteers underwent repeated brachial artery diameter measurements by B-mode ultrasound. Following baseline diameter recordings we assessed endothelium-dependent flow mediated dilation by inflating a blood pressure cuff either on the upper arm (proximal) or on the forearm (distal). RESULTS: Thirty-seven measures were performed using proximal occlusion and 25 with distal occlusion. Following proximal occlusion relative to distal occlusion, FMD was larger (16.2 ± 1.2% vs. 7.3 ± 0.9%, p < 0.0001) and elongated (107.2 s vs. 67.8 s, p = 0.0001). Measurement of the test repeatability showed that differences between the repeated measures were greater on average when the measurements were done using the proximal method as compared to the distal method (2.4%; 95% CI 0.5–4.3; p = 0.013). CONCLUSION: These findings suggest that forearm compression holds statistical advantages over upper arm compression. Added to documented physiological and practical reasons, we propose that future studies should use forearm compression in the assessment of endothelial function

Methods for specifying the target difference in a randomised controlled trial : the Difference ELicitation in TriAls (DELTA) systematic review

Peer reviewedPublisher PD

Corneal Sensitivity and Dry Eye Symptoms in Patients with Keratoconus.

PURPOSE: To investigate corneal sensitivity to selective mechanical, chemical, and thermal stimulation and to evaluate their relation to dry eye symptoms in patients with keratoconus. METHODS: Corneal sensitivity to mechanical, chemical, and thermal thresholds were determined using a gas esthesiometer in 19 patients with keratoconus (KC group) and in 20 age-matched healthy subjects (control group). Tear film dynamics was assessed by Schirmer I test and by the non-invasive tear film breakup time (NI-BUT). All eyes were examined with a rotating Scheimpflug camera to assess keratoconus severity. RESULTS: KC patients had significatly decreased tear secretion and significantly higher ocular surface disease index (OSDI) scores compared to controls (5.3+/-2.2 vs. 13.2+/-2.0 mm and 26.8+/-15.8 vs. 8.1+/-2.3; p0.05). The mean threshold for selective mechanical (KC: 139.2+/-25.8 vs. control: 109.1+/-24.0 ml/min), chemical (KC: 39.4+/-3.9 vs. control: 35.2+/-1.9%CO2), heat (KC: 0.91+/-0.32 vs. control: 0.54+/-0.26 Delta degrees C) and cold (KC: 1.28+/-0.27 vs. control: 0.98+/-0.25 Delta degrees C) stimulation in the KC patients were significantly higher than in the control subjects (p0.05), whereas in the control subjects both mechanical (r = 0.52, p = 0.02), chemical (r = 0.47, p = 0.04), heat (r = 0.26, p = 0.04) and cold threshold (r = 0.40, p = 0.03) increased with age. In the KC group, neither corneal thickness nor tear flow, NI-BUT or OSDI correlated significantly with mechanical, chemical, heat or cold thresholds (p>0.05 for all variables). CONCLUSIONS: Corneal sensitivity to different types of stimuli is decreased in patients with keratoconus independently of age and disease severity. The reduction of the sensory input from corneal nerves may contribute to the onset of unpleasant sensations in these patients and might lead to the impaired tear film dynamics

High performing hospitals: a qualitative systematic review of associated factors and practical strategies for improvement.

BACKGROUND: High performing hospitals attain excellence across multiple measures of performance and multiple departments. Studying high performing hospitals can be valuable if factors associated with high performance can be identified and applied. Factors leading to high performance are complex and an exclusive quantitative approach may fail to identify richly descriptive or relevant contextual factors. The objective of this study was to undertake a systematic review of qualitative literature to identify methods used to identify high performing hospitals, the factors associated with high performers, and practical strategies for improvement. METHODS: Methods used to collect and summarise the evidence contributing to this review followed the 'enhancing transparency in reporting the synthesis of qualitative research' protocol. Peer reviewed studies were identified through Medline, Embase and Cinahl (Jan 2000-Feb 2014) using specified key words, subject terms, and medical subject headings. Eligible studies required the use of a quantitative method to identify high performing hospitals, and qualitative methods or tools to identify factors associated with high performing hospitals or hospital departments. Title, abstract, and full text screening was undertaken by four reviewers, and inter-rater reliability statistics were calculated for each review phase. Risk of bias was assessed. Following data extraction, thematic syntheses identified contextual factors important for explaining success. Practical strategies for achieving high performance were then mapped against the identified themes. RESULTS: A total of 19 studies from a possible 11,428 were included in the review. A range of process, output, outcome and other indicators were used to identify high performing hospitals. Seven themes representing factors associated with high performance (and 25 sub-themes) emerged from the thematic syntheses: positive organisational culture, senior management support, effective performance monitoring, building and maintaining a proficient workforce, effective leaders across the organisation, expertise-driven practice, and interdisciplinary teamwork. Fifty six practical strategies for achieving high performance were catalogued. CONCLUSIONS: This review provides insights into methods used to identify high performing hospitals, and yields ideas about the factors important for success. It highlights the need to advance approaches for understanding what constitutes high performance and how to harness factors associated with high performance

Is the maturity of hospitals' quality improvement systems associated with measures of quality and patient safety?

UNLABELLED: ABSTRACT: BACKGROUND: Previous research addressed the development of a classification scheme for quality improvement systems in European hospitals. In this study we explore associations between the 'maturity' of the hospitals' quality improvement system and clinical outcomes. METHODS: The maturity classification scheme was developed based on survey results from 389 hospitals in eight European countries. We matched the hospitals from the Spanish sample (113 hospitals) with those hospitals participating in a nation-wide, voluntary hospital performance initiative. We then compared sample distributions and explored associations between the 'maturity' of the hospitals' quality improvement system and a range of composite outcomes measures, such as adjusted hospital-wide mortality, -readmission, -complication and -length of stay indices. Statistical analysis includes bivariate correlations for parametrically and non-parametrically distributed data, multiple robust regression models and bootstrapping techniques to obtain confidence-intervals for the correlation and regression estimates. RESULTS: Overall, 43 hospitals were included. Compared to the original sample of 113, this sample was characterized by a higher representation of university hospitals. Maturity of the quality improvement system was similar, although the matched sample showed less variability. Analysis of associations between the quality improvement system and hospital-wide outcomes suggests significant correlations for the indicator adjusted hospital complications, borderline significance for adjusted hospital readmissions and non-significance for the adjusted hospital mortality and length of stay indicators. These results are confirmed by the bootstrap estimates of the robust regression model after adjusting for hospital characteristics. CONCLUSIONS: We assessed associations between hospitals' quality improvement systems and clinical outcomes. From this data it seems that having a more developed quality improvement system is associated with lower rates of adjusted hospital complications. A number of methodological and logistic hurdles remain to link hospital quality improvement systems to outcomes. Further research should aim at identifying the latent dimensions of quality improvement systems that predict quality and safety outcomes. Such research would add pertinent knowledge regarding the implementation of organizational strategies related with quality of care outcomes

The Virtual-Spine Platform—Acquiring, visualizing, and analyzing individual sitting behavior

Back pain is a serious medical problem especially for those people sitting over long periods during their daily work. Here we present a system to help users monitoring and examining their sitting behavior. The Virtual-Spine Platform (VSP) is an integrated system consisting of a real-time body position monitoring module and a data visualization module to provide individualized, immediate, and accurate sitting behavior support. It provides a comprehensive spine movement analysis as well as accumulated data visualization to demonstrate behavior patterns within a certain period. The two modules are discussed in detail focusing on the design of the VSP system with adequate capacity for continuous monitoring and a web-based interactive data analysis method to visualize and compare the sitting behavior of different persons. The data was collected in an experiment with a small group of subjects. Using this method, the behavior of five subjects was evaluated over a working day, enabling inferences and suggestions for sitting improvements. The results from the accumulated data module were used to elucidate the basic function of body position recognition of the VSP. Finally, an expert user study was conducted to evaluate VSP and support future developments