We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriic...

Future coastal flood risk will be strongly influenced by sea-level rise (SLR) and changes in the frequency and intensity of tropical cyclones. These two factors are generally considered independently. Here, we assess twenty-first century changes in the coastal hazard for the US East Coast using a flood index (FI) that accounts for changes in flood duration and magnitude driven by SLR and change...

Integrins play an important part in axon growth, but integrin traffic in neurons is poorly understood. Expression of the tenascin-C-binding integrin alpha9 promotes axon regeneration. We have therefore studied the mechanism by which alpha9 integrin and its partner beta1 are trafficked along axons and at the growth cone using adult DRG neurons and PC12 cells. We have focused on the small GTPase ...

The purpose of this study was to analyze and characterize the clinicopathological features of incidental prostate cancer (PCa) after radical cystoprostatectomy (RCP) for bladder cancer in Chinese patients. We retrospectively reviewed 378 male patients who underwent RCP for muscle invasive bladder cancer at our center and identified 47 men with incidental PCa. The clinicopathological data of inc...

OBJECTIVE The purpose of this study was to compare aerobic function [anaerobic threshold (%VO(2)-AT), respiratory compensation point (%VO(2)-RCP) and peak oxygen uptake (VO(2)peak)] between physically active patients with HIV/AIDS and matched controls and to examine associations between disease status, poor muscle strength, depression (as estimated by the profile of mood states questionnaire) a...

The Sanjiang Plain has been experienced significant wetland loss due to expanded agricultural activities, and will be potentially restored by the China National Wetland Conservation Action Plan (NWCP) in future. The objective of this study is to evaluate the impact of future climate warming and wetland restoration on wetland CH4 emissions in northeast China. We used an atmosphere-vegetation int...

OBJECTIVES To evaluate the incidence and the clinicopathological features of incidental prostate cancer detected in radical cystoprostatectomy (RCP) specimens in Chinese men and to estimate the oncological risk of prostate apex-sparing surgery for such patients. METHODS The clinical data and pathological feature of 504 patients who underwent RCP for bladder cancer from January 1999 to March 2...

BACKGROUND The randomized case presentation (RCP) study is designed to assess the degree of diagnostic accuracy for described periodontal cases. This is to lay the basis for practitioner calibration in the Practitioners Engaged in Applied Research and Learning (PEARL) Network for future clinical studies. METHODS The RCP consisted of 10 case scenarios ranging from periodontal health to gingivi...

We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our f...