The design and implementation of an interactive spot noise algorithm is presented. Spot noise is a technique which utilizes texture for the visualization of ow elds. Various design tradeoos are discussed that allow an optimal implementation on a range of high end graphical workstations. Two applications are given: the steering of a smog prediction simulation and browsing a very large data set r...

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...

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...