In this work we present a new interface for image retrieval system that highlights the potential of a real-time, Web-based application. This system, the Perceptually-Relevant Image Search Machine (PRISM), combines the capabilities of content-based, content-free, and semantic annotation-based image retrieval. Each of the aforementioned image retrieval methods has its own strengths, weaknesses, a...

This paper presents an interpretation of some major changes affecting the competitive behaviour of firms today. The underlying postulate is a shift from tangible to intangible factors of competitive advantage, from natural resources, machinery and financial capital which are now commodities to ‘non-price’ factors of competition. Driven by their relentless search for new factors of differentiati...

We study parametric Markov decision processes (PMDPs) and their reachability probabilities ”independent” of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing different types of optimal deterministic memoryless schedulers for the whole parameter range. We implement a simple prototype tool SEA-PARAM that c...

We investigate based on a simple system model the range of applicability of the probabilistic model checker PRISM. In particular, we analyze the effect of the choice of the checking engine, of the numerical equation solver, and of other settings on the time and memory required for the analysis of the model by PRISM. The results demonstrate that not always the same engine is the fastest one but ...

Specimens from a single blood donor population as well as a single diagnostic population were tested on the Abbott PRISM HIV Ag/Ab Combo assay. All samples initially reactive were retested in duplicate. Repeatedly reactive specimens were tested in the NRL HIV-1/2 confirmatory algorithm to determine their true status. Specimens that were confirmed as HIV-positive were excluded from calculation o...

The Tunable Activation Threshold hypothesis of T Cells is investigated through computational modelling of T cell signalling pathways. Modelling techniques involving the π-calculus and the PRISM model checker are presented, and are applied to produce a stochastic model of T cell signalling. Initial results which demonstrate tuning of T cells are presented.