Department of Computer Science Date Listing Serial Listing Author Listing Title Search Form line

TECHNICAL REPORTS

100 P. Qualtrough and A. Schneider "Let's see what is happening in Auckland!" Interactive Telewatching in a Networked Hypermedia Environment. 09/1994
099 H.W. Guesgen and R.W. Doran 1994 Projects in Computer Science. 00/1994
127 H.W. Guesgen 1995 Projects in Computer Science. 10/1995
035 R.J. Lobb A Computer Booking System. 12/1984
055 G.A. Creak and R.C. Davies A Discussion Moderator. 08/1991
145 P. Fenwick A Fast, Constant-Order, Symbol Ranking Text Compressor. 04/1997
073 X.F. Ye A Fault Tolerant Distributed Termination Detection Scheme. 08/1993
036 R. O'Keefe A Formal Definition of Prolog. 01/1985
022 J.C. Butcher A Generalisation of Singly-Implicit Methods. 04/1981
159 U. Guenther and R. Nicolescu A Low-Cost Decoder for Arbitrary Binary Variable-Length Codes. 10/1997
048 J. Hamer, J.G. Hosking and R.B. Mugridge A Method For Integrating Classification Within An Object-Oriented Environment. 10/1991
141 K. Schluens, W. Fellenz, A. Koschan and M. Teschner A Modular 10-DOF Vision System for High-Resolution Active Stereo. 03/1997
088 P. Fenwick A New Data Structure for Cumulative Frequency Tables. 02/1994
110 P. Fenwick A New Data sturcture for cumulative Probability Tables: an Improved Frequency to Symbol Algorithm. 03/1995
162 G.A. Creak and R. Sheehan A New Structure for an Operating Systems Course. 03/1998
056 P. Fenwick and P. Gutmann A Report On The LZA Compression Technique and its Derivatives. 10/1991
165 L. Xiong and M.J. Dinneen A Simple but Effective Web-Based Report Server. 03/1999
012 K. Burrage A Special Family of Methods for Solving Stiff Differential Equations. 05/1977
015 K. Burrage A Special Family of Runge-Kutta Methods for Solving Stiff Differential Equations. 11/1977
006 J.C. Butcher A Stability Property of Implicit Runge-Kutta Methods. 11/1975
151 B. Wüensche A Survey and Analysis of Common Polygonization Methods and Optimization Techniques. 08/1997
148 C.S. Collberg, C. Thomborson and D. Low A Taxonomy of Obfuscating Transformations. 07/1997
013 J.C. Butcher A Transformed Implicit Runge-Kutta Methods. 05/1977
046 G.A. Creak A View of Rehabilitation Computing. 08/1990
166 P. Qualtrough AI is Dead: Long Live AI. 03/1999
032 R.J. Lobb and R.B. Mugridge AUCSNET - A Status Report. 12/1983
045 R.W. Doran Adapting Single Algorithm Multiple Data Programs for Multiprocessing Vector Computers. 07/1990
025 K. Deker Algebraic Stability of General Linear Methods. 10/1981
122 S. Yu and Q. Zhaug Algorithmic Abstraction in object oriented Languages. 06/1995
081 C. Calude and A. Salomaa Algorithmically Coding The Universe. 11/1993
060 G.A. Creak and H.W. Guesgen An Adaptive Machine Access System for the Handicapped based on Neural Network. 05/1992
003 F.D.K. Roberts An Algorithm for Minimal degree linear Chebyshev approximation on a discrete set. 10/1974
053 J.G. Hosking, R.B. Mugridge and J. Hamer An Architecture For Code Of Practice Conformance Systems. 04/1991
155 C-Y. Chen and R. Klette An Image Stitcher and Its Application in Panoramic Movie Making. 10/1997
019 K. Burrage, J.C. Butcher and F.H. Chipman An Implementation of Singly Implicity Runge-Kutta Methods (Typed in Canada). 08/1979
002 J.C. Butcher An Order Bound for Runge-Kutta Methods. 02/1974
026 J.C. Butcher An-Stability is not Equivalent to Algebraic Stability. 12/1981
142 F. Sloboda and B. Zat'ko Analysis Situs and Image Processing. 03/1997
158 G. Gimel'farb Analytic Approximation of Gibbs Potentials to Model Stochastic Textures. 10/1997
078 J. Lennon and H. Maurer Applications of Hypermedia In Universities. 09/1993
138 H.W. Guesgen and U. Löerch Applying the Principle of Literate Programming to Constraint Satisfaction. 12/1996
098 C. Calude and C. Campeanu Are Binary Codings Universal. 07/1994
169 G.A. Creak Artificial Intelligence -- or not ?. 12/1999
084 C. Calude and M. Zimand Baire Category Classification in Abstract Complexity Theory. 11/1993
130 P. Fenwick Block Sorting Text Compression -- Final Report. 00/1996
066 C. Calude Borel Normality and Algorithmic Randomness. 01/1993
087 S. Fenwick, J.G. Hosking and R.B. Mugridge Cerno-II : A Program Visualisation System. 02/1994
096 C. Calude Computability and Information. 06/1994
004 E.J. Cockayne and F.D.K. Roberts Computation of Dominating Partitions. 03/1975
064 J. Gibbons Computing Downwards Accumulations on Trees Quickly. 11/1992
101 H. Maurer and A. Schneider Conferencing - Doing it the Hypermedia Way. 09/1994
080 A. Schneider Connectionist Simulation Of Adaptive Processes In The Flight Control System Of Migratory Locusts. 09/1993
068 J.C. Grundy and J.G. Hosking Constructing Multi-View Editing Environments Using MViews. 02/1993
139 M.J. Dinneen, J.A. Ventura, M.C. Wilson and Golbon Zakeri Construction of Time-Relaxed Minimal Broadcast Networks. 02/1997
083 C. Calude Definition Of Random Strings. 11/1993
124 X.F. Ye and J.A. Keane Delivering Multicast Messages to Mobile Hosts. 07/1995
161 C.S. Collberg (Editor) Departmental Songbook (v1.3 $\beta$). 11/1997
082 J. Gibbons Deriving Tidy Drawings Of Trees. 11/1993
140 A. Rosenfeld Digital Geometry: Introduction and Bibliography. 02/1997
154 B. Yip and R. Klette Digital Visibility and Visualisation of Magnetic Resonance Imaging Series. 10/1997
147 P. Wiederhold and R.G. Wilson Dimension Functions for T0 Digital Spaces. 05/1997
108 J. Lennon Distributed Learning Environments A Future with Hypermedia. 02/1995
086 S.H. Blackmore, J.G. Hosking and R.B. Mugridge Dual Constraint Propagation in a Multi-Paradigm Programming Language. 02/1994
037 C. Colbourn Edge-Packing of Graphs and Network Reliability. 03/1986
070 J. Gibbons, W. Cai and D. Skillicorn Efficient Parallel Algorithm for Tree Accumulations. 03/1993
011 G.J. Tee Efficient Solution of Implicit Runge-Kutta Equations. 03/1977
016 K. Burrage Efficiently Implementable Algebraically Stable Runge-Kutta Methods. 11/1977
093 G.A. Creak Essay on a Multichannel Computer Interface for People with Physical Disabilities. 06/1994
143 R. Kozera and R. Klette Evaluation of Algorithms for Linear Shape from Shading. 03/1997
160 A. Stegner and R. Klette Evaluation of MPEG Motion Compensation Algorithms. 10/1997
007 E.J. Verner Explicit Runge-Kutta Methods with Estimates of the Local Truncation Error. 06/1976
092 J. Lennon Extending Work in Visual Languages Using MUSLI : A MUlti-Sensory Language Interface. 04/1994
102 P. Fenwick and P. Gutmann Fast LZ77 String Machine. 09/1994
094 R.C. Uzgalis and M.C.F. Tong Fast Searching In Ordered Linked Lists: Using A Simple Memory Allocation Strategy. 06/1994
126 J. Lennon and H. Maurer Flexible Link Architectures in Hypermedia Systems. 09/1995
069 H.W. Guesgen From Serial to Massively Parallel Constraint Satisfaction. 03/1993
049 J. Hamer, J.G. Hosking and R.B. Mugridge Functional Extensions to an Object-Oriented Programming Language. 01/1991
009 A.G. Corbings and G.J. Tee Generalised Euler Numerical Integration Schemes for The Solution ofProblems in Structural Dynamics. 01/1977
095 R.C. Uzgalis and M.C.F. Tong Guaranteed Random Input Arrivals. 06/1994
097 R.C. Uzgalis Hashing Myths. 07/1994
133 R. Klette and K. Schluens Height data from gradient fields. 08/1996
123 H.W. Guesgen and A. Philpott Herristic for Fuzzy Constraint Satisfaction. 07/1995
017 K. Burrage High Order Algebraically Stable Runge-Kutta Methods. 11/1978
089 P. Fenwick Huffman Code Efficiencies for Extensions of Sources. 02/1994
075 H. Maurer, A. Philpott and N. Scherbakov Hypermedia Systems Without Links. 07/1993
129 H. Schaal IGECS: An Interface between a Graphical Editor and Constraint Satisfaction Systems. 00/1996
152 R. Klette Image Analysis and Object Surfaces. 08/1997
168 J. van der Linden Image Flow in Light Fields. 08/1999
120 P. Fenwick Improvements to the Block Sorting Text Compression Algorithm. 00/1995
031 I.J. Boswell Improving Efficiency of Heapsort. 11/1983
021 R.G. Crawford Information Storage and Retrieval Viewed Relationally. 04/1980
052 G.A. Creak Information Structures In Manufacturing Processes. 02/1991
067 J.C. Grundy and J.G. Hosking Integrated OO System Development Using SPE. 02/1993
091 C. Calude, H. Maurer and A. Salomaa JUCS: The Journal for Universal Computer Science and its Applications to Science and Engineering Teaching. 03/1994
128 U. Löerch LIGECS: A LISP Implementation of an Interface between a Graphical Editor and a Constraint Satisfaction System. 00/1996
119 C. Calude and S. Yu Language - Theoretic Complexity of Disjunctive Sequences. 05/1995
074 J. Lennon and H. Maurer Lecturing Technology : A Future with Hypermedia. 07/1993
028 J.C. Butcher Linear and Non-Linear Stability For General Linear Methods. 11/1982
071 G. Jones and J. Gibbons Linear-time Breadth First Tree Algorithms : An exercise in the arithmetic of folds and zips. 05/1993
121 I. Tomescu Maximum Chromatic Polynomial of 3-Chromatic Blocks. 06/1995
005 F.D.K. Roberts Minimal degree rational approximation. 04/1975
106 N. Available Missing. 01/1995
076 M. Scaletti Modular Neural Networks for Visual Processing. 09/1993
112 C. Calude and T. Zamfirescu Most Numbers obey No Probaility Laws. 05/1995
050 R.B. Mugridge, J. Hamer and J.G. Hosking Multi-Methods in a Statically-Typed Programming Language. 11/1991
153 S-Z. Zhou and R. Klette Multiresolution Surface Reconstruction: Edge Collapsing + Simplification Envelopes. 10/1997
085 A. Schneider and H. Maurer New Aspects of a Hypermedia University Representation. 11/1993
018 K. Burrage and J.C. Butcher Non-linear Stability of a General Class of Differential Equation Methods. 01/1979
010 J.C. Butcher On A-Stable Implicit Runge-Kutta Methods. 03/1977
023 P.T. Cox On Determining the Causes of Non-Unifiability. 04/1981
118 I. Tomescu On The Asymptotic Average Length of A Maximum Common Subsequence For Words Over A Finite Alphabet. 05/1995
144 F. Sloboda and B. Zat'ko On piecewise linear approximation of planar curves on triangluar grids. 03/1997
164 C.S. Collberg and C. Thomborson On the Limits of Software Watermarking. 07/1998
114 C. Calude and I. Tomescu Optimum Extendible Prefix Codes. 05/1995
115 I. Tomescu Optimum Huffman Foreste. 05/1995
104 G.A. Creak and R. Kay PFL and PDL : Two Languages For Process Control. 12/1994
038 R.W. Doran Parallel Division Circuits For Small Divisors. 02/1987
149 J. Baltes Planning strategy Representation in DoLittle. 05/1997
090 C. Calude and H. Maurer Pocket Mathematics. 03/1994
146 B. Wüensche and R.J. Lobb Polygonization of Quasi-Convolutionally Smoothed Polyhedra. 04/1997
103 C. Calude and I. Chitescu Probabilities on the Space of Sequences. 11/1994
125 G.J. Chaitin, A. Arslanov and C. Calude Program-size complexity computes the Halting Problem. 09/1995
137 P. Fenwick Punctured Elias Codes for Variable-Length Coding of the Integers. 12/1996
117 R.J. Lobb Quasi Convolutional Smoothing of Polyhedra. 05/1995
172 P. Fenwick Reflections on the Burrows Wheeler transform. 07/2004
034 B. Hutton Reparsing of Programs in an Interactive Environment. 09/1984
054 G.A. Creak and R.Sheehan Representation of Information in Rehabilitation Computing. 07/1991
043 G.A. Creak and R. Chew Resource Techniques: Tools For Intelligent Systems. 01/1990
163 P. Qualtrough STEbus-based Hardware for a Model Railway Control System. 04/1998
020 J.C. Butcher, K. Burrage and F.H. Chipman STRIDE:Stable Runge-Kutta Integration for Differential Equations (Typed in Canada). 08/1979
134 M. Klemme Semantic Spaces: A new Access Paradigm to Hypermedia Systems. 08/1996
063 J. Hamer, J.G. Hosking and R.B. Mugridge Semantics and Implementations of Classifiers. 06/1992
157 K. Schluens Shading Based 3D Shape Recovery in the Presence of Shadows . 10/1997
024 K. Burrage Singly-Implicit Runge-Kutta Methods. 07/1981
150 R. Klette Sound Analysis of 3D Objects Based on Digitized Data. 07/1997
077 H.W. Guesgen and J. Hertzberg Spatial Persistence: Preliminary Report. 09/1993
014 K. Burrage and J.C. Butcher Stability Criteria for Implicit Runge-Kutta Methods. 10/1977
041 R. O'Keefe Standardising Prolog Arithmetic. 03/1989
062 J. Hamer, J.G. Hosking and R.B. Mugridge Static Subclass Constraints and Dynamic Class Numbership Using Classifiers. 06/1992
105 C. Calude, D.I. Campbell, K. Svozil and D. Stefanescu Strong Determinism vs. Computability. 01/1995
132 P. Fenwick Symbol Ranking Text Compression. 06/1996
047 G.A. Creak The Adaptive Peripheral: A Teachable Interface Based On ANeural Network. 08/1990
111 P. Fenwick The Block Sorting Data Compression Algorthm. 04/1995
072 R.W. Doran and I. Thomas The Circuit Model for Parallel Algorithms. 06/1993
027 R.V.M. Zaher The Computation of Subdominant Solutions of Linear Difference Systems. 03/1982
107 C. Calude, S. Marcus and D. Stefanescu The Creator versus Its Creation. A Mathematical Exercise. 01/1995
008 E.J. Verner The Derivation of High Order Runge-Kutta Methods. 07/1976
033 G. Clare, B. Hutton and J. Thornley The Design of Automatic Parses With Error Recovery. 05/1984
079 R.C. Davies The Development of a Platform for Designing and Building Low Cost and Computer-Controlled and Robotic and Rehabilitation Aids. (C.C.R.R. Aids.). 08/1993
044 J.T. Jensen The Eccles Append Operation. 04/1990
171 L. Xiong and M.J. Dinneen The Feasibility and Use of a Minor Containment Algorithm. 02/2000
131 R.W. Doran The Gray Code. 00/1996
156 K. Schluens The Irradiance Error and its Effect in Photometric Stereo. 10/1997
001 J.C. Butcher The Order of Numerical Methods For Ordinary Differential Equations. 10/1972
030 K. Burrage and F.H. Chipman The Stability Properties of Singly-Implicit General Linear Methods. 06/1983
051 R.W. Doran The Status of Computer Science In New Zealand Universities. 01/1991
042 G.A. Creak The Stream Utilities Manual. 01/1990
113 C. Calude and T. Zamfirescu The Typical Number Is a Lexicon. 05/1995
135 M. Klemme Tools for an Electronic Learning and Teaching Environment. 09/1996
059 R.J. Lobb and A.J. Willmott Tridee- An Object Oriented 3D Graphics Package. 07/1992
058 P. Fenwick University of Auckland Student Streaming Programs. 11/1991
061 J. Gibbons Upwards and Downwards Accumulations on Trees. 06/1992
039 R.W. Doran Use of a Simulator for Teaching Logic Circuits. 05/1987
167 S.M. Kim and M.J. Dinneen User Friendly Interface for Maintaining BibTeX Databases. 06/1999
109 J.G. Hosking and J.C. Grundy Using change descriptions to maintain consistency across multiple representations. 02/1995
029 R.W. Doran Variations On The High Speed Adder. 05/1983
057 R.W. Doran, P. Fenwick and Z. Qun Virtual Registers. 10/1991
065 S. Fenwick and J.G. Hosking Visual Debugging of Object-Oriented Systems. 01/1993
170 C.S. Collberg and C. Thomborson Watermarking, Tamper-Proofing, and Obfuscation -- Tools for Software Protection. 02/2000
136 C. Thomborson When Virtual Memory Isn't Enough. 11/1996
040 B.J. Reilly Winston Churchill Fellowship Report. 06/1989
116 M.C.F. Tong XCT Functions and Their Invertibiliy. 05/1995

line
This technical reports page is maintained by Michael J. Dinneen.