The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

Patient-Tailored Approach for Diagnostics and Treatment of Mycotic Abdominal Aortic Aneurysm

Background: The existing literature on mycotic aortic aneurysm is scarce and focuses on treatment. This study evaluates the clinical characteristics, diagnostics, treatment and outcome of patients with a mycotic abdominal aortic aneurysm treated in a tertiary referral center. Methods: A retrospective cohort study was conducted including all patients with a proven mycotic abdominal aortic aneurysm admitted between May 2010 and July 2020. Primary outcome was mortality and secondary outcome included complications such as vascular graft/endograft infection. Results: Twenty-four patients with a mycotic abdominal aortic aneurysm were included. Patients had a mean age of 68 +/- 9 years and 20 (83%) were male. Thirteen patients (57%) had positive preoperative blood cultures. Streptococcus pneumoniae was most frequently isolated by blood culturing, pus, and vascular, or perivascular tissue cultures (17%). In 19 (83%) patients the mycotic abdominal aortic aneurysm was located infrarenally, in three (13%) patients suprarenally, and in one (4%) patient juxtarenally. Median follow-up was 20 (7-42) months. In 8 patients (33%) vascular graft and or endograft infection was diagnosed after surgical repair. Ten (42%) patients died during the follow-up period. The main causes of death were vascular graft/endograft infection-related (n = 4) and rupture of the mycotic abdominal aortic aneurysm (n = 3). No patient characteristics could be identified as predictive for mortality. Conclusions: This study shows a large variation in presentation, diagnostic approaches, and surgical and antibiotic treatment of mycotic abdominal aortic aneurysm. The detailed information about the diagnostic approaches to this rare disease and its antibiotic and/or other treatment contributes to existing knowledge of mycotic abdominal aortic aneurysm. Because of the individual variation patients should be discussed in a multidisciplinary team with a vascular surgeon, infectious disease specialist, and clinical microbiologist

Long-term prognostic value of quantitative myocardial perfusion in patients with chest pain and normal coronary arteries

BACKGROUND: Patients with chest pain and no obstructive coronary artery disease have shown a high incidence of major adverse cardiovascular events (MACE). We evaluated the role of absolute myocardial perfusion quantification in predicting all-cause mortality and MACE during long-term follow-up in this group of patients. METHODS: We studied 79 patients who underwent Nitrogen-13 ammonia PET for quantification of global myocardial blood flow (MBF) and myocardial flow reserve (MFR) due to suspected impaired myocardial perfusion. Patients with coronary artery disease (i.e., > 30% stenosis in one or more coronary arteries) were excluded. We assessed all-cause mortality and MACE. MACE was defined as the composite incidence of death, myocardial infarction (MI), or hospitalization due to heart failure. RESULTS: Median follow-up was 8 (IQR: 3-14) years. Univariate Cox regression showed that only MFR (P = 0.01) was a predictor of all-cause mortality. Univariate Cox regression analysis showed that both MFR and Stress MBF were predictors of the composite endpoint of MACE (P < 0.001 and P = 0.01, respectively). CONCLUSION: Quantitative assessment of myocardial perfusion may predict all-cause mortality and MACE in patients with chest pain and normal coronary arteries in the long-term follow-up

Cardiovascular magnetic resonance native T-2 and T-2* quantitative values for cardiomyopathies and heart transplantations:a systematic review and meta-analysis

