Learn More
Bisimulations are a broadly used formalism to deene the semantics of process algebras. In particular, by means of weak bisimulation most of the internal activity of processes may be abstracted. Unfortunately, this is not fully accomplished: for instance, the internal choice operator becomes non-associative since bisimulation can see the branching structure(More)
BACKGROUND To investigate the contribution of multidrug resistance 1 (MDR1) gene pharmacogenetics (G2677T/A and C3435T) to the efficacy of azathioprine in inducing remission in patients with Crohn's disease (CD). METHODS A cohort of 327 unrelated Spanish patients with CD recruited from a single center was studied. All patients were rigorously followed up(More)
PURPOSE Image registration is important in functional image analysis. In neurotransmission single photon emission tomography (nSPECT), specific uptake sites can be accurately localized by superimposing the SPECT study onto a high-resolution structural image such as a magnetic resonance (MR) of the subject. Mutual-information (MI)-based algorithms are(More)
In this paper we introduce a new Stochastic Process Algebra: NMSPA. This new language presents the usual features of stochastic models but probability distributions are not restricted to be exponential. This fact increases the expressive power of the language in several ways. For example , we can specify actions that can be executed with probability 1 in a(More)
Discussion forums are one of the simplest, while successful, Internet-based systems to promote the spread of knowledge. Unfortunately, they sometimes lack appropriate incentives to encourage users participation. In this paper we discuss a simple market-oriented mechanism to promote the knowledge exchange activity in discussion forums. The proposed solution(More)