Colonoscopic polypectomy has been shown to reduce the risk of colorectal cancer and the mortality. Postpolypectomy bleeding was reported to be lower with cold snare polypectomy (CSP) when compared with conventional polypectomy. CSP has traditionally been utilized only in smaller polyps below 1 cm. We retrospectively analyzed the CSP outcomes in patients with sessile polyps ≥10 mm in size and ob...

The process algebra Csp provides a well-established formalism for the modelling, analysis, and verification of concurrent systems. Besides being a specification language, Csp provides a valuable set of proof principles. We show in tutorial style, how these proof principles are made available in our tool Csp-Prover. Overall, Csp-Prover turns out to be an off-the-shelf proof tool ready for use in...

Background: Septilin (Spt) is an ayurvedic drug formulation from Himalaya Drug Company and is well-known for its antibacterial, anti-inflammatory and immunomodulatory activities. Interest in the use of medicinal plants and herbal medicine as immunomodulators has currently been the subject of scientific investigation worldwide. Cyclophosphamide (CP) and Cisplatin (Csp) are widely used chemothera...

Common spatial pattern (CSP) algorithm and principal component analysis (PCA) are two commonly used key techniques for EEG component selection and EEG feature extraction for EEG-based braincomputer interfaces (BCIs). However, both the ordinary CSP and PCA algorithms face a loading problem, i.e., their weights in linear combinations are non-zero. This problem makes a BCI system easy to be over-f...

CSP‖B is an approach to combining the process algebra CSP with the formal development method B, enabling the formal description of systems involving both event-oriented and state-oriented aspects of behaviour. The approach provides architectures which enable the application of CSP verification tools and B verification tools to the appropriate parts of the overall description. Previous work has ...

We describe a new tool called Csp-Prover which is an interactive theorem prover dedicated to refinement proofs within the process algebra Csp. It aims specifically at proofs for infinite state systems, which may also involve infinite non-determinism. Semantically, Csp-Prover supports both the theory of complete metric spaces as well as the theory of complete partial orders. Both these theories ...

In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of di erent encodings for representing CSPs as SAT instances. In this paper, we leverage advances in both SAT and CSP solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call Proteus, that does not rely purely on CSP solvers. Inste...

Cysteine string proteins (CSPs) are secretory vesicle proteins bearing a "J domain" and a palmitoylated cysteine-rich "string" region that are critical for neurotransmitter release. The precise role of CSP in neurotransmission is controversial. Here, we demonstrate a novel interaction between CSP, receptor-coupled trimeric GTP binding proteins (G proteins), and N-type Ca2+ channels. G. subunits...

Constraint satisfaction is gaining a great deal of attention because many combinatorial problems especially in areas of Artificial Intelligence can be expressed in a natural way as a Constraint Satisfaction Problem (CSP). It is well known that a non-binary CSP can be transformed into an equivalent binary CSP using some of the actual techniques. However, when the CSP is not discrete or the numbe...