Optimal Scheduling Using Branch and Bound with SPIN 4.0

The use of model checkers to solve discrete optimisation problems is appealing. A model checker can first be used to verify that the model of the problem is correct. Subsequently, the same model can be used to find an optimal solution for the problem. This paper describes how to apply the new PROMELA primitives of SPIN 4.0 to search effectively for the optimal solution. We show how Branch-and-Bound techniques can be added to the LTL property that is used to find the solution. The LTL property is dynamically changed during the verification. We also show how the syntactical reordering of statements and/or processes in the PROMELA model can improve the search even further. The techniques are illustrated using two running examples: the Travelling Salesman Problem and a job-shop scheduling problem

Optimal Scheduling Using Branch and Bound with SPIN 4.0

The use of model checkers to solve discrete optimisation problems is appealing. A model checker can first be used to verify that the model of the problem is correct. Subsequently, the same model can be used to find an optimal solution for the problem. This paper describes how the new Promela primitives of Spin 4.0 can be applied to search e#ectively for the optimal solution. We show how Branch-and-Bound techniques can be added to the LTL property that is used to find the solution. The LTL property is dynamically changed during the verification

Probiotics [LGG-BB12 or RC14-GR1] versus placebo as prophylaxis for urinary tract infection in persons with spinal cord injury [ProSCIUTTU]: a study protocol for a randomised controlled trial

© 2016 Lee et al. Background: Urinary tract infections [UTIs] are very common in people with Spinal Cord Injury [SCI]. UTIs are increasingly difficult and expensive to treat as the organisms that cause them become more antibiotic resistant. Among the SCI population, there is a high rate of multi-resistant organism [MRO] colonisation. Non-antibiotic prevention strategies are needed to prevent UTI without increasing resistance. Probiotics have been reported to be beneficial in preventing UTIs in post-menopausal women in several in vivo and in vitro studies. The main aim of this study is to determine whether probiotic therapy with combinations of Lactobacillus reuteri RC-14 + Lactobacillus rhamnosus GR-1 [RC14-GR1] and/or Lactobacillus rhamnosus GG + Bifidobacterium BB-12 [LGG-BB12] are effective in preventing UTI in people with SCI compared to placebo. Method: This is a multi-site randomised double-blind double-dummy placebo-controlled factorial design study conducted in New South Wales, Australia. All participants have a neurogenic bladder as a result of spinal injury. Recruitment started in April 2011. Participants are randomised to one of four arms, designed for factorial analysis of LGG-BB12 and/or RC14-GR1 v Placebo. This involves 24 weeks of daily oral treatment with RC14-GR1 + LGG-BB12, RC14-GR1 + placebo, LGG-BB12 + placebo or two placebo capsules. Randomisation is stratified by bladder management type and inpatient status. Participants are assessed at baseline, three months and six months for Short Form Health Survey [SF-36], microbiological swabs of rectum, nose and groin; urine culture and urinary catheters for subjects with indwelling catheters. A bowel questionnaire is administered at baseline and three months to assess effect of probiotics on bowel function. The primary outcome is time from randomisation to occurrence of symptomatic UTI. The secondary outcomes are change of MRO status and bowel function, quality of life and cost-effectiveness of probiotics in persons with SCI. The primary outcome will be analysed using survival analysis of factorial groups, with Cox regression modelling to test the effect of each treatment while allowing for the other, assuming no interaction effect. Hazard ratios and Kaplan-Meier survival curves will be used to summarise results. Discussion: If these probiotics are shown to be effective in preventing UTI and MRO colonisation, they would be a very attractive alternative for UTI prophylaxis and for combating the increasing rate of antibiotic resistance after SCI. Trial registration: Australian New Zealand Clinical Trials Registry [ ACTRN 12610000512022 ]. Date of registration: 21 June 2010

Cross-cultural adaptation and validation of the “spinal cord injury-falls concern scale” in the Italian population

