—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
Abstract. Running droplets have been studied recent years as dissipative macroscopic structures with locomotive capability, a characteristic of which is shared with biological syst...
Hiroki Matsuno, Martin M. Hanczyc, Takashi Ikegami
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
David N. Jansen, Joost-Pieter Katoen, Marcel Olden...
Abstract— We consider discrete-time channels with finitelength intersymbol interference and additive Gaussian noise. The channel noise is considered to be a stationary ARMA (aut...
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...