Half-year abstract of medical sciences.

Mode of access: Internet.

Seneca's morals, by way of abstract : to which is added a discourse under the title of an after-thought /

Of benefits.--Of a happy life.--Of anger.--Epistles.

Statistical abstract of the United States, 1994.

Mode of access: Internet.

Laws (abstract) and board rulings regulating the practice of medicine in the United States and brief statements regarding medical registration abroad. Revised to January 15, 1931.

Mode of access: Internet.

Abstract[s] of [theses] submitted in partial fulfillment of the requirement for the degree of doctor of philosophy in the graduate school of the University of Illinois

Mode of access: Internet.

Abstract Title: Ultrasound Guided Trans-sartorial Continuous Saphenous Nerve Blockade - A technique for Relief of Postoperative Medial Incisional Foot and Ankle Pain

The saphenous nerve (SaN) innervates the region from the upper medial thigh to the medial aspect of the foot and ankle. A femoral nerve block (FNB) is effective for blockade of the SaN but this causes quadriceps weekness and reduced patient mobility that is unsuitable in an ambulatory surgical setting.

Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.