OBJECTIVES Retrograde cerebral perfusion (RCP) has been employed to protect the brain during cardiovascular surgery, requiring temporary hypothermic circulatory arrest (HCA). However, the protocol used for RCP remains to be modified if prolonged HCA is expected. The aim of this study was to determine the efficacy of a modified protocol for this purpose. METHODS After establishment of HCA at 1...

We present the formal veriication of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system 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 speciied and veriied using the Ehdm veriication system. Our formaliz...

introduction: the aim of this study was to compare the formation of dentinal crack and craze lines in the root dentin during root canal preparation with three different niti endodontic systems, naming reciproc (rcp), protaper universal (ptu) and mtwo. methods and materials: one hundred extracted mandibular premolars with single canals were selected and decoronated. the teeth were randomly divid...

This article reviews the current literature relating to medical outpatient services. It has been produced as part of the RCP/NHS Confederation working party on outpatients departments. The article deals with surveys of patient views on outpatients, suggested ways of improving the service, and how best to accommodate teaching in this setting. An RCP booklet, 'How user friendly is your outpatient...

Despite its long history, there are many fundamental issues concerning random packings of spheres that remain elusive, including a precise definition of random close packing (RCP). We argue that the current picture of RCP cannot be made mathematically precise and support this conclusion via a molecular dynamics study of hard spheres using the Lubachevsky-Stillinger compression algorithm. We sug...

Since A. Robinson’s work, this result has been shown valid for a large class of logic and recently has received generalizations in institutions [8]. One of the main reason why a logic should have RCP is because of “modular theory building”. Indeed, RCP has been shown to be equivalent to Craig’s interpolation property (CIP), and CIP is strongly connected to modularity in specification theory [2,...

In this paper the design and formal veri cation of the lower levels of the of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital ight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to ush the e ects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting re n...

Low cost, earth abundant, rare earth free magnetocaloric nanoparticles have attracted an enormous amount of attention for green, energy efficient, active near room temperature thermal management. Hence, we investigated the magnetocaloric properties of transition metal based (Fe70Ni30)100-xCrx (x = 1, 3, 5, 6 and 7) nanoparticles. The influence of Cr additions on the Curie temperature (TC) was s...

Transverse momentum spectra up to 4.5GeV/c were measured around midrapidity in Pb+Pb collisions at √ sNN = 17.3GeV, for π±, p, p̄ and K±, by the NA49 experiment. The nuclear modification factors RAA, RAA/pA and RCP were extracted and are compared to RHIC results at √ sNN = 200GeV. The modification factor RAA shows a rapid increase with transverse momentum in the covered region. The modification ...