The purpose of this article is to show the suitability of asynchronous automata as the formal model for the specification of architectural patterns and particular architectures. Independence of actions, which occurs naturally in asynchronous automata, has direct relevance in architectural descriptions. We demonstrate this via a sequence of examples. The aim of this exercise is to identify a sui...

We study the crystal base of the negative part of a quantum group. Two explicit descriptions of the crystal B(∞) for types G2 are given. The first is given in terms of extended Nakajima monomials and the second realization follows a similar result given for other finite types by Cliff.

CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with r...

In previous research the support vector data description (SVDD) is proposed to solve the problem of one-class classification. In one-class classification, one set of data, called the target set, has to be distinguished from the rest of the feature space. In the original optimization of the support vector data description, two parameters have to be given beforehand by the user. In this paper a n...

2 Disease list and descriptions: A 15 2.1 Amino acid (AA) metabolism (aromatic) (Albinism, Alkaptonuria, Tyrosinemia, Waardenburg syndrome) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.1.1 Albinism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.1.2 Alkaptonuria . . . . . . . . . . . . . . . . . . ....

LFG encodes linguistic generalizations not in terms of formal relations in a type hierarchy, but in terms of relations between descriptions of structures. An LFG functional description – a collection of equations – can be given a name, and this name can be used to stand for those equations in linguistic descriptions. In computational treatments, these named descriptions are generally referred t...

The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-free (CF) grammars in explanatory adequacy, yet it provides a simple description and it excludes mathematical sets based on counting properties, which are rarely (if ever) used in compiler construction or in computationa...

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of whi...

Textures can often more easily be described as a composition of subtextures than as a single texture. The paper proposes a way to model and synthesize such “composite textures”, where the layout of the different subtextures is itself modeled as a texture, which can be generated automatically. Examples are shown for building materials with an intricate structure and for the automatic creation of...

In the traditional E-type approach to d-(onkey)-pronouns, these pronouns are interpreted as definite descriptions that contain a bound i-(ndividual)-variable (Evans, 1977; Cooper, 1979; Heim, 1990). Elbourne (2001, 2002); Büring (2004) have recently proposed a variant of the E-type approach which dispenses with i-variable binding for donkey anaphora resolution altogether, deriving covariance vi...