Skip to main content

Research Repository

Advanced Search

All Outputs (27)

Clinical reasoning - a mental health perspective. (1996)
Presentation / Conference Contribution
McKay, E. A. (1996, January). Clinical reasoning - a mental health perspective. Paper presented at College of Occupational Therapists Annual Conference, Leeds, England

Java: an explosion on the Internet. (1996)
Presentation / Conference Contribution
Read, T., & Hall, H. (1996). Java: an explosion on the Internet. In D. I. Raitt, & B. Jeapes (Eds.), Proceedings of the 20th International Online Meeting (49-55)

Summer 1995 saw the release, with considerable media attention, of draft versions of Sun Microsystems' Java language and the HotJava browser. In the past few months Java has been heralded as the latest "killer" technology in the Internet explosion. L... Read More about Java: an explosion on the Internet..

DRIVE: An environment for the organised construction of user interfaces to data. (1996)
Presentation / Conference Contribution
Mitchell, K., Kennedy, J., & Barclay, P. J. (1996, July). DRIVE: An environment for the organised construction of user interfaces to data. Presented at 3rd International Workshop on User Interfaces to Databases - IDS3, 1996

This paper describes a runtime user-interface development
environment (UIDE) for the novel capability of interactively using and specifying user-interfaces to object-oriented databases (IDSs). A framework provides the foundation for IDSs constructed... Read More about DRIVE: An environment for the organised construction of user interfaces to data..

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996). Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers (67-74)

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..

A plug-in disk-Interface-process for the WSQL data access controller. (1996)
Presentation / Conference Contribution
Kerridge, J., & Kukla, R. (1996, March). A plug-in disk-Interface-process for the WSQL data access controller. Presented at WoTUG '96 19th world occam and transputer user group technical meeting on Parallel processing developments

As part of the development of a disk based storage subsystem for a database machine, a disk interface process has been designed, exploiting parallel processing features of the transputer. In a step-by-step approach design-decisions are presented and... Read More about A plug-in disk-Interface-process for the WSQL data access controller..

Describing and characterising visualisations. (1996)
Presentation / Conference Contribution
Kennedy, J. B., Mitchell, K. J., & Barclay, P. J. (1996). Describing and characterising visualisations. In 3rd FADIVA Workshop

A generic framework for describing and specifying interfaces to databases has been proposed [1]. Currently this
framework is being used as a model for the development of an environment for the construction of user interfaces to object oriented datab... Read More about Describing and characterising visualisations..

Resource management in an electronic environment: company library Web pages and collection development principles (1996)
Presentation / Conference Contribution
Hall, H., & Russell, A. (1996). Resource management in an electronic environment: company library Web pages and collection development principles. In D. I. Raitt, & B. Jeapes (Eds.), Proceedings of the 20th International Online Meeting (471-475)

Traditional information services provision relies on the systematic and rational building of a collection to meet current and future user information needs. This is achieved through the acquisition and discarding of material, which might ideally be b... Read More about Resource management in an electronic environment: company library Web pages and collection development principles.

The appropriation of home information systems in Scottish homes. (1996)
Presentation / Conference Contribution
Davenport, E., Higgins, M., & Somerville, I. (1996). The appropriation of home information systems in Scottish homes. In Proceedings of an international conference on Information seeking in context (386-411)

Machine independent algorithm for concurrent finite-element problems (1996)
Presentation / Conference Contribution
Buchanan, W. J., & Gupta, N. K. (1996). Machine independent algorithm for concurrent finite-element problems. In 3rd International IEEE Conference on Computation in Electromagnetics, 1996 (17-20). https://doi.org/10.1049/cp%3A19960150

The finite-element method, initially developed for mechanical and civil engineering applications, is now applied to electromagnetics. This paper describes how parallel processing applies to finite-element simulations. The methods discussed are the pa... Read More about Machine independent algorithm for concurrent finite-element problems.

Influence of grain direction on in-plane strength properties of plywood. (1996)
Presentation / Conference Contribution
Kermani, A. (1996). Influence of grain direction on in-plane strength properties of plywood. In Proceedings of the International Wood Engineering Conference, Oct. 28-31, 1996, New Orleans, USA

Influence of grain direction on in-plane strength properties of plywood

Generalised Reed-Muller ASIC converter. (1996)
Presentation / Conference Contribution
Almaini, A. E. A., & Burnside, K. (1996). Generalised Reed-Muller ASIC converter. In 2nd International Conference on ASIC (73-76). https://doi.org/10.1109/ICASIC.1996.562754

The paper outlines the design for a new IC for bidirectional conversion between the functional and operational domains of logic funcyions. The circuit can generate all fixed polarities of Generalised Reed-Muller expansions for a given Boolean express... Read More about Generalised Reed-Muller ASIC converter..

Expert system scheduling of cascade hydro-electric plants. (1996)
Presentation / Conference Contribution
Renton, M. W., & Wallace, A. R. (1996). Expert system scheduling of cascade hydro-electric plants. In Conference Proceeding of Opportunities and Advances in international Power Generation. https://doi.org/10.1049/cp%3A19960121

The hydrological interdependence of plants in cascade
hydro electric systems means that operation of any one
plant has an effect on water levels and storage at other
plants in the system. Hydro plants may be dispatched to
meet predicted demand, t... Read More about Expert system scheduling of cascade hydro-electric plants..