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

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

Curcumin (CCM) is an important molecule for achieving cancer theranostics because CCM is a naturally-occurring biocompatible material that exhibits both anticancer activity and strong fluorescence property that can be used for bio-imaging. However, CCM has never been utilized in clinical trials due to its extremely low water solubility, its rapid hydrolysis in aqueous conditions at neutral pH, ...

Following the success of CORBA based systems the OMG has standardized the CORBA Component Model (CCM) to improve the implementation process of large distributed systems. The European project COACH [16] has been set up to build an Open Source development platform to construct CCM applications. As part of COACH a toolset for CCM components and system testing has been defined and implemented. This...