A note on reactive transitions and Reo connectors

The structure of a reactive transition system can to be modi ed on the y by e.g. removing, reversing or adding new transitions. The topic has been studied by D. Gabbay and his collaborators in di erent contexts. In this paper we take their work a step further, introducing a suitable notion of bisimulation and obtaining a Hennessy-Milner theorem with respect to a hybrid logic in which transition properties can be expressed. Our motivation is to provide a characterisation of equivalence for such systems in order to exploit their possible roles in the formal description of software connectors in Reo, either from a behavioural (semantic) or spatial (syntactic) point of view.“SmartEGOV/NORTE-01-0145-FEDER-000037”, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (EFDR). Additional support was provided by the European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project UID/MAT/04106/2013 at CIDMA. The first author is also supported by an Individual Doctoral Grant (reference number PD/BD/114186/2016

A powerful intervention: general practitioners' use of sickness certification in depression

<b>Background</b> Depression is frequently cited as the reason for sickness absence, and it is estimated that sickness certificates are issued in one third of consultations for depression. Previous research has considered GP views of sickness certification but not specifically in relation to depression. This study aimed to explore GPs views of sickness certification in relation to depression.<p></p> <b>Methods</b> A purposive sample of GP practices across Scotland was selected to reflect variations in levels of incapacity claimants and antidepressant prescribing. Qualitative interviews were carried out between 2008 and 2009.<p></p> <b>Results</b> A total of 30 GPs were interviewed. A number of common themes emerged including the perceived importance of GP advocacy on behalf of their patients, the tensions between stakeholders involved in the sickness certification system, the need to respond flexibly to patients who present with depression and the therapeutic nature of time away from work as well as the benefits of work. GPs reported that most patients with depression returned to work after a short period of absence and that it was often difficult to predict which patients would struggle to return to work.<p></p> <b>Conclusions</b> GPs reported that dealing with sickness certification and depression presents distinct challenges. Sickness certificates are often viewed as powerful interventions, the effectiveness of time away from work for those with depression should be subject to robust enquiry

Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations

Aldose reductase in the BB rat: isolation, immunological identification and localization in the retina and peripheral nerve

Aldose reductase was purified from testis of nondiabetic BB rats using DEAE cellulose, hydroxylapatite and sephadex G-100 column chromatography. The molecular weight of the isolated enzyme was found to be 36,500±1000. Antibody against the isolated enzyme was raised in rabbits. It was purified by affinity chromatography, characterised by double immunodiffusion and Western blot analysis and used to localize the enzyme in retina and in peripheral nerve of the BB rat. In the retina, aldose reductase immunoreactivity was seen in the ganglion cells, Müller cell processes, retinal pigment epithelium and in the pericytes and endothelial cells of retinal capillaries. In peripheral nerve, aldose reductase immunoreactivity was found in the paranodal cytoplasm of Schwann cells and in pericytes and endothelial cells of endoneurial capillaries.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46019/1/125_2004_Article_BF00270423.pd

How and why are communities of practice established in the healthcare sector? A systematic review of the literature

Background: Communities of Practice (CoPs) are promoted in the healthcare sector as a means of generating and sharing knowledge and improving organisational performance. However CoPs vary considerably in the way they are structured and operate in the sector. If CoPs are to be cultivated to benefit healthcare organisations, there is a need to examine and understand their application to date. To this end, a systematic review of the literature on CoPs was conducted, to examine how and why CoPs have been established and whether they have been shown to improve healthcare practice. Methods. Peer-reviewed empirical research papers on CoPs in the healthcare sector were identified by searching electronic health-databases. Information on the purpose of establishing CoPs, their composition, methods by which members communicate and share information or knowledge, and research methods used to examine effectiveness was extracted and reviewed. Also examined was evidence of whether or not CoPs led to a change in healthcare practice. Results: Thirty-one primary research papers and two systematic reviews were identified and reviewed in detail. There was a trend from descriptive to evaluative research. The focus of CoPs in earlier publications was on learning and exchanging information and knowledge, whereas in more recently published research, CoPs were used more as a tool to improve clinical practice and to facilitate the implementation of evidence-based practice. Means by which members communicated with each other varied, but in none of the primary research studies was the method of communication examined in terms of the CoP achieving its objectives. Researchers are increasing their efforts to assess the effectiveness of CoPs in healthcare, however the interventions have been complex and multifaceted, making it difficult to directly attribute the change to the CoP. Conclusions: In keeping with Wenger and colleagues' description, CoPs in the healthcare sector vary in form and purpose. While researchers are increasing their efforts to examine the impact of CoPs in healthcare, cultivating CoPs to improve healthcare performance requires a greater understanding of how to establish and support CoPs to maximise their potential to improve healthcare

Detection of the pandemic norovirus variant GII.4 Sydney 2012 in Rio Branco, state of Acre, northern Brazil

Noroviruses (NoVs) are important cause of gastroenteritis in humans worldwide. Genotype GII.4 is responsible for the majority of outbreaks reported to date. This study describes, for the first time in Brazil, the circulation of NoV GII.4 variant Sydney 2012 in faecal samples collected from children aged less than or equal to eight years in Rio Branco, state of Acre, northern Brazil, during July-September 2012

Bovine pericardium retail preserved in glutaraldehyde and used as a vascular patch

<p>Abstract</p> <p>Background</p> <p>In this study we evaluated the performance of bovine pericardium preserved in glutaraldehyde used as a vascular patch.</p> <p>Methods</p> <p>Fourteen young pigs, six females and eight males, weighting 10.3 - 18.4 kg were used in our study. We implanted three remnants in each pig, two in the abdominal aorta and one was juxtaposed to the peritoneum. The smooth face (SF) and rough face (RF) of each remnant were implanted turned to the vessel inner portion and one remnant was juxtaposed to the peritoneum. The animals were sacrificed in 4.5 - 8 months after surgery (75 - 109 kg). The remnants were assessed for aorta wall, fibroses formation in inner apposition and calcification related to the face turned to the vessel inner portion.</p> <p>Results</p> <p>The rough face showed a lower dilatation level compared to the face implanted in adjacent aorta. There was no difference between intensity and/or incidence of graft calcification when the superficies were compared. The bovine pericardium preserved in glutaraldehyde did not show alterations in its structure when implanted with different faces turned to the inner portion of vessel.</p> <p>Conclusion</p> <p>When turned to the inner portion of the vessel, the rough face of the remnant presented a lower dilatation in relation to the adjacent aorta and a better quality of endothelium layer and did not show a difference between intensity and/or incidence of graft calcification.</p

Synergizing expectation and execution for stroke communities of practice innovations

<p>Abstract</p> <p>Background</p> <p>Regional networks have been recognized as an interesting model to support interdisciplinary and inter-organizational interactions that lead to meaningful care improvements. Existing communities of practice within the a regional network, the Montreal Stroke Network (MSN) offers a compelling structure to better manage the exponential growth of knowledge and to support care providers to better manage the complex cases they must deal with in their practices. This research project proposes to examine internal and external factors that influence individual and organisational readiness to adopt national stroke best practices and to assess the impact of an e-collaborative platform in facilitating knowledge translation activities.</p> <p>Methods</p> <p>We will develop an e-collaborative platform that will include various social networking and collaborative tools. We propose to create online brainstorming sessions ('jams') around each best practice recommendation. Jam postings will be analysed to identify emergent themes. Syntheses of these analyses will be provided to members to help them identify priority areas for practice change. Discussions will be moderated by clinical leaders, whose role will be to accelerate crystallizing of ideas around 'how to' implement selected best practices. All clinicians (~200) involved in stroke care among the MSN will be asked to participate. Activities during face-to-face meetings and on the e-collaborative platform will be documented. Content analysis of all activities will be performed using an observation grid that will use as outcome indicators key elements of communities of practice and of the knowledge creation cycle developed by Nonaka. Semi-structured interviews will be conducted among users of the e-collaborative platform to collect information on variables of the knowledge-to-action framework. All participants will be asked to complete three questionnaires: the typology questionnaire, which classifies individuals into one of four mutually exclusive categories of information seeking; the e-health state of readiness, which covers ten domains of the readiness to change; and a community of practice evaluation survey.</p> <p>Summary</p> <p>This project is expected to enhance our understanding of collaborative work across disciplines and organisations in accelerating implementation of best practices along the continuum of care, and how e-technologies influence access, sharing, creation, and application of knowledge.</p