Some of the consequences of Eyvind Wichmann’s contributions to modular theory and the QFT phase-space structure are presented. In order to show the power of those ideas in contemporary problems, I selected the issue of algebraic holography as well as a new nonperturbative constructive approach (based on the modular structur of wedge-localized algebras and modular inclusions) and show that these...

As image databases grow large in size, index structures for fast navigation become important. In particular, when the goal is to lo cate obje ct queries in image datab ases under changes in pose, occlusions and spurious data, traditional index structures used in databases become unsuitable. This paper presents a novel index structur e called the interval hash tree, for lo cating multi-region ob...

The IFAD VDM SL Toolbox is a collection of tools for formal speci cations development using the latest version of the VDM SL standard In addition to the full language it also supports a module based structur ing mechanism for large speci cations The Toolbox features extensive semantics checking documentation support test coverage analysis and debugging support We have focused on supporting real...

The radon transform arise in natural way, if X-rays traverses a body, like in a computer tomograph. Thus, to nd out the internal structur of a body in computer tomography corresponds to reconstructions a function from their radon transform. This report deals with a parallized numerical reconstruction algorithm, in particular the ltered backprojection. The ltered backprojection uses high dimensi...

Although signiicant research has been been done in many facets of real-time database design, there has been little work in real-time transaction structuring and speciication. The adherence of conventional transactions to the ACID properties reduces data availability, which reduces the exibility of real-time transaction scheduling. This paper presents exible transaction structur-ing capabilities...

A novel extension of the classical signal -adaptive median lter (SAM) is proposed in this paper. It is the so-called morphological signal -adaptive median lter (MSAM). Two mod-iications are introduced in the SAM lter aiming at: (1) enhancing SAM impulse detection mechanism so that it detects not only impulses of a constant amplitude but randomly-valued impulses as well, (2) employing an anisotr...