This paper presents some of the issues involved in implementing Interlisp  on a VAX computer  with the goal of producing a version that runs under UNIX, specifically Berkeley VM/UNIX. This implementation has the following goals: • To be compatible with and functionally equivalent to Interlisp-10. • To serve as a basis for future… (More)
This paper considers the improvements that could result from basing future computing environments on specification languages rather than programmtng languages. Our goal is to identify those capabilities which will srgnificantly enhance the user's ability to benefit from the computing environment. We have identified five such capabilities: Search.… (More)
This paper presents a rapid, ultra-low-cost approach to fabricate microfluidic devices using a polyolefin shrink film and a digital craft cutter. The shrinking process (with a 95% reduction in area) results in relatively uniform and consistent microfluidic channels with smooth surfaces, vertical sidewalls, and high aspect ratio channels with lateral… (More)
We report here the complete genome sequence of Bacillus thuringiensis subsp. kurstaki strain HD-1, which serves as the primary U.S. reference standard for all commercial insecticidal formulations of B. thuringiensis manufactured around the world.
Superhydrophobic surfaces in nature exhibit desirable properties including self-cleaning, bacterial resistance, and flight efficiency. However, creating such intricate multi-scale features with conventional fabrication approaches is difficult, expensive, and not scalable. By patterning photoresist on pre-stressed shrink-wrap film, which contracts by 95% in… (More)
Background and Objective. The purpose of this retrospective observational study was to examine the influence of severe obesity on length of stay (LOS), rehabilitation efficiency, and hospital costs post-acute rehabilitation in a population-based, tertiary care, publicly-funded regional rehabilitation center. Participants. 42 severely obese subjects (mean… (More)
This paper reports on recent developments of the ISI- Interlisp implementation of Interlisp on a VAX computer. ISI-Interlisp currently runs under UNIX, specifically the Berkeley VM/UNIX and VMS operating systems. Particular attention is paid to the current status of the implementation and the growing pains experienced in the last few years. Included is a… (More)