TheWorkflow Satisfiability Problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification, subject to certain constraints on the assignment. The problem is NP-hard even when restricted to just not equals constraints. Since the number of steps k is relatively small in practice, Wang and Li (2010) introduced a parametrisation of WSP by k. Wang a...

Images are important in disease research, education, and clinical medicine. This paper presents a Web Service Platform (WSP) for support multiple programming languages to access image from biomedical databases. The main function WSP is to allow web users access image from biomedical databases. The WSP will receive web user’s queries. After that, it will send to Querying Server (QS) and the QS w...

A workflow specification defines a set of steps, a set of users, and an access control policy. The policy determines which steps a user is authorized to perform and imposes constraints on which sets of users can perform which sets of steps. The workflow satisfiability problem (WSP) is the problem of determining whether there exists an assignment of users to workflow steps that satisfies the pol...

Withdrawal seizure-prone (WSP) and withdrawal seizure-resistant (WSR) mice were selectively bred to have severe (WSP) or mild (WSR) handling-induced convulsions after chronic ethanol inhalation. The purpose of the present experiments was to determine whether seizure susceptibility differences between WSP and WSR mice during ethanol withdrawal were specific to agents acting at gamma-aminobutyric...

According to the Weak Supplementation Principle (WSP)--a widely received principle of mereology--an object with a proper part, p, has another distinct proper part that doesn’t overlap p. 1 A guiding thought behind WSP is that there must be some mereological difference between a composite and any one of its proper parts and there would be no such difference if something were composed by a single...

The dynamic regulation of histone modifications is important for modulating transcriptional programs during development. Aberrant H3K4 methylation is associated with neurological disorders, but how the levels and the recognition of this modification affect specific neuronal processes is unclear. Here, we show that RBR-2, the sole homolog of the KDM5 family of H3K4me3/2 demethylases in Caenorhab...

Wiskott-Aldrich syndrome proteins, encoded by the Wiskott-Aldrich syndrome gene family, bridge signal transduction pathways and the microfilament-based cytoskeleton. Mutations in the Drosophila homologue, Wasp (Wsp), reveal an essential requirement for this gene in implementation of cell fate decisions during adult and embryonic sensory organ development. Phenotypic analysis of Wsp mutant anima...

The workflow satisfiability problem (WSP) is a planning problem. Certain sub-classes of this problem have been shown to be fixed-parameter tractable. In this paper we develop an implementation of an algorithm for WSP that has been shown, in our previous paper, to be fixed-parameter for user-independent constraints. In a set of computational experiments, we compare our algorithm to an encoding o...

Dietary Ca has been reported to influence the amount of phytate excreted from broilers and affect the solubility of P in excreta. To address the effects of dietary Ca and phytate on P excretion, 12 dietary treatments were fed to broilers from 16 to 21 d of age. Treatments consisted of 3 levels of phytate P (0.10, 0.24, and 0.28%) and 4 levels of Ca (0.47, 0.70, 0.93, and 1.16%) in a randomized ...

In the present study, we investigated the anti-inflammatory activity of water-soluble polysaccharide of Agaricus blazei Murill (WSP-AbM) on ovariectomized osteopenic rats. The rats were administered orally WSP-AbM (200 mg/kg BW) for 8 weeks. Subsequent serum maleic dialdehyde (MDA) level, total antioxidant status (TAOS), nuclear factor kappa B (NF- κ B) level, polymorphonuclear (PMN) cells leve...