Limited access: U-M users only
Access by request
Access via HathiTrust
Access via Fulcrum
Now showing items 1-10 of 862
Direct measurements bearing on the question of the nighttime heating mechanism in the ionosphere
(Elsevier, 1967-01)
Langmuir probe measurements of electron temperature and density were made in the upper F-region on two different occasions near local midnight. The experiments were carried out at Fort Churchill, Canada, and at Wallops ...
(402.8KB)
PSPACE-completeness of Modular Supervisory Control Problems*
(Kluwer Academic Publishers; Springer Science + Business Media, Inc., 2005-06)
In this paper we investigate computational issues associated with the supervision of concurrent processes modeled as modular discrete-event systems. Here, modular discrete-event systems are sets of deterministic finite-state ...
(175KB)
Measurement of fracture stress, young's modulus, and intrinsic stress of heavily boron-doped silicon microstructures
(Elsevier, 1989-12-10)
Heavily boron-doped silicon microstructures fabricated using deep-boron diffusions and boron etch-stops have been widely used in a variety of integrated sensors and actuators. For many applications, having knowledge of the ...
(452.6KB)
Statistical Emission Image Reconstruction for Randoms-Precorrected PET Scans Using Negative Sinogram Values
(IEEE, 2003-10-19)
Many conventional PET emission scans are corrected for accidental coincidence (AC) events, or randoms, by real-time subtraction of delayed-window coincidences, leaving only the randoms-precorrected data available for image ...
(288.2KB)
An extensible probe architecture for network protocol performance measurement
(John Wiley & Sons, Ltd., 2004-01)
This paper describes the architecture, implementation, and application of Windmill, a passive network protocol performance measurement tool. Windmill enables experimenters to measure a broad range of protocol performance ...
(224.4KB)
Desorption by ultrasound: Phenol on activated carbon and polymeric resin
(Wiley Subscription Services, Inc., A Wiley Company, 1998-07)
An experimental feasibility study of using ultrasound to accomplish the dificult desorption of phenol from activated carbon and polymeric resin adsorbents is discussed. The desorption rates of activated carbon were found ...
(1.1MB)
Cache coherence requirements for interprocess rendezvous
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1990-02)
Multiprocessors in which a shared bus is used by the processor to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages. A language construct that ...
(1.1MB)
COMMENT: Reply to a comment by R Newton
(IOP Publishing Ltd, 1989-06-01)
Following Newton's comment (see ibid., vol.5, p.437 (1989)), the author points out that: (1) the major contribution of his previous paper (see ibid., vol.4, p.549 (1988)) is the generalised fast Cholesky algorithm, not the ...
(146.2KB)
Datalog vs first-order logic
(Elsevier, 1994-12)
Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples ...
(1.4MB)