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