ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
Marian V. Iordache, John O. Moody, Panos J. Antsak...
We propose in this paper a backward-compatible multichannel audio codec. This codec represents a multichannel audio input signal by a down mix and parametric data. In order to enab...
— This paper presents the design and control of an actuated bivalve robot, which has been developed to study the burrowing locomotion of bivalves in sediment. The setup consists ...
Agathe Koller-Hodac, Daniel Peter Germann, Alexand...
We propose a framework for the extraction of biomarkers from low-dimensional manifolds representing inter- and intra-subject brain variation in MR image data. The coordinates of ea...
Robin Wolz, Paul Aljabar, Joseph V. Hajnal, Daniel...