Communicating Sequential Processes (CSP) has been widely applied to modeling and analyzing concurrent systems. There have been considerable efforts on enhancing CSP by taking data and other system aspects into account. For instance, CSPM combines CSP with a functional programming language whereas CSP# integrates high-level CSP-like process operators with low-level procedure code. Little work ha...

Lead optimization benefits from including structural knowledge of the target. We present a new method that exploits quantitatively NMR amide proton chemical shift perturbations (CSP) on the protein side for protein-ligand docking. The approach is based on a hybrid scoring scheme consisting of a weighted sum of DrugScore, describing protein-ligand interactions, and Kendall's rank correlation coe...

The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special cases of the constraint satisfaction problem (CSP), which is the problem of determining whether a set of constraints is satisfiable. In this paper we study the wor...

Chili shrimp paste (CSP) is a favorite condiment in Southeast Asia. Microbial spoilage makes CSP unsuitable for consumption within several days. Thermal treatment was applied to produce microbiologically safe CSP. The effect of heating process on physicochemical and sensorial properties of CSP was studied. Heating at the optimum condition (21.6 min, 80 ̊C) has been shown effective and reliable ...

Antifungal azoles are the major drugs that are used to treat fungal infections. This study found that in response to antifungal azole stress, Neurospora crassa could activate the transcriptional responses of many genes and increase azole resistance by reducing the level of conidial separation 1 (CSP-1), a global transcription repressor, at azole-responsive genes. The expression of csp-1 was dir...

CSP-OZ is a formal method integrating two diierent speciications formalisms into one: the formalism Object-Z for the description of static aspects, and the process algebra CSP for the description of the dynamic behaviour of systems. The semantics of CSP-OZ is failure divergence taken from the process algebra side. In this paper we propose a method for checking correctness of CSP-OZ speciication...

Common spatial pattern (CSP) is becoming a standard way to combine linearly multi-channel EEG data in order to increase discrimination between two motor imagery tasks. We demonstrate in this article that the use of robust estimates allows improving the quality of CSP decomposition and CSP-based BCI. Furthermore, a scheme for electrode subset selection is proposed. It is shown that CSP with such...

Aggregation of corporate social performance (CSP) metrics poses a major challenge to researchers and practitioners. This study provides a critical evaluation of current aggregation approaches and proposes a new methodology based on Data Envelopment Analysis (DEA) to compute a CSP index. DEA is independent of subjective weight specifications and provides an efficiency index to benchmark the CSP ...

The effect of hepatic dysfunction, defined as abnormal serum bilirubin level, on oral cyclosporin (CSP) pharmacokinetics was examined in 28 marrow transplant patients who received CSP for prophylaxis of graft-v-host disease. Serum CSP concentrations were measured by radioimmunoassay. Forty-one concentration-time courses were studied, divided among patients with no (less than 1.2 mg/dL), mild (1...

The stable revivals model R provides a new semantic framework for the process algebra Csp. The model R has recently been added to the realm of established Csp models. Within the Csp context, it enhances the analysis of systems with regards to properties such as responsiveness and stuckness. These properties are essential in component based system design. In this paper we report on the implement...