Effectiveness of interventions targeting self-regulation to improve adherence to chronic disease medications: a meta-review of meta-analyses

Adherence to chronic disease medication regimens depends in part on successful self-regulation. However, the overall benefit of interventions targeting self-regulatory mechanisms is not well-understood. Accordingly, we conducted a meta-review of meta-analyses assessing the effect of interventions targeting self-regulation on medication adherence. For this meta-review, meta-analyses appearing between January 2006 and March 2019 were eligible if they included experimental trials that assessed the effect of an intervention targeting self-regulation on adherence to chronic disease medication. A systematic literature search of multiple databases for published and unpublished literature identified 16,001 abstracts. Twelve meta-analyses met eligibility criteria and had variable quality according to AMSTAR 2 item completion (M = 50%; range: 31–66%). Overall, meta-reviews showed small to medium effect sizes for interventions that targeted self-monitoring, provided personalised feedback on adherence, or involved complete self-management. Other interventions, such as goal setting, barrier identification and problem solving, and stress management showed little evidence of improving adherence. Only a limited number of self-regulation intervention components were able to be evaluated. Additional research is needed to advance the understanding of the efficacy of adherence interventions focussed on self-regulation by expanding the scope of self-regulation elements targeted (e.g., emotion regulation)

Search for the Xb and other hidden-beauty states in the π+π−ϒ(1S) channel at ATLAS

This Letter presents a search for a hidden-beauty counterpart of the X(3872) in the mass ranges of 10.05–10.31 GeV and 10.40–11.00 GeV, in the channel Xb→π+π−ϒ(1S)(→μ+μ−), using 16.2 fb−1 of pp   collision data collected by the ATLAS detector at the LHC. No evidence for new narrow states is found, and upper limits are set on the product of the Xb cross section and branching fraction, relative to those of the ϒ(2S), at the 95% confidence level using the CLS approach. These limits range from 0.8% to 4.0%, depending on mass. For masses above 10.1 GeV, the expected upper limits from this analysis are the most restrictive to date. Searches for production of the ϒ(13DJ), , and states also reveal no significant signals

Health behaviour change in cardiovascular disease prevention and management : meta-review of behaviour change techniques to affect self-regulation

Self-regulation processes assume a major role in health behaviour theory and are postulated as important mechanisms of action in behavioural interventions to improve health prevention and management. The need to better understand mechanisms of behaviour change interventions for cardiovascular diseases (CVD) called for conducting a meta-review of meta-analyses for interventions targeting self-regulation processes. The protocol, preregistered on Open Science Framework (OSF), found 15 eligible meta-analyses, published between 2006 and August 2019, which quantitatively assessed the role of self-regulatory mechanisms and behaviour change techniques (BCTs). Quality of the meta-analyses varied widely according to AMSTAR-2 criteria. Several BCTs, assumed to engage self-regulatory mechanisms, were unevenly represented in CVD meta-analytic reviews. Self-monitoring, the most frequently studied self-regulatory BCT, seemed to improve health behaviour change and health outcomes but these results merit cautious interpretation. Findings for other self-regulatory BCTs were less promising. No studies in the CVD domain directly tested engagement of self-regulation processes. A general challenge for this area stems from reliance on post-hoc tests of the effects of BCTs in multiple-component interventions. Recent advances in BCT taxonomies and the experimental medicine approach to engaging self-regulation mechanisms, however, provide opportunities to improve CVD prevention and management behavioural interventions

Back and Forth Bisimulations

This paper is concerned with bisimulation relations which do not only require related agents to simulate each others behavior in the direction of the arrows, but also to simulate each other when going back in history. First it is demonstrated that the back and forth variant of strong bisimulation leads to the same equivalence as the ordinary notion of strong bisimulation. Then it is shown that the back and forth variant of Milner's observation equivalence is different from (and finer than) observation equivalence. In fact we prove that it coincides with the branching bisimulation equivalence of Van Glabbeek & Weijland. Also the back and forth variants of branching, eegr and delay bisimulation lead to branching bisimulation equivalence. The notion of back and forth bisimulation moreover leads to characterizations of branching bisimulation in terms of abstraction homomorphisms and in terms of Hennessy-Milner logic with backward modalities. In our view these results support the claim that branching bisimulation is a natural and important notion

Action versus State based Logics for Transition Systems

A temporal logic based on actions rather than on states is presented and interpreted over labelled transition systems. It is proved that it has essentially the same power as CTL*, a temporal logic interpreted over Kripke structures. The relationship between the two logics is established by introducing two mappings from Kripke structures to labelled transition systems and viceversa and two transformation functions between the two logics which preserve truth. A branching time version of the action based logic is also introduced. This new logic for transition systems can play an important role as an intermediate between Hennessy-Milner Logic and the modal μ-calculus. It is sufficiently expressive to describe safety and liveness properties but permits model checking in linear time

A Symbolic Model Checker for ACTL*

We present SAM, a symbohc model checker for ACTL, the action-based version of CTL. SAM rehes on imphcit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL for- mulae, and makes use of symbohc manipulation algorithms. SAM has been realized by translating (networks of) LTSs and, possibly recursive, ACTL formulae into BSP (Boolean Symbohc Programming), a program- ming language aiming at defining computations on boolean functions, and by using the BSP interpreter to carry out computations (i.e. verifications)