Spinal stenosis in either the cervical or lumbar spinal segments is one of the most common indications for spine imaging and intervention, particularly among the elderly. This article examines the pathophysiology and imaging of the corresponding clinical syndromes, cervical spondylotic myelopathy or neurogenic intermittent claudication. The specificity fault of spine imaging is readily evident ...

In this paper the design and formal veri cation of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital ight control applications, are presented. The RCP utilizes NMR-style redundancy to mask faults and internal majority voting to ush the e ects of transient faults. The system is formally speci ed and veri ed using the Ehdm veri cation system. A major goal of thi...

We have determined a source rupture model for the 1992 Landers earthquake (Mw 7.2) compatible with multiple data sets, spanning a frequency range from zero to 0.5 Hz. Geodetic survey displacements, near-field and regional strong motions, broadband teleseismic waveforms, and surface offset measurements have been used explicitly to constrain both the spatial and temporal slip variations along the...

We have determined a source rupture model for the 1992 Landers earthquake (Mw 7.2) compatible with multiple data sets, spanning a frequency range from zero to 0.5 Hz. Geodetic survey displacements, near-field and regional strong motions, broadband teleseismic waveforms, and surface offset measurements have been used explicitly to constrain both the spatial and temporal slip variations along the...