The mental model theory postulates that spatial reasoning relies on the construction, inspection,
and the variation of mental models. Experiment 1 shows that in reasoning problems with …

The EU-supported TeDUB (Technical Drawings Understanding for the Blind) project is
developing a software system that aims to make technical diagrams accessible to blind and …

In recent years, novel ion sources have been designed and developed that have enabled
focused ion beam machines to go beyond their use as nano-fabrication tools. Secondary …

The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical
layout which simultaneously satisfies a set of constraints expressed in a formal language and …

Searching for alternative solutions of an indeterminate reasoning task is an important and
necessary step in order to draw certain inferences as in the case of deduction. To elucidate the …

As the sovereign of a newly fashioned kingdom facing uncertain prospects, King Ludwig I of
Bavaria launched a sprawling building program to transform his capital city, Munich. Ludwig …

A usability requirement for interactive layout assistance systems is the principle of least
astonishment (Borning et al. 1987) which states that the system should arrange the layout in a …

Piglets were provided supplemental energy as oral doses of corn oil to find whether such
treatment might improve survival or weight gains. A total of 1,840 piglets from 182 litters was …

T HE sole and simple object of this volume is to give an account of the doctrine and practice
of the Church of the Brethren, during the first twenty years after its renewal in the year 1727. …

1Department of Computation, UMIST, Manchester, UK, 2FNB, Amsterdam, Netherlands,
3National Council for the Blind, Dublin, Ireland, 4University of Bamberg, Germany, 5TZI, …