Defining a formal coalgebraic semantics for the rosetta specification language

Rosetta is a systems level design language that allows algebraic specification of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra, to do so. Coalgebras are particularly suited for describing state-based systems. This makes formally defining state-based Rosetta quite straightforward. For non-state-based Rosetta, the formalization is not as direct, but can still be done with coalgebras by focusing on the behaviors of systems specified. We use denotational semantics to map Rosetta syntactic constructs into a language understood by the coalgebras.Cindy Kong and Perry Alexander, Catherine Meno

Defining a formal coalgebraic semantics for the rosetta specification language

This is the published version. Copyright 2003 Graz University of Technology, Institut für Informationssysteme und Computer MedienRosetta is a systems level design language that allows algebraic specification of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra, to do so. Coalgebras are particularly suited for describing state-based systems. This makes formally defining state-based Rosetta quite straightforward. For non-state-based Rosetta, the formalization is not as direct, but can still be done with coalgebras by focusing on the behaviors of systems specified. We use denotational semantics to map Rosetta syntactic constructs into a language understood by the coalgebras

Trends in Prescribing Oral Anticoagulants in Canada, 2008–2014

AbstractPurposeThe non–vitamin K antagonist oral anticoagulants (NOACs), dabigatran, rivaroxaban, and apixaban, provide several advantages over vitamin K antagonists, such as warfarin. Little is known about the trends of prescribing OACs in Canada. In this study we analyzed changes in prescription volumes for OAC drugs since the introduction of the NOACs in Canada overall, by province and by physician specialty.MethodsCanadian prescription volumes for warfarin, dabigatran, rivaroxaban, and apixaban from January 2008 to June 2014 were obtained from the Canadian Compuscript Audit of IMS Health Canada Inc and were analyzed by physician specialty at the national and provincial levels. Total prescriptions by indication were calculated based on data from the Canadian Disease and Therapeutic Index for all OAC indications and for each commonly prescribed dose of dabigatran (75, 110, and 150 mg), rivaroxaban (10, 15, and 20 mg), and apixaban (2.5 and 5 mg).FindingsThe overall number of OAC prescriptions in Canada has increased annually since 2008. With the availability of the NOACs, the proportion of total OAC prescriptions attributable to warfarin has steadily decreased, from 99% in 2010 to 67% by June 2014, and the absolute number of warfarin prescriptions has been decreasing since February 2011. The greatest decline in proportionate warfarin prescriptions was in Ontario. In general, the increase of NOAC prescriptions coincided with the introduction of provinces’ reimbursement of NOAC prescription costs. The proportion of total OAC prescriptions represented by the NOACs varied by specialty, with the greatest proportionate prescribing found among orthopedic surgeons, cardiologists, and neurologists.ImplicationsSince their approval, the NOACs have represented a growing share of total OAC prescriptions in Canada. This trend is expected to continue because the NOACs are given preference over warfarin in guidelines on stroke prevention in patients with atrial fibrillation, because of growing physician experience, and due to the emergence of potential new indications. An understanding of the current prescribing patterns will help to encourage knowledge translation and possibly influence policy/reimbursement strategies

A qualitative study of the views of patients with long-term conditions on family doctors in Hong Kong

<b>Background</b> Primary care based management of long-term conditions (LTCs) is high on the international healthcare agenda, including the Asia-Pacific region. Hong Kong has a 'mixed economy' healthcare system with both public and private sectors with a range of types of primary care doctors. Recent Hong Kong Government policy aims to enhance the management of LTCs in primary care possibly based on a 'family doctor' model. Patients' views on this are not well documented and the aim of the present study was to explore the views of patients with LTCs on family doctors in Hong Kong.<p></p> <b>Methods</b> The views of patients (with a variety of LTCs) on family doctors in Hong Kong were explored. Two groups of participants were interviewed; a) those who considered themselves as having a family doctor, b) those who considered themselves as not having a family doctor (either with a regular primary care doctor but not a family doctor or with no regular primary care doctor). In-depth individual semi-structured interviews were carried out with 28 participants (10 with a family doctor, 10 with a regular doctor, and 8 with no regular doctor) and analysed using the constant comparative method.<p></p> <b>Results</b> Participants who did not have a family doctor were familiar with the concept but regarded it as a 'luxury item' for the rich within the private healthcare system. Those with a regular family doctor (all private) regarded having one as important to their and their family's health. Participants in both groups felt that as well as the more usual family medicine specialist or general practitioner, traditional Chinese medicine practitioners also had the potential to be family doctors. However most participants attended the public healthcare system for management of their LTCs whether they had a family doctor or not. Cost, perceived need, quality, trust, and choice were all barriers to the use of family doctors for the management of their LTCs.<p></p> <b>Conclusions</b> Important barriers to the adoption of a 'family doctor' model of management of LTCs exist in Hong Kong. Effective policy implementation seems unlikely unless these complex barriers are addressed

Envelope Deglycosylation Enhances Antigenicity of HIV-1 gp41 Epitopes for Both Broad Neutralizing Antibodies and Their Unmutated Ancestor Antibodies

