We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
Customer retention is crucial for any company relying on a regular client base. One way to approach this problem is to analyse actual user behaviour and take proper actions based o...
Q-ball imaging (QBI), introduced by D. Tuch, reconstructs the diffusion orientation distribution function (ODF) of the underlying fiber population of a biological tissue. An anal...
Maxime Descoteaux, Peter Savadjiev, Jennifer S. W....
We analyze a precoded and iteratively detected downlink multiuser system employing imperfect Spatio-Temporal Channel Impulse Response at the Transmitters (ST-CIRT) with the aid of...