Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should automatically distribute a sequential program across the system usually fails in practice because of the complexity of dependence analysis in the presence of aliasing. We introduce the sieve language construct which facil...

In this paper we compare two grammar-based generation algorithms: the Semantic-Head-Driven Generation Algorithm (SHDGA), and the Essential Arguments Algorithm (EAA). Both algorithms have successfully addressed several outstanding problems in grammarbased generation, including dealing with non-monotonic compositionality of representation, left-recursion, deadlock-prone rules, and nondeterminism....

Define the middle layer graph as the graph whose vertex set consists of all bitstrings of length 2n + 1 that have exactly n or n + 1 entries equal to 1, with an edge between any two vertices for which the corresponding bitstrings differ in exactly one bit. The middle levels conjecture asserts that this graph has a Hamilton cycle for every n ≥ 1. This conjecture originated probably with Havel, B...

A subgroup G of automorphisms of a graph X is said to be 2 -arc-transitive if it is vertexand edgebut not arc-transitive. The graph X is said to be 2 -arc-transitive if Aut X is 1 2 -arc-transitive. The interplay of two different concepts, maps and hypermaps on one side and 2 -arc-transitive group actions on graphs on the other, is investigated. The correspondence between regular maps and 2 -ar...

Verifying the implementation of concurrent objects essentially proves the fine-grained implementation of object methods refines the corresponding abstract atomic operations. To simplify the specifications and proofs, we usually need auxiliary history and prophecy variables to record events occur historically and to predict the occurrence of certain events, respectively. Although the meaning of ...

In Ok, the rational prime 2 has the principal prime factorization (2) = ( 3 √ 2)3, so k has class number 1: the ring Ok has unique factorization. Next we show Ok = Z[ 3 √ 2]. Let α = a+b 3 √ 2+c 3 √ 4 be an algebraic integer, with a, b, c all rational. Computing Trk/Q of α, α 3 √ 2, and α 3 √ 4 we see 3a, 6b, 6c ∈ Z. So the denominators of a, b, and c involve at most 2 and 3. To show 2 and 3 do...

People construe reality by using words as basic units of meaningful categorization. The present theory-driven study applied the method of a free association task to explore how people express the concepts of the world and the self in words. The respondents were asked to recall any five words relating with the word world. Afterward they were asked to recall any five words relating with the word ...

In the paper we introduce a new programming language construct, called concept, which is defined as a pair of two classes: one reference class and one object class. Instances of the reference class are passed-by-value and are intended to indirectly represent objects. Instances of the object class are passed-by-reference. Each concept has a parent concept specified by means of the concept inclus...

A prototype system for implementing a virtual Personal Aerobics Trainer (PAT) is presented. Unlike workout video tapes or TV exercise shows, this system allows the user to create and personalize an aerobics session to meet the user's needs and desires. Various media technology and computer vision algorithms are used to enhance the interaction of a virtual instructor by enabling it to watch and ...

The purposes of this study were to investigate the potential predictors of personal burnout among staff working with people with intellectual disabilities and to investigate whether personal burnout is associated with health and work-related outcomes. A cross-sectional survey was carried out in 2011 in 30 residential facilities in northern Germany (N = 409, response rate 45%). The German standa...