نتایج جستجو برای: unification of goals
تعداد نتایج: 21169357 فیلتر نتایج به سال:
IMPORTANCE Seriously ill hospitalized patients have identified communication and decision making about goals of care as high priorities for quality improvement in end-of-life care. Interventions to improve care are more likely to succeed if tailored to existing barriers. OBJECTIVE To determine, from the perspective of hospital-based clinicians, (1) barriers impeding communication and decision...
Restructured health care reimbursement systems and new requirements for nonprofit hospitals are transforming the U.S. health system, creating opportunities for enhanced integration of public health and health care goals. This article explores the role of public health practitioners and lawyers in this moment of transformation. We argue that the population perspective and structural strategies t...
Theoretical Unification in Justice and Beyond The goal of scientific work is to understand more and more by less and less. In this effort, theoretical unification plays a large part. There are two main types of theoretical unification – unification of different theories of the same field of phenomena and unification of theories of different fields of phenomena. Both types are usually a surprise...
By replacing syntactical unification with rigid E-unification, equality handling can be added to rigid variable calculi for first-order logic, including free variable tableau (Fitting, 1996), the mating method (Andrews, 1981), the connection method (Bibel, 1982), and model elimination (Loveland, 1969); for an overview of these calculi, see Chapters I.1.1 and I.1.2. Rigid E-unification and its s...
By replacing syntactical unification with rigid E-unification, equality handling can be added to rigid variable calculi for first-order logic, including free variable tableau (Fitting, 1996), the mating method (Andrews, 1981), the connection method (Bibel, 1982), and model elimination (Loveland, 1969); for an overview of these calculi, see Chapters I.1.1 and I.1.2. Rigid E-unification and its s...
Graph unification is the most expensive part of unification-based grammar parsing. It often takes over 90% of the total parsing time of a sentence. We focus on two speed-up elements in the design of unification algorithms: 1) elimination of excessive copying by only copying successful unifications, 2) Finding unification failures as soon as possible. We have developed a scheme to attain these t...
Nominal unification is an extension of first-order unification that takes into account the α-equivalence relation generated by binding operators, following the nominal approach. We propose a sound and complete procedure for nominal unification with commutative operators, or nominal C-unification for short, which has been formalised in Coq. The procedure transforms nominal C-unification problems...
BACKGROUND Isolation-based practices in nursing homes (NHs) differ from those in acute care. NHs must promote quality of life while preventing infection transmission. Practices used in NHs to reconcile these goals of care have not been characterised. PURPOSE To explore decision-making in isolation-based infection prevention and control practices in NHs. METHODS A qualitative study was condu...
INTRODUCTION Professional sports injuries are usually all dealt with at one single operation to return the player to the sport after appropriate rehabilitation. We questioned the assumption that rotator cuff tears must be repaired concurrently with instability syndromes, and aimed to allow a professional rugby league player to achieve career goals by NOT correcting all pathology at one surgery....
Current patient safety policy focuses nursing on patient care goals, often overriding nurses’ safety. Without understanding how nurses construct work health and safety (WHS), patient and nurse safety cannot be reconciled. Using ethnography, we examine social contexts of safety, studying 72 nurses across five Australian hospitals making decisions during patient encounters. In enacting safe pract...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید