WorldCat Identities

University of Auckland Department of Computer Science

Overview
Works: 94 works in 95 publications in 1 language and 332 library holdings
Classifications: QA76.5.A82X, 005.133
Publication Timeline
Key
Publications about University of Auckland Publications about University of Auckland
Publications by University of Auckland Publications by University of Auckland
Most widely held works by University of Auckland
Winston Churchill fellowship report by B. J Reilly ( Book )
1 edition published in 1988 in English and held by 8 WorldCat member libraries worldwide
Standardising prolog arithmetic by Richard A O'Keefe ( Book )
1 edition published in 1989 in English and held by 7 WorldCat member libraries worldwide
A formal definition of PROLOG by Richard A O'Keefe ( Book )
1 edition published in 1985 in English and held by 7 WorldCat member libraries worldwide
Reparsing of programs in an interactive environment by University of Auckland ( Book )
1 edition published in 1984 in English and held by 7 WorldCat member libraries worldwide
An adaptive machine access system for the handicapped based on neural network by G. Alan Creak ( Book )
1 edition published in 1992 in English and held by 6 WorldCat member libraries worldwide
Abstract: "We investigate the utility of neural network techniques in providing interfaces between people with physical disabilities and computer [sic], or other machines susceptible to electronic control. We identify the necessary components of such devices, and specify their essential functions. Because of the wide variety of types of disability, and the equally wide variety of tasks which the people may wish to carry out using the device, major requirements for the device are for flexibility, adaptability, and the ability to learn. It seems that all the required functions can be implemented by neural network techniques, though as yet not all have been combined in a single network. We conclude that these techniques can offer major contributions to the construction of rehabilitative devices. We do not assert that only neural networks should be used; while we have not attempted an analysis, it is likely that traditional methods will remain superior in some areas, particularly those concerned with overall network control."
The status of computer science in New Zealand universities by R. W Doran ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
Abstract: "This report summarises the state of development of Computer Science within New Zealand Universities at the end of 1990. It was written to accompany a presentation to the AUCS conference at Sydney, February 1991."
Auckland computer science reports ( )
in English and held by 5 WorldCat member libraries worldwide
Improving the efficiency of Heapsort by I. J Boswell ( Book )
1 edition published in 1983 in English and held by 5 WorldCat member libraries worldwide
A method for integrating classification within an object-oriented environment by John Hamer ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Abstract: "One of the central principles of object-oriented programming is that object behaviour is defined internally. Curiously, in most object oriented languages an object does not have any control over its own classification; classification is decided outside of the object, before the object is created. This paper presents a mechanism called dynamic classification that provides a general solution to this problem. In addition, this mechanism allows casual (non-type) object relationships to be expressed within a uniform framework."
Information structures in manufacturing processes by G. Alan Creak ( Book )
1 edition published in 1991 in English and held by 5 WorldCat member libraries worldwide
Abstract: "When people design a complex object such as a process for manufacturing some product, they draw on information from many sources. Not all of this information is equally accessible -- some may be general knowledge, some may be commonplace among engineers but unknown to the world at large, some may be drawn from the very specific experience of individuals. So long as the design is carried out by people, this mixture is acceptable, as people are very good at coping with what is, in fact, their natural way of planning and designing. If the design is to be automated, a more structured approach is needed, so in this study I explore the sources of information which contribute to the decisions taken when planning the manufacture of a product by production line techniques. Several stages of development are described, interactions between the stages are made clear, and several useful databases -- including programmes, regarded as databases on the structure of the process -- are identified. Finally, a specific form for a practical programming language is suggested, and the parts played by the databases illustrated by sketching a possible interpretation technique."
Tridee : an object-oriented 3D graphics package by R. J Lobb ( Book )
1 edition published in 1992 in English and held by 5 WorldCat member libraries worldwide
Abstract: "This report describes the development, design and implementation of Tridee, an object-oriented package intended for use in the teaching of three-dimensional computer graphics. Tridee is written in Object Pascal for the Apple Macintosh, and consists of a library of classes that encapsulate most of the basic abstractions of three-dimensional graphics. There are classes for scene construction, for various geometric operations, for viewing and projection of scenes, and for constructing rendering pipelines. Rendering facilities currently include wire frame drawings, flat shading, Gouraud shading and Phong shading. The Tridee classes have been made as general-purpose as possible, so that most classic graphics algorithms can be incorporated into the framework without a major redesign effort. Tridee is used in a graduate course in Computer Graphics. Students read the code in order to understand the abstractions and techniques of computer graphics, and extend and modify the supplied classes for assignment and exercise work. Considerable effort has been spent to make the classes simple and readable. Unlike most traditional computer graphics packages, the emphasis is on elegance and clean abstraction, rather than on efficiency. However, the performance is perfectly adequate for teaching purposes, given reasonably simple scenes, when run on a Macintosh II, or faster machine. A subset of the Tridee classes can be used on a Macintosh Plus or Classic, but the absence of colour facilities on such machines severely restricts the package. The report concludes with a discussion of the merits of an Object Oriented Programming style for teaching graphics abstractions, and highlights some inherent limitations of the approach."
The Eccles append operation by John Thayer Jensen ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Abstract: "Eccles is a propositional logic computation system developed by Dr. Alan Creak. It accepts sets of propositional logic formulas and combines them as instructed to generate new formulas. It operates by converting input formulas to DNF (Disjunctive Normal Form), and applying simplification rules. This paper examines Eccles' method of simplifying formulas."
An architecture for code of practice conformance systems by John G Hosking ( Book )
1 edition published in 1991 in English and held by 5 WorldCat member libraries worldwide
Abstract: "In previous work we have adopted a functional representation for code of practice provisions. This is set within an object oriented framework and includes a novel form of dynamic categorisation called classification. Here we describe extensions to that model, forming an architecture to support a wide range of code conformance tasks. The extensions include interfaces to form, plan entry, and database systems. A major feature of the architecture is a consistency manager, which propagates the effects of any changes to inputs to ensure results output are always consistent with current input. This architecture is currently being used to develop an application to assist in the code compliant design of thermal insulation in houses."
Lecturing technology : a future with hypermedia by J Lennon ( Book )
1 edition published in 1993 in English and held by 5 WorldCat member libraries worldwide
Abstract: "In this paper we first of all look at lecturing technologies past and present and then make several conjectures about future developments based on recent advances in hypermedia systems. The advantages and disadvantages of present day techniques are discussed, so that the ideas developed are soundly based on past experience. We describe a single system which integrates technologies as diverse as multimedia presentations, computer-assisted learning, computer conferencing, distance teaching and decision rooms."
Applications of hypermedia in universities by Jennifer Lennon ( Book )
1 edition published in 1993 in English and held by 5 WorldCat member libraries worldwide
The stream utilities manual by G. Alan Creak ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Abstract: "This manual describes a package of procedures and structures intended for use in C programmes to implement character streams. It includes a tutorial section, in which examples are presented and discussed, and a reference section, in which all procedures and data structures are described."
Static subclass constraints and dynamic class membership using classifiers by John Hamer ( Book )
1 edition published in 1992 in English and held by 5 WorldCat member libraries worldwide
Abstract: "This paper describes a new technique for object- oriented programming based on classifiers. Compile-time support for classifiers is motivated by an inability to express non-inclusive subclass constraints using standard inheritance links. Execution-time support for classifiers leads to dynamic classification, a powerful (object-oriented) programming mechanism that complements the dynamic binding provided by standard inheritance. Dynamic classification permits objects to extend their class membership set in a tightly controlled manner, providing a way of dynamically binding classes to objects. Classifiers and dynamic classification are introduced in the context of Kea, a strongly typed, functional, object-oriented programming language; however, the concepts are applicable across a wide range of object-oriented languages."
The resource techniques : tools for intelligent systems by Robert Chew ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Abstract: "A reexamination of the nature and function of complex expert systems suggests that emphasis should be placed on a certain set of fundamental techniques, which we call the RESOURCE techniques. These techniques are further analysed to reveal their dependence on the underlying principle of multiplicity."
A computer booking system by University of Auckland ( Book )
1 edition published in 1984 in English and held by 5 WorldCat member libraries worldwide
Use of a simulator for teaching logic circuits by R. W Doran ( Book )
2 editions published in 1987 in English and held by 5 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.45 (from 0.27 for Winston Ch ... to 0.82 for Auckland c ...)
Alternative Names
University of Auckland. Dept. of Computer Science
Languages
English (21)