Distributive Laws for Monotone Specifications

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications - that disallow negative premises - do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.Comment: In Proceedings EXPRESS/SOS 2017, arXiv:1709.0004

Additional file 1: of Planning to be routine: habit as a mediator of the planning-behaviour relationship in healthcare professionals

Baseline postal questionnaire incorporating organisational and clinical questionnaires and behaviour simulation measures. (PDF 827 kb

Development and validation of a theory-based questionnaire examining barriers and facilitators to discontinuing long-term benzodiazepine receptor agonist use

Background: Long-term use of benzodiazepine receptor agonists (BZRAs) is a persistent healthcare challenge and poses patient safety risks. Interventions underpinned by behaviour change theory are needed to support discontinuation of long-term BZRA use. The aim of this study was to develop and validate a questionnaire based on the Theoretical Domains Framework (TDF) to examine mediators of behaviour change relating to the discontinuation of long-term BZRA use. Methods: An initial 52 item questionnaire was developed using the 14 domains of TDF version 2 and iteratively refined over two rounds. The questionnaire was disseminated online via online support groups that focused on BZRAs to community-based adults with either current or previous experience of taking BZRAs on a long-term basis (≥3 months). Confirmatory factor analysis was undertaken to assess the questionnaire's reliability, discriminant validity and goodness of fit. The Standardized Root Mean Square Residual (SRMR), Root Mean Square Error of Approximation (RMSEA) and Comparative Fit Index (CFI) were calculated. Results: Following an iterative process of adjustment, the results obtained from confirmatory factor analysis resulted in the final questionnaire consisting of 29 items across nine theoretical domains. The internal consistency reliability values across these domains ranged from 0.62 to 0.85. For the final model, the SRMR was 0.23, the RMSEA was 0.11 and the CFI was 0.6. Conclusions: The questionnaire offers a potential tool that could be used to identify domains that need to be targeted as part of a behaviour change intervention at an individual patient level. Further research is needed to assess the questionnaire's acceptability and usability, and to develop a scoring system so that domains can be prioritised and subsequently targeted as part of an intervention.</p

Additional file 3: of Barriers and facilitators to healthcare professional behaviour change in clinical trials using the Theoretical Domains Framework: a case study of a trial of individualized temperature-reduced haemodialysis

Final coding manual. (PDF 244 kb

Using the theoretical domains framework to identify barriers and enablers to pediatric asthma management in primary care settings

<p><i>Objectives</i>: This study aimed to apply a theory-based approach to identify barriers and enablers to implementing the Alberta Primary Care Asthma Pediatric Pathway (PCAPP) into clinical practice. Phase 1 included an assessment of assumptions underlying the intervention from the perspectives of the developers. Phase 2 determined the perceived barriers and enablers for: 1) primary care physicians' prescribing practices, 2) allied health care professionals' provision of asthma education to parents, and 3) children and parents' adherence to their treatment plans. <i>Methods</i>: Interviews were conducted with 35 individuals who reside in Alberta, Canada. Phase 1 included three developers. Phase 2 included 11 primary care physicians, 10 allied health care professionals, and 11 parents of children with asthma. Phase 2 interviews were based on the 14 domains of the Theoretical Domains Framework (TDF). Transcribed interviews were analyzed using a directed content analysis. Key assumptions by the developers about the intervention, and beliefs by others about the barriers and enablers of the targeted behaviors were identified. <i>Results</i>: Eight TDF domains mapped onto the assumptions of the pathway as described by the intervention developers. Interviews with health care professionals and parents identified nine TDF domains that influenced the targeted behaviors: knowledge, skills, beliefs about capabilities, social/professional role and identity, beliefs about consequences, environmental context and resources, behavioral regulation, social influences, and emotions. <i>Conclusions</i>: Barriers and enablers perceived by health care professionals and parents that influenced asthma management will inform the optimization of the PCAPP prior to its evaluation.</p

Additional file 1: of Risk assessment tools to predict location of discharge and need for supportive services for medical patients after discharge from hospital: a systematic review protocol

Search strategy used for MEDLINE and adapted for other databases. (DOCX 66 kb

Additional file 5: of Testing feedback message framing and comparators to address prescribing of high-risk medications in nursing homes: protocol for a pragmatic, factorial, cluster-randomized trial

Waiver of consent documents: letter of information and debrief to participants in the trial. (DOCX 28 kb

Additional file 6: of Cluster randomised controlled trial of a theory-based multiple behaviour change intervention aimed at healthcare professionals to improve their management of type 2 diabetes in primary care

CONSORT checklist. (DOCX 42 kb

Practice mean (SD) percentage of patients reporting having received elements of care.

*<p>Between 1.1 and 4.0% responded “Don’t know” to each question.</p