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.

Logic and Boolean algebra.

Includes bibliography.

A treatise on infinitesimal calculus, containing differential and integral calculus, calculus of variations, applications to algebra and geometry, and analytical mechanics.

Vol. 3 and 4 form the author's Treatise on analytical mechanics.

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.

Central elements of the elliptic Zn monodromy matrix algebra at roots of unity

The central elements of the algebra of monodromy matrices associated with the Z(n) R-matrix are studied. When the crossing parameter w takes a special rational value w = n/N, where N and n are positive coprime integers, the center is substantially larger than that in the generic case for which the quantum determinant provides the center. In the trigonometric limit, the situation corresponds to the quantum group at roots of unity. This is a higher rank generalization of the recent results by Belavin and Jimbo. (c) 2004 Elsevier B.V. All rights reserved.

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.