Distributed Branching Bisimulation Minimization by Inductive Signatures

We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement process and the signatures have been optimized to exploit the fact that the input graph contains no tau-loops. The optimization in the refinement process is meant to reduce both the number of iterations needed and the memory requirements. In the former case we cannot prove that there is an improvement, but our experiments show that in many cases the number of iterations is smaller. In the latter case, we can prove that the worst case memory use of the new algorithm is linear in the size of the state space, whereas the old algorithm has a quadratic upper bound. The paper includes a proof of correctness of the new algorithm and the results of a number of experiments that compare the performance of the old and the new algorithms

Use of Antibiotics Among Patients Hospitalized for Exacerbations of Asthma

The Centers for Disease Control and Prevention estimates that 37% of all antibiotic use in hospitals may be inappropriate, and reducing unnecessary antibiotic prescribing is now considered an urgent national priority. In the United States alone, asthma exacerbations led to 1.8 million emergency department visits and 400 000 hospitalizations annually. Although guidelines recommend against prescribing antibiotics during exacerbations of asthma in the absence of concurrent infection, little is known about the use of antibiotics in routine clinical practice

Use and Outcomes Associated With Perioperative Amiodarone in Cardiac Surgery

Background: In randomized controlled trials, perioperative administration of amiodarone has been shown to reduce the incidence of postoperative atrial arrhythmias and length of stay (LOS) among patients undergoing coronary bypass surgery. However, little is known about the use or effectiveness of perioperative amiodarone in routine clinical practice. Methods and Results: We studied patients \u3e /=18 years old without a previous history of atrial or ventricular arrhythmias who underwent elective coronary bypass surgery between 2013 and 2014 within a network of 235 US hospitals. Perioperative amiodarone was defined as receipt of amiodarone either on the day of or the day preceding surgery. We used covariate-adjusted modeling and instrumental variable methods to examine the association between receipt of amiodarone and the development of atrial arrhythmias, in-hospital mortality, readmission, LOS, and cost. Of 12 758 patients, 2195 (17.2%) received perioperative amiodarone, 3330 (26.1%) developed atrial arrhythmias postoperatively, and the average LOS was 6.4 days (+/-2.6 days). Instrumental variable analysis showed that receipt of perioperative amiodarone was associated with lower risk of atrial arrhythmias (risk difference -11 percentage points, 95% CI -19 to -4 percentage points; P=0.002) and a shorter LOS (-0.7 day, 95% CI -1.39 to -0.01 days; P=0.048). There was no association between receipt of perioperative amiodarone and in-hospital mortality, cost, or readmission. Conclusions: Among patients undergoing coronary bypass surgery without previous arrhythmias, perioperative amiodarone is associated with a lower risk of atrial arrhythmias and shorter LOS. These findings are consistent with previous randomized trials and lend support to current guideline recommendations

Update to the study protocol for an implementation-effectiveness trial comparing two education strategies for improving the uptake of noninvasive ventilation in patients with severe COPD exacerbation

BACKGROUND: There is strong evidence that noninvasive ventilation (NIV) improves the outcomes of patients hospitalized with severe COPD exacerbation, and NIV is recommended as the first-line therapy for these patients. Yet, several studies have demonstrated substantial variation in NIV use across hospitals, leading to preventable morbidity and mortality. In addition, prior studies suggested that efforts to increase NIV use in COPD need to account for the complex and interdisciplinary nature of NIV delivery and the need for team coordination. Therefore, our initial project aimed to compare two educational strategies: online education (OLE) and interprofessional education (IPE), which targets complex team-based care in NIV delivery. Due to the impact of the COVID-19 pandemic on recruitment and planned intervention, we had made several changes in the study design, statistical analysis, and implementation strategies delivery as outlined in the methods. METHODS: We originally proposed a two-arm, pragmatic, cluster, randomized hybrid implementation-effectiveness trial comparing two education strategies to improve NIV uptake in patients with severe COPD exacerbation in 20 hospitals with a low baseline rate of NIV use. Due to logistical constrains and slow recruitment, we changed the study design to an opened cohort stepped-wedge design with three steps which will allow the institutions to enroll when they are ready to participate. Only the IPE strategy will be implemented, and the education will be provided in an online virtual format. Our primary outcome will be the hospital-level risk-standardized NIV proportion for the period post-IPE training, along with the change in rate from the period prior to training. Aim 1 will compare the change over time of NIV use among patients with COPD in the step-wedged design. Aim 2 will explore the mediators\u27 role (respiratory therapist autonomy and team functionality) on the relationship between the implementation strategies and effectiveness. Finally, in Aim 3, through interviews with providers, we will assess the acceptability and feasibility of the educational training. CONCLUSION: The changes in study design will result in several limitation. Most importantly, the hospitals in the three cohorts are not randomized as they enroll based on their readiness. Second, the delivery of the IPE is virtual, and it is not known if remote education is conducive to team building. However, this study will be among the first to test the impact of IPE in the inpatient setting carefully and may generalize to other interventions directed to seriously ill patients. TRIAL REGISTRATION: ClinicalTrials.gov NCT04206735 . Registered on December 20, 2019

