All Outputs (1983)

Camping in the digital wilderness: Tents and flashlights as interfaces to virtual worlds (2001)
Presentation / Conference

A projection screen in the shape of a tent provides children with a shared immersive experience of a virtual world based on the metaphor of camping. RFID aerials at its entrances sense tagged children and objects as they enter and leave. Video tracki... Read More about Camping in the digital wilderness: Tents and flashlights as interfaces to virtual worlds.

A pyramidal evolutionary algorithm with different inter-agent partnering strategies for scheduling problems (2001)
Conference Proceeding

This paper combines the idea of a hierarchical distributed genetic algorithm with different inter-agent partnering strategies. Cascading clusters of sub-populations are built from bottom up, with higher-level sub-populations optimising larger parts o... Read More about A pyramidal evolutionary algorithm with different inter-agent partnering strategies for scheduling problems.

A Pyramidal Genetic Algorithm for Multiple-Choice Problems (2001)
Conference Proceeding

This paper combines the idea of a hierarchical distributed genetic algorithm with different inter-agent partnering strategies. Cascading clusters of sub-populations are built from bottom up, with higher-level sub-populations optimising larger parts o... Read More about A Pyramidal Genetic Algorithm for Multiple-Choice Problems.

Representations of first order function types as terminal coalgebras (2001)
Conference Proceeding

New Directions in Commercial Secrecy and Encryption Protocols (2001)
Conference Proceeding

Secure transmission of bulk data is of interest to many content providers. A commercially-viable distribution of content requires technology to prevent unauthorised access. Encryption tools are powerful, but have a performance cost. Without encryptio... Read More about New Directions in Commercial Secrecy and Encryption Protocols.

Case-based reasoning in course timetabling: an attribute graph approach (2001)
Conference Proceeding

An earlier Case-based Reasoning (CBR) approach developed by the authors for educational course timetabling problems employed structured cases to represent the complex relationships between courses. Previous solved cases represented by attribute g... Read More about Case-based reasoning in course timetabling: an attribute graph approach.

Navigating a corpus of journal papers using Handles (2001)
Conference Proceeding

For some years now the Internet and World Wide Web communities have envisaged moving to a next generation of Web technologies by promoting a globally unique, and persistent, identifier for identifying and locating many forms of published objects .... Read More about Navigating a corpus of journal papers using Handles.

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain (2001)
Conference Proceeding

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order... Read More about Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.

Vector Graphics: From PostScript and Flash to SVG (2001)
Conference Proceeding

The XML-based specification for Scalable Vector Graphics (SVG), sponsored by the World Wide Web consortium, allows for compact and descriptive vector graphics for the Web. SVG s domain of discourse is that of graphic primitives whose optional att... Read More about Vector Graphics: From PostScript and Flash to SVG.

Three methods to automate the space allocation process in UK universities (2001)
Book Chapter

The space allocation problem within UK universities is highly constrained, has multiple objectives, varies greatly among different institutions, requires frequent modifications and has a direct impact on the functionality of the university. As in eve... Read More about Three methods to automate the space allocation process in UK universities.

A poetry performance in a collaborative virtual environment (2000)
Journal Article

'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'.

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.

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.

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction (2000)
Journal Article

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coi... Read More about The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction.

The PROSPER Toolkit (2000)
Conference Proceeding

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporatin... Read More about The PROSPER Toolkit.

The Development of an On-line Submission and Peer Review System (2000)
Conference Proceeding

Online submission and peer review is emerging as the next step forward for many journal publishers in an ever increasing drive to take advantage of technological improvements in transferring data electronically over the internet. The Electronic Submi... Read More about The Development of an On-line Submission and Peer Review System.

Integrating SVC and HOL with the PROSPER Toolkit (2000)
Conference Proceeding

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL... Read More about Integrating SVC and HOL with the PROSPER Toolkit.

Broadcasting On-Line Social Interaction as Inhabited Television (1999)
Conference Proceeding

Inhabited TV combines collaborative virtual environments (CVEs) with broadcast TV so that on-line audiences can participate in TV shows within shared virtual worlds. Three early experiments with inhabited TV raised fundamental questions concerning th... Read More about Broadcasting On-Line Social Interaction as Inhabited Television.

Patterns of network and user activity in an inhabited television event (1999)
Conference Proceeding

Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and around shows or channels. 'Out Of This World' was an experimental inhabited... Read More about Patterns of network and user activity in an inhabited television event.