Learn More
Aim of the investigation was the study of influence of spironolactone (25 - 75 mg/day) on clinico-functional status, parameters of left ventricular (LV) remodeling, as well as safety of its long term application in patients with chronic heart failure (CHF) receiving optimal therapy. Forty nine patients were included in the study - 44 men (89,8%) and 5 women(More)
There is an apparent similarity between the descriptions of small-step operational semantics of imperative programs and the semantics of finite automata, so defining an abstraction mapping from semantics to automata and proving a simulation property seems to be easy. This paper aims at identifying the reasons why simple proofs break, among them artifacts in(More)
Aim of the investigation was to study safety of therapy with metformin and its effect on clinical, hemodynamic, functional and neurohumoral status in patients with chronic heart failure and type 2 diabetes mellitus DM). Eighty one patients with light and moderate NYHA functional class (FC) II-III CHF, left ventricular ejection fraction < 45%, and DM were(More)
UNLABELLED The use of beta-adrenoblockers in conjunction with angiotensin converting enzyme inhibitors improves quality of life and prognosis of patients with chronic heart failure. However basic mechanisms of these positive effects in severe heart failure remain to be elucidated. METHODS Patients (n=54) with NYHA class III-IV heart failure and left(More)
We present a tool for analysing resource sharing conflicts in multithreaded Java programs. We consider two models of execution: purely parallel one and sequential execution on a single processor. A Java program is translated into a system of timed automata which is verified by the model checker Uppaal. We also present our work in progress on formalisation(More)
AIM To study immune mechanisms of inflammation in dilated cardiomyopathy (DCM). MATERIALS AND METHODS The study of main markers of immune activation was conducted in 44 patients with DCM with stage I - IIB and NYHA functional class (FC) I - IV chronic heart failure (CHF). Among them there were 42 men (95%) and 2 women (5%) in the age from 22 to 61 years.(More)
We present a prototype for executing and verifying graph transformations. The transformations are written in a simple imperative programming language, and pre-and post-conditions as well as loop in-variants are specified in the Description Logic ALC (whence the name of the tool). The programming language has a precisely defined operational semantics and a(More)
AIM To assess effects of different variants of neurohormonal (NH) modulation with angiotensin converting enzyme (ACE-I) quinapril (Q), angiotensin-receptor blocker (ARB) valsartan (V) and their combination in addition to beta-adrenergic blocker bisoprolol (B) on functional status, quality of life (QOL), parameters of left ventricular (LV) remodeling, main(More)
AIM To compare effects of therapy with angiotensin converting enzyme inhibitor quinapril (Q), angiotensin II receptor antagonist valsartan (V), and their combination in patients with stable moderate chronic heart failure (CHF). MATERIAL AND METHODS Patients (n=80) with NYHA class II-III CHF due to ischemic heart disease, dilated cardiomyopathy or(More)
UNLABELLED Aim of the investigation was the study of influence of spironolactone (25-75 mg/day) on clinico-functional and neurohormonal, 24-hour variability of cardiac rhythm, and ventricular disturbances of heart rhythm in patients with chronic heart failure (CHF) receiving optimal therapy. Forty nine patients were included in the study--44 men (89,8%) and(More)