A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Stability of vortices in rotating taps: a 3d analysis

We study the stability of vortex-lines in trapped dilute gases subject to rotation. We solve numerically both the Gross-Pitaevskii and the Bogoliubov equations for a 3d condensate in spherically and cilyndrically symmetric stationary traps, from small to very large nonlinearities. In the stationary case it is found that the vortex states with unit and $m=2$ charge are energetically unstable. In the rotating trap it is found that this energetic instability may only be suppressed for the $m=1$ vortex-line, and that the multicharged vortices are never a local minimum of the energy functional, which implies that the absolute minimum of the energy is not an eigenstate of the $L_z$ operator, when the angular speed is above a certain value, $\Omega > \Omega_2$.Comment: 10 pages, 7 figures in EPS forma

Three-dimensional pattern formation, multiple homogeneous soft modes, and nonlinear dielectric electroconvection

Patterns forming spontaneously in extended, three-dimensional, dissipative systems are likely to excite several homogeneous soft modes ($\approx$ hydrodynamic modes) of the underlying physical system, much more than quasi one- and two-dimensional patterns are. The reason is the lack of damping boundaries. This paper compares two analytic techniques to derive the patten dynamics from hydrodynamics, which are usually equivalent but lead to different results when applied to multiple homogeneous soft modes. Dielectric electroconvection in nematic liquid crystals is introduced as a model for three-dimensional pattern formation. The 3D pattern dynamics including soft modes are derived. For slabs of large but finite thickness the description is reduced further to a two-dimensional one. It is argued that the range of validity of 2D descriptions is limited to a very small region above threshold. The transition from 2D to 3D pattern dynamics is discussed. Experimentally testable predictions for the stable range of ideal patterns and the electric Nusselt numbers are made. For most results analytic approximations in terms of material parameters are given.Comment: 29 pages, 2 figure

Evolving Objects in Temporal Information Systems

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e. DLRUS, the description logic DLR extended with the temporal operators Since and Until. We show how DLRUS is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models

Evolution of Wenger's concept of community of practice

<p>Abstract</p> <p>Background</p> <p>In the experience of health professionals, it appears that interacting with peers in the workplace fosters learning and information sharing. Informal groups and networks present good opportunities for information exchange. Communities of practice (CoPs), which have been described by Wenger and others as a type of informal learning organization, have received increasing attention in the health care sector; however, the lack of uniform operating definitions of CoPs has resulted in considerable variation in the structure and function of these groups, making it difficult to evaluate their effectiveness.</p> <p>Objective</p> <p>To critique the evolution of the CoP concept as based on the germinal work by Wenger and colleagues published between 1991 and 2002.</p> <p>Discussion</p> <p>CoP was originally developed to provide a template for examining the learning that happens among practitioners in a social environment, but over the years there have been important divergences in the focus of the concept. Lave and Wenger's earliest publication (1991) centred on the interactions between novices and experts, and the process by which newcomers create a professional identity. In the 1998 book, the focus had shifted to personal growth and the trajectory of individuals' participation within a group (i.e., peripheral versus core participation). The focus then changed again in 2002 when CoP was applied as a managerial tool for improving an organization's competitiveness.</p> <p>Summary</p> <p>The different interpretations of CoP make it challenging to apply the concept or to take full advantage of the benefits that CoP groups may offer. The tension between satisfying individuals' needs for personal growth and empowerment versus an organization's bottom line is perhaps the most contentious of the issues that make CoPs difficult to cultivate. Since CoP is still an evolving concept, we recommend focusing on optimizing specific characteristics of the concept, such as support for members interacting with each other, sharing knowledge, and building a sense of belonging within networks/teams/groups. Interventions that facilitate relationship building among members and that promote knowledge exchange may be useful for optimizing the function of these groups.</p

Short term effects of exercise training on exercise capacity and quality of life in patients with pulmonary arterial hypertension: protocol for a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Advances in the understanding and management of pulmonary arterial hypertension have enabled earlier diagnosis and improved prognosis. However, despite best available therapy, symptoms of exertional dyspnoea and fatigue are commonly reported and result in a reduced capacity to perform daily activities and impaired quality of life. Exercise training has demonstrated efficacy in individuals with other respiratory and cardiovascular diseases. Historically, however, exercise training has not been utilised as a form of therapy in pulmonary arterial hypertension due to the perceived risk of sudden cardiac death and the theoretical possibility that exercise would lead to worsening pulmonary vascular haemodynamics and deterioration in right heart function. Now, with the advances in pharmaceutical management, determining the safety and benefits of exercise training in this population has become more relevant. Only three studies of supervised exercise training in pulmonary arterial hypertension have been published. These studies demonstrated improvements in exercise capacity and quality of life, in the absence of adverse events or clinical deterioration. However, these studies have not utilised an outpatient-based, whole body exercise training program, the most common format for exercise programs within Australia. It is uncertain whether this form of training is beneficial and capable of producing sustained benefits in exercise capacity and quality of life in this population.</p> <p>Design/Methods</p> <p>This randomised controlled trial will determine whether a 12 week, outpatient-based, supervised, whole body exercise training program, followed by a home-based exercise program, is safe and improves exercise capacity and quality of life in individuals with pulmonary arterial hypertension. This study aims to recruit 34 subjects who will be randomly allocated to the exercise group (supervised exercise training 3 times a week for 12 weeks, followed by 3 sessions per week of home exercise for 12 weeks) or the control group (usual medical care). Subjects will be assessed at baseline, 12 weeks and 24 weeks.</p> <p>Discussion</p> <p>This study will determine whether outpatient-based, whole body exercise training is beneficial and safe in individuals with pulmonary arterial hypertension. Additionally, this study will contribute to clinical practice guidelines for this patient population.</p> <p>Trial registration</p> <p>Australia and New Zealand Clinical Trials Register (ANZCTR): <a href="http://www.anzctr.org.au/ACTRN12609000502235.aspx">ACTRN12609000502235</a></p