The HIV-1 gp41 envelope (Env) membrane proximal external region (MPER) is an important vaccine target that in rare subjects can elicit neutralizing antibodies. One mechanism proposed for rarity of MPER neutralizing antibody generation is lack of reverted unmutated ancestor (putative naive B cell receptor) antibody reactivity with HIV-1 envelope. We have studied the effect of partial deglycosylation under non-denaturing (native) conditions on gp140 Env antigenicity for MPER neutralizing antibodies and their reverted unmutated ancestor antibodies. We found that native deglycosylation of clade B JRFL gp140 as well as group M consensus gp140 Env CON-S selectively increased the reactivity of Env with the broad neutralizing human mAbs, 2F5 and 4E10. Whereas fully glycosylated gp140 Env either did not bind (JRFL), or weakly bound (CON-S), 2F5 and 4E10 reverted unmutated ancestors, natively deglycosylated JRFL and CON-S gp140 Envs did bind well to these putative mimics of naive B cell receptors. These data predict that partially deglycoslated Env would bind better than fully glycosylated Env to gp41-specific naïve B cells with improved immunogenicity. In this regard, immunization of rhesus macaques demonstrated enhanced immunogenicity of the 2F5 MPER epitope on deglyosylated JRFL gp140 compared to glycosylated JRFL gp140. Thus, the lack of 2F5 and 4E10 reverted unmutated ancestor binding to gp140 Env may not always be due to lack of unmutated ancestor antibody reactivity with gp41 peptide epitopes, but rather, may be due to glycan interference of binding of unmutated ancestor antibodies of broad neutralizing mAb to Env gp41

Cyberspace and gay rights in a digital China: queer documentary filmmaking under state censorship

Owing to China’s austere censorship regulations on film media, directors of films and documentaries engaging with lesbian, gay, bisexual and transgender themes have struggled to bring their work to domestic attention. Working outside of the state-funded Chinese film industry has become necessary for these directors to commit their narratives to film, but without approval of China’s State Administration of Press, Publication, Radio, Film and Television, these artists have had little chance of achieving widespread domestic distribution of their work. However, advancements in new media technology and Web 2.0, ranging from digital video formats to Internet-based distribution via social media networks and video-hosting platforms, provide opportunities for Chinese audiences to access films and documentaries dealing with LGBT themes. This empirical study assesses how production, promotion and consumption of queer documentary films are influenced by the development of social media within Chinese cyberspace. Through close readings of microblogs from Sina Weibo this study combines analysis of contemporary research with digital social rights activism to illustrate contemporary discourse regarding film-based LGBT representation in China. Finally, the study comments on the role that documentary filmmaking plays in China’s gay rights movement, and discusses the rewards (and challenges) associated with increased levels of visibility within society

Impact of opioid-free analgesia on pain severity and patient satisfaction after discharge from surgery: multispecialty, prospective cohort study in 25 countries

Background: Balancing opioid stewardship and the need for adequate analgesia following discharge after surgery is challenging. This study aimed to compare the outcomes for patients discharged with opioid versus opioid-free analgesia after common surgical procedures.Methods: This international, multicentre, prospective cohort study collected data from patients undergoing common acute and elective general surgical, urological, gynaecological, and orthopaedic procedures. The primary outcomes were patient-reported time in severe pain measured on a numerical analogue scale from 0 to 100% and patient-reported satisfaction with pain relief during the first week following discharge. Data were collected by in-hospital chart review and patient telephone interview 1 week after discharge.Results: The study recruited 4273 patients from 144 centres in 25 countries; 1311 patients (30.7%) were prescribed opioid analgesia at discharge. Patients reported being in severe pain for 10 (i.q.r. 1-30)% of the first week after discharge and rated satisfaction with analgesia as 90 (i.q.r. 80-100) of 100. After adjustment for confounders, opioid analgesia on discharge was independently associated with increased pain severity (risk ratio 1.52, 95% c.i. 1.31 to 1.76; P < 0.001) and re-presentation to healthcare providers owing to side-effects of medication (OR 2.38, 95% c.i. 1.36 to 4.17; P = 0.004), but not with satisfaction with analgesia (beta coefficient 0.92, 95% c.i. -1.52 to 3.36; P = 0.468) compared with opioid-free analgesia. Although opioid prescribing varied greatly between high-income and low- and middle-income countries, patient-reported outcomes did not.Conclusion: Opioid analgesia prescription on surgical discharge is associated with a higher risk of re-presentation owing to side-effects of medication and increased patient-reported pain, but not with changes in patient-reported satisfaction. Opioid-free discharge analgesia should be adopted routinely

Finishing the euchromatic sequence of the human genome

The sequence of the human genome encodes the genetic instructions for human physiology, as well as rich information about human evolution. In 2001, the International Human Genome Sequencing Consortium reported a draft sequence of the euchromatic portion of the human genome. Since then, the international collaboration has worked to convert this draft into a genome sequence with high accuracy and nearly complete coverage. Here, we report the result of this finishing process. The current genome sequence (Build 35) contains 2.85 billion nucleotides interrupted by only 341 gaps. It covers ∼99% of the euchromatic genome and is accurate to an error rate of ∼1 event per 100,000 bases. Many of the remaining euchromatic gaps are associated with segmental duplications and will require focused work with new methods. The near-complete sequence, the first for a vertebrate, greatly improves the precision of biological analyses of the human genome including studies of gene number, birth and death. Notably, the human enome seems to encode only 20,000-25,000 protein-coding genes. The genome sequence reported here should serve as a firm foundation for biomedical research in the decades ahead