Skip to main content

Research Repository

Advanced Search

All Outputs (3489)

The use of electro-deoxidation to reduce titanium dioxide and other metal oxides (2001)
Presentation / Conference Contribution
Fray, D. J., & Chen, G. Z. (2001, October). The use of electro-deoxidation to reduce titanium dioxide and other metal oxides. Paper presented at Proceedings of the Fourth International Conference on Materials Engineering for Resources

Titanium is usually extracted by the Kroll process in which titanium tetrachloride is reduced by magnesium to form titanium sponge and magnesium chloride. This is an expensive and time consuming process which makes titanium a very expensive metal. Al... Read More about The use of electro-deoxidation to reduce titanium dioxide and other metal oxides.

Hybrid population-based metaheuristic approaches for the space allocation problem (2001)
Presentation / Conference Contribution
Burke, E. K., Cowling, P., & Landa Silva, J. D. (2001). Hybrid population-based metaheuristic approaches for the space allocation problem. In Proceedings of the 2001 Congress on Evolutionary Computation (232-239). https://doi.org/10.1109/CEC.2001.934394

A hybrid population-based metaheuristic for the space allocation problem in academic institutions is presented that is based upon previous experiments using a range of techniques including hill-climbing, simulated annealing, tabu search and genetic a... Read More about Hybrid population-based metaheuristic approaches for the space allocation problem.

When is a function a fold or an unfold? (2001)
Presentation / Conference Contribution
Gibbons, J., Hutton, G., & Altenkirch, T. (2001). When is a function a fold or an unfold?.

We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, practically useful, and generic in the... Read More about When is a function a fold or an unfold?.

Camping in the digital wilderness: Tents and flashlights as interfaces to virtual worlds (2001)
Presentation / Conference Contribution
Green, J., Schnädelbach, H., Koleva, B., Benford, S., Pridmore, T., Medina, K., …Smith, H. (2001, April). Camping in the digital wilderness: Tents and flashlights as interfaces to virtual worlds. Paper presented at Conference on Human Factors in Computing Systems - Proceedings

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.

Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds (2001)
Presentation / Conference Contribution
Craven, M., Taylor, I., Drozd, A., Purbrick, J., Greenhalgh, C., Benford, S., Fraser, M., Bowers, J., Jää-Aro, K. M., Lintermann, B., & Hoch, M. (2001, March). Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds. Presented at CHI01: Human Factors in Computing Systems, Seattle, Washington, USA

We present four contrasting interfaces to allow multiple viewers to explore 3D recordings of dramas in on-line virtual worlds. The first is an on-line promenade performance to an audience of avatars. The second is a form of immersive cinema, with mul... Read More about Exploiting interactivity, influence, space and time to explore non-linear drama in virtual worlds.

A pyramidal evolutionary algorithm with different inter-agent partnering strategies for scheduling problems (2001)
Presentation / Conference Contribution
Aickelin, U. (2001, July). A pyramidal evolutionary algorithm with different inter-agent partnering strategies for scheduling problems. Presented at Genetic and Evolutionary Computation Conference 2001, late-breaking papers volume, San Franciso, California, USA

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)
Presentation / Conference Contribution
Aickelin, U. (2001). A Pyramidal Genetic Algorithm for Multiple-Choice Problems.

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.

New Directions in Commercial Secrecy and Encryption Protocols (2001)
Presentation / Conference Contribution
Ashman, H. (2001). New Directions in Commercial Secrecy and Encryption Protocols.

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)
Presentation / Conference Contribution
Burke, E., MacCarthy, B. L., Petrovic, S., & Qu, R. (2001). Case-based reasoning in course timetabling: an attribute graph approach.

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)
Presentation / Conference Contribution
Chapman, C., & Brailsford, D. F. (2001). Navigating a corpus of journal papers using Handles. In A. Hubler, P. Linde, & J. Smith (Eds.),

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)
Presentation / Conference Contribution
Dennis, L. A., & Smaill, A. (2001). Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In R. J. Boulton, & P. B. Jackson (Eds.),

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.

Is Experts' Knowledge Modular? (2001)
Presentation / Conference Contribution
Gobet, F. (2001). Is Experts' Knowledge Modular?.

This paper explores, both with empirical data and with computer simulations, the extent to which modularity characterises experts' knowledge. We discuss a replication of Chase and Simon's (1973) classic method of identifying 'chunks', i.e., perceptua... Read More about Is Experts' Knowledge Modular?.

Vector Graphics: From PostScript and Flash to SVG (2001)
Presentation / Conference Contribution
Probets, S., Mong, J., Evans, D., & Brailsford, D. F. (2001). Vector Graphics: From PostScript and Flash to SVG. In E. Munson (Ed.),

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.

The design and characterisation of an optical VLSI processor for real time centroid detection (2001)
Presentation / Conference Contribution
Boon Hean Pui, Hayes-Gill, B., Clark, M., Somekh, M., See, C., Piéri, J. F., Morgan, S., & Ng, A. (2001, April). The design and characterisation of an optical VLSI processor for real time centroid detection. Presented at Design, Test, Integration, and Packaging of MEMS/MOEMS 2001, 2001, Cannes-Mandelieu, France

The integration of photo-detectors onto a standard CMOS integrated circuit is presented. This device provides the optical front end for a real time centroid detection system to be used as part of a larger system for implementing a Shack-Hartmann wave... Read More about The design and characterisation of an optical VLSI processor for real time centroid detection.

Investigation of human T cell responses to HPV16 E2 (2000)
Presentation / Conference Contribution
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

Temporal links: recording and replaying virtual environments (2000)
Presentation / Conference Contribution
Greenhalgh, C., Purbrick, J., Purbrick, J., Benford, S., Craven, M., Drozd, A., Drozd, A., Taylor, I., & Taylor, I. (2000, October). Temporal links: recording and replaying virtual environments. Presented at PMM00: ACM Multimedia 2000, Marina del Rey, California, USA

Virtual reality (VR) currently lacks the kinds of sophisticated production technologies that are commonly available for established media such as video and audio. This paper introduces the idea of temporal links, which provide a flexible mechanism fo... Read More about Temporal links: recording and replaying virtual environments.

Artificial loading of the induction motors using a matrix converter (2000)
Presentation / Conference Contribution
Klumpner, C., Boldea, I., & Blaabjerg, F. (2000). Artificial loading of the induction motors using a matrix converter. . https://doi.org/10.1049/cp%3A20000217

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.

Ages of avatar: Community building for inhabited television (2000)
Presentation / Conference Contribution
Craven, M., Benford, S., Greenhalgh, C., Wyver, J., Brazier, C. J., Oldroyd, A., & Regan, T. (2000, September). Ages of avatar: Community building for inhabited television. Presented at Third International Conference on Collaborative Virtual Environments, San Francisco, California, USA

In this paper we describe and analyse the community building process for Ages of Avatar, a set of on-line Collaborative Virtual Environments created in Microsoft Virtual Worlds, which form part of an ongoing experiment in Inhabited Television, aiming... Read More about Ages of avatar: Community building for inhabited television.