Systematic reviews can help practitioners keep abreast of the medical literature by summarizing large bodies of evidence and helping to explain differences among studies on the same question. A systematic review involves the application of scientific strategies, in ways that limit bias, to the assembly, critical appraisal, and synthesis of all relevant studies that address a specific clinical q...

Background: Recently, there has been an increased interest in the efficacy of mindfulness-based interventions (MBI) for people with cardiovascular diseases (CVD), although exact beneficial effects remain unclear. Methods: This review aims to establish role MBI management wellbeing patients CVD. Seventeen articles have included this systematic synthesis literature and eleven meta-analysis. Resul...

Algorithmic meta-theorems state that certain families of algorithmic problems, usually defined in terms of logic, can be solved efficiently. This is a survey of algorithmic meta-theorems, highlighting the general methods available to prove such theorems rather than specific results.

Meta-heuristic methods represent very powerful tools for dealing with hard combinatorial optimization problems. However, real life instances usually cannot be treated efficiently in "reasonable" computing times. Moreover, a major issue in metaheuristic design and calibration is to make them robust, i.e., to provide high performance solutions for a variety of problem settings. Parallel meta-heur...

Structured summary 2 2. Provide a structured summary including, as applicable: background; objectives; data sources; study eligibility criteria, participants, and interventions; study appraisal and synthesis methods; results; limitations; conclusions and implications of key findings; systematic review registration number. State research question(s) related to health equity. 2A Present results o...

First principles simulations show that the ground state crystal structure of Li4SnS4 is isomorphous to Li4GeS4, in agreement with experiment, and having interstitial sites in void channels along the caxis. The simulations also show that a slightly meta-stable structure (Li4SnS4) is formed by moving Li ions from their central sites to the interstitial positions, consistent with X-ray patterns re...

We present a description technique for the correct construction of programs that allows us to deene terms like reenement, model-checking, and synthesis as special operations within this framework. From that meta-view on program constructions both advantages and disadvantages of all methods mentioned become clear. Furthermore, it becomes clear that an incremental program construction seems to be...

BACKGROUND The use of hormone therapy (HT) by menopausal women has declined since the Women's Health Initiative randomized trial (WHI) in 2002 demonstrated important harms associated with long-term use. However, how this information has influenced women's knowledge and attitudes is uncertain. We aimed to evaluate the attitudes and perceptions towards HT use, as well as specific concerns and inf...