Ages of Avatar: Community Building for Inhabited Television
(2000)
Conference Proceeding
All Outputs (8)
Temporal links: recording and replaying virtual environments (2000)
Conference Proceeding
Investigation of human T cell responses to HPV16 E2 (2000)
Conference Proceeding
Artificial loading of the induction motors using a matrix converter (2000)
Conference Proceeding
The paper discuses the use of a frequency converter for artificial loading of an induction motor. The characteristic of the artificial loading requires a cyclic circulation of energy between the converter and motor in order to increase the motor curr... Read More about Artificial loading of the induction motors using a matrix converter.
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.
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.
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.
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.