We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusing existing compilers and runtime environments for stock functional languages, without peeking under the hood, for a fast yet cheap system in terms of implementation effort. Our focus is on performance of untyped normalization b...

An inclined air-curtain (IAC) fume hood was developed and characterized using the laser-assisted smoke flow visualization technique and tracer-gas (sulphur hexafluoride) concentration detection method. The IAC fume hood features four innovative design elements: (i) an elongated suction slot installed at the hood roof with an offset towards the rear wall, (ii) an elongated up-blowing planar jet ...

Exposures to diacetyl, a primary ingredient of butter flavoring, have been shown to cause respiratory disease among workers who mix flavorings. This study focused on evaluating ventilation controls designed to reduce emissions from the flavor mixing tanks, the major source of diacetyl in the plants. Five exhaust hood configurations were evaluated in the laboratory: standard hinged lid-opened, s...

As small-scale, shared-memory multiprocessors make their way onto desktops, the high-performance parallel applications that run on these machines will have to live alongside other applications, such as editors and web browsers. Unfortunately, unless parallel applications are coscheduled [4] or subject to process control [2], they display poor performance in such multiprogrammed environments [2]...

background: hot lab is a specially designed room in a nuclear medicine hospital where the radiopharmaceuticals are delivered, stored and prepared for dispensing. 99mo/99mtc-generator is the major source in the hot lab used for various medical imaging. it is important to maintain a standard for hot lab procedures to optimize the patient care and minimize radiation exposure to all nuclear medicin...

US and European pedestrian crash cases were analyzed to determine frequency of injury by body region and by the vehicle component identified as the injury source. US pedestrian data was drawn from the Pedestrian Crash Data Study (PCDS). European pedestrian data was drawn from the German In-Depth Accident Study (GIDAS). Results were analyzed in terms of both serious injury (AIS 3+) and disabling...

G. Hamerlinck ([email protected]) and A. A. Forbes, Dept of Biology, 430 Biology Building, Univ. of Iowa, Iowa City, IA 52242, USA. – N. P. Lemoine, Dept of Biological Sciences, Florida International University, Miami, FL 33199, USA, and: Dept of Biology, Colorado State University, Fort Collins, CO 80525, USA. – G. R. Hood, Dept of Biological Sciences, Univ. of Notre Dame, South Bend...