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 ...

OBJECTIVE Unsuccessful linkage to care and treatment increases adolescent HIV-related morbidity and mortality. This study evaluated the effect of a novel adolescent and youth Red Carpet Program (RCP) on the timing and outcomes of linkage to care. DESIGN A prepost implementation evaluation of the pilot RCP program. SETTINGS Healthcare facilities (HCFs) and schools in Homa Bay County, Kenya. ...

Inactive forearm muscle oxygenation has been reported to begin decreasing from the respiratory compensation point (RCP) during ramp leg cycling. From the RCP, hyperventilation occurs with a decrease in arterial CO2 pressure (PaCO2). The aim of this study was to determine which of these two factors, hyperventilation or decrease in PaCO2, is related to a decrease in inactive biceps brachii muscle...

The athermal and dissipative nature of packings of grains is still challenging our understanding of their compaction as well as their crystallisation. For instance, some beads poured in a container get jammed in random disordered con gurations, which cannot be denser than 64%, the random closed packing (RCP) limit. Remarkably it has been suggested that the RCP bound is saturated with dense patt...

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...