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

Effects of a five-week intensive and multidisciplinary spine-specific functional restoration program in chronic low back pain patients with or without surgery

AbstractObjectiveEvaluating the efficacy of an intensive, dynamic and multidisciplinary spine-specific functional restoration program in patients with chronic low back pain with or without surgery.MethodsOne hundred and forty-four subjects with chronic low back pain included in the retrospective study and divided into two groups: patients who had spine surgery (GI, n=81) and patients who did not have surgery (GC, n=37). The two groups followed the same functional restoration program (175 hours). All the subjects were evaluated before (T0) and after (T5wks) rehabilitation care based on physical, functional, psychological and professional parameters.ResultsAll outcome measures were significantly improved for all subjects at the end of the study, regardless of the group. Eighty-one percent of patients returned to work. The surgery group obtained better results at the end of the program for pain and back muscle isometric endurance measures.ConclusionsThe effects of the intensive program were validated; nevertheless, spine surgery seems to have a positive impact on some physical parameters of this spine-specific functional restoration program

Early post-stroke physical conditioning in hemiplegic patients: A preliminary study

AbstractObjectiveTo establish the value of an early post-stroke evaluation of cardiorespiratory fitness in hemiparetic patients using a one-leg cycling exercise test and to analyze the impact of an adapted physical activity programme 12weeks after the stroke.ProtocolEighteen hemiparetic stroke patients participated in the study. The subjects were randomly assigned to one of two groups: the control group (CG) underwent 4weeks of conventional rehabilitation, whereas the training group (TG) performed additional physical exercises. The initial evaluation (T1) was carried out after 1week of exercise and the final evaluation (T2) was performed after 28 days. Both evaluations consisted of maximal graded tests performed with the valid leg, followed by completion of a questionnaire on personal autonomy in activities of daily living (ADL).ResultsIn the CG group, we recorded a 4 to 8% increase in peak oxygen uptake (VO2 peak). There was no significant increase in peak power output (Wpeak). However, the TG displayed significantly (P<0.05) greater peak values than those recorded on study entry (Wpeak: +30%, VO2 peak: +20%). The TG showed a statistically significant improvement in the Barthel and Katz ADL scale scores, whereas the pre- and post-rehabilitation values did not differ significantly in the CG. However, there was no correlation between the Barthel/Katz scale scores and Wpeak.ConclusionEvaluation of cardiorespiratory fitness by using the valid leg seems to be feasible in hemiplegic patients 1month post-stroke. Early post-stroke physical training appears to be needed to limit the negative effects of functional hypoactivity

P3456'Heart, arteries and women', an innovative healthcare pathway based on collaboration between gynecologists and cardiologists for women at cardiovascular risk: design and evaluation at five years

Abstract Introduction In women, cardiovascular diseases are the leading cause of death worldwide. Prevention and diagnosis typically occur at late stages and less frequently than is men and treatments are not optimal in women. Preventive measures must be implemented, and management approaches improved. To this end, an innovative coordinated healthcare pathway was initiated at the our University Hospital for women at risk of cardiovascular diseases. Purpose The objective of this study was to describe the design of the healthcare pathway and to assess its relevance to improve prevention, diagnosis and treatment in women at cardiovascular risk. Methods The healthcare pathway “Heart, arteries and women” implemented at our University Hospital since January 1st, 2013 is based on collaboration between gynecologists and cardiologists. Women after an adverse pregnancy outcome and women at menopause with increased cardiovascular risk were referred by the gynecologist to the cardiologist for complete cardiovascular evaluation if eligible (Figure 1). Screening for both traditional and nontraditional cardiovascular risk factor and cardiovascular diseases if indicated, lifestyle counseling and adjustment of medical treatment were performed for each woman. The present study focused on post-menopausal women at risk or high cardiovascular risk according to American Heart Association (AHA) classification who had a complete cardiovascular evaluation through the healthcare pathway between January 1st, 2013 and December 31st, 2017. Results We included 690 post-menopausal women with a mean age of 58±8 years. According to AHA classification, 339 women (50,8%) were at high risk and 351 (49,2%) at risk. Cardiovascular risk control was poor with 146 current smokers (21,2%) and 264 obese women (38,3%). Only 320 women (46,4%) reached the targeted blood pressure of &lt;140/90 mmHg and 169 (24.5%) attained their low-density lipoprotein (LDL)-cholesterol target. Among the 212 women treated for diabetes, 45,3% achieved the glycated haemoglobin (HbA1c) target of &lt;7.0%. Lower extremity artery disease was newly diagnosed in 46 women, renal artery disease in 51 women and ischemic heart disease in 62 women. Statins, renin-angiotensin system inhibitors and antiplatelet agents were significantly more prescribed according to guidelines after the cardiovascular evaluation (p&lt;0.001). Conclusion Our coordinated healthcare pathway based on partnership between gynecologists and cardiologists allowed to improve assessment of specific cardiovascular risk, screening, prevention and treatment of cardiovascular diseases in women. Enhanced collaboration between gynecologists and cardiologists offers a real opportunity to improve cardiovascular heath in women. </jats:sec