Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...

OBJECTIVE The objective of the study was to examine whether cardiac resynchronisation therapy upgrade procedures are more complex and associated with more complications than de novo implantations. METHOD We retrospectively compared 134 upgrade procedures performed between 2006-2012 with a random, equally sized, sample of de novo CRT device implantations in the same period. Procedural data and...

The main purpose of this paper was to develop a complete dynamic model of a power generation system based on two serially connected solid oxide fuel cell stacks. The uniqueness of this study lies in a different number of fuel cells in the stacks. The model consists of the electrochemical model, mass and energy balance equations implemented in MATLAB Simulink environment. Particular attention ha...

BACKGROUND Benefits of cardiac resynchronization therapy (CRT) on morbidity and mortality in selected patients are well known. Although the number of upgrade procedures from single- or dual-chamber devices to CRT is increasing, there are only sparse data on the outcomes of upgrade procedures compared with de novo CRT. This study aimed to evaluate clinical response and survival in patients recei...

BACKGROUND The availability of non-rodent animal models for human cirrhosis is limited. We investigated whether privately-owned dogs (Canis familiaris) are potential model animals for liver disease focusing on regenerative pathways. Several forms of canine hepatitis were examined: Acute Hepatitis (AH), Chronic Hepatitis (CH), Lobular Dissecting Hepatitis (LDH, a specific form of micronodulair c...