Skip to main content

Research Repository

Advanced Search

All Outputs (7)

Ages of Avatar: Community Building for Inhabited Television (2000)
Conference Proceeding
Craven, M., Benford, S., Greenhalgh, C., Wyver, J., Brazier, C., Oldroyd, A., & Regan, T. (2000). Ages of Avatar: Community Building for Inhabited Television. In Proceedings of the Third International Conference on Collaborative Virtual Environments, 189--194. doi:10.1145/351006.351040

Temporal links: recording and replaying virtual environments (2000)
Conference Proceeding
Greenhalgh, C., Purbrick, J., Benford, S., Craven, M., Drozd, A., & Taylor, I. (2000). Temporal links: recording and replaying virtual environments. In MULTIMEDIA '00: Proceedings of the Eighth ACM International Conference on Multimedia, 67-74. doi:10.1145/354384.354429

Investigation of human T cell responses to HPV16 E2 (2000)
Conference Proceeding
Davidson, E., Brown, M., Burt, D., Mulryan, K., Clayton, A., Gaston, K., …Stern, P. (2000). Investigation of human T cell responses to HPV16 E2. In The 18th International Papillomavirus Conference

The Development of an On-line Submission and Peer Review System (2000)
Conference Proceeding
Pavey, P., Probets, S., & Brailsford, D. F. (2000). The Development of an On-line Submission and Peer Review System. In P. Linde, J. Smith, & E. Emelianova (Eds.),

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
Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., …Melham, T. (2000). The PROSPER Toolkit. In S. Graf, & M. Schwartzbach (Eds.),

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
Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In D. McAllester (Ed.),

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.