A phase type survival tree model for clustering patients’ hospital length of stay

Clinical investigators, health professionals and managers are often interested in developing criteria for clustering patients into clinically meaningful groups according to their expected length of stay. In this paper, we propose phase-type survival trees which extend previous work on exponential survival trees. The trees are used to cluster the patients with respect to length of stay where partitioning is based on covariates such as gender, age at the time of admission and primary diagnosis code. Likelihood ratio tests are used to determine optimal partitions. The approach is illustrated using nationwide data available from the English Hospital Episode Statistics (HES) database on stroke-related patients, aged 65 years and over, who were discharged from English hospitals over a 1-year period.peer-reviewe

Stochastic inequalities for single-server loss queueing systems

The present paper provides some new stochastic inequalities for the characteristics of the $M/GI/1/n$ and $GI/M/1/n$ loss queueing systems. These stochastic inequalities are based on substantially deepen up- and down-crossings analysis, and they are stronger than the known stochastic inequalities obtained earlier. Specifically, for a class of $GI/M/1/n$ queueing system, two-side stochastic inequalities are obtained.Comment: 17 pages, 11pt To appear in Stochastic Analysis and Application

Stochastic Dominance in Mobility Analysis

This paper introduces a technique for mobility dominance and compares the degree of earnings mobility of men in the USA from 1970 to 1995. The highest mobility is found in the 1975–1980 or 1980–1985 periods

Bold Diagrammatic Monte Carlo in the Lens of Stochastic Iterative Methods

This work aims at understanding of bold diagrammatic Monte Carlo (BDMC) methods for stochastic summation of Feynman diagrams from the angle of stochastic iterative methods. The convergence enhancement trick of the BDMC is investigated from the analysis of condition number and convergence of the stochastic iterative methods. Numerical experiments are carried out for model systems to compare the BDMC with related stochastic iterative approaches

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets

Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used by the other stochastic model formalism. The aim of this paper is to explain bisimilarity relations between stochastic hybrid automata, stochastic differential equations on hybrid space and stochastic hybrid Petri nets. These bisimilarity relations make it possible to combine the formal verification power of automata with the analysis power of stochastic differential equations and the compositional specification power of Petri nets. The relations and their combined strengths are illustrated for an air traffic example.Comment: 15 pages, 4 figures, Workshop on Formal Methods for Aerospace (FMA), EPTCS 20m 201

An Internal Observability Estimate for Stochastic Hyperbolic Equations

This paper is addressed to establishing an internal observability estimate for some linear stochastic hyperbolic equations. The key is to establish a new global Carleman estimate for forward stochastic hyperbolic equations in the $L^2$-space. Different from the deterministic case, a delicate analysis of the adaptedness for some stochastic processes is required in the stochastic setting