Extending Hybrid CSP with Probability and Stochasticity

Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

Hip disability and osteoarthritis outcome score (HOOS) – validity and responsiveness in total hip replacement

BACKGROUND: The aim of the study was to evaluate if physical functions usually associated with a younger population were of importance for an older population, and to construct an outcome measure for hip osteoarthritis with improved responsiveness compared to the Western Ontario McMaster osteoarthritis score (WOMAC LK 3.0). METHODS: A 40 item questionnaire (hip disability and osteoarthritis outcome score, HOOS) was constructed to assess patient-relevant outcomes in five separate subscales (pain, symptoms, activity of daily living, sport and recreation function and hip related quality of life). The HOOS contains all WOMAC LK 3.0 questions in unchanged form. The HOOS was distributed to 90 patients with primary hip osteoarthritis (mean age 71.5, range 49–85, 41 females) assigned for total hip replacement for osteoarthritis preoperatively and at six months follow-up. RESULTS: The HOOS met set criteria of validity and responsiveness. It was more responsive than WOMAC regarding the subscales pain (SRM 2.11 vs. 1.83) and other symptoms (SRM 1.83 vs. 1.28). The responsiveness (SRM) for the two added subscales sport and recreation and quality of life were 1.29 and 1.65, respectively. Patients ≤ 66 years of age (range 49–66) reported higher responsiveness in all five subscales than patients >66 years of age (range 67–85) (Pain SRM 2.60 vs. 1.97, other symptoms SRM 3.0 vs. 1.60, activity of daily living SRM 2.51 vs. 1.52, sport and recreation function SRM 1.53 vs. 1.21 and hip related quality of life SRM 1.95 vs. 1.57). CONCLUSION: The HOOS 2.0 appears to be useful for the evaluation of patient-relevant outcome after THR and is more responsive than the WOMAC LK 3.0. The added subscales sport and recreation function and hip related quality of life were highly responsive for this group of patients, with the responsiveness being highest for those younger than 66

Knee complaints vary with age and gender in the adult population. Population-based reference data for the Knee injury and Osteoarthritis Outcome Score (KOOS)

BACKGROUND: Self-reported knee complaints may vary with age and gender. Reference data from the adult population would help to better interpret the outcome of interventions due to knee complaints. The objectives of the present study were to describe the variation of self-reported knee pain, function and quality of life with age and gender in the adult population and to establish population-based reference data for the Knee injury and Osteoarthritis Outcome Score (KOOS). METHODS: Population-based cohort retrieved from the national population register. The knee-specific Knee injury and Osteoarthritis Outcome Score (KOOS) was mailed to 840 subjects aged 18–84 yrs. RESULTS: 68% response rate. Women in the age group 55–74 reported more knee-related complaints in all the KOOS subscales than age-matched men. The differences were significant for the subscales Pain (p = 0.027), Symptoms (p = 0.003) and ADL function (p = 0.046). In men, worse ADL and Sport and Recreation function was seen in the oldest age group 75–84 years compared to the younger age groups (p < 0.030). In women, worse Pain (p < 0.007), ADL (p < 0.030), Sport and Recreation (p < 0.001) and QOL (p < 0.002) were seen already in the age group 55–74 compared to the younger age groups. CONCLUSION: We found pain and other symptoms, physical function, and knee-related quality of life to vary with age and gender implying the use of age- and gender matched reference values for improved understanding of the outcome after interventions due to knee injury and knee OA

Comparative Evaluation of Light-Trap Catches, Electric Motor Mosquito Catches and Human Biting Catches of Anopheles in the Three Gorges Reservoir

The mosquito sampling efficiency of light-trap catches and electric motor mosquito catches were compared with that of human biting catches in the Three Gorges Reservoir. There was consistency in the sampling efficiency between light-trap catches and human biting catches for Anopheles sinensis (r = 0.82, P<0.01) and light-trap catches were 1.52 (1.35–1.71) times that of human biting catches regardless of mosquito density (r = 0.33, P>0.01), while the correlation between electric motor mosquito catches and human biting catches was found to be not statistically significant (r = 0.43, P>0.01) and its sampling efficiency was below that of human biting catches. It is concluded that light-traps can be used as an alternative to human biting catches of Anopheles sinensis in the study area and is a promising tool for sampling malaria vector populations

IMPLEmenting a clinical practice guideline for acute low back pain evidence-based manageMENT in general practice (IMPLEMENT) : cluster randomised controlled trial study protocol

