To model and verify multi-core parallel programs, the paper proposes an axiom system for Propositional Projection Temporal Logic with Cylinder Computation Model (CCM-PPTL). To do so, the syntax and semantics of CCM-PPTL are presented. Further, based on the logical laws of PPTL, some algebraic laws of sequence expressions and logical laws regarding CCM operators are proved. Moreover, the axiom s...

BACKGROUND Previous studies in patients and in dogs with experimentally induced heart failure (HF) showed that electrical signals applied to the failing myocardium during the absolute refractory period improved left ventricular (LV) function. We examined the effects these same cardiac contractility modulating (CCM) electrical signals on myocardial oxygen consumption (MVO(2)) in both patients an...

Method From a systematic review, we identified three prospective or retrospective hospital-based cohorts (Mayo Clinic, Rochester, MN; Toronto Western Hospital, Toronto; and Hôpital Lariboisière, Paris) and one prospective population-based cohort (Scotland) that could provide detailed data regarding clinical outcome between diagnosis and CCM treatment or last follow-up in adults with CCM. We wil...

Array processing is an area of study devoted to processing the signals received from an antenna array and extracting information of interest. It has played an important role in widespread applications like radar, sonar, and wireless communications. Numerous adaptive array processing algorithms have been reported in the literature in the last several decades. These algorithms, in a general view,...

In this paper, we present an analysis of the CCM mode of operations and of a slight variant. CCM is a simple and efficient encryption scheme which combines a CBC-MAC authentication scheme with the counter mode of encryption. It is used in several standards. Despite some criticisms (mainly this mode is not online, and requires non-repeating nonces), it has nice features that make it worth to stu...

Community case management (CCM) is a promising task-shifting strategy for expanding treatment of childhood illness that is increasingly adopted by low-income countries. Its success depends in part on how the strategy is perceived by those responsible for its implementation. This study uses qualitative methods to explore health workers' and managers' perceptions about CCM provided by health surv...

OBJECT Although respiratory function is often impaired by acute cervical spinal cord injury, changes in respiratory function in patients with chronic cervical myelopathy (CCM) are not well documented. The purpose of this study was to evaluate the respiratory function of patients with CCM. METHODS Spirometric parameters were measured in 94 patients with CCM before they underwent expansive lami...

OBJECTIVE To compare the differences in presentation and outcome of patients with tuberculous meningitis (TBM) and cryptococcal meningitis (CCM). STUDY DESIGN Case series. PLACE AND DURATION OF STUDY The Aga Khan University Hospital, Karachi, from December 1995 to December 2005. METHODOLOGY Patients with a confirmed diagnosis of TBM or CCM were included in this study. The signs and sympto...

The effects of the benzodiazepine receptor antagonists flumazenil (10, 20, and 30 mglkg) and CGS 8216 (10, 20, and 30 mglkg), the benzodiazepine receptor inverse-agonist methyl {3-carboline3-carboxylate ({3-CCM; 0.3, 0.6, and 1.0 mglkg), and the benzodiazepine receptor agonist diazepam (3 mglkg) were investigated on spatial learning in the Morris water maze and thigmotaxia in an open field. Flu...