The extraction of a Minimal Unsatisfiable Core (MUC) in a Constraint Satisfaction Problem (CSP) aims to identify a subset of constraints that make a CSP instance unsatisfiable. Recent work has addressed the identification of a Minimal Set of Unsatisfiable Tuples (MUST) in order to restore the CSP satisfiability with respect to that MUC. A two-step algorithm has been proposed: first, a MUC is id...

Given a fixed constraint language Γ , the conservative CSP over Γ (denoted by c-CSP(Γ )) is a variant of CSP(Γ ) where the domain of each variable can be restricted arbitrarily. In [5] a dichotomy has been proven for conservative CSP: for every fixed language Γ , c-CSP(Γ ) is either in P or NP-complete. However, the characterization of conservatively tractable languages is of algebraic nature a...

Microcrystalline Tyrosine (MCT®) is a widely used proprietary depot excipient in specific immunotherapy for allergy. In the current study we assessed the potential of MCT to serve as an adjuvant in the development of a vaccine against malaria. To this end, we formulated the circumsporozoite protein (CSP) of P. vivax in MCT and compared the induced immune responses to CSP formulated in PBS or Al...

In this study, a novel regularized common spatial pattern method is introduced. Spatial filtering is an important processing step for feature extraction in motor imagery based brain computer interfaces. Common Spatial Patterns (CSP) method is an effective spatial filter for discriminating different motor imagery signals acquired using large number of EEG electrodes. Unfortunately, CSP method is...

This paper investigates the influence of organizations’ board independence on corporate social performance (CSP) using a meta-analytic approach. A sample of 87 published papers is used to identify a set of underlying moderating effects in that relationship. Specifically, differences in the system of corporate governance, CSP measurement models and market conditions have been considered as moder...

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