Patients with a lymphohematopoietic malignancy considered to be at high risk for posttransplant relapse were enrolled in a study to compare the use of cyclosporine (CSP) as a single agent with a combination of methylprednisolone (MP) and CSP for graft-versus-host disease (GVHD) prophylaxis after marrow transplantation from an HLA-identical sibling donor. Sixty patients were randomized to receiv...

The heat shock protein 70 family members Hsc70 and Hsp70 are known to play a protective role against the onset of experimental pancreatitis, yet their molecular function in acini is unclear. Cysteine string protein (CSP-alpha) is a zymogen granule (ZG) membrane protein characterized by an NH(2)-terminal "J domain" and a central palmitoylated string of cysteine residues. The J domain functions a...

CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which supports a modular development of processes. In this paper, we implement two main models of CSP, trace and stable failures semantics, in CSP-Agda, and define the corresponding refinement and equality relations....

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