Derivation and Validation of an Inâ Hospital Mortality Prediction Model Suitable for Profiling Hospital Performance in Heart Failure

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/142499/1/jah32925_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/142499/2/jah32925.pd

Improving stamina and mobility with preop walking in surgical patients with frailty traits -OASIS IV: randomized clinical trial study protocol

BACKGROUND: Frail older surgical patients face more than a two-fold increase in postoperative complications, including myocardial infarction, deep vein thrombosis, pulmonary embolism, pneumonia, ileus, and others. Many of these complications occur because of postoperative loss of stamina and poor mobility. Preoperative exercise may better prepare these vulnerable patients for surgery. We present the protocol for our ongoing randomized trial to assess the impact of a preoperative walking intervention with remote coaching and pedometer on outcomes of stamina (six-minute walk distance- 6MWD) and mobility (postoperative steps) in older adults with frailty traits. METHODS: We will be conducting a randomized clinical trial with a total of 120 patients permitting up to a 33% rate of attrition, to reach a final sample size of 80 (with 40 patients for each study arm). We will include patients who are age 60 or higher, score 4 or greater on the Edmonton Frailty Scale assessment, and will be undergoing a surgical operation that requires a 2 or more night hospital stay to be eligible for our trial. Using block randomization stratified on baseline 6MWD, we will assign patients to wear a pedometer. At the end of three baseline days, an athletic trainer (AT) will provide a daily step count goal reflecting a 10-20% increase from baseline. Subsequently, the AT will call weekly to further titrate the goal or calls more frequently if the patient is not meeting the prescribed goal. Controls will receive general walking advice. Our main outcome is change in 6MWD on postoperative day (POD) 2/3 vs. baseline. We will also collect 6MWD approximately 4 weeks after surgery and daily in-hospital steps. CONCLUSION: If changes in a 6MWD and step counts are significantly higher for the intervention group, we believe this will confirm our hypothesis that the intervention leads to decreased loss of stamina and mobility. Once confirmed, we anticipate expanding to multiple centers to assess the interventional impact on clinical endpoints. TRIAL REGISTRATION: The randomized clinical trial was registered on clinicaltrials.gov under the identifier NCT03892187 on March 27, 2019

Medicine Posters - 2019

Medicine Posters - 2019https://scholarlycommons.libraryinfo.bhs.org/research_education/1004/thumbnail.jp

Measurement of the cosmic ray spectrum above 4×10184{\times}10^{18} eV using inclined events detected with the Pierre Auger Observatory

A measurement of the cosmic-ray spectrum for energies exceeding $4{\times}10^{18}$ eV is presented, which is based on the analysis of showers with zenith angles greater than $60^{\circ}$ detected with the Pierre Auger Observatory between 1 January 2004 and 31 December 2013. The measured spectrum confirms a flux suppression at the highest energies. Above $5.3{\times}10^{18}$ eV, the "ankle", the flux can be described by a power law $E^{-\gamma}$ with index $\gamma=2.70 \pm 0.02 \,\text{(stat)} \pm 0.1\,\text{(sys)}$ followed by a smooth suppression region. For the energy ($E_\text{s}$) at which the spectral flux has fallen to one-half of its extrapolated value in the absence of suppression, we find $E_\text{s}=(5.12\pm0.25\,\text{(stat)}^{+1.0}_{-1.2}\,\text{(sys)}){\times}10^{19}$ eV.Comment: Replaced with published version. Added journal reference and DO

Energy Estimation of Cosmic Rays with the Engineering Radio Array of the Pierre Auger Observatory

The Auger Engineering Radio Array (AERA) is part of the Pierre Auger Observatory and is used to detect the radio emission of cosmic-ray air showers. These observations are compared to the data of the surface detector stations of the Observatory, which provide well-calibrated information on the cosmic-ray energies and arrival directions. The response of the radio stations in the 30 to 80 MHz regime has been thoroughly calibrated to enable the reconstruction of the incoming electric field. For the latter, the energy deposit per area is determined from the radio pulses at each observer position and is interpolated using a two-dimensional function that takes into account signal asymmetries due to interference between the geomagnetic and charge-excess emission components. The spatial integral over the signal distribution gives a direct measurement of the energy transferred from the primary cosmic ray into radio emission in the AERA frequency range. We measure 15.8 MeV of radiation energy for a 1 EeV air shower arriving perpendicularly to the geomagnetic field. This radiation energy -- corrected for geometrical effects -- is used as a cosmic-ray energy estimator. Performing an absolute energy calibration against the surface-detector information, we observe that this radio-energy estimator scales quadratically with the cosmic-ray energy as expected for coherent emission. We find an energy resolution of the radio reconstruction of 22% for the data set and 17% for a high-quality subset containing only events with at least five radio stations with signal.Comment: Replaced with published version. Added journal reference and DO