Reduction in scar thickness post myocardial infarction is secondary to increase in regional left ventricular volumes

We sought to determine the relative impact of myocardial scar and viability on post-infarct left ventricular (LV) remodeling in medically-treated patients with LV dysfunction. Forty patients with chronic ischemic heart disease (age 64±9, EF 40±11%) underwent rest-redistribution Tl201 SPECT (scar = 50% transmural extent), A global index of scarring for each patient (CMR scar score) was calculated as the sum of transmural extent scores in all segts. LV end diastolic volumes (LVEDV) and LV end systolic volumes (LVESV) were measured by real-time threedimensional echo at baseline and median of 12 months follow-up. There was a significant positive correlation between change in LVEDV with number of scar segts by all three imaging techniques (LVEDV: SPECT scar, r = 0.62, p < 0.001; DbE scar, r = 0.57, p < 0.001; CMR scar, r = 0.52, p < 0.001) but change in LV volumes did not the correlate with number of viable segments. ROC curve analysis showed that remodeling (LVEDV> 15%) was predicted bySPECTscars(AUC= 0.79),DbEscars(AUC= 0.76),CMR scars (AUC= 0.70), and CMR scar score (AUC 0.72). There were no significant differences between any of the ROC curves (Z score

It's all in the game: Teaching software process concepts

A major challenge in teaching software engineering to undergraduates is that most students have limited industry experience, so the problems addressed are unknown and hence unappreciated. Issues of scope prevent a realistic software engineering experience, and students often graduate with a simplistic view of software engineering’s challenges. Problems and Programmers (PnP) is a competitive, physical card game that simulates the software engineering process from requirements specification to product delivery. Deliverables are abstracted, allowing a focus on process issues and for lessons to be learned in a relatively short time. The rules are easy to understand and the game’s physical nature allows for face-to-face interaction between players. The game’s developers have described PnP in previous publications, but this paper reports the game’s use within a larger educational scheme. Students learn and play PnP, and then are required to create a software requirements specification based on the game. Finally, students reflect on the game’s strengths and weaknesses and their experiences in an individual essay. The paper discusses this approach, students’ experiences and overall outcomes, and offers an independent, critical look at the game, its use, and potential improvements.

Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.