808 research outputs found
Investigation of DC-8 nacelle modifications to reduce fan-compressor noise in airport communities. Part 5 - Economic implications of retrofit Technical report, May 1967 - Oct. 1969
Economic impact of modifications to DC-8 aircraft nacelles to reduce fan-compressor noise - Part
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames
Comparison of retinal vasodilator and constrictor responses in type 2 diabetes
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/93551/1/j.1755-3768.2012.02445.x.pd
Impaired retinal vasodilator responses in prediabetes and type 2 diabetes
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/99677/1/aos12129.pd
Sharing best practices through online communities of practice: a case study
<p>Abstract</p> <p>Introduction</p> <p>The USAID-funded Capacity Project established the Global Alliance for Pre-Service Education (GAPS) to provide an online forum to discuss issues related to teaching and acquiring competence in family planning, with a focus on developing countries' health related training institutions. The success of the Global Alliance for Nursing and Midwifery's ongoing web-based community of practice (CoP) provided a strong example of the successful use of this medium to reach many participants in a range of settings.</p> <p>Case description</p> <p>GAPS functioned as a moderated set of forums that were analyzed by a small group of experts in family planning and pre-service education from three organizations. The cost of the program included the effort provided by the moderators and the time to administer responses and conduct the analysis.</p> <p>Discussion and evaluation</p> <p>Family planning is still considered a minor topic in health related training institutions. Rather than focusing solely on family planning competencies, GAPS members suggested a focus on several professional competencies (e.g. communication, leadership, cultural sensitivity, teamwork and problem solving) that would enhance the resulting health care graduate's ability to operate in a complex health environment. Resources to support competency-based education in the academic setting must be sufficient and appropriately distributed. Where clinical competencies are incorporated into pre-service education, responsible faculty and preceptors must be clinically proficient. The interdisciplinary GAPS memberships allowed for a comparison and contrast of competencies, opportunities, promising practices, documents, lessons learned and key teaching strategies.</p> <p>Conclusions</p> <p>Online CoPs are a useful interface for connecting developing country experiences. From CoPs, we may uncover challenges and opportunities that are faced in the absorption of key public health competencies required for decreasing maternal mortality and morbidity. Use of the World Health Organization (WHO) Implementing Best Practices Knowledge Gateway, which requires only a low bandwidth connection, gave educators an opportunity to engage in the discussion even in the most Internet access-restricted places (e.g. Ethiopia). In order to sustain an online CoP, funds must come from an international organization (e.g. WHO regional office) or university that can program the costs long-term. Eventually, the long-term effectiveness and sustainability of GAPS rests on its transfer to the members themselves.</p
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 charge are
energetically unstable. In the rotating trap it is found that this energetic
instability may only be suppressed for the 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
operator, when the angular speed is above a certain value, .Comment: 10 pages, 7 figures in EPS forma
Multiorgan impairment in low-risk individuals with post-COVID-19 syndrome: a prospective, community-based study
OBJECTIVE: To assess medium-term organ impairment in symptomatic individuals following recovery from acute SARS-CoV-2 infection. DESIGN: Baseline findings from a prospective, observational cohort study. SETTING: Community-based individuals from two UK centres between 1 April and 14 September 2020. PARTICIPANTS: Individuals ≥18 years with persistent symptoms following recovery from acute SARS-CoV-2 infection and age-matched healthy controls. INTERVENTION: Assessment of symptoms by standardised questionnaires (EQ-5D-5L, Dyspnoea-12) and organ-specific metrics by biochemical assessment and quantitative MRI. MAIN OUTCOME MEASURES: Severe post-COVID-19 syndrome defined as ongoing respiratory symptoms and/or moderate functional impairment in activities of daily living; single-organ and multiorgan impairment (heart, lungs, kidneys, liver, pancreas, spleen) by consensus definitions at baseline investigation. RESULTS: 201 individuals (mean age 45, range 21-71 years, 71% female, 88% white, 32% healthcare workers) completed the baseline assessment (median of 141 days following SARS-CoV-2 infection, IQR 110-162). The study population was at low risk of COVID-19 mortality (obesity 20%, hypertension 7%, type 2 diabetes 2%, heart disease 5%), with only 19% hospitalised with COVID-19. 42% of individuals had 10 or more symptoms and 60% had severe post-COVID-19 syndrome. Fatigue (98%), muscle aches (87%), breathlessness (88%) and headaches (83%) were most frequently reported. Mild organ impairment was present in the heart (26%), lungs (11%), kidneys (4%), liver (28%), pancreas (40%) and spleen (4%), with single-organ and multiorgan impairment in 70% and 29%, respectively. Hospitalisation was associated with older age (p=0.001), non-white ethnicity (p=0.016), increased liver volume (p<0.0001), pancreatic inflammation (p<0.01), and fat accumulation in the liver (p<0.05) and pancreas (p<0.01). Severe post-COVID-19 syndrome was associated with radiological evidence of cardiac damage (myocarditis) (p<0.05). CONCLUSIONS: In individuals at low risk of COVID-19 mortality with ongoing symptoms, 70% have impairment in one or more organs 4 months after initial COVID-19 symptoms, with implications for healthcare and public health, which have assumed low risk in young people with no comorbidities. TRIAL REGISTRATION NUMBER: NCT04369807; Pre-results
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
Implementing health research through academic and clinical partnerships : a realistic evaluation of the Collaborations for Leadership in Applied Health Research and Care (CLAHRC)
Background: The English National Health Service has made a major investment in nine partnerships between
higher education institutions and local health services called Collaborations for Leadership in Applied Health
Research and Care (CLAHRC). They have been funded to increase capacity and capability to produce and
implement research through sustained interactions between academics and health services. CLAHRCs provide a
natural ‘test bed’ for exploring questions about research implementation within a partnership model of delivery.
This protocol describes an externally funded evaluation that focuses on implementation mechanisms and
processes within three CLAHRCs. It seeks to uncover what works, for whom, how, and in what circumstances.
Design and methods: This study is a longitudinal three-phase, multi-method realistic evaluation, which
deliberately aims to explore the boundaries around knowledge use in context. The evaluation funder wishes to see
it conducted for the process of learning, not for judging performance. The study is underpinned by a conceptual
framework that combines the Promoting Action on Research Implementation in Health Services and Knowledge to
Action frameworks to reflect the complexities of implementation. Three participating CLARHCS will provide indepth
comparative case studies of research implementation using multiple data collection methods including
interviews, observation, documents, and publicly available data to test and refine hypotheses over four rounds of
data collection. We will test the wider applicability of emerging findings with a wider community using an
interpretative forum.
Discussion: The idea that collaboration between academics and services might lead to more applicable health
research that is actually used in practice is theoretically and intuitively appealing; however the evidence for it is
limited. Our evaluation is designed to capture the processes and impacts of collaborative approaches for
implementing research, and therefore should contribute to the evidence base about an increasingly popular (e.g.,
Mode two, integrated knowledge transfer, interactive research), but poorly understood approach to knowledge
translation. Additionally we hope to develop approaches for evaluating implementation processes and impacts
particularly with respect to integrated stakeholder involvement
Multicentre randomised placebo-controlled trial of oral anticoagulation with apixaban in systemic sclerosis-related pulmonary arterial hypertension: the SPHInX study protocol
Introduction: Systemic sclerosis (SSc) is a severe and costly multiorgan autoimmune connective tissue disease characterised by vasculopathy and fibrosis. One of the major causes of SSc-related death is pulmonary arterial hypertension (PAH), which develops in 12–15% of patients with SSc and accounts for 30– 40% of deaths. In situ thrombosis in the small calibre peripheral pulmonary vessels resulting from endothelial dysfunction and an imbalance of anticoagulant and prothrombotic mediators has been implicated in the complex pathophysiology of SSc-related PAH (SSc- PAH), with international clinical guidelines recommending the use of anticoagulants for some types of PAH, such as idiopathic PAH. However, anticoagulation has not become part of standard clinical care for patients with SSc-PAH as only observational evidence exists to support its use. Therefore, we present the rationale and methodology of a phase III randomised controlled trial (RCT) to evaluate the efficacy, safety and cost-effectiveness of anticoagulation in SSc-PAH. Methods and analysis: This Australian multicentre RCT will compare 2.5 mg apixaban with placebo, in parallel treatment groups randomised in a 1:1 ratio, both administered twice daily for 3 years as adjunct therapy to stable oral PAH therapy. The composite primary outcome measure will be the time to death or clinical worsening of PAH. Secondary outcomes will include functional capacity, health-related quality of life measures and adverse events. A cost-effectiveness analysis of anticoagulation versus placebo will also be undertaken. Ethics and dissemination: Ethical approval for this RCT has been granted by the Human Research Ethics Committees of all participating centres. An independent data safety monitoring board will review safety and tolerability data for the duration of the trial. The findings of this RCT are to be published in open access journals.Alicia Calderone, Wendy Stevens, David Prior, Harshal Nandurkar, Eli Gabbay, Susanna M Proudman, Trevor Williams, David Celermajer, Joanne Sahhar, Peter K K Wong, Vivek Thakkar, Nathan Dwyer, Jeremy Wrobel, Weng Chin, Danny Liew, Margaret Staples, Rachelle Buchbinder, Mandana Nikpou
- …