Study design: Psychometrics study. Objective: The objective of this study was to develop an Italian version of the Spinal Cord Injury-Falls Concern Scale (SCI-FCS) and examine its reliability and validity. Setting: Multicenter study in spinal units in Northern and Southern Italy. The scale also was administered to non-hospitalized outpatient clinic patients. Methods: The original scale was translated from English to Italian using the “Translation and Cultural Adaptation of Patient-Reported Outcomes Measures” guidelines. The reliability and validity of the culturally adapted scale were assessed following the “Consensus-Based Standards for the Selection of Health Status Measurement Instruments” checklist. The SCI-FCS-I internal consistency, inter-rater, and intra-rater reliability were examined using Cronbach’s alpha coefficient and the intraclass correlation coefficient, respectively. Concurrent validity was evaluated using Pearson’s correlation coefficient with the Italian version of the short form of the Wheelchair Use Confidence Scale for Manual Wheelchair Users (WheelCon-M-I-short form). Results: The Italian version of the SCI-FCS-I was administered to 124 participants from 1 June to 30 September 2017. The mean ± SD of the SCI-FCS-I score was 16.73 ± 5.88. All SCI-FCS items were either identical or similar in meaning to the original version’s items. Cronbach’s α was 0.827 (p < 0.01), the inter-rater reliability was 0.972 (p < 0.01), and the intra-rater reliability was 0.973 (p < 0.01). Pearson’s correlation coefficient of the SCI-FCS-I scores with the WheelCon-M-I-short form was 0.56 (p < 0.01). Conclusions: The SCI-FCS-I was found to be reliable and a valid outcome measure for assessing manual wheelchair concerns about falling in the Italian population

The effects of 10,000 voluntary contractions over 8 weeks on the strength of very weak muscles in people with spinal cord injury: a randomised controlled trial

Study design: A multi-centred, single-blinded randomised controlled trial. Objectives: To determine the effect of 10,000 voluntary contractions over 8 weeks on the strength of very weak muscles in people with spinal cord injury (SCI). Settings: Seven hospitals in Australia and Asia. Methods: One hundred and twenty people with recent SCI undergoing inpatient rehabilitation were randomised to either a Treatment or Control Group. One major muscle group from an upper or lower limb was selected if the muscle had grade 1 or grade 2 strength on a standard six-point manual muscle test. Participants allocated to the Treatment Group performed 10,000 isolated contractions of the selected muscle group, as well as usual care in 48 sessions over 8 weeks. Participants allocated to the Control Group received usual care alone. Participants were assessed at baseline and 8 weeks by a blinded assessor. The primary outcome was voluntary muscle strength on a 13-point manual muscle test. There were three secondary outcomes capturing therapists’ and participants’ perceptions of strength and function. Results: The mean between-group difference of voluntary strength at 8 weeks was 0.4/13 points (95% confidence interval −0.5 to 1.4) in favour of the Treatment Group. There were no notable between-group differences on any secondary outcome. Conclusion: Ten thousand isolated contractions of very weak muscles in people with SCI over 8 weeks has either no or a very small effect on voluntary strength

Comparisons of mortality and pre-discharge respiratory outcomes in small-for-gestational-age and appropriate-for-gestational-age premature infants

BACKGROUND: There are differences in the literature regarding outcomes of premature small-for-gestational-age (SGA) and appropriate-for gestational-age (AGA) infants, possibly due to failure to take into account gestational age at birth. OBJECTIVE: To compare mortality and respiratory morbidity of SGA and AGA premature newborn infants. DESIGN/METHODS: A retrospective study was done of the 2,487 infants born without congenital anomalies at ≤36 weeks of gestation and admitted to the neonatal intensive care unit (NICU) at John Dempsey Hospital, between Jan. 1992 and Dec. 1999. Recent (1994–96) U.S. birth weight percentiles for gestational age (GA), race and gender were used to classify neonates as SGA (<10th percentile for GA) or AGA (10(th)–90th percentile for GA). Using multivariate logistic regression and survival analyses to control for GA, SGA and AGA infants were compared for mortality and respiratory morbidity. RESULTS: Controlling for GA, premature SGA infants were at a higher risk for mortality (Odds ratio 3.1, P = 0.001) and at lower risk of respiratory distress syndrome (OR = 0.71, p = 0.02) than AGA infants. However multivariate logistic regression modeling found that the odds of having respiratory distress syndrome (RDS) varied between SGA and AGA infants by GA. There was no change in RDS risk in SGA infants at GA ≤ 32 wk (OR = 1.27, 95% CI 0.32 – 1.98) but significantly decreased risk for RDS at GA > 32 wk (OR = 0.41, 95% CI 0.27 – 0.63; p < 0.01). After controlling for GA, SGA infants were observed to be at a significantly higher risk for developing chronic lung disease as compared to AGA infants (OR = 2.2, 95% CI = 1.2 – 3.9, P = 0.01). There was no significant difference between SGA and AGA infants in total days on ventilator. Among infants who survived, mean length of hospital stay was significantly higher in SGA infants born between 26–36 wks GA than AGA infants. CONCLUSIONS: Premature SGA infants have significantly higher mortality, significantly higher risk of developing chronic lung disease and longer hospital stay as compared to premature AGA infants. Even the reduced risk of RDS in infants born at ≥32 wk GA, (conferred possibly by intra-uterine stress leading to accelerated lung maturation) appears to be of transient effect and is counterbalanced by adverse effects of poor intrauterine growth on long term pulmonary outcomes such as chronic lung disease