Nephrotoxicity is a dose-limiting side effect of cisplatin (CSP). The study investigated the possible protective role of trimetazidine (TMZ) against CSP-induced nephrotoxicity in rats. Rats were divided into four groups; control, TMZ, CSP, and CSP + TMZ. The CSP group showed significant deterioration in kidney function with structural changes in the form of interstitial hemorrhage, glomeruli sh...

The cytotoxic serine protease B (CSP-B) gene is activated during cytotoxic T-lymphocyte maturation. In this report, we demonstrate that the PEER T-cell line (bearing gamma/delta T-cell receptors) accumulates CSP-B mRNA following exposure to 12-O-tetradecanoylphorbol-13-acetate (TPA) and N6-2'-O-dibutyryladenosine 3',5'-cyclic monophosphate (bt2cAMP) because of transcriptional activation of the ...

The leading malaria vaccine candidate, RTS,S, based on the Plasmodium falciparum circumsporozoite protein (CSP), will likely be the first publicly adopted malaria vaccine. However, this and other subunit vaccines, such as virus-vectored thrombospondin-related adhesive protein (TRAP), provide only intermediate to low levels of protection. In this study, the Plasmodium berghei homologues of antig...

Cysteine string protein (CSP), a 34-kDa molecular chaperone, is expressed on synaptic vesicles in neurons and on secretory vesicles in endocrine, neuroendocrine, and exocrine cells. CSP can be found in a complex with two other chaperones, the heat shock cognate protein Hsc70, and small glutamine-rich tetratricopeptide repeat domain protein (SGT). CSP function is vital in synaptic transmission; ...

Although the deep affinity between Graphplan’s backward search, and the process of solving constraint satisfaction problems has been noted earlier, these relations have hither-to been primarily used to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automatically converting Graphplan’s planning graph into a CSP...

The language Csp-Casl combines specifications of data and processes. We give an institution based semantics to Csp-Casl that allows us to re-use the institution independent structuring mechanisms of Casl. Furthermore, we extend Csp-Casl with a notion of refinement that reconciles the differing philosophies behind the refinement notions for Csp and Casl. We develop a compositional proof calculus...

We consider worst case time bounds for NP-complete problems including 3-SAT, 3-coloring, 3-edge-coloring, and 3-list-coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems. 3-SAT is equivalent to (2, 3)-CSP while the other problems above are special cases of (3, 2)-CSP; there is also a natural duality transformation from (a, b)-CSP to (b, a)-CSP. We ...

CSP is a process algebra defined by Hoare. The first semantics associated with CSP was a denotational semantics in terms of traces, failures and divergences. Later an operational semantics was added [7]. CSP has been applied in many applications, notably for security protocols [6]. The most widely used tools today are fdr [2] and ProBE [3]. These tools use a syntax called machine readable CSP (...

Many problems in multi-agent systems can be described as a distributed CSP. However, some real-life problem can be over-constrained and without a set of consistent variable values when described as a distributed CSP. We have presented a distributed partial CSP for handling such an over-constrained situation and a distributed maximal CSP as a subclass of distributed partial CSP. In this paper, w...