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

Health Researchers' Use of Social Media: Scoping Review.

BackgroundHealth researchers are increasingly using social media in a professional capacity, and the applications of social media for health researchers are vast. However, there is currently no published evidence synthesis of the ways in which health researchers use social media professionally, and uncertainty remains as to how best to harness its potential.ObjectiveThis scoping review aimed to explore how social media is used by health researchers professionally, as reported in the literature.MethodsThe scoping review methodology guided by Arksey and O'Malley and Levac et al was used. Comprehensive searches based on the concepts of health research and social media were conducted in MEDLINE, EMBASE, CINAHL, PsycINFO, ERIC, and Web of Science databases, with no limitations applied. Articles were screened at the title and abstract level and at full text by two reviewers. One reviewer extracted data that were analyzed descriptively to map the available evidence.ResultsA total of 8359 articles were screened at the title and abstract level, of which 719 were also assessed at full text for eligibility. The 414 articles identified for inclusion were published in 278 different journals. Studies originated from 31 different countries, with the most prevalent being the United States (52.7% [218/414]). The health discipline of the first authors varied, with medicine (33.3% [138/414]) being the most common. A third of the articles covered health generally, with 61 health-specific topics. Papers used a range of social media platforms (mean 1.33 [SD 0.7]). A quarter of the articles screened reported on social media use for participant recruitment (25.1% [104/414]), followed by practical ways to use social media (15.5% [64/414]), and use of social media for content analysis research (13.3% [55/414]). Articles were categorized as celebratory (ie, opportunities for engagement, 72.2% [299/414]), contingent (ie, opportunities and possible limitations, 22.7% [94/414]) and concerned (ie, potentially harmful, 5.1% [21/414]).ConclusionsHealth researchers are increasingly publishing on their use of social media for a range of professional purposes. Although most of the sentiment around the use of social media in health research was celebratory, the uses of social media varied widely. Future research is needed to support health researchers to optimize their social media use

Questioning context: a set of interdisciplinary questions for investigating contextual factors affecting health decision making

Objective  To combine insights from multiple disciplines into a set of questions that can be used to investigate contextual factors affecting health decision making. Background  Decision‐making processes and outcomes may be shaped by a range of non‐medical or ‘contextual’ factors particular to an individual including social, economic, political, geographical and institutional conditions. Research concerning contextual factors occurs across many disciplines and theoretical domains, but few conceptual tools have attempted to integrate and translate this wide‐ranging research for health decision‐making purposes. Methods  To formulate this tool we employed an iterative, collaborative process of scenario development and question generation. Five hypothetical health decision‐making scenarios (preventative, screening, curative, supportive and palliative) were developed and used to generate a set of exploratory questions that aim to highlight potential contextual factors across a range of health decisions. Findings  We present an exploratory tool consisting of questions organized into four thematic domains – Bodies, Technologies, Place and Work (BTPW) – articulating wide‐ranging contextual factors relevant to health decision making. The BTPW tool encompasses health‐related scholarship and research from a range of disciplines pertinent to health decision making, and identifies concrete points of intersection between its four thematic domains. Examples of the practical application of the questions are also provided. Conclusions  These exploratory questions provide an interdisciplinary toolkit for identifying the complex contextual factors affecting decision making. The set of questions comprised by the BTPW tool may be applied wholly or partially in the context of clinical practice, policy development and health‐related research.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/86973/1/j.1369-7625.2010.00618.x.pd

Toward food sovereignty for coastal communities of eastern Québec : co-designing a website to support consumption of edible resources from the St. Lawrence River, Estuary, and Gulf

