In the pandiagonal Latin Square problem, a square grid of size N needs to be filled with N types of objects, so that each column, row, and wrapped around diagonal (both up and down) contains an object of each type. This problem dates back to at least Euler. In its specification as a constraint satisfaction problem, one uses the all different constraint. The known redundancy result about all dif...

There are several kinds of UML diagrams for convenient modelling of behaviour, but these diagrams can be hardly used for modelling mobility. The situation is not very different in the case of agent languages. There exist already some proposals for modelling mobility of interacting agents by graphical notations, but these notations are rather not very intuitive and hard to read if the specificat...

Operational semantics is a flexible but rigorous means to describe the meaning of programming languages. Small semantics are often preferred, for example to facilitate model checking. However, omitting too many details in a semantics limits results to a core language only, leaving a wide gap towards real implementations. In this paper we present a comprehensive semantics of the concurrent progr...

In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, by constructing a special guide process that limits the behaviour of the original system. We set up a theoretical framework in which we prove under some sufficient conditions that the adjusted system (with the added guide proces...

Operational semantics is a flexible but rigorous means to describe the meaning of programming languages. Small semantics are often preferred, for example to facilitate model checking. However, omitting too many details in a semantics limits results to a core language only, leaving a wide gap towards real implementations. In this paper we present a comprehensive semantics of the concurrent progr...

‎We firstly prove the completeness of the category of crossed modules in a modified category of interest‎. ‎Afterwards‎, ‎we define pullback crossed modules and pullback cat objects that are both obtained by pullback diagrams with extra structures on certain arrows‎. ‎These constructions unify many corresponding results for the cases of groups‎, ‎commutative algebras and can also be adapted to ...

Large type hierarchies are an integral part of many databases, including in particular lexicons for natural-language parsers. Due to their size and complexity, it is often impractical to provide a complete specification. Rather, an open specification is employed, in which properties of the hierarchy are specified by constraints. Unfortunately, the great expressive power of open specification co...

ten varieties of iranian soybeans are cultivated in different areas of the country; persia or sahar (sr), hill (hl), williams (wz), gorgan 3 (gn), clarke (kl), hawkey (hk), zaan (zn), harcor (hr), dare (dr) and simes (ss), grown in tropical regions. samples of these 10 varieties were obtained from the institute of plant and seed research. after sample preparation, their oils were extracted and ...

Abstract This article presents the wire bond standard DVS-2811, which is widely used in German-speaking and European countries. Introduced 1996, this now contains definitions limits for all currently bonding methods, including shear test on heavy/thick connections, missing other official standards. Especially considering growing number of users battery bonding, specification appropriate testing...