In this project, we endeavored to parallelize MaceMC, a model checker for distributed systems written in Mace. Preliminary results show that the parallelized model checker can increase the number of useful states explored by the model checker by a factor of 50 for relatively modest cluster sizes.

BACKGROUND This study was to investigate the effects of multiple genetic polymorphisms and conventional risk factors in the prognosis of coronary artery disease (CAD). METHODS One hundred and fifty five patients with CAD were prospectively recruited, they were subgrouped as single vessel disease (SVD) and multiple vessel disease (MVD). All patients were detected I/D polymorphism of angiotensi...

of Dissertation Presented to the Graduate School of the University of Florida in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy THE CORRENTROPY MACE FILTER FOR IMAGE RECOGNITION By Kyu-Hwa Jeong August 2007 Chair: José C. Principe Major: Electrical and Computer Engineering The major goal of my research was to develop nonlinear methods of the family of distortion ...

OBJECTIVE Glycemic variability (GV) still remains unclear whether acute glycemic excursion has the important prognostic significance in ST-segment elevation myocardial infarction (STEMI) patients undergoing p-PCI. So our aim is to assess the prognostic value of GV in STEMI patients undergoing p-PCI. METHODS We studied 237 STEMI patients undergoing p-PCI, whose clinical and laboratory data wer...

The present study was conducted to investigate whether upper-extremity vascular access (VA) creation increases the risk for major adverse cardiac events (MACE) and death in patients undergoing coronary artery bypass grafting (CABG) with an in situ left internal thoracic artery (ITA) graft. A total of 111 patients with CABG with a left ITA graft who underwent upper-extremity VA creation were ana...

The association between dialysis vascular access dysfunction and the risk of developing major adverse cardiovascular events (MACE) in hemodialysis patients is unclear and has not yet been investigated. We analyzed data from the National Health Insurance Research Database of Taiwan to quantify this association. Adopting a case-control design nested within a cohort of patients who received hemodi...

BACKGROUND Baseline C-reactive protein (CRP) levels predict major adverse cardiovascular events (MACE: death, myocardial infarction, stroke, coronary revascularization, and hospitalization for unstable angina). The association between changes in CRP levels with plaque progression and MACE in the setting of maximally intensive statin therapy is unknown. METHODS AND RESULTS The Study of Coronar...

PURPOSE Magnetocardiography (MCG) has been proposed as a noninvasive, diagnostic tool for risk-stratifying patients with acute myocardial infarction (AMI). This study evaluated whether MCG predicts long-term prognosis in AMI. MATERIALS AND METHODS In 124 AMI patients (95 males, mean age 60±11 years), including 39 with ST-elevation myocardial infarction, a 64-channel MCG was performed within 2...