Daniel Hazel

Learn More
The expression pattern of CD44 standard and variant isoforms are prognostically significant in a number of malignancies. The aim of this study was to evaluate the role of the standard isoform of CD44 in predicting the clinical behaviour of rhabdomyosarcoma. Immunohistochemical analysis of CD44 was undertaken using a panel of antibodies recognizing the three(More)
In many areas of computation and reasoning, the value of an expression may depend on an implicit parameter, which may for example represent a program state, or time, or a possible world. In this paper we describe a formal first order logic which captures a general notion of expressions which depend on an implicit parameter. Both semantics and syntax are(More)
This paper presents an overview of the Possum speciication animation system, an addition to the Cogito Methodology and Toolset. Possum allows interpretation (or animation) of speciications written in Sum, which is the speciication language used in Cogito. We give an account of the functionality of Possum, illustrated by some simple examples, and describe(More)
  • 1