In previous work the authors investigated the inconsistencies of how successful termination was modelled in Hoare, Brookes and Roscoe’s original CSP. This led to the definition of a variant of CSP, called CSPT . CSPT presents a solution to these problems by means of adding a termination axiom to the original process axioms. In this paper we investigate how successful process termination is mode...

Cysteine-rich secretory protein 3 (CRISP-3; also known as SGP28) was originally discovered in human neutrophilic granulocytes. We have recently developed a sensitive sandwich enzyme-linked immunosorbent assay for CRISP-3 and demonstrated the presence of CRISP-3 in exocrine secretions. To investigate the subcellular localization and mobilization of CRISP-3 in human neutrophils, we performed subc...

The task of a standard fuzzy logic controller is to find a crisp control action from the fuzzy rulebase and from a set of crisp inputs. In this paper we propose an extension of this type of reasoning using Mobile Agents which works with crisp data, intervals and/or linguistic terms as inputs and with various matching methods. For any matching one obtain a crisp value as output using Slave Agent...

The present paper is devoted to the transition from crisp domains of probability to fuzzy domains of probability. First, we start with a simple transportation problem and present its solution. The solution has a probabilistic interpretation and it illustrates the transition from classical random variables to fuzzy random variables in the sense of Gudder and Bugajski. Second, we analyse the proc...

In a binary choice voting scenario, voters may have fuzzy preferences but are required to make crisp choices. In order to compare a crisp voting procedure with more general mechanisms of fuzzy preference aggregation, we first focus on the latter. We present a formulation of strategy-proofness in this setting and study its consequences. On one hand, we achieve an axiomatic recommendation of the ...

The Rand index is a measure commonly used to compare crisp partitions. Campello (2007) and Hüllermeier and Rifqi (2009) respectively, proposed two extensions of this index capable to compare fuzzy partitions. These approaches are useful when continuous values of attributes are discretized using fuzzy sets. In previous works we experimented with these extensions and compared their accuracy with ...

We are grateful for, but unconvinced by, Roger Crisp’s defence of the Priority View against our critique.1 In this reply, we show that Crisp fails to grapple with, much less defeat, the central claim of our critique. We also show that an example that Crisp offers in support of the Priority View in fact lends support to our critique of that view. 1. In sections I–II of our article, we endorse th...

In this paper we present a new neutrosophic crisp family generated from the three components’ neutrosophic crisp sets presented by Salama [4]. The idea behind Salam’s neutrosophic crisp set was to classify the elements of a universe of discourse with respect to an event ”A” into three classes: one class contains those elements that are fully supportive to A, another class contains those element...

Mammalian members of the cysteine-rich secretory protein (CRISP) family are expressed predominantly in the male reproductive tract and are implicated in the process of reproduction from spermiogenesis, posttesticular sperm maturation, and capacitation to oocyte-sperm fusion, and possibly also penetration of the zona pellucida. Rodents express only 2 CRISPs (CRISP-1 and CRISP-2) in their male re...