Semiconductor Superlattices The picture shows a monolithic power converter, fabricated in lateral AlGaN/GaN-on-Si process on an improved AlN/GaN super-lattice buffer epitaxy. reduces vertical leakage and back-gating effects compared to step-graded buffers. This integration technology allows 98.8% efficient dc-dc conversion single chip. More details can be found article number 2000404 by Stefan ...

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

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