This paper presents an analytical investigation on the performance of optimal beamforming scheme in multiple-input multiple-output dual-hop amplify-and-forward systems. We first ...
Caijun Zhong, Tharmalingam Ratnarajah, Shi Jin, Ma...
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
In this paper we study the convergence properties of the power series algorithm, which is a general method to determine (functions of) stationary distributions of Markov chains. W...
A monotone distribution P over a (partially) ordered domain assigns higher probability to y than to x if y x in the order. We study several natural problems concerning testing pr...
One of the main difficulties faced when analyzing Markov chains modelling evolutionary algorithms is that their cardinality grows quite fast. A reasonable way to deal with this iss...