 ftp://csarchive.uwaterloo.ca/csarchive/CS9155/tech.ps.Z, 19911018 A Constraintbased 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9114/report.ps.Z, 19911022 Introducing a MultiDimensional 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9165/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9117/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9244/revu2.ps.Z, 19920902 Anisotropic Mesh Transformations and Optimal Error Control R B Simpson y August 7, 1992 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9245/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9250/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9255/CS9255.ps.Z, 19921217 PARTITIONING A CHORDAL GRAPH INTO TRANSITIVE SUBGRAPHS FOR PARALLEL SPARSE TRIANGULAR SOLUTION BARRY W. PEYTONy , ALEX POTHENz , AND XIAOQING YUANx 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9305/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, 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9303/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9327/CS9327.ps.Z, 19930810 A CLIQUE TREE ALGORITHM FOR PARTITIONING A CHORDAL GRAPH INTO TRANSITIVE SUBGRAPHS BARRY W. PEYTONy , ALEX POTHENz , AND XIAOQING YUANx 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9340/CS9340.ps.Z, 19930810 THE SPARSE BASIS PROBLEM AND MULTILINEAR ALGEBRA RICHARD A. BRUALDIy , SHMUEL FRIEDLANDz , AND ALEX POTHENx 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9302/CS9302.ps.Z, 19930817 Linear and Nonlinear Iterative Methods for the Incompressible NavierStokes Equations Simon S. Clift and Peter A. Forsyth Department of Computer Science University of Waterloo, Waterloo, Ontario, N2L 3G1 Technical Report CS9302 August 5, 1993 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9341/CS9341.ps.Z, 19930817 Weighted Graph Based Ordering Techniques for Preconditioned Conjugate Gradient Methods Simon S. Cliftyand WeiPai Tang Department of Computer Science University of Waterloo, Waterloo, Ontario, N2L 3G1 August 17, 1993 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9348/style.ps.Z, 19930924 A GoalDirected FunctionallyBased Stylistic Analyzer Pat Hoyt September 23, 1993 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9330/root.ps.Z, 19931101 An Illustration Technique for Unstructured 3D Meshes N P Konrad and R B Simpson University of Waterloo Department of Computer Science Technical Report cs9330 November 1, 1993 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9346/file.ps.Z, 19931125 Performing GroupBy before Join Weipeng P. Yan and Per Ake Larson Department of Computer Science University of Waterloo Waterloo, Ontario Canada N2L 3G1 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9242/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 
 ftp://csarchive.uwaterloo.ca/csarchive/HLSS/Program_February_1.ps, 19940202 SEVENTH INTERNATIONAL SYMPOSIUM ON HIGHLEVEL SYNTHESIS NiagaraontheLake, Ontario, Canada May 1820, 1994 Advance Program Cosponsored 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9360/9360.ps.Z, 19940214 Optimum Logic Encoding and Layout Wiring for VLSI Design: A GraphTheoretic Approach by ChuanJin 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 ChuanJin Shi 1993 I 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9355/paper.ps.Z, 19940302 Sequential and Parallel Algorithms for Embedding Problems on Classes of Partial kTrees Arvind Gupta Naomi Nishimuray 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9317/CS9317.ps.Z, 19940309 University of Waterloo Department of Computer Science Waterloo, Ontario, Canada Technical Report Series CS9317 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9401/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9316/CS9316.ps.Z, 19940309 University of Waterloo Department of Computer Science Waterloo, Ontario, Canada Technical Report Series CS9316 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. 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9401/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9401/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9401/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. 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9401/man.ps.Z, 19940309 GRAIL(1 ) User Commands GRAIL ( 1 ) NAME Grail finitestate machines and regular expression software Grail is a collection of programs for processing finitestate machines and regular expressions. At the user level, Grail consists of a set of filters that manipulate machines and expressions. Machines 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9348/abstract.ps, 19940315

 ftp://csarchive.uwaterloo.ca/csarchive/CS9411/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: CS9411 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9410/CS9410.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9331/TR9331.ps.Z, 19940928 Computing Values and Derivatives of B ezier and Bspline Tensor Products Computer Science Department University of Waterloo Research Report CS9331 Stephen Mann University of Waterloo Tony DeRose, Georges Winkenbach University of Washington 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9433/TR9433.ps.Z, 19941004 Using Local Optimization in Surface Fitting Computer Science Department University of Waterloo Research Report CS9433 Stephen Mann University of Waterloo 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9439/gcl.ps, 19941123 SchemaIndependent 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 CS9439 November 23, 1994 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9440/update.ps, 19941123 Fast Inverted Indexes with OnLine Update Charles L. A. Clarke Gordon V. Cormack Forbes J. Burkowski Dept. of Computer Science University of Waterloo, Waterloo, Canada, N2L 3G1 Technical Report CS9440 November 23, 1994 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9430/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 CS9430 August 24, 1994 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9509/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9514/9514.ps.Z, 19950411 The Complexity of Subgraph Isomorphism: Duality Results for Graphs of Bounded Path and TreeWidth Arvind Gupta Naomi Nishimuray March 20, 1995 
 ftp://csarchive.uwaterloo.ca/csarchive/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9501/title.ps.Z, 19950509 The Grail Papers Version 2.3 Darrell Raymond Derick Wood CS951 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9501/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9501/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9501/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9510/CS9510.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: CS9510 Dept. of Computer Science University of Waterloo, Waterloo, Canada March 9, 1995 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9508/dopt.ps.Z, 19950523 ACounterexample to the Distributed Operational Transform and a Corrected Algorithm for Pointtopoint Communication Gordon V.Cormack Department of Computer Science,University of Waterloo, Waterloo, Ontario N2L 3G1, Canada 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9507/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 CS9507 February, 15, 1995 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9512/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 CS9512 March 15, 1995 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9522/CS9522.ps.Z, 19950531 Evaluating Tensor Product and Triangular B ezier Surfaces Computer Science Department University of Waterloo Research Report CS9522 Jeromy Carri ere j2carrie@cgl.uwaterloo.ca 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9525/CS9525.ps.Z, 19950620 CS9525 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, 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9506/CS9506.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9524/paper.ps.Z, 19950718 An Analysis of Polynomial Composition Algorithms Computer Science Department University of Waterloo Research Report CS9524 Stephen Mann and Wayne Liu June 27, 1995 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9530/9530.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) 2913045. Research supported by the Natural Sciences and Engineering Research 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9532/CS9532.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://csarchive.uwaterloo.ca/csarchive/CS9532/CS9532.ps.Z 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9535/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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9537/CS9537.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9541/CS9541.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9540/CS9540.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9539/CS9539.ps.Z, 19951102 A Study of Delays and DeSynchronisation in a MultipleView 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9551/CS9551.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9552/CS9552.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. 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9550/CS9550.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9550/CS9550.Abstract.ps, 19951212

 ftp://csarchive.uwaterloo.ca/csarchive/CS9546/CS9546.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 CS9546 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9548/CS9548.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://csarchive.uwaterloo.ca/csarchive/CS9548/CS9548.ps.Z December 1995 This research was supported by a grant and a scholarship from the Information 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9604/CS9604.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 CS9604 Arne Storjohann and George Labahn fastorjoh,glabahng@daisy.uwaterloo.ca 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9603/CS9603.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 CS9603 Arne Storjohann astorjoh@daisy.uwaterloo.ca 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9443/CS9443.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 CS9443 Arne Storjohann and George Labahn fastorjoh,glabahng.uwaterloo.ca November 13, 1994 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9554/CS9554.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9607/CS9607.ps.Z, 19960207 The Use of a Combined Text/Relational Database System to Support Document Management CS9607 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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9609/CS9609.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9547/CS9547.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) 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9553/CS9553.ps.gz, 19960229 A topological data structure for hierarchical planar subdivisions Waldemar Celes Filho1 Luiz Henrique de Figueiredo2 Marcelo Gattass3 Paulo Cezar Carvalho4 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9614/CS9614.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9615/CS9615.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 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9613/CS9613.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 CS9613 
 ftp://csarchive.uwaterloo.ca/csarchive/CS9618/CS9618.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 