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

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 1: of Measuring implementation behaviour of menu guidelines in the childcare setting: confirmatory factor analysis of a theoretical domains framework questionnaire (TDFQ)

Displays the generic format of the TDFQ and the final TDFQ items. Final 14-domian, 61-item theoretical domain framework questionnaire. (DOC 88 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

Percentage of clinicians responding to components of their routine advice about weight management, self management and general education.

#<p>Correlation is with proportion of people responding and BMI>30.</p>##<p>Question stem “If pressed for time which ONE would you do?”; figure is % endorsing that response.</p>**<p>p<0.01.</p