Background. Despite the abundance and proximity of edible marine resources, coastal communities along the St. Lawrence in Eastern Québec rarely consume these resources. Within a community-based food sovereignty project, Manger notre Saint-Laurent (‘‘Sustenance from our St. Lawrence''), members of participating communities (3 nonIndigenous, 1 Indigenous) identified a need for a web-based decision tool to help make informed consumption choices. Methods. We thus aimed to co-design a prototype website that facilitates informed choices about consuming local edible marine resources based on seasonal and regional availability, food safety, nutrition, and sustainability, with community members, regional stakeholders, and experts in user experience design and web development. We conducted 48 interviews with a variety of people over 3 iterative cycles, assessing the prototype's ease of use with a validated measure, the System Usability Scale. Results. Community members, regional stakeholders, and other experts identified problematic elements in initial versions of the website (e.g., confusing symbols). We resolved issues and added features people identified as useful. Usability scores reached ‘‘best imaginable'' for both the second and the third versions and did not differ significantly between sociodemographic groups. The final prototype includes a tool to explore each species and index cards to regroup accurate evidence relevant to each species. Conclusions. Engaging co-designers with different sociodemographic characteristics brought together a variety of perspectives. Several components would not have been included without co-designers' input; other components were greatly improved thanks to their feedback. Co-design approaches in research and intervention development are preferable to foster the inclusion of a variety of people. Once the prototype is programmed and available online, we hope to evaluate the website to determine its effects on food choices

Clarifying Values: An updated review

Background: Consensus guidelines have recommended that decision aids include a process for helping patients clarify their values. We sought to examine the theoretical and empirical evidence related to the use of values clarification methods in patient decision aids. Methods: Building on the International Patient Decision Aid Standards (IPDAS) Collaboration's 2005 review of values clarification methods in decision aids, we convened a multi-disciplinary expert group to examine key definitions, decision-making process theories, and empirical evidence about the effects of values clarification methods in decision aids. To summarize the current state of theory and evidence about the role of values clarification methods in decision aids, we undertook a process of evidence review and summary. Results: Values clarification methods (VCMs) are best defined as methods to help patients think about the desirability of options or attributes of options within a specific decision context, in order to identify which option he/she prefers. Several decision making process theories were identified that can inform the design of values clarification methods, but no single "best" practice for how such methods should be constructed was determined. Our evidence review found that existing VCMs were used for a variety of different decisions, rarely referenced underlying theory for their design, but generally were well described in regard to their development process. Listing the pros and cons of a decision was the most common method used. The 13 trials that compared decision support with or without VCMs reached mixed results: some found that VCMs improved some decision-making processes, while others found no effect. Conclusions: Values clarification methods may improve decision-making processes and potentially more distal outcomes. However, the small number of evaluations of VCMs and, where evaluations exist, the heterogeneity in outcome measures makes it difficult to determine their overall effectiveness or the specific characteristics that increase effectiveness

A three-talk model for shared decision making: multistage consultation process

© 2017 The Authors. Published by BMJ. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1136/bmj.j4891Objectives To revise an existing three-talk model for learning how to achieve shared decision making, and to consult with relevant stakeholders to update and obtain wider engagement. Design Multistage consultation process. Setting Key informant group, communities of interest, and survey of clinical specialties. Participants 19 key informants, 153 member responses from multiple communities of interest, and 316 responses to an online survey from medically qualified clinicians from six specialties. Results After extended consultation over three iterations, we revised the three-talk model by making changes to one talk category, adding the need to elicit patient goals, providing a clear set of tasks for each talk category, and adding suggested scripts to illustrate each step. A new three-talk model of shared decision making is proposed, based on “team talk,” “option talk,” and “decision talk,” to depict a process of collaboration and deliberation. Team talk places emphasis on the need to provide support to patients when they are made aware of choices, and to elicit their goals as a means of guiding decision making processes. Option talk refers to the task of comparing alternatives, using risk communication principles. Decision talk refers to the task of arriving at decisions that reflect the informed preferences of patients, guided by the experience and expertise of health professionals. Conclusions The revised three-talk model of shared decision making depicts conversational steps, initiated by providing support when introducing options, followed by strategies to compare and discuss trade-offs, before deliberation based on informed preferences

Assessing the feasibility, acceptability, and fidelity of a tele-retinopathy-based intervention to encourage greater attendance to diabetic retinopathy screening in immigrants living with diabetes from China and African-Caribbean countries in Ottawa, Canada: a protocol

