Transform approximations are explored for speeding up the software compression of images and video. Faster approximations are used to replace the regular DCT whenever only few DCT...
—This paper discusses a method to identify dynamic parameters in a rigid-link flexible-joint robot model using motion capture. The procedure is divided into two parts. First, the...
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
The collagens are a large and diverse family of proteins which are found in the extracellular matrix. In common with one another, the 19 known collagen types have triple-helical d...