All Outputs (48)

System Description: Embedding Verification into Microsoft Excel (2000)
Conference Proceeding

The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to te... Read More about System Description: Embedding Verification into Microsoft Excel.

Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems (2000)
Journal Article

In this paper, we present a case-based reasoning (CBR) approach solving educational time-tabling problems. Following the basic idea behind CBR, the solutions of previously solved problems are employed to aid finding the solutions for new problems. A... Read More about Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems.

Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells (2000)
Journal Article

The production of reactive oxygen species (ROS) within endothelial cells may have several effects, including alterations in the activity of paracrine factors, gene expression, apoptosis, and cellular injury. Recent studies indicate that a phagocyte... Read More about Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells.

Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study (2000)
Journal Article

Traditionally, historians of the care of the insane have understood their work as a branch of medical history. This paper focuses instead on the administrative structures of nineteenth century asylums. These are geographically specific and historica... Read More about Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study.

A Lorentzian Signature Model for Quantum General Relativity (2000)
Journal Article

We give a relativistic spin network model for quantum gravity based on the Lorentz group and its q-deformation, the Quantum Lorentz Algebra. We propose a combinatorial model for the path integral given by an integral over suitable representations of... Read More about A Lorentzian Signature Model for Quantum General Relativity.

'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem' (2000)
Journal Article

There is considerable interest in the use of genetic algorithms to solve problems arising in the areas of scheduling and timetabling. However, the classical genetic algorithm paradigm is not well equipped to handle the conflict between objectives and... Read More about 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'.

Seasonal and site specific variation in the component community structure of intestinal helminths in Apodemus sylvaticus from three contrasting habitats in south-east England (2000)
Journal Article

Information seeking in the online age: principles and practice / Andrew Large, Lucy A. Tedd and R.J. Hartley (Book review) (2000)
Journal Article