Background: Diabetic retinopathy is a leading cause of preventable blindness in Canada. Clinical guidelines recommend annual diabetic retinopathy screening for people living with diabetes to reduce the risk and progression of vision loss. However, many Canadians with diabetes do not attend screening. Screening rates are even lower in immigrants to Canada including people from China, Africa, and the Caribbean, and these groups are also at higher risk of developing diabetes complications. We aim to assess the feasibility, acceptability, and fidelity of a co-developed, linguistically and culturally tailored tele-retinopathy screening intervention for Mandarin-speaking immigrants from China and French-speaking immigrants from African-Caribbean countries living with diabetes in Ottawa, Canada, and identify how many from each population group attend screening during the pilot period. // Methods: We will work with our health system and patient partners to conduct a 6-month feasibility pilot of a tele-retinopathy screening intervention in a Community Health Centre in Ottawa. We anticipate recruiting 50–150 patients and 5–10 health care providers involved in delivering the intervention for the pilot. Acceptability will be assessed via a Theoretical Framework of Acceptability-informed survey with patients and health care providers. To assess feasibility, we will use a Theoretical Domains Framework-informed interview guide and to assess fidelity, and we will use a survey informed by the National Institutes of Health framework from the perspective of health care providers. We will also collect patient demographics (i.e., age, gender, ethnicity, health insurance status, and immigration information), screening outcomes (i.e., patients with retinopathy identified, patients requiring specialist care), patient costs, and other intervention-related variables such as preferred language. Survey data will be descriptively analyzed and qualitative data will undergo content analysis. // Discussion: This feasibility pilot study will capture how many people living with diabetes from each group attend the diabetic retinopathy screening, costs, and implementation processes for the tele-retinopathy screening intervention. The study will indicate the practicability and suitability of the intervention in increasing screening attendance in the target population groups. The study results will inform a patient-randomized trial, provide evidence to conduct an economic evaluation of the intervention, and optimize the community-based intervention

New genetic loci implicated in fasting glucose homeostasis and their impact on type 2 diabetes risk.

Levels of circulating glucose are tightly regulated. To identify new loci influencing glycemic traits, we performed meta-analyses of 21 genome-wide association studies informative for fasting glucose, fasting insulin and indices of beta-cell function (HOMA-B) and insulin resistance (HOMA-IR) in up to 46,186 nondiabetic participants. Follow-up of 25 loci in up to 76,558 additional subjects identified 16 loci associated with fasting glucose and HOMA-B and two loci associated with fasting insulin and HOMA-IR. These include nine loci newly associated with fasting glucose (in or near ADCY5, MADD, ADRA2A, CRY2, FADS1, GLIS3, SLC2A2, PROX1 and C2CD4B) and one influencing fasting insulin and HOMA-IR (near IGF1). We also demonstrated association of ADCY5, PROX1, GCK, GCKR and DGKB-TMEM195 with type 2 diabetes. Within these loci, likely biological candidate genes influence signal transduction, cell proliferation, development, glucose-sensing and circadian regulation. Our results demonstrate that genetic studies of glycemic traits can identify type 2 diabetes risk loci, as well as loci containing gene variants that are associated with a modest elevation in glucose levels but are not associated with overt diabetes

Understanding vaccine hesitancy in Canada: Results of a consultation study by the Canadian Immunization Research Network

"Vaccine hesitancy" is a concept now frequently used in vaccination discourse. The increased popularity of this concept in both academic and public health circles is challenging previously held perspectives that individual vaccination attitudes and behaviours are a simple dichotomy of accept or reject. A consultation study was designed to assess the opinions of experts and health professionals concerning the definition, scope, and causes of vaccine hesitancy in Canada. We sent online surveys to two panels (1- vaccination experts and 2- front-line vaccine providers). Two questionnaires were completed by each panel, with data from the first questionnaire informing the development of questions for the second. Our participants defined vaccine hesitancy as an attitude (doubts, concerns) as well as a behaviour (refusing some / many vaccines, delaying vaccination). Our findings also indicate that both vaccine experts and front-line vaccine providers have the perception that vaccine rates have been declining and consider vaccine hesitancy an important issue to address in Canada. Diffusion of negative information online and lack of knowledge about vaccines were identified as the key causes of vaccine hesitancy by the participants. A common understanding of vaccine hesitancy among researchers, public health experts, policy-makers and health care providers will better guide interventions that can more effectively address vaccine hesitancy within Canada