The existing testing theories for CSP cater verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement based on a dialect CSP, called tock -CSP, which can capture discrete time properties. This version has been widespread interest decades; recently, it given denotational semantics, model checking become possible using well established tool. Here, we fi...

Previous studies suggest that the vesicular cysteine-string protein (CSP) may modulate presynaptic Ca(2+) channel activity in fast neurotransmitter release. To test this hypothesis, we analyzed the dynamics of presynaptic Ca(2+) ion influx with the Ca(2+) indicator fluo-4 AM at csp mutant neuromuscular junctions of Drosophila. From 24 to 30 degrees C, stimulus-evoked, relative presynaptic Ca(2+...

Caspases are cysteine proteases that can drive apoptosis in metazoans and have critical functions in the elimination of cells during development, the maintenance of tissue homeostasis, and responses to cellular damage. Although a growing body of research suggests that programmed cell death can occur in the absence of caspases, mammalian studies of caspase-independent apoptosis are confounded by...

Cold shock-domain family proteins (Csps) are highly conserved nucleic acid binding proteins regulating the expression of various genes including those involved in stress resistance and virulence in bacteria. We show here that Csps are involved in virulence, cell aggregation and flagella-based extracellular motility of Listeria monocytogenes. A L. monocytogenes mutant deleted in all three csp ge...

This paper describes an extension to the constraint satisfaction problem (CSP) called MUSE CSP (MU ltiply SEgmented C onstraint Satisfaction Problem). This extension is especially useful for those problems which segment into multiple sets of partially shared variables. Such problems arise naturally in signal processing applications including computer vision, speech processing, and handwriting r...

Chronic scrotal pain (CSP) is a common and debilitating condition, but the underlying characteristics and etiology of CSP are poorly understood. The objective of this study is to identify the characteristic and etiologies of CSP. Men presenting for management of CSP completed a standardized questionnaire and underwent a complete physical examination. From Feb 2014 to Sep 2015, a total of 131 me...

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. ObjectZ provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process intera...