‎Complex-valued harmonic functions that are univalent and‎ ‎sense-preserving in the open unit disk $U$ can be written as form‎ ‎$f =h+bar{g}$‎, ‎where $h$ and $g$ are analytic in $U$‎. ‎In this paper‎, ‎we introduce the class $S_H^1(beta)$‎, ‎where $1<betaleq 2$‎, ‎and‎ ‎consisting of harmonic univalent function $f = h+bar{g}$‎, ‎where $h$ and $g$ are in the form‎ ‎$h(z) = z+sumlimits_{n=2}^inf...

BACKGROUND AND PURPOSE Various methods for evaluating the lateralization of linguistic function using functional MR imaging have been proposed. However, the optimal method remains controversial. The purpose of this study was not only to establish a method for quantitatively evaluating the lateralization of linguistic function but also to evaluate its optimality. METHODS Internal speech tasks ...

In this paper we discuss how the speciication of components may be separated from the description of the context in which they are used. There are a number of ways in which this might be possible and here we show how to use the technique of promotion in Object-Z to combine components which are speciied using process algebras. We discuss two approaches, the rst is to separate out the speciica-ti...

The possibilities to run with a linear collider at the Z-pole with high luminosity are examined. Apart from the implications on machine and detector the interest for electroweak and B-physics is discussed. Plenary talk at the International Workshop on Linear Colliders, Fermilab 24 28 October 2000

This paper presents a method of reasoning about Object-Z speciications. The approach utilises the modularity inherent in Object-Z speciications to simplify proofs. Properties proved for a class in isolation can be used when that class is either inherited by another class or instantiated as part of a system of interacting objects. Proofs using structural induction and the notion of object integr...

VM/Pass-Through, an interactive networking facility, has gained widespread acceptance within ISM and with ISM customers. Pass-Through allows a single terminal access to many different computers, including those at distant locations. In building Pass-Through, and in observing its growing use, we have had an opportunity to study the practical implications of this facility and of our approach to i...

The main purpose of this report is to introduce a formal speciication notation ZedCharts and its applications. The ZedCharts notation is a combination of a Statecharts subset and the Z notation. This notation can be used for specifying reactive systems and safety-critical systems by describing their behaviour and functionality formally. We will also demonstrate an eeective approach to using Zed...

Since the seminal work of the Gestalt psychologists, there has been great interest in understanding what factors determine the perceptual organization of images. While the Gestaltists demonstrated the significance of grouping cues such as similarity, proximity and good continuation, it has not been well understood whether their catalog of grouping cues is complete--in part due to the paucity of...