A study of the possible preventive effects of muscular exercises and intermittent venous occlusion on the cardiovascular deconditioning observed after 10 days bed recumbency - Experimental design

Experiment designed to study preventive effects of muscular exercises on intermittent venous occlusion on cardiovascular deconditioning observed after 10 days bed recumbenc

The need for dark matter in galaxies

Cooperstock and Tieu have proposed a model to account for galactic rotation curves without invoking dark matter. I argue that no model of this type can work

The effect of bedrest on various parameters of physiological function. part viii- the . . . effect on the cardiovascular tolerance to passive tilt

Effect of short and long term bed rest on cardiovascular tolerance to passive til

The effect of bedrest on various parameters of physiological function. part xi- the effect of bedrest on blood volume, urinary volume, and urinary electrolyte excretion

Effect of bed rest on blood volume, urinary volume, and urinary electrolyte excretio

The effect of bedrest on various parameters of physiological function. Part XIII - A review of possible mechanisms of orthostatic intolerance to passive tilt

Possible mechanisms of orthostatic intolerance to passive tilt - bed rest and water immersion effects on various parameters of physiological functio

The effect of bedrest on various parameters of physiological function. Part X - The effect of bedrest on the circulatory response to a valsalva maneuver

Quantitative arterial blood pressure change during Valsalva maneuver after bed res

The effect of bedrest on various parameters of physiological function. part vii- cardiac and ventilatory response to the bicycle ergometer test

Cardiac and ventilatory response to bicycle ergometer tes

The effect of bedrest on various parameters of physiological function. part vi- the effect of the performance of periodic flack maneuvers on preventing cardiovascular deconditioning of bedrest

Preventing cardiovascular deconditioning of bedrest by periodic Flack maneuvers - physiological performance and efficienc

The effect of bedrest on various parameters of physiological function. part v- dietary requirements

Effect of bedrest on various parameters of physiological function - nutritional requiremen

An interval logic for higher-level temporal reasoning

Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to express very high level abstract requirements that a program or system is to satisfy. Based on experience with those primitives, this report describes an Interval Logic that is more suitable for expressing such higher level temporal properties. The report provides a formal semantics for the Interval Logic, and several examples of its use. A description of decision procedures for the logic is also included