Boosting local search thanks to {CDCL}

International audienceIn this paper, a novel hybrid and complete approach for propositional satisfiability, called SAT HYS (Sat Hybrid Solver), is introduced. It efficiently combines the strength of both local search and CDCL based SAT solvers. Considering the consistent partial assignment under construction by the CDCL SAT solver, local search is used to extend it to a model of the Boolean formula, while the CDCL component is used by the local search one as a strategy to escape from a local minimum. Additionally, both solvers heavily cooperate thanks to relevant information gathered during search. Experimentations on SAT instances taken from the last competitions demonstrate the efficiency and the robustness of our hybrid solver with respect to the state-of-the-art CDCL based, local search and hybrid SAT solvers

2012 update of French guidelines for the pharmacological treatment of postmenopausal osteoporosis

OBJECTIVES: To update the evidence-based position statement published by the French National Authority for Health (HAS) in 2006 regarding the pharmacological treatment of postmenopausal osteoporosis, under the auspices of the French Society for Rheumatology and Groupe de Recherche et d\u27Information sur les Ostéoporoses (GRIO), and with the participation of several learned societies (Collège National des Gynécologues et Obstétriciens Français, Groupe d\u27Étude de la Ménopause et du Vieillissement hormonal, Société Française de Chirurgie Orthopédique, Société Française d\u27Endocrinologie, and Société Française de Gériatrie et de Gérontologie). METHODS: A multidisciplinary panel representing the spectrum of clinical specialties involved in managing patients with postmenopausal osteoporosis developed updated recommendations based on a systematic literature review conducted according to the method advocated by the HAS. RESULTS: The updated recommendations underline the need for osteoporosis pharmacotherapy in women with a history of severe osteoporotic fracture. In these patients, any osteoporosis medication can be used; however, zoledronic acid is the preferred first-line medication after a hip fracture. In patients with non-severe fractures or no fractures, the appropriateness of osteoporosis pharmacotherapy depends on the bone mineral density and FRAX(®) values; any osteoporosis medication can be used, but raloxifene and ibandronate should be reserved for patients at low risk for peripheral fractures. Initially, osteoporosis pharmacotherapy should be prescribed for 5 years. The results of the evaluation done at the end of the 5-year period determine whether further treatment is in order. CONCLUSIONS: These updated recommendations are intended to provide clinicians with clarifications about the pharmacological treatment of osteoporosis

Functional qualification of TLM verification

The topic will cover the use of functional qualification for measuring the quality of functional verification of TLM models. Functional qualification is based on the theory of mutation analysis but considers a mutation to have been killed only if a test case fails. A mutation model of TLM behaviors is proposed to qualify a verification environment based on both testcases and assertions. The presentation describes at first the theoretic aspects of this topic and then it focuses on its application to real cases by using actual EDA tools, thus showing advantages and limitations of the application of mutation analysis to TLM

What is the evidence for physical therapy poststroke? A systematic review and meta-analysis

BACKGROUND: Physical therapy (PT) is one of the key disciplines in interdisciplinary stroke rehabilitation. The aim of this systematic review was to provide an update of the evidence for stroke rehabilitation interventions in the domain of PT. METHODS AND FINDINGS: Randomized controlled trials (RCTs) regarding PT in stroke rehabilitation were retrieved through a systematic search. Outcomes were classified according to the ICF. RCTs with a low risk of bias were quantitatively analyzed. Differences between phases poststroke were explored in subgroup analyses. A best evidence synthesis was performed for neurological treatment approaches. The search yielded 467 RCTs (N = 25373; median PEDro score 6 [IQR 5-7]), identifying 53 interventions. No adverse events were reported. Strong evidence was found for significant positive effects of 13 interventions related to gait, 11 interventions related to arm-hand activities, 1 intervention for ADL, and 3 interventions for physical fitness. Summary Effect Sizes (SESs) ranged from 0.17 (95%CI 0.03-0.70; I(2) = 0%) for therapeutic positioning of the paretic arm to 2.47 (95%CI 0.84-4.11; I(2) = 77%) for training of sitting balance. There is strong evidence that a higher dose of practice is better, with SESs ranging from 0.21 (95%CI 0.02-0.39; I(2) = 6%) for motor function of the paretic arm to 0.61 (95%CI 0.41-0.82; I(2) = 41%) for muscle strength of the paretic leg. Subgroup analyses yielded significant differences with respect to timing poststroke for 10 interventions. Neurological treatment approaches to training of body functions and activities showed equal or unfavorable effects when compared to other training interventions. Main limitations of the present review are not using individual patient data for meta-analyses and absence of correction for multiple testing. CONCLUSIONS: There is strong evidence for PT interventions favoring intensive high repetitive task-oriented and task-specific training in all phases poststroke. Effects are mostly restricted to the actually trained functions and activities. Suggestions for prioritizing PT stroke research are given