close this section of the libraryftp://cs-archive.uwaterloo.ca (76)
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-91-55/tech.ps.Z, 19911018
A Constraint-based Approach to Dynamic Colour Management for Windowing Interfaces by Blair MacIntyre A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1991 c Blair MacIntyre 1991
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-91-14/report.ps.Z, 19911022
Introducing a Multi-Dimensional User Model to Tailor Natural Language Generation by Jennifer Chu A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1991 c Jennifer Chu 1991 ii I
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-91-65/final.ps.Z, 19911212
Abstraction in Nonlinear Planning Qiang Yang University of Waterloo Canada Josh D. Tenenberg y University of Rochester USA Steven Woodsz CSIRO Division of Information Technology Australia
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-91-17/report.ps.Z, 19911217
An Implementation and Evaluation of a Hierarchical Nonlinear Planner by Steven G. Woods A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1991 c Steven G. Woods 1991 ii I hereby
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-92-44/revu2.ps.Z, 19920902
Anisotropic Mesh Transformations and Optimal Error Control R B Simpson y August 7, 1992
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-92-45/drp.ps, 19920929
Downward Refinement and the Efficiency of Hierarchical Problem Solving Fahiem Bacchus and Qiang Yang Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 September 22, 1992
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-92-50/sched.ps, 19920929
Solving Partial Constraint Satisfaction Problems using Local Search and Abstraction Qiang Yang and Philip W. L. Fong Department of Computer Science University of Waterloo
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-92-55/CS-92-55.ps.Z, 19921217
PARTITIONING A CHORDAL GRAPH INTO TRANSITIVE SUBGRAPHS FOR PARALLEL SPARSE TRIANGULAR SOLUTION BARRY W. PEYTONy , ALEX POTHENz , AND XIAOQING YUANx
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-05/thesis.ps.Z, 19930106
BIBLIOGRAPHY 92 Unix Programmer's Manual, Chapter Nroff/troff, Bell Laboratories, 1978. Purtilo, James M.; Applications of a Software Interconnection System in Mathematical Problem Solving Environments, In Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation, ACM,
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-03/W.ps.Z, 19930107
On Lambert's W Function by Robert M. Corless1, Gaston H. Gonnet2, D. E. G. Hare3, and David J. Jeffrey1 1Department of Applied Mathematics University of Western Ontario London, CANADA, N6A 5B7 2Informatik ETH Zurich Switzerland 3Symbolic Computation Group University of Waterloo Waterloo, Canada
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-27/CS-93-27.ps.Z, 19930810
A CLIQUE TREE ALGORITHM FOR PARTITIONING A CHORDAL GRAPH INTO TRANSITIVE SUBGRAPHS BARRY W. PEYTONy , ALEX POTHENz , AND XIAOQING YUANx
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-40/CS-93-40.ps.Z, 19930810
THE SPARSE BASIS PROBLEM AND MULTILINEAR ALGEBRA RICHARD A. BRUALDIy , SHMUEL FRIEDLANDz , AND ALEX POTHENx
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-02/CS-93-02.ps.Z, 19930817
Linear and Non-linear Iterative Methods for the Incompressible Navier-Stokes Equations Simon S. Clift and Peter A. Forsyth Department of Computer Science University of Waterloo, Waterloo, Ontario, N2L 3G1 Technical Report CS-93-02 August 5, 1993
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-41/CS-93-41.ps.Z, 19930817
Weighted Graph Based Ordering Techniques for Preconditioned Conjugate Gradient Methods Simon S. Cliftyand Wei-Pai Tang Department of Computer Science University of Waterloo, Waterloo, Ontario, N2L 3G1 August 17, 1993
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-48/style.ps.Z, 19930924
A Goal-Directed Functionally-Based Stylistic Analyzer Pat Hoyt September 23, 1993
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-30/root.ps.Z, 19931101
An Illustration Technique for Unstructured 3-D Meshes N P Konrad and R B Simpson University of Waterloo Department of Computer Science Technical Report cs-93-30 November 1, 1993
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-46/file.ps.Z, 19931125
Performing Group-By before Join Weipeng P. Yan and Per- Ake Larson Department of Computer Science University of Waterloo Waterloo, Ontario Canada N2L 3G1
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-92-42/t.ps.Z, 19931202
Justified Plans and Ordered Hierarchies by Eugene Fink A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1993 c Eugene Fink 1993 2 Acknowledgement I gratefully acknowledge the
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/HLSS/Program_February_1.ps, 19940202
SEVENTH INTERNATIONAL SYMPOSIUM ON HIGH-LEVEL SYNTHESIS Niagara-on-the-Lake, Ontario, Canada May 18-20, 1994 Advance Program Co-sponsored by the ACM/SIGDA and IEEE/DATC in cooperation with IFIP/WG 10.2 and 10.5, the Canadian Microelectronics Corporation, the University of Waterloo Institute for Computer
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-60/9360.ps.Z, 19940214
Optimum Logic Encoding and Layout Wiring for VLSI Design: A Graph-Theoretic Approach by Chuan-Jin Shi A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Doctor of Philosophy in Computer Science Waterloo, Ontario, Canada, 1993 c Chuan-Jin Shi 1993 I
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-55/paper.ps.Z, 19940302
Sequential and Parallel Algorithms for Embedding Problems on Classes of Partial k-Trees Arvind Gupta Naomi Nishimuray
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-17/CS-93-17.ps.Z, 19940309
University of Waterloo Department of Computer Science Waterloo, Ontario, Canada Technical Report Series CS-93-17 Towards CAAI: Computer Assisted Application Integration by D.D. Cowan C.J.P. Lucena R.G. Veitch October, 1993 Towards CAAI: Computer Assisted Application Integration D.D. Cowan R.G. Veitch
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-01/title.ps.Z, 19940309
The Grail Papers Version 2.0 Darrell Raymond and Derick Wood Contents Grail : Engineering Automata in C++ 1 A User's Guide to Grail 17 A Programmer's Guide to Grail 29 Grail man pages 92
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-16/CS93-16.ps.Z, 19940309
University of Waterloo Department of Computer Science Waterloo, Ontario, Canada Technical Report Series CS-93-16 Program Design & Implementation With Abstract Data Views by A.B. Potengy C.J.P. Lucena D.D. Cowan R. Ierusalimschy March, 1993 Program Design & Implementation With Abstract Data Views A.B.
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-01/user.ps.Z, 19940309
User's Guide to Grail Version 2.0 Darrell Raymond Derick Wood y January 1994 Department of Computer Science, University of Waterloo, Waterloo, Canada yDepartment of Computer Science, University of Western Ontario, London, Canada 17 18 Contents 1 Introduction. 19 2 Objects. 20 3 Filters. 22 3.1 Filters
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-01/intro.ps.Z, 19940309
Grail: Engineering Automata in C++ Version 2.0 Darrell Raymond Derick Wood y January 1994 Department of Computer Science, University of Waterloo, Waterloo, Canada yDepartment of Computer Science, University of Western Ontario, London, Canada 1 2 Contents 1 Introduction 3 2 A brief introduction to Grail
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-01/programmer.ps.Z, 19940309
Programmer's Guide to Grail Version 2.0 Darrell Raymond January 1994 Department of Computer Science, University of Waterloo, Waterloo, Canada 29 30 31 Contents 1 Introduction. 33 2 Working with Grail . 34 2.1 Organization of the files. : : : : : : : : : : : : : : : : : : : : : : : : : 34 2.2 Compiling.
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-01/man.ps.Z, 19940309
GRAIL(1 ) User Commands GRAIL ( 1 ) NAME Grail finite-state machines and regular expression software Grail is a collection of programs for processing finite-state machines and regular expressions. At the user level, Grail consists of a set of filters that manipulate machines and expressions. Machines
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-48/abstract.ps, 19940315
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-11/9411.ps.Z, 19940315
Transaction Scheduling in Dynamic Composite Multidatabase Systems Dexter P. Bradshaw Per- Ake Larson Jacob Slonim y Department of Computer Science University of Waterloo, Waterloo, Ontario N2L 3G1 Technical Report: CS-94-11
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-10/CS94-10.ps.Z, 19940511
Parallel Program and Asynchronous Circuit Design Jo C. Ebergen John Segers, Igor Benko Computer Science Department University of Waterloo Waterloo, Ontario, Canada N2L 3G1 Revised March 30, 1994
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-93-31/TR93-31.ps.Z, 19940928
Computing Values and Derivatives of B ezier and B-spline Tensor Products Computer Science Department University of Waterloo Research Report CS-93-31 Stephen Mann University of Waterloo Tony DeRose, Georges Winkenbach University of Washington
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-33/TR94-33.ps.Z, 19941004
Using Local Optimization in Surface Fitting Computer Science Department University of Waterloo Research Report CS-94-33 Stephen Mann University of Waterloo
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-39/gcl.ps, 19941123
Schema-Independent Retrieval from Heterogeneous Structured Text Charles L. A. Clarke G. V. Cormack F. J. Burkowski Dept. of Computer Science University of Waterloo, Waterloo, Canada Technical Report CS-94-39 November 23, 1994
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-40/update.ps, 19941123
Fast Inverted Indexes with On-Line Update Charles L. A. Clarke Gordon V. Cormack Forbes J. Burkowski Dept. of Computer Science University of Waterloo, Waterloo, Canada, N2L 3G1 Technical Report CS-94-40 November 23, 1994
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-30/structxt.ps, 19941129
An Algebra for Structured Text Search and A Framework for its Implementation Charles L. A. Clarke G. V. Cormack F. J. Burkowski Dept. of Computer Science University of Waterloo, Waterloo, Canada Technical Report CS-94-30 August 24, 1994
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-09/groupby.ps.Z, 19950405
Interchanging the Order of Grouping and Join 1 Weipeng P. Yan and Per- Ake Larson 2 Department of Computer Science University of Waterloo Waterloo, Ontario Canada N2L 3G1
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-14/95-14.ps.Z, 19950411
The Complexity of Subgraph Isomorphism: Duality Results for Graphs of Bounded Path- and Tree-Width Arvind Gupta Naomi Nishimuray March 20, 1995
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/NAday/program.ps, 19950417
Southern Ontario Numerical Analysis Day Friday, May 12, 1995 NADay'95 will be held at the University of Waterloo this Spring Rooms 1301, 1302 - the W.G. Davis Centre, University of Waterloo This annual event provides an opportunity for researchers and practitioners in the Southern Ontario area to hear
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-01/title.ps.Z, 19950509
The Grail Papers Version 2.3 Darrell Raymond Derick Wood CS-95-1 January 1995 Contents Grail : Engineering Automata in C++ 1 A User's Guide to Grail 21 A Programmer's Guide to Grail 41 Grail man pages 75
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-01/prog.ps.Z, 19950509
Programmer's Guide to Grail Version 2.3 Darrell Raymond1 January 1995 1 Department of Computer Science, University of Waterloo, Waterloo, Canada 41 table of contents Introduction 43 Working with Grail 44 Organization of the files 44 Compiling 45 Testing 46 Filters 48 Classes 49 Changing and extending
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-01/intro.ps.Z, 19950509
Grail: Engineering Automata in C++ Version 2.3 Darrell Raymond1 Derick Wood2 January 1995 1 Department of Computer Science, University of Waterloo, Waterloo, Canada 2 Department of Computer Science, Hong Kong University of Science and Technology, Kowloon, Hong Kong 1 table of contents Introduction 3
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-01/user.ps.Z, 19950509
User's Guide to Grail Version 2.3 Darrell Raymond1 Derick Wood2 January 1995 1 Department of Computer Science, University of Waterloo, Waterloo, Canada 2 Department of Computer Science, Hong Kong University of Science and Technology, Kowloon, Hong Kong 21 table of contents Introduction 23 Objects 25
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-10/CS-95-10.ps.Z, 19950523
A Robust Storage System Architecture R. C. Good rcgood@ccnga.uwaterloo.ca G. V. Cormack gvcormack@plg.uwaterloo.ca C. L. A. Clarke claclarke@plg.uwaterloo.ca D. Taylor dtaylor@ccnga.uwaterloo.ca Technical Report: CS-95-10 Dept. of Computer Science University of Waterloo, Waterloo, Canada March 9, 1995
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-08/dopt.ps.Z, 19950523
ACounterexample to the Distributed Operational Transform and a Corrected Algorithm for Point-to-point Communication Gordon V.Cormack Department of Computer Science,University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-07/regexp.ps.Z, 19950523
On the use of Regular Expressions for Searching Text Charles L. A. Clarke Gordon V. Cormack Department of Computer Science University of Waterloo, Waterloo, Canada Technical Report CS-95-07 February, 15, 1995
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-12/mt.ps.Z, 19950523
A Global Search Architecture F. J. Burkowski G. V. Cormack C. L. A. Clarke R. C. Good Department of Computer Science University of Waterloo, Waterloo, Canada email: mt@plg.uwaterloo.ca www: ftp://plg.uwaterloo.ca/pub/mt Technical Report CS-95-12 March 15, 1995
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-22/CS-95-22.ps.Z, 19950531
Evaluating Tensor Product and Triangular B ezier Surfaces Computer Science Department University of Waterloo Research Report CS-95-22 Jeromy Carri ere j2carrie@cgl.uwaterloo.ca
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-25/CS-95-25.ps.Z, 19950620
CS-95-25 Text / Relational Database Management Systems: Overview and Proposed SQL Extensionsy G. E. Blake, M. P. Consens, I. J. Davis, P. Kilpelainen E. Kuikka, P.- A. Larson, T. Snider, and F. W. Tompa UW Centre for the New OED and Text Research, Department of Computer Science, University of Waterloo,
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-06/CS-95-06.ps.Z, 19950621
ACalculus for Concurrent Update Gordon V.Cormack Department of Computer Science,University of Waterloo 1. Introduction This paper introduces a calculus for concurrent update (CCU) that is used to specify distributed objects. The calculus permits updates to be effected immediately at each site no central
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-24/paper.ps.Z, 19950718
An Analysis of Polynomial Composition Algorithms Computer Science Department University of Waterloo Research Report CS-95-24 Stephen Mann and Wayne Liu June 27, 1995
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-30/95-30.ps.Z, 19950718
Finding Largest Subtrees and Smallest Supertrees Arvind Gupta1 Naomi Nishimura2 July 6, 1995 1School of Computing Science, Simon Fraser University, Burnaby, British Columbia, Canada, V5A 1S6. email: arvind@cs.sfu.ca, FAX (604) 291-3045. Research supported by the Natural Sciences and Engineering Research
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-32/CS-95-32.ps.Z, 19950817
Relative Liveness: From Intuition to Automated Verification R. Negulescu J. A. Brzozowski Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 {radu,brzozo}@maveric;.uwaterloo.ca ftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-32/CS-95-32.ps.Z
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-35/9535.ps.Z, 19950822
Improving Depth Perception in 3D Interfaces with Sound by Stephen Wesley Mereu A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 Stephen W. Mereu 1995 I hearby declare that
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-37/CS-95-37.ps.Z, 19950831
Editable Software Views by Michael Thomas Hardy A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 Michael Thomas Hardy 1995 ii I hereby declare that I am the sole author of
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-41/CS95-41.ps.Z, 19950920
Searching in Constant Time and Minimum Space y (Minimae Res Magni Momenti Sunt) by Andrej Brodnik Waterloo, Ontario, Canada, 1995 c Andrej Brodnik 1995 This report is based on the author's PhD thesis. Many results are joint work with J. Ian Munro. ySupported in part by the Natural Science and
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-40/CS-95-40.ps.Z, 19950926
Programming Support for Blossoming The Blossom Classes by Wayne Liu A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Wayne Liu 1995 I hereby declare that I am the sole
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-39/CS-95-39.ps.Z, 19951102
A Study of Delays and De-Synchronisation in a Multiple-View Direct Manipulation Task by Fabrice Jaubert A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Fabrice Jaubert
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-51/CS95-51.ps.Z, 19951201
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques Steven Woods Qiang Yang Department of Computer Science University of Waterloo Waterloo, ONTARIO N2L 3G1 fsgwoods,qyangg@logos.uwaterloo.ca
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-52/CS95-52.ps.Z, 19951201
Program Understanding : A Constraint Satisfaction Modeling Framework; Understanding as Plan Recognition Steven Woods 1 University of Waterloo Canada Alex Quilici 2 University of Hawaii U.S.A. Qiang Yang 3 Simon Fraser University Canada 1Computer Science Department, Waterloo, Ont., Canada, N2L 3G1.
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-50/CS95-50.ps.Z, 19951212
Analysis of Hashing Algorithms and a New Mathematical Transform y by Alfredo Viola Waterloo, Ontario, Canada, 1995 c Alfredo Viola 1995 This report is based on the author's PhD thesis. Many results are joint work with J. Ian Munro and Patricio V. Poblete. ySupported in part by the Natural Science and
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-50/CS-95-50.Abstract.ps, 19951212
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-46/CS-95-46.ps.gz, 19960116
Transformation of structured documents Eila Kuikka Department of Computer Science, University of Waterloo, Canada email: ekuikka@watsol.uwaterloo.ca Martti Penttonen Department of Computer Science, University of Joensuu, Finland email: penttonen@cs.joensuu.fi October, 1995 Technical Report CS-95-46
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-48/CS-95-48.ps.Z, 19960116
1 Process Spaces Radu Negulescu Department of Computer Science University of Waterloo Waterloo, Ontario, Canada, N2L 3G1 radu@maveric.uwaterloo.ca ftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-48/CS-95-48.ps.Z December 1995 This research was supported by a grant and a scholarship from the Information
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-04/CS-96-04.ps.Z, 19960118
Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices Department of Computer Science University of Waterloo, Ontario, Canada, N2L 3G1 Technical Report CS-96-04 Arne Storjohann and George Labahn fastorjoh,glabahng@daisy.uwaterloo.ca
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-03/CS-96-03.ps.Z, 19960118
Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices Department of Computer Science University of Waterloo, Ontario, Canada, N2L 3G1 Technical Report CS-96-03 Arne Storjohann astorjoh@daisy.uwaterloo.ca
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-94-43/CS-94-43.ps.Z, 19960118
A Fast Las Vegas Algorithm for Computing the Smith Normal Form of a Polynomial Matrix Department of Computer Science University of Waterloo, Ontario, Canada, N2L 3G1 Technical Report CS-94-43 Arne Storjohann and George Labahn fastorjoh,glabahng.uwaterloo.ca November 13, 1994
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-54/CS-95-54.ps.Z, 19960123
Spline Extensions for the MAPLE Plot System by Wolfgang Heidrich A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Wolfgang Heidrich 1995 I hereby declare that I am the
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-07/CS-96-07.ps.Z, 19960207
The Use of a Combined Text/Relational Database System to Support Document Management CS-96-07 January 1996 Kar Yan Ng Department of Computer Science University of Waterloo Waterloo, Ontario, Canada kyng@watsol.uwaterloo.ca This is the thesis which embodies the results of my research done in partial
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-09/CS-96-09.ps.Z, 19960213
Tabular Abstraction, Editing, and Formatting by Xinxin Wang A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Doctor of Philosophy in Computer Science Waterloo, Ontario, Canada, 1996 c Xinxin Wang 1996 I hereby declare that I am the sole author of
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-47/CS-95-47.ps.gz, 19960229
Surface intersection using affine arithmetic Luiz Henrique de Figueiredo Computer Systems Group, Department of Computer Science, University of Waterloo Waterloo, Ontario, Canada N2L 3G1 (lhf@csg.uwaterloo.ca)
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-95-53/CS-95-53.ps.gz, 19960229
A topological data structure for hierarchical planar subdivisions Waldemar Celes Filho1 Luiz Henrique de Figueiredo2 Marcelo Gattass3 Paulo Cezar Carvalho4
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-14/CS-96-14.ps.Z, 19960312
A Normal Form for Function Rings Of Piecewise Functions Martin von Mohrenschildt Symbolic Computation Group University of Waterloo, Waterloo, Canada mmohrenschildt@daisy.uwaterloo.ca March 7, 1996
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-15/CS-96-15.ps.Z, 19960319
Overview of GSM: The Global System for Mobile Communications John Scourias University of Waterloo jscourias@neumann.uwaterloo.ca March 13, 1996 1 History of GSM During the early 1980s, analog cellular telephone systems experienced rapid growth in Europe, particularly in Scandinavia and the United
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-13/CS-96-13.ps, 19960410
Some improvements of a lemma of Rosenfeld Fran cois Boulier University of Waterloo, Symbolic Computation Group Waterloo, Ontario, N2L 3G1 fboulier@daisy.uwaterloo.ca, boulier@lifl.fr Submitted to IMACS'96 Technical Report CS-96-13
open this document and view contentsftp://cs-archive.uwaterloo.ca/cs-archive/CS-96-18/CS96-18.ps.Z, 19960430
Data Transfer Using Controlled Compression by Ada Ying Dee Cheung A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Ada Ying Dee Cheung 1996 I hereby declare that I am the