Development of a Teach-Back Educational Module for Heart Failure Discharge Teaching by Marissa Blair Jamarik MSN, George Mason University, 2005 BSN, Shenandoah University, 1997 Proposal Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Nursing Practice Walden University May 2016 Abstract Heart failure (HF) readmissions create a financial burden for healthcare nati...

This paper presents an efficient emission constrained hydrothermal scheduling algorithm that deals with nonlinear functions such as the water discharge characteristics, thermal cost, and transmission loss. It is then incorporated into the hydrothermal coordination program. The program has been tested on a practical utility system having 32 thermal and 12 hydro generating units. Test results sho...

Few studies have examined employment outcomes in individuals with a primary diagnosis of posttraumatic stress disorder (PTSD). The current study used multivariate modeling to examine the relationship between PTSD, other aspects of military service, and employment among 5,862 veterans in a national Department of Veterans Affairs (VA) vocational rehabilitation program. Veterans with PTSD were 19%...

Objectives: In September 2002 University of Social Welfare & Rehabilitation Sciences established a pilot universal newborn hearing screening program in two crowded maternity hospital in Tehran. Our objective was to assess the feasibility of implementing universal newborn hearing screening in IRAN. Methods: Between September 2002 and March 2004 a total of 7718 newborns were screened for heari...

This article details the formal verification of a 2-line C program that computes the number of solutions to the n-queens problem. The formal proof of (an abstraction of) the C code is performed using the Why3 tool to generate the verification conditions and several provers (Alt-Ergo, CVC3, Coq) to discharge them. The main purpose of this article is to illustrate the use of Why3 in verifying an ...

Desired computer-program properties can be described by logical formulas called verification conditions. Different mathematically-equivalent forms of these verification conditions can have a great impact on the performance of an automatic theorem prover that tries to discharge them. This paper presents a simple weakest-precondition understanding of the ESC/Java technique for generating verifica...

BACKGROUND High oral bioavailability of antimicrobial agents can result in the replacement of intravenous (IV) therapy with oral therapy when a patient meets defined clinical criteria. However, few studies have evaluated the effects of switching antibiotic administration route in Japan, especially for linezolid. This study evaluated an IV-to-oral antibiotic switching program for linezolid treat...