Background: The clinical application of cardiovascular magnetic resonance (CMR) T2 and T2* mapping is currently limited as ranges for healthy and cardiac diseases are poorly defined. In this meta-analysis we aimed to determine the weighted mean of T2 and T2* mapping values in patients with myocardial infarction (MI), heart transplantation, non-ischemic cardiomyopathies (NICM) and hypertension, and the standardized mean difference (SMD) of each population with healthy controls. Additionally, the variation of mapping outcomes between studies was investigated. Methods: The PRISMA guidelines were followed after literature searches on PubMed and Embase. Studies reporting CMR T2 or T2* values measured in patients were included. The SMD was calculated using a random effects model and a meta-regression analysis was performed for populations with sufficient published data. Results: One hundred fifty-four studies, including 13,804 patient and 4392 control measurements, were included. T2 values were higher in patients with MI, heart transplantation, sarcoidosis, systemic lupus erythematosus, amyloidosis, hypertrophic cardiomyopathy (HCM), dilated cardiomyopathy (DCM) and myocarditis (SMD of 2.17, 1.05, 0.87, 1.39, 1.62, 1.95, 1.90 and 1.33, respectively, P < 0.01) compared with controls. T2 values in iron overload patients (SMD =-0.54, P = 0.30) and Anderson-Fabry disease patients (SMD = 0.52, P = 0.17) did both not differ from controls. T2* values were lower in patients with MI and iron overload (SMD of-1.99 and-2.39, respectively, P < 0.01) compared with controls. T2* values in HCM patients (SMD =-0.61, P = 0.22), DCM patients (SMD =-0.54, P = 0.06) and hypertension patients (SMD =-1.46, P = 0.10) did not differ from controls. Multiple CMR acquisition and patient demographic factors were assessed as significant covariates, thereby influencing the mapping outcomes and causing variation between studies. Conclusions: The clinical utility of T2 and T2* mapping to distinguish affected myocardium in patients with cardiomyopathies or heart transplantation from healthy myocardium seemed to be confirmed based on this meta-analysis. Nevertheless, variation of mapping values between studies complicates comparison with external values and therefore require local healthy reference values to clinically interpret quantitative values. Furthermore, disease differentiation seems limited, since changes in T2 and T2* values of most cardiomyopathies are similar

Validation of thoracic aortic dimensions on ECG-triggered SSFP as alternative to contrast-enhanced MRA

Objectives: Assessment of thoracic aortic dimensions with non-ECG-triggered contrast-enhanced magnetic resonance angiography (CE-MRA) is accompanied with motion artefacts and requires gadolinium. To avoid both motion artefacts and gadolinium administration, we evaluated the similarity and reproducibility of dimensions measured on ECG-triggered, balanced steady-state free precession (SSFP) MRA as alternative to CE-MRA. Methods: All patients, with varying medical conditions, referred for thoracic aortic examination between September 2016 and March 2018, who underwent non-ECG-triggered CE-MRA and SSFP-MRA (1.5 T) were retrospectively included (n = 30). Aortic dimensions were measured after double-oblique multiplanar reconstruction by two observers at nine landmarks predefined by literature guidelines. Image quality was scored at the sinus of Valsalva, mid-ascending aorta and mid-descending aorta by semi-automatically assessing the vessel sharpness. Results: Aortic dimensions showed high agreement between non-ECG-triggered CE-MRA and SSFP-MRA (r = 0.99, p < 0.05) without overestimation or underestimation of aortic dimensions in SSFP-MRA (mean difference, 0.1 mm; limits of agreement, − 1.9 mm and 1.9 mm). Intra- and inter-observer variabilities were significantly smaller with SSFP-MRA for the sinus of Valsalva and sinotubular junction. Image quality of the sinus of Valsalva was significantly better with SSFP-MRA, as fewer images were of impaired quality (3/30) than in CE-MRA (21/30). Reproducibility of dimensions was significantly better in images scored as good quality compared to impaired quality in both sequences. Conclusions: Thoracic aortic dimensions measured on SSFP-MRA and non-ECG-triggered CE-MRA were similar. As expected, SSFP-MRA showed better reproducibility close to the aortic root because of lesser motion artefacts, making it a feasible non-contrast imaging alternative. Key Points: • SSFP-MRA provides similar dimensions as non-ECG-triggered CE-MRA. • Intra- and inter-observer reproducibilities improve for the sinus of Valsalva and sinotubular junction with SSFP-MRA. • ECG-triggered SSFP-MRA shows better image quality for landmarks close to the aortic root in the absence of cardiac motion

Phase analysis of gated PET in the evaluation of mechanical ventricular synchrony: A narrative overview

Noninvasive imaging modalities offer the possibility to dynamically evaluate cardiac motion during the cardiac cycle by means of ECG-gated acquisitions. Such motion characterization along with orientation, segmentation preprocessing, and ultimately, phase analysis, can provide quantitative estimates of ventricular mechanical synchrony. Current evidence on the role of mechanical synchrony evaluation is mainly available for echocardiography and gated single-photon emission computed tomography, but less is known about the utilization of gated positron emission tomography (PET). Although data available are sparse, there is indication that mechanical synchrony evaluation can be of diagnostic and prognostic values in patients with known or suspected coronary artery disease-related myocardial ischemia, prediction of response to cardiac resynchronization therapy, and estimation of risk for adverse cardiac events in patients’ heart failure. As such, the evaluation of mechanical ventricular synchrony through phase analysis of gated acquisitions represents a value addition to modern cardiac PET imaging modality, which warrants further research and development in the evaluation of patients with cardiovascular disease.</p