The annotation of song changes in music mixes created by DJs or radio stations for direct access in digital recordings is, usually, a very tedious work. In order to support this p...
Gernot A. Fink, Henner Sudek, Kai Lienemann, Lars ...
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
An important parameter in analysis of physiological tremor is the diagnosis and study of neurological disorders. The instantaneous tremor frequency (ITF) is an important parameter...
Alp Kucukelbir, Azadeh Kushki, Konstantinos N. Pla...
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
—To understand how node mobility and Byzantine node failures affect connectivity of wireless multi-hop networks, this paper investigates resilience of geometric random graphs to ...