Conceptual and practical challenges for implementing the communities of practice model on a national scale - a Canadian cancer control initiative

<p>Abstract</p> <p>Background</p> <p>Cancer program delivery, like the rest of health care in Canada, faces two ongoing challenges: to coordinate a pan-Canadian approach across complex provincial jurisdictions, and to facilitate the rapid translation of knowledge into clinical practice. Communities of practice, or CoPs, which have been described by Etienne Wenger as a collaborative learning platform, represent a promising solution to these challenges because they rely on bottom-up rather than top-down social structures for integrating knowledge and practice across regions and agencies. The communities of practice model has been realized in the corporate (e.g., Royal Dutch Shell, Xerox, IBM, etc) and development (e.g., World Bank) sectors, but its application to health care is relatively new. The Canadian Partnership Against Cancer (CPAC) is exploring the potential of Wenger's concept in the Canadian health care context. This paper provides an in-depth analysis of Wenger's concept with a focus on its applicability to the health care sector.</p> <p>Discussion</p> <p>Empirical studies and social science theory are used to examine the utility of Wenger's concept. Its value lies in emphasizing learning from peers and through practice in settings where innovation is valued. Yet the communities of practice concept lacks conceptual clarity because Wenger defines it so broadly and sidelines issues of decision making within CoPs. We consider the implications of his broad definition to establishing an informed nomenclature around this specific type of collaborative group. The CoP Project under CPAC and communities of practice in Canadian health care are discussed.</p> <p>Summary</p> <p>The use of communities of practice in Canadian health care has been shown in some instances to facilitate quality improvements, encourage buy in among participants, and generate high levels of satisfaction with clinical leadership and knowledge translation among participating physicians. Despite these individual success stories, more information is required on how group decisions are made and applied to the practice world in order to leverage the potential of Wenger's concept more fully, and advance the science of knowledge translation within an accountability framework.</p

Sticky knowledge: A possible model for investigating implementation in healthcare contexts

<p>Abstract</p> <p>Background</p> <p>In health care, a well recognized gap exists between what we know should be done based on accumulated evidence and what we actually do in practice. A body of empirical literature shows organizations, like individuals, are difficult to change. In the business literature, knowledge management and transfer has become an established area of theory and practice, whilst in healthcare it is only starting to establish a firm footing. Knowledge has become a business resource, and knowledge management theorists and practitioners have examined how knowledge moves in organisations, how it is shared, and how the return on knowledge capital can be maximised to create competitive advantage. New models are being considered, and we wanted to explore the applicability of one of these conceptual models to the implementation of evidence-based practice in healthcare systems.</p> <p>Methods</p> <p>The application of a conceptual model called sticky knowledge, based on an integration of communication theory and knowledge transfer milestones, into a scenario of attempting knowledge transfer in primary care.</p> <p>Results</p> <p>We describe Szulanski's model, the empirical work he conducted, and illustrate its potential applicability with a hypothetical healthcare example based on improving palliative care services. We follow a doctor through two different posts and analyse aspects of knowledge transfer in different primary care settings. The factors included in the sticky knowledge model include: causal ambiguity, unproven knowledge, motivation of source, credibility of source, recipient motivation, recipient absorptive capacity, recipient retentive capacity, barren organisational context, and arduous relationship between source and recipient. We found that we could apply all these factors to the difficulty of implementing new knowledge into practice in primary care settings.</p> <p>Discussion</p> <p>Szulanski argues that knowledge factors play a greater role in the success or failure of a knowledge transfer than has been suspected, and we consider that this conjecture requires further empirical work in healthcare settings.</p

Bayesian Probability and Statistics in Management Research: A New Horizon

This special issue is focused on how a Bayesian approach to estimation, inference, and reasoning in organizational research might supplement—and in some cases supplant—traditional frequentist approaches. Bayesian methods are well suited to address the increasingly complex phenomena and problems faced by 21st-century researchers and organizations, where very complex data abound and the validity of knowledge and methods are often seen as contextually driven and constructed. Traditional modeling techniques and a frequentist view of probability and method are challenged by this new reality

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