Background: Evidence generated from reliable research is not frequently implemented into clinical practice. Evidence-based clinical practice guidelines are a potential vehicle to achieve this. A recent systematic review of implementation strategies of guideline dissemination concluded that there was a lack of evidence regarding effective strategies to promote the uptake of guidelines. Recommendations from this review, and other studies, have suggested the use of interventions that are theoretically based because these may be more effective than those that are not. An evidencebased clinical practice guideline for the management of acute low back pain was recently developed in Australia. This provides an opportunity to develop and test a theory-based implementation intervention for a condition which is common, has a high burden, and for which there is an evidence-practice gap in the primary care setting. Aim: This study aims to test the effectiveness of a theory-based intervention for implementing a clinical practice guideline for acute low back pain in general practice in Victoria, Australia. Specifically, our primary objectives are to establish if the intervention is effective in reducing the percentage of patients who are referred for a plain x-ray, and improving mean level of disability for patients three months post-consultation. Methods/Design: This study protocol describes the details of a cluster randomised controlled trial. Ninety-two general practices (clusters), which include at least one consenting general practitioner, will be randomised to an intervention or control arm using restricted randomisation. Patients aged 18 years or older who visit a participating practitioner for acute non-specific low back pain of less than three months duration will be eligible for inclusion. An average of twenty-five patients per general practice will be recruited, providing a total of 2,300 patient participants. General practitioners in the control arm will receive access to the guideline using the existing dissemination strategy. Practitioners in the intervention arm will be invited to participate in facilitated face-to-face workshops that have been underpinned by behavioural theory. Investigators (not involved in the delivery of the intervention), patients, outcome assessors and the study statistician will be blinded to group allocation. Trial registration: Australian New Zealand Clinical Trials Registry ACTRN012606000098538 (date registered 14/03/2006).The trial is funded by the NHMRC by way of a Primary Health Care Project Grant (334060). JF has 50% of her time funded by the Chief Scientist Office3/2006). of the Scottish Government Health Directorate and 50% by the University of Aberdeen. PK is supported by a NHMRC Health Professional Fellowship (384366) and RB by a NHMRC Practitioner Fellowship (334010). JG holds a Canada Research Chair in Health Knowledge Transfer and Uptake. All other authors are funded by their own institutions

Haptoglobin Phenotype, Preeclampsia Risk and the Efficacy of Vitamin C and E Supplementation to Prevent Preeclampsia in a Racially Diverse Population

Haptoglobin's (Hp) antioxidant and pro-angiogenic properties differ between the 1-1, 2-1, and 2-2 phenotypes. Hp phenotype affects cardiovascular disease risk and treatment response to antioxidant vitamins in some non-pregnant populations. We previously demonstrated that preeclampsia risk was doubled in white Hp 2-1 women, compared to Hp 1-1 women. Our objectives were to determine whether we could reproduce this finding in a larger cohort, and to determine whether Hp phenotype influences lack of efficacy of antioxidant vitamins in preventing preeclampsia and serious complications of pregnancy-associated hypertension (PAH). This is a secondary analysis of a randomized controlled trial in which 10,154 low-risk women received daily vitamin C and E, or placebo, from 9-16 weeks gestation until delivery. Hp phenotype was determined in the study prediction cohort (n = 2,393) and a case-control cohort (703 cases, 1,406 controls). The primary outcome was severe PAH, or mild or severe PAH with elevated liver enzymes, elevated serum creatinine, thrombocytopenia, eclampsia, fetal growth restriction, medically indicated preterm birth or perinatal death. Preeclampsia was a secondary outcome. Odds ratios were estimated by logistic regression. Sampling weights were used to reduce bias from an overrepresentation of women with preeclampsia or the primary outcome. There was no relationship between Hp phenotype and the primary outcome or preeclampsia in Hispanic, white/other or black women. Vitamin supplementation did not reduce the risk of the primary outcome or preeclampsia in women of any phenotype. Supplementation increased preeclampsia risk (odds ratio 3.30; 95% confidence interval 1.61-6.82, p<0.01) in Hispanic Hp 2-2 women. Hp phenotype does not influence preeclampsia risk, or identify a subset of women who may benefit from vitamin C and E supplementation to prevent preeclampsia

Six-week high-intensity exercise program for middle-aged patients with knee osteoarthritis: a randomized controlled trial [ISRCTN20244858]

BACKGROUND: Studies on exercise in knee osteoarthritis (OA) have focused on elderly subjects. Subjects in this study were middle-aged with symptomatic and definite radiographic knee osteoarthritis. The aim was to test the effects of a short-term, high-intensity exercise program on self-reported pain, function and quality of life. METHODS: Patients aged 36–65, with OA grade III (Kellgren & Lawrence) were recruited. They had been referred for radiographic examination due to knee pain and had no history of major knee injury. They were randomized to a twice weekly supervised one hour exercise intervention for six weeks, or to a non-intervention control group. Exercise was performed at ≥ 60% of maximum heart rate (HR max). The primary outcome measure was the Knee injury and Osteoarthritis Outcome Score (KOOS). Follow-up occurred at 6 weeks and 6 months. RESULTS: Sixty-one subjects (mean age 56 (SD 6), 51 % women, mean BMI 29.5 (SD 4.8)) were randomly assigned to intervention (n = 30) or control group (n = 31). No significant differences in the KOOS subscales assessing pain, other symptoms, or function in daily life or in sport and recreation were seen at any time point between exercisers and controls. In the exercise group, an improvement was seen at 6 weeks in the KOOS subscale quality of life compared to the control group (mean change 4.0 vs. -0.7, p = 0.05). The difference between groups was still persistent at 6 months (p = 0.02). CONCLUSION: A six-week high-intensive exercise program had no effect on pain or function in middle-aged patients with moderate to severe radiographic knee OA. Some effect was seen on quality of life in the exercise group compared to the control group