A concise outline of background is given on assistive methods for writing and communicating for non-speaking people, highlighting the role of efficient text entry in augmentative and alternative communication (AAC). AAC systems are designed to assist people with communication impairments to interact with others and to compose messages and other documents. Efficient text entry is therefore of gr...

This paper chronicles some issues that arose in attempting to implement two simple planners that interleave planning and execution. (For brevity, such planners will be called IPE planners.) The IPE planners are based on UCPOP (Barrett et al. 1993), a classic operator-based planner using goal-regression. Unfortunately, while the planners succeeded on very simple problems, they failed on problems...

Telecommunications is increasingly vital to the society at large, and has become essential to business, academic, as well as social activities. Due to the necessity to have access to telecommunications, the deployment requires regulations and policy. Otherwise, the deployment of the infrastructures would contribute to environment, and human complexities rather than ease of use. However, the for...

Watkins has conjectured that if R is the rank of the group of rational points of an elliptic curve E over the rationals, then 2 divides the modular parametrisation degree. We show, for a certain class of E, chosen to make things as easy as possible, that this divisibility would follow from the statement that a certain 2adic deformation ring is isomorphic to a certain Hecke ring, and is a comple...

The debts’ clearing problem is about clearing all the debts in a group of n entities (eg. persons, companies) using a minimal number of money transaction operations. In a previous paper we conjectured the problem to be NP-complete. In this paper we prove that it is NP-hard in the strong sense and also NP-easy. We also show the same results for a restricted version of the problem.

To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depicts a variant of how a particular business process can be supported by the software. The user of such a system can save the effort of creating the models and the links to system components from scratch by selecting and...

April 17, 2009 Version 1.4.1 Date 2008-09-29 Author Peter Frommolt Maintainer Peter Frommolt Title Inferences for biand trifactorial trial designs Depends mvtnorm,multcomp,lattice,graphics,methods Description This package makes global and multiple inferences for given biand trifactorial clinical trial designs using bootstrap methods and a classical approach. Licens...

This study examines whether language-specific input influences children’s nonlinguistic spatial cognition as they acquire their first language. Recent research on infant cognition has shown that preverbal infants can make a distinction between tight-fit and loose-fit containment relations. This distinction is systematically made in Korean (kkita ‘fit tightly’), but not in English (in). Using a ...

Nondeterminacy implies two unpleasant properties for testing and debugging parallel programs: successive executions of the same program with the same input values often do not show identical behaviour and watching the program influences the execution. It is therefore not always possible to test and debug parallel programs like sequential ones. This article presents an approach how to make test,...