For the two-sample location problem we consider a general class of tests, all members of it are based on U-statistics. The asymptotic efficicacies are investigated in detail. We construct an adaptive test where all statistics ...

This article revisits a complexly folded silver scroll excavated in Jerash, Jordan, in 2014 that was digitally examined in 2015. In this article we apply, examine and discuss a new virtual unfolding technique that results ...

A technique to describe and to verify distributed algorithms is suggested. This technique (based on Petri nets) reduces the modelling- and analysis effort to a reasonable expenditure. The paper outlines the technique along ...

Installing and institutionalising document and publication repositories at universities creates the opportunity to archive scholarly publications that were produced at the respective universities and to offer them to a ...

There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for ...

Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...