Analyzing program termination and complexity automatically with AProVE

In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In addition to classical term rewrite systems (TRSs), AProVE also supports rewrite systems containing built-in integers (int-TRSs). To analyze programs in high-level languages, AProVE automatically converts them to (int-)TRSs. Then, a wide range of techniques is employed to prove termination and to infer complexity bounds for the resulting rewrite systems. The generated proofs can be exported to check their correctness using automatic certifiers. To use AProVE in software construction, we present a corresponding plug-in for the popular Eclipse software development environment

56 The impact of statin therapy on the efficacy of eplerenone

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106735/1/ehfs80021-9.pd

353 Eplerenone benefit at 30 days in high‐risk subgroups in the EPHESUS trial

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106771/1/ehfs80218-8.pd

Fluvastatin in the therapy of acute coronary syndrome: Rationale and design of a multicenter, randomized, double-blind, placebo-controlled trial (The FACS Trial)[ISRCTN81331696]

BACKGROUND: Activation of inflammatory pathways plays an important contributory role in coronary plaque instability and subsequent rupture, which can lead to the development of acute coronary syndrome (ACS). Elevated levels of serum inflammatory markers such as C-reactive protein (CRP) represent independent risk factors for further cardiovascular events. Recent evidence indicates that in addition to lowering cholesterol levels, statins also decrease levels of inflammatory markers. Previous controlled clinical trials reporting the positive effects of statins in participants with ACS were designed for very early secondary prevention. To our knowledge, no controlled trials have evaluated the potential benefits of statin therapy, beginning immediately at the time of hospital admission. A previous pilot study performed by our group focused on early initiation of cerivastatin therapy. We demonstrated a highly significant reduction in levels of inflammatory markers (CRP and interleukin-6). Based on these preliminary findings, we are conducting a clinical trial to evaluate the efficacy of another statin, fluvastatin, as an early intervention in patients with ACS. METHODS: The FACS-trial (Fluvastatin in the therapy of Acute Coronary Syndrome) is a multicenter, randomized, double-blind, placebo-controlled study evaluating the effects of fluvastatin therapy initiated at the time of hospital admission. The study will enroll 1,000 participants admitted to hospital for ACS (both with and without ST elevation). The primary endpoint for the study is the influence of fluvastatin therapy on levels of inflammatory markers (CRP and interleukin-6) and on pregnancy associated plasma protein A (PAPP-A). A combined secondary endpoint is 30-day and one-year occurrence of death, nonfatal myocardial infarction, recurrent symptomatic ischemia, urgent revascularization, and cardiac arrest. CONCLUSION: The primary objective of the FACS trial is to demonstrate that statin therapy, when started immediately after hospital admission for ACS, results in reduction of inflammation and improvement of prognosis. This study may contribute to new knowledge regarding therapeutic strategies for patients suffering from ACS and may offer additional clinical indications for the use of statins

The additional value of patient-reported health status in predicting 1-year mortality after invasive coronary procedures: A report from the Euro Heart Survey on Coronary Revascularisation

Objective: Self-perceived health status may be helpful in identifying patients at high risk for adverse outcomes. The Euro Heart Survey on Coronary Revascularization (EHS-CR) provided an opportunity to explore whether impaired health status was a predictor of 1-year mortality in patients with coronary artery disease (CAD) undergoing angiographic procedures. Methods: Data from the EHS-CR that included 5619 patients from 31 member countries of the European Society of Cardiology were used. Inclusion criteria for the current study were completion of a self-report measure of health status, the EuroQol Questionnaire (EQ-5D) at discharge and information on 1-year follow-up, resulting in a study population of 3786 patients. Results: The 1-year mortality was 3.2% (n = 120). Survivors reported fewer problems on the five dimensions of the EQ-5D as compared with non-survivors. A broad range of potential confounders were adjusted for, which reached a p<0.10 in the unadjusted analyses. In the adjusted analyses, problems with self-care (OR 3.45; 95% CI 2.14 to 5.59) and a low rating (≤ 60) on health status (OR 2.41; 95% CI 1.47 to 3.94) were the most powerful independent predictors of mortality, among the 22 clinical variables included in the analysis. Furthermore, patients who reported no problems on all five dimensions had significantly lower 1-year mortality rates (OR 0.47; 95% CI 0.28 to 0.81). Conclusions: This analysis shows that impaired health status is associated with a 2-3-fold increased risk of all-cause mortality in patients with CAD, independent of other conventional risk factors. These results highlight the importance of including patients' subjective experience of their own health status in the evaluation strategy to optimise risk stratification and management in clinical practice

Reduced costs with bisoprolol treatment for heart failure - An economic analysis of the second Cardiac Insufficiency Bisoprolol Study (CIBIS-II)

Background Beta-blockers, used as an adjunctive to diuretics, digoxin and angiotensin converting enzyme inhibitors, improve survival in chronic heart failure. We report a prospectively planned economic analysis of the cost of adjunctive beta-blocker therapy in the second Cardiac Insufficiency BIsoprolol Study (CIBIS II). Methods Resource utilization data (drug therapy, number of hospital admissions, length of hospital stay, ward type) were collected prospectively in all patients in CIBIS . These data were used to determine the additional direct costs incurred, and savings made, with bisoprolol therapy. As well as the cost of the drug, additional costs related to bisoprolol therapy were added to cover the supervision of treatment initiation and titration (four outpatient clinic/office visits). Per them (hospital bed day) costings were carried out for France, Germany and the U.K. Diagnosis related group costings were performed for France and the U.K. Our analyses took the perspective of a third party payer in France and Germany and the National Health Service in the U.K. Results Overall, fewer patients were hospitalized in the bisoprolol group, there were fewer hospital admissions perpatient hospitalized, fewer hospital admissions overall, fewer days spent in hospital and fewer days spent in the most expensive type of ward. As a consequence the cost of care in the bisoprolol group was 5-10% less in all three countries, in the per them analysis, even taking into account the cost of bisoprolol and the extra initiation/up-titration visits. The cost per patient treated in the placebo and bisoprolol groups was FF35 009 vs FF31 762 in France, DM11 563 vs DM10 784 in Germany and pound 4987 vs pound 4722 in the U.K. The diagnosis related group analysis gave similar results. Interpretation Not only did bisoprolol increase survival and reduce hospital admissions in CIBIS II, it also cut the cost of care in so doing. This `win-win' situation of positive health benefits associated with cost savings is Favourable from the point of view of both the patient and health care systems. These findings add further support for the use of beta-blockers in chronic heart failure