We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...

The good parallel computing properties of sparse-grid solution techniques are investigated. For this, an existing sequential CFD code for a standard 3D problem from computational aerodynamics is restructured into a parallel application. The restructuring is organized according to a master/slave protocol. The coordinator modules developed thereby are implemented in the coordination language MANI...

The observations of BEC have stimulated interest in atom lasers, coherent sources of atomic matter waves. The build-up of atoms in the ground state of a magnetic trap is analogous to stimulated emission into a single mode of an optical laser. An important element of a laser is an output coupler, which provides a controlled way of generating a coherent propagating beam. We demonstrated a scheme ...

1 Department of Neuroimaging, Institute of Psychiatry, King’s College London, London SE5 8AF, UK 2 Behavioural and Clinical Neuroscience Institute, University of Cambridge, Cambridge, UK 3 Cambridge Cognition Limited, Cambridge, UK 4 Department of Psychiatry, University of Cambridge, Cambridge, UK 5 Division of Clinical Pharmacology, Rudolf-Boehm-Institute of Pharmacology and Toxicology, Univer...

The paper presents a simple format for typed logics with states by adding a function for register update to standard typed lambda calculus. It is shown that universal validity of equality for this extended language is decidable (extending a well-known result of Friedman for typed lambda calculus). This system is next extended to a full edged typed dynamic logic, and it is illustrated how the re...

Editor—Five years ago, when we published our research on the discrimination faced by ethnic minority doctors applying for posts as senior house officers, the Department of Health considered using our methodology to monitor progress in tackling discrimination. At a recent BMA conference to discuss racial discrimination in the medical profession several speakers pointed out that racial discrimina...

Computational steering is a technique that combines simulation and visualization. The user is continuously provided with visual feedback about the state of the simulation, and can change parameters on the y. Designers can vary parameters to optimize their product, users can detect errors in the input early, researchers can do qualitative sensitivity analyses easily. The implementation of comput...

This paper presents a comprehensive discussion on connected morphological operators for binary images. Introducing a connectivity on the underlying space, every image induces a partition of the space in foreground and background components. A connected operator is an operator that coarsens this partition for every input image. A connected operator is called a grain operator if it has the follow...

We present a method for the deenition of multiple views in 3D interfaces for computational steering. The method uses the concept of a point-based parametrizable camera object. This concept enables a user to create and conngure multiple views on his custom 3D interface in an intuitive graphical manner. Each view can be coupled to objects present in the interface, parametrized to (simulation) dat...

Cover Art Caption: Odor emission from swine facilities is a major issue for the pork industry. Here, air samples are taken to determine the impact of reducing dietary crude protein concentration through the use of crystalline amino acids on odor emission into building air. The effects of type of housing (stalls versus pens) and method of heat detection (fence-line boar exposure conducted in-pla...