In this paper, we present our experiences in using symbolic model checking to analyze a
specification of a software system for aircraft collision avoidance. Symbolic model checking has …

The purpose of this study was to better clarify the VO 2 response to exercise to VO 2max by
comparing data derived from different time averaging intervals and exercise protocols. …

Objectives To describe the prevalence and cumulative incidence of secondary complications
of spinal cord injury (SCI) in the first year after discharge from inpatient rehabilitation (IR); …

It is recognized that to date there has been an overemphasis on received images and their
impact on the selection and evaluation of tourist destinations; this paper will therefore focus …

We describe an" active" antenna system for HF/VHF (long wavelength) radio astronomy that
has been successfully deployed 256-fold as the first station (LWA1) of the planned Long …

The purpose of this study was to determine the effect strength training frequency has on
improvements in lean mass and strength. Participants were 7 women and 12 men, age (χ ̄= …

Dinyer, TK, Byrd, MT, Garver, MJ, Rickard, AJ, Miller, WM, Burns, S, Clasey, JL, and Bergstrom,
HC. Low-load vs. high-load resistance training to failure on one repetition maximum …

In this paper we present our results and experiences of using symbolic model checking to
study the specification of an aircraft collision avoidance system. Symbolic model checking has …

This study, based on a multidisciplinary approach including micropaleontology, sedimentology,
mineralogy and geochemistry, evaluates the Paleocene-Eocene transition in Tunisia. At …

We present the first spectroscopic images of solar radio transients from the prototype for the
Murchison Widefield Array, observed on 2010 March 27. Our observations span the …