Research - Technical Reports





TR-1    E.K. Stansfield 1962
MPoint, MPrecision Quadrature

TR-2    H.E. Syrett, M.W. Wilson 1963
Computation of Fresnel Integrals to 28 figures, Approximations from 8 20 Figures

TR-3    N.D. Jones 1966
A Survey of Formal Language Theory

TR-4    A.L. Szilard 1972
Growth Functions of Lindenmayer Systems

TR-5    A.K. Dewdney 1972
BUGII  Hardware and Software Proposals for a Small Robot

TR-6    G.M. Dawdy 1972
The Construction of an I/O Programming System for Small Computers

TR-7    I. Gargantini 1972
Study of the Rounding Error in the Complete Horner Scheme

TR-8    D.G. Kuehner 1972
Some Special Purpose Resolution Systems

TR-9    J.K. Mullin 1972
A Survey of Indexed Sequential Access Methods

TR-10    J.F. Hart, D. Kushnir, J. Petwanakwat 1972
Computer System and Associated Media for Oral C.A.I.

TR-11    H.H. Baker, A.K. Dewdney, A.L. Szilard 1972
Generating the NinePoint Graphs

TR-12    P. Wanner 1973
Inferences over Data Records

TR-13    I. Gargantini 1973
Parallel Algorithms for the Determination of Polynomial Zeros

TR-14    R. Newkirk 1973
The Effect of Periodic Compulsory Criteria on Student Performance

TR-15    I. Gargantini, P. Ahluwalia 1974
Graphical Simulation of Logical Circuits (GSLC)

TR-16    G.F. Beckhoff 1974
The state Minimization Problem

TR-17    J.R. Parr, R.D. Ryan 1974
Performance Evaluation of an Indexed Sequential File Organization

TR-18    I. Gargantini 1974
The Computational Aspect of the Spectral Test

TR-19    P.T. Deer 1974
A Plane Euclidean Geometry Machine

TR-20    R. Orchard 1974
A Graphics Facility for POP2

TR-21    A.L. Szilard 1974
Recurrance Schemes and Generatinh Functions

TR-22    J.F. Hart, D.N. Kidd, L.E. McHardy 1975
Information System in the Lerner Centre Environment

TR-23    J. Chvatalova, A.K. Dewdney, N.E. Gibbs, R.R. Korfhage 1975
The Bandwidth Problem for Graphs  A collection of recent results

TR-24    A.K. Dewdney, J. Lemieux 1975
A GreyLevel Character Set for the Production of Pictures at a Teletype Terminal

TR-25    & 26 (out of print) D.J.M. Davies 1976
POP10 User's Manual and POP10 System Editor

TR-27    D.J.M. Davies 1976
POPLER 1.5 Functional Specification

TR-28    A.K. Dewdney 1977
Complexity of Nearest Neighbour Searching in three and Higher Dimensions

TR-29    D.C. Hogg 1976
Visual Perception in a Changing Environment: A Paradigm for Realtime Scene Analysis

TR-30    C.B. Dunham 1977
Transformed Rational Chebyshev Approximation

TR-31    P.J. Power 1977
LINK11: An Asynchronous Communications System

TR-32    C.B. Dunham 1977
Discrete Minimax Approximation by 2 Exponentials

TR-33    C.B. Dunham 1977
Simultaneous Approximation of a Set

TR-34    A.H. Dixon 1977
Generation of an Initial Line Drawing to Guide Scene Analysis

TR-35    A.K. Dewdney 1977
Threshold Matrices and the StateAssignment Problem for Neural Nets

TR-36    J.R. Parr 1977
An Access Method for Concurrently Sharing a BTree Based Indexed Sequential File

TR-37    D.J.M. Davies 1977
An Integrated HostSatellite System for List Processing Programs

TR-38    M.A. Bauer 1978
Toward a Program Synthesis System Based Upon Sample Computations

TR-39    A.K. Dewdney 1978
TwoDimensional Computation

TR-40    D.J.M. Davies 1978
TONAL  Towards a New AI Language

TR-41    Z. Pylyshyn, E.W. Elcock, M. Marmor, P. Sander 1978
Exploration in VisualMotor Spaces

TR-42    Z. Pylyshyn, E.W. Elcock, M. Marmor, P. Sander 1978
A System for PerceptualMotor Based Reasoning

TR-43    J.K. Mullin 1979
Change Area BTrees a Technique to Aid Error Recovery

TR-44    C.B. Dunham 1979
The Golden Decade of Best Approximation, 19601969

TR-45    M.A. Bauer 1979
Defining Structural Descriptions

TR-46    M.A. Bauer (ed) 1979
Report from FourthYear Projects 1977 and 1978

TR-47    J.K Mullin 1979
Reliable Indexing Using Unreliable Recognition Devices

TR-48    A.K. Dewdney 1979
A fast, approximate Gap Minimization

TR-49    J.M. Carroll, D. Ecclestone, J. Moore, D. Drotos, M. Surveyer,
A. Nevin, P. Laurin, D. Brettschneider 1979
Analysis of the Structure of Police Patrol Areas

TR-50    C.B. Dunham 1979
Fortran Program for Minimax Approximation by Semicircles

TR-51    Waisun Lee, P. Tailoi Mak, S.L. Osborn 1979
An Introduction to RELIN


TR-52    A.K. Dewdney 1979
The Embedding Dimension of a Graph

TR-53    D.M. Goldstein 1979
A Programmer's Assistant: A Natural Language Dialogue System

TR-54    G.F. Midgley 1979
Determination of DOL Sequence Equivalence by Computer

TR-55    M.A. Bauer 1980
On the Soundness and Completeness of a Program Synthesis Algorithm

TR-56    A.K. Dewdney 1980
Centroid Companion Trees: A Flexible Data Structure for Fast Searching

TR-57    C.B. Dunham 1980
Concrete Approximating Forms 1980

TR-58    M.A. Bauer, K.L. Drewery 1980
Looking at Software Design Errors

TR-59    M.A. Bauer, J. Lee 1982
Computer Assisted Software Design

TR-60    A.K. Dewdney 1981
The Computation of Bandwidth and Folding Number for Trees

TR-61    C.B. Dunham 1981
Linearly Complex Approximation

TR-62    C.B. Dunham 1981
Problems in Best Approximation

TR-63    D.G. Link 1981
Analysis of the LongestMatch Search for Large Secondary Storage Dictionaries

TR-64    S.L. Osborn 1981
Insertion in a Multirelation Database with Null

TR-65    S.L. Osborn, A. Dent, F. HM Liu, D. Sutherland 1981
Student Projects in Relational Databases


TR-66    Y.G. Shi, C.B. Dunham (ed) 1981
Best Approximation Having Restricted Ranges

TR-67    C.B. Dunham 1981
The first Algorithm of Remez for OneSided Approximation

TR-68    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 1: Introduction


TR-69    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 2: Representation and Models

TR-70    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 3: Problem List

TR-71    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 4: Reductions between NPcomplete Problems

TR-72    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 5: Reductions between problems in P

TR-73    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 6: Linear Classes and Related Theory

TR-74    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 7: Variations on Cooks Theorem

TR-75    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 8: Transforming Algorithms

TR-76    A.K. Dewdney 1981
Fast Turing Reductions Between Problems  Chapter 9: TRANSAT

TR-77    Li ChiaKai, Shi Yingguang, C.B. Dunham (ed) 1981
Schemes of the Subroutines for Logarithmic and Exponential Functions

TR-78    M.A. Bauer 1981
Techniques for Analyzing Aspects of Software Designs

TR-79    E.W. Elcock 1981
Logic Programming: A tutorial

TR-80    E.W. Elcock 1981
Logic & Programing Methodology

TR-81    E.W. Elcock 1981
Some issues of problem specification in firstorder logic

TR-82    D.J.M. Davies 1981
PHAKE User's Manual

TR-83    M.A. Bauer, K. Johns, J. Lee, V. Pliagas 1981
Investigations into aspects of error recovery in compiler design

TR-84    J.M. Carroll 1981
Risk Management for Computer Security Managers


TR-85    I. Gargantini 1984
LINQ12: a linearquadbase package for image processing

TR-86    D.K.H. Chan 1986
Equivalent Logic Programs and Symmetric Homogeneous Forms of Logic Programs with Equality

TR-87    J.M. Carroll 1982
The Automated InBasket

TR-88    A.K. Dewdney 1982
The NPCompleteness of the Crossing Number Problem and Implications for VLSI Layout

TR-89    C.B. Dunham 1982
Concrete Approximating Forms 1982

TR-90    E.W. Elcock 1983
The Pragmatics of Prolog: Some Comments

TR-91    E.W. Elcock 1982
Goal Selection Strategies in Horn Clause Programming

TR-92    C.B. Dunham 1982
DEC VAX11 Mathematical Functions

TR-93    M.M. MacMahon 1982
Tripartite Vertex Cover is NPComplete

TR-94    D.J.M. Davies 1982
Questionnaire  Responses "Electronic Mail and Canadian University Computers"

TR-95    D.J.M. Davies 1982
Overview of MLNET

TR-96    P.T. Sander, D.J.M. Davies 1982
A Strategic Approach to the game of GO

TR-97    J. Davies, C. Kvas 1982
Strategies for Cutting Rectangles from Reels

TR-98    C.B. Dunham 1985
Problems in Best Approximation, II

TR-99    H. Atkinson, I. Gargantini, T.R.S. Walsh 1984
Counting Regions, Holes and Their Nesting Level in Time Proportional to the Border

TR-100    D.J.M. Davies 1983
MAIL Manual  MAIL Version 4

TR-101    J. Dassow, H. Jürgensen 1986
Soliton Automata

TR-102    Kalli Johns 1982
A Language for Function Specifications

TR-103    Lindsay A. McDermid 1982
The Design of a User Interface for a Programming Support Environment

TR-104    Vivi Pliagas 1982
A Model for Evaluating and Analyzing Software

TR-105    C. Ellen Pitt 1982
Compiler Optimization Techniques for Use with Matrix Algebra Languages

TR-106    T.R. Walsh 1983
A Collection of Iterative Algorithms for Recursive Problems

TR-107    M.V.S. Ramanath 1983
The Grinberg Theorem for Planar Hamiltonian Digraphs

TR-108    M.V.S. Ramanath 1983
Hamiltonian Circuits in Directed Graphs

TR-109    Edwin Plantinga 1983
Towards Automated Methods for Developing User Interfaces

TR-110    S.L. Osborn, T.E. Heaven 1983
The Design of a Relational Database System with Abstract Data Types for Domains

TR-111    I. Gargantini 1983
Recent Results on Linear Quadtrees and Related Techniques

TR-112    C.B. Dunham 1984
Computation of Tables of Best Approximation: A Recollection

TR-113    I. Gargantini, H.H. Atkinson 1984
A Blocking Technique for Contour Filling: Algorithm 1


TR-114    M.V.S. Ramanth 1984
Factors in Directed Graph

TR-115    E.W. Elcock 1984
ABSYS: An Obituary

TR-116    Shih Yingkuang (Translation by Zhu Chongzhong) 1984
Characterization for Continuous Points of the best Copositive Approximation

TR-117    H.H. Atkinson, I. Gargantini, M.V.S. Ramanath 1984
Determination of the 3D Border by Repeated Elimination of Internal Surfaces


TR-118    Shih Yingkuang (Translation by Zhu ChangZhong) 1984
An Alternation Theorem for Copositive Approximation

TR-119    T.R. Walsh 1984
How Evenly Should One Divide to Conquer Quickly

TR-120    Ivy Cheng, J. Mullin 1985
Hashing: A Statistical Approach

TR-121    H. Jürgensen, A. Lindenmayer 1986
Modelling Development by OL Systems

TR-122    H. Jürgensen 1984
Towards an Integrated TypeSetting Editor

TR-123    H. Jürgensen, H. Waldschmidt 1985
Do Portability, Verifiability, and Simplicity of Programming have to be Conflicting Goals?

TR-124    H. Jürgensen, G. Thierrin 1984
Some Structural Properties of wlanguages

TR-125    H. Jürgensen, G. Thierrin 1984
Varieties of Monoids and classes of wlanguages

TR-126    A.K. Dewdney Not Available
An efficient switch for unaddressed communication in a massively parallel network

TR-127    A.K. Dewdney, D.L. Wehlau 1985
TRANSAT and NPL: Summary of Design Design and Implementation in 1984

TR-128    H. Jürgensen, G. Thierrin 1985
Infix Codes

TR-129    H. Jürgensen, G. Thierrin 1985
Which Monoids are Syntactic Monoids of wLanguages?


TR-130    J.M. Carroll, H. Jürgensen 1985
Design of a Secure Relational Data Base

TR-131    C.B. Dunham 1985
Chebyshev Approximation with the Local Haar Condition, II

TR-132    Kenny Mak (Communicated by H. Jürgensen) 1985
Arithmetic and other Transductions on Systolic Trees

TR-133    C.Z. Zhu, C.B. Dunham 1985
Special Relational Approximation by Remeztype Algorithms

TR-134    V.A. Liskovets, T.R. Walsh 1985
Ten Steps to Counting Planar Graphs


TR-135    J.F. Cuervo (Communicated by A.K. Dewdney) 1985
A Study of BLPB Algorithms for NPHard Problems

TR-136    T.R. Walsh 1985
On the Size of Quadtrees generalized to ddimensional binary pictures

TR-137    T.R. Walsh 1985
Efficient AxisTranClation of Binary Digital Pictures

TR-138    T.R. Walsh 1985
A Runoff Program for Accessing the Diablo ECS Printer from any Terminal

TR-139    H. Jürgensen, D.E. Matthews 1985
Stochastic OL Systems and Formal Power Series

TR-140    K. Culik II, H. Jürgensen, K. Mak 1985
Systolic Tree Architecture for Some Standard Functions

TR-141    A.K. Dewdney 1985
The Generic Reduction Computers

TR-142    H. Jürgensen, M. Kunze 1985
Complexity of RedundanceFree Codes

TR-143    E.W. Elcock, P. Hoddinott 1986
A Formalization and Critique of Kornfeld's Extension of Unification

TR-144    E.W. Elcock, P. Hoddinott 1986
"BUILDINGIN" Classical Equality into PROLOG

TR-145    J.P. Wenn (Communicated by M.A. Bauer) 1985
A Methodology for Hierarchical Design Rule Checking in VLSI


TR-146    E.W. Elcock, P. Hoddinott Not Available
A comment on the relation between SDeduction and SLDResolution together with the Reflexive Axiom

TR-147    M.V.S. Ramanath, T.R. Walsh 1986
Enumeration and Generation of a class of Regular Digraphs

TR-148    E.W. Elcock, P. Hoddinott 1986
Comments on Kornfeld's "Equality for Prolog": eunification as a mechanism for augmenting the Prolog search strategy

TR-149    P. Hoddinott, E.W. Elcock 1986
Kornfeld's extended unification and equality

TR-150    J.M. Carroll, Li Yu, May Cheung 1986
Simulation of timeseries pertubations for evaluating change detectors

TR-151    Jeff J. Lee 1986
A Model for TextuallyOriented Editing

TR-152    J.M. Carroll, Milan Kantor 1986
Hardening DES by using MultiVariable Decipherable Boolean Functions

TR-153    Kwokhung Chan 1986
Selective SLDNFResolution: A System for representing negative and incomplete information in Prolog

TR-154    Kwokhung Chan 1986
Equivalent logic programs and the semantics of Prolog MetaInterpreters

TR-155    K.C.Chan, I.A. Gargantini, T.R. Walsh 1986
Double Connectivity Filling for 3D Modeling

TR-156    Tina M. Nicholl, D.T. Lee, Robin A. Nicholl 1987
An Efficient New Algorithm for 2D Line Clipping: Its Development and Analysis

TR-157    C.B. Dunham, J.P. Zaslow 1987
Numerical Discrete Minimax Approximation by a Chebyshev Set

TR-158    F. Gecseg, H. Jürgensen 1987
Automata Represented by Products of Soliton Automata
Appeared in Theoretical Computer Science

TR-159    Robin Nicholl 1987
A Specification of Modula 2 Process (Coroutine) Management

TR-160    C.B. Dunham, C. Zhu 1987
L Approximation by polynomials with Restricted Ranges of their Derivatives

TR-161    H. Jürgensen, S. Nahata 1987
Structured Logic Simulation of Large Circuits


TR-162    F. Gecseg, H. Jürgensen 1987
On ?0v1Products of Automata
Appeared in Theoretical Computer Science

TR-163    C.B. Dunham 1987
Concrete Approximating Forms  1987

TR-164    D. Margoliash 1987
CSpell  A Bloom FilterBased Spelling Correction Program

TR-165    F. Gecseg, H. Jürgensen 1987
Algebras with Dimension

TR-166    M. Ito, H. Jürgensen, H.J. Shyr, G. Thierrin 1987
AntiCommutative Languages and nCodes


TR-167    M. Ito, H. Jürgensen, H.J. Shyr, G. Thierrin 1987
nPrefixSuffix Languages

TR-168    E.W. Elcock 1987
Prolog: Subsumption of Equality Axioms by the Homogeneous Form

TR-169    H. Jürgensen, M.Y. Wong 1987
Chinese Character Generator

TR-170    J. Carroll, R.Mowat, L. Robbins, D. Wiseman 1987
The Password Predictor: A Training Aid for Raising Security Awarness

TR-171    H. Jürgensen, S. Dunne 1987
Foundations for a General MarkSetting System with Applications to Musical Score Formatting

TR-172    J. Carroll, M. Kantor 1987
Comparative Evaluation of Cryptoghraphic Strategies

TR-173    J. Carroll, L. Robbins 1987
Using Binary Derivatives to Test An Enhancement of DES

TR-174    S. Dunne 1987
ComputerSetting of Music Scores Survey and Problem Analysis

TR-175    R. Nicholl 1987
Unreachable States in Model Oriented Specifications

TR-176    H.H. Atkinson, I. Gargantini, O.L. Wu 1987
LINOCT 2.0

TR-177    C.B. Dunham 1987
Algorithm for Discrete Minimax Approximation with Interpolation

TR-178    R. Nicholl, T. Nicholl 1987
Laws about Programs with Inverses

TR-179    C.B. Dunham 1987
A Fortran Program for Nonlinear Chebyshev Approximation on an Interval

TR-180    R. Arrabito, H. Jürgensen 1987
Computerized Braille Typesetting

TR-181    C.B. Dunham, C.Z. Zhu 1987
A Fortran Program for Discrete Nonlinear Biased Approximation

TR-182    C.B. Dunham, C.Z. Zhu 1987
Experiments with MultipleExchanges in the Discrete Remez Algorithm

TR-183    M.A. Bauer, J.J. Lee, D.J. Thorsley 1988
An Overview of X11 (version 1.0)


TR-184    J.J. Lee 1988
WAG: The TK11 Window Agent

TR-185    C.B. Dunham, J.P. Zaslow 1987
A Bug or a Feature?: A Difficult Case with Reduction of A Best Approximation Problem with one Non-Linear Parameter to a to a Linear Problem

TR-186    C.B. Dunham, C.Z. Zhu 1987
Special Rational Approximation by RemezType Algorithms (II)

TR-187    C.B. Dunham 1987
A Public Domain Fortran Program for the FraserHart Rational Remez Algorithm

TR-188    E.P. Stabler Jr. 1987
Representing Knowledge with Theories about Theories

TR-189    C.B. Dunham, C.Z. Zhu 1987
A Discretizing Remez Algorithm Program

TR-190    C.B. Dunham, C.Z. Zhu 1987
A Hybrid DiscretizationRemez Algorithm Program

TR-191    C.B. Dunham, C.Z. Zhu 1988
Special Rational Approximation by RemezType Algorithms (III)

TR-192    C.B. Dunham, C.Z. Zhu 1988
Simultaneous Approximation by Dense Compact Family

TR-193    C.B. Dunham 1988
A Fraser Hart Rational Remez Algorithm Program in Terms of Chebyshev Polynomials on [0,1]

TR-194    J.M. Carroll 1988
Implementing Multilevel Security (MLS) by Violation Privilege

TR-195    C.B. Dunham 1988
Remez Algorithm Program for (Transformed) Rational Approximation

TR-196    S.L. Osborn 1988
A Modifiable ObjectOriented Database Model

TR-197    C.B. Dunham, C.Z. Zhu 1988
A Fortran Program for Biased Uniform Approximation on an Interval

TR-198    R.A. Nicholl, T.M. Nicholl 1988
Performing Geometric Transformations by Program Transformation

TR-199    C.B. Dunham, C.Z. Zhu 1988
Computing Best Interpolatory Mean Approximations by R1

TR-200    K.Y. Fung, T.M. Nicholl 1988
Clipping General Simple Polygons in Linear Time

TR-201    C.B. Dunham 1988
Fortran Program for OneSided (from above) Rational Approximation

TR-202    C.B. Dunham 1988
Fortran Program for Biased Rational Approximation

TR-203    C.B. Dunham, C.Z. Zhu 1988
Minimax Approximation by 2 Exponentials To Rutherford's Data

TR-204    C.B. Dunham, C.Z. Zhu 1988
Minimax Exponential Approximations to Data of Braess and Osborne

TR-205    J.M. Carroll, L.E. Robbins 1988
Conceptual Design of AccessControl Automata

TR-206    C.B. Dunham, C.Z. Zhu 1988
Rational Approximation with Constraints

TR-207    C.B. Dunham 1988
GaussNewton and OsborneWatson Programs for Nonlinear Least pth Power Approximation

TR-208    P. Triantafillou 1988
Issues of Name Management in Internet Systems

TR-209    J. Lee, J. Thorsley, S. Feeney 1988
TK11  X11 Toolkit (Version 1.0)

TR-210    E.W. Elcock 1988
Absys: The First Logic Programming Language  A Retrospective and a Commentary

TR-211    C.Z. Zhu, C.B. Dunham 1988
An Interpolation Theorem For Discrete OneSided NonLinear Lp (p>1) Approximation

TR-212    C.B. Dunham, C.Z. Zhu 1988
Program for Discrete L1 OneSided Approximation by the Method of Osborne and Watson

TR-213    E.W. Elcock, P.M.D. Gray 1988
Absys, Equation Solving and Logic Programming

TR-214    J.M. Carroll 1988
Computer Security Inspection and Evaluation

TR-215    R.A. Nicholl 1988
On Structuring and Evaluating Software Specifications: Some Lessons of the Text Formatting Problem

TR-216    M.A. Bauer 1988
Programming Environments Supporting the Development of Applications for Multiprocessor Architectures

TR-217    M.A. Bauer, J.M. Bennett 1988
An Evaluation of NDS in a Local Area Network Environment

TR-218    Chris Power September 2002
The Implementation of Talking Diagrams for the Visually Impaired

TR-219    T.K. Chan, I. Gargantini, T.R.S. Walsh 1988
Conversion and Integration of Boundary Representations with Octrees

TR-220    K. Tent 1988
The Application of MontagueTranslation in University Research and Typology

TR-221    J.M. Carroll, Y. Sun 1988
The Binary Derivative Test for the Appearance of Randomness and its Use as a Noise Filter

TR-222    C.B. Dunham, J.P. Zaslow 1988
Approximate Solution of Everett's Rational Approximation Problem

TR-223    J.M. Carroll, L.E. Robbins 1988
Computer Cryptanalysis

TR-224    M. Ito, H. Jürgensen, H.J. Shyr, G. Thierren 1989
Outfix and Infix Codes and Related Classes of Languages

TR-225    H. Jürgensen 1989
Disjunctive Elements of Semigroups

TR-226    H. Jürgensen, S.S. Yu 1989
Solid Codes

TR-227    S. Dunne 1989
A New Paradigm for Computer Formating of Specialized Notations

TR-228    W.H. Sulis 1989
Orders Generated by Subsets of a Group

TR-229    W.H. Sulis 1989
Monoids, Ordered Sets, and Automata

TR-230    H. Jürgensen 1989
Annotated Tables of Linearly Ordered Semigroups of Orders 2 to 7

TR-231    H. Jürgensen 1989
Annotated Tables of Semigroups of Orders 2 to 6

TR-232    W.H. Sulis 1989
Free Monoids, Free Dimension and Order


TR-233    J.M. Carroll 1989
The RiskAnalysis Continuum

TR-234    S. Osborn 1989
An ObjectOriented Critique of Traditional Database Models

TR-235    I. Gargantini, H. Atkinson 1989
Modeling Natural Obajects via Volume Filling

TR-236    Y. Moinard 1989
Circumscription and Definability

TR-237    W.H. Sulis 1989
The Categorical Structure of Order Automata

TR-238    W.H. Sulis 1989
Finite Free Dimensional Abelian Orders

TR-239    F. Gecseg, H. Jürgensen 1989
Dependence in Algebras

TR-240    M. Bauer, J.M. Bennett, J. Slonim 1989
A Conceptual Framework for Distributed Directories

TR-241    M. Bauer 1989
Naming and Name Management Systems: A Survey of the State of the Art


TR-242    J.M. Bennett 1989
Survey of Research in Distributed Operating Systems

TR-243    T. Lauriston, J. Mullin 1989
Distributed Database Management Systems

TR-244    J. Slonim 1989
The Role and Use of Data Directories

TR-245    M.A. Bauer 1989
Distributed Directories: A Conceptual Framework

TR-246    J.M. Bennett 1989
A Tour of the Seventh Layer

TR-247    J. Slonim 1989
Distributed Database Management Systems

TR-248    J.K. Mullin 1989
Semantic Data Models

TR-249    I. Gargantini, H.H. Atkinson, G.F. Schrack 1989
ThreeDimensional Region Growing for Inaccurate Borders


TR-250    X. Wu 1989
On Convergence of Lloyd's Method I (Received @ June 2002)
Appeared in IEEE Transactions of Information Theory Vol 38, No 1, p 171-174, Jan. 1992

TR-251    S. Osborn 1989
Algebraic Query Optimization for an Object Algebra

TR-252    M. Bartha, H. Jürgensen 1989
Characterizing Finite Undirected Multigraphs as Indexed Algebras

TR-253    J. Dassow, H. Jürgensen, W. Rulling 1989
Information Transmission in IL Systems

TR-254    J. Dassow, H. Jürgensen 1989
Deterministic Soliton Automata with a Single Exterior Node

TR-255    A. Fellah, H. Jürgensen, S. Yu 1989
Alternating Finite Automata
Appeared in Journal of Comp. Mathematics


TR-256    J. Dassow, H. Jürgensen 1989
Deterministic Soliton Automata With at Most One Cycle

TR-257    H. Jürgensen, S. Yu 1989
Relations on Free Monoids, Their Independent Sets and Codes

TR-258    Ian McQuillan September 2002
New Results Involving Block-Synchronization Context-Free Grammars

TR-259    H. Jürgensen, L. Staiger 1991
Local Hausdorff Dimension and Quadtrees

TR-260    R. Govindarajan, R. Wang, S. Yu 1990
Statement Tags and Synchronization Expressions in PARallel (PARC)

TR-261   * S.S. Yu (Not Received - Student finished) 1990
A Characterization of Intercodes

TR-262    C.B. Dunham 1990
An Open Area in Integrals of Alternating Families

TR-263    X.C. Ling, M. Dawes 1990
SIM  The Inverse of Shapiro's MIS

TR-264    K. Salomaa, S. Yu 1990
The Immortality Problem for Lag Systems

TR-265    K. Salomaa, S. Yu 1990
Decidability of Structural Equivalence of EOL Grammars

TR-266    I. Gargantini, A. Kwok 1990
An Octree Based Library to Represent, Manipulate and Classify Solids

TR-267    T.Z. Tihanyi, J. Barron 1990
SpatioTemporal Edge Focussing

TR-268    L. Chong, C.Z. Zhu, C.B. Dunham 1990
Characterization of NonLinear Simultaneous Chebyshev Approximation

TR-269    C.B. Dunham 1990
Local Lipschitz Constant for NonLinear Approximation

TR-270    J.L. Barron, A.D. Jepson, J.K. Tsotso 1990
The Feasibility of Motion and Structure from Noisy TimeVarying Image Velocity Information

TR-271    X.C. Ling, M. Dawes 1990
Theory Reduction with Uncertainty  A Reason for Theoretical Terms


TR-272    M. Bartha 1990
Minimizing Finite State Structural T-Automata

TR-273    R. Govindarajan, S. Yu 1990
Attempting Guards in Parallel: A Data Flow Approach to Execute Generalized Guarded Commands

TR-274    K. Peeva 1990
Fuzzy Linear Systems

TR-275    L. Yu, S. Osborn 1990
An Evaluation Framework for Algebraic Object-Oriented Query Models

TR-276    C.B. Dunham, C.Z. Zhu 1990
A Linearization Approach for Computing Discrete L2 and L1 Rational Approximations

TR-277    C.B. Dunham, C.Z. Zhu 1990
Least Squares Exponential Polynomial Approximations on Finite Set of Points

TR-278    G.R. Arrabito 1990
Computerized Braille Typesetting: Some Recommendations on Mark-up and Braille Standards

TR-279    M.A. Bauer, J.M. Bennett, J. Blustein, S.T. Feeney, R. McBride 1990
Replication Strategies for X.500: Experiments with a Prototype X.500 Directory

TR-280    C.B. Dunham 1990
Local Lipschitz Constant for Nonlinear Approximation

TR-281    R. Nicholl, T. Nicholl 1991
A Definition of Polygon Clipping


TR-282    C. Dunham, J.P. Zaslow, C.Z. Zhu Feb 1991
Chebyshev Approximation By Exponential-Polynomial Summs, II

TR-283    Ian McQuillan September 2002
Strong Derivations of Block-Synchronized Context-Free Grammars

TR-284    J.M. Carroll, J. Verhagen, P. Wong 1991
Chaotic Cryptography

TR-285    A. Lindenmayer, H. Jürgensen 1991
Grammars of Development: Discrete-State Models for Growth, Differentiation, and Gene Expression in Modular Organisms

TR-286    K. Salomaa, Sheng Yu 1991
Degrees of Nondeterminism for Pushdown Automata

TR-287    A. Salomaa, K. Salomaa, Sheng Yu 1991
Primality Types of Instances of the Post Correspondence Problem

TR-288    J. Carroll, S. Nurdiati 1991
WEAK KEYS and WEAK DATA Foiling the Two Nemeses

TR-289    K. Zhang, R. Statman, D. Shasha 1991
On the Editing Distance Between Unordered Labeled Trees

TR-290    C.B. Dunham, C.Z. Zhu May 1991
Computation of Best Approximations by Exponential-Polynomial Sums on a Finite Interval

TR-291    Nait Abdallah 1991
An extended framework for default reasoning

TR-292    Nait Abdallah 1991
Kernel knowledge versus belt knowledge in default reasoning: a logical approach

TR-293    Nait Abdallah 1991
Syntax and Semantics of a monotonic framework for non-monotonic reasoning

TR-294    Ben Stephenson and Wade Holst October 3, 2002
Transparent use of C++ Classes in Java Environments

TR-295    Li Yu, S. Osborn 1991
KBO: Towards a Seamless Modeling Approach to Objects, Methods, and Messges in Object-Oriented Databases

TR-296    C.B. Dunham, C.Z. Zhu Aug 1991
A Linearization Approach for Computing Discrete Best L1, L2 and L Rational Approximations

TR-297    C.B. Dunham, C.Z. Zhu Sept 1991
Computation of Best L2 and L1 Exponential-Polynomial Approximations to Data of Braess and Osborne

TR-298    H. Jürgensen 1991
Sicherheit in Telekommunikationsnetzen

TR-299    J. Barron, D. Fleet, S. Beauchemin, T. Burkit 1992
Performance of Optical Flow Techniques (Revised July 7, 1993)

TR-300    L. Boggavarapu 1991
Generating Linear Octrees of 3D-Objects Constructed from Free-Hand Drawn Curves

TR-301    L. Boggavarapu, I. Gargantini, A. Liptay May 1992
Feasibility Report for the Reconstruction of Shoots in Tissue Culture from Multiple Projections

TR-302    C. Ling 1991
Inventing Necessary Theoretical Terms In Scientific Discovery and Inductive Logic Programming

TR-303    C. Ling 1991
A Critical Comparison of Inductive Logic Programming Methods Based on Inverse Resolution

TR-304    C.B. Dunham, C.Z. Zhu 1991
Chebyshev Approximation By 3 Exponentials Plus a Constant, I

TR-305    C.B. Dunham, C.Z. Zhu 1991
Chebyshev Approximation By 3 Exponentials Plus a Constant, II

TR-306    S. Yu, Q. Zhuang 1991
On the State Complexity of Basic Operations on Regular Languages

TR-307    C.B. Dunham, C.Z. Zhu 1991
Chebyshev Approximation By 4 Exponentials to the Data of Braess

TR-308    G.M. Nyanchama, S. Osborn 1991
Orthogonal Views in Object Oriented Database Security

TR-309    A. Szilard, S. Yu, K. Zhang, J. Shallit 1992
Characterizing Regular Languages with Polynomial Densities

TR-310    C.B. Dunham Feb 1992
The Usefulness of Strong Uniqueness in Chebyshev Approximation

TR-311    L. Yu (Supervisor - Osborn) 1992
The KBO Model: Towards a Unified View of Data, Behaviors and
Messages in Object-Oriented Database Systems

TR-312    C.B. Dunham, C.Z. Zhu April 1992
Computation of Linear Strong Uniqueness Constants and Nonlinear Local Strong Uniqueness Constants for Alternating Cases

TR-313    C.B. Dunham, C.Z. Zhu April 1992
Strong Uniqueness in a Particular (Nonlinear) Exponential Case

TR-314    P. Wong 1992
A Language Theoretic Approach to Fault Coverage and Fault Testing

TR-315    C.B. Dunham, C.Z. Zhu May 1992
Computation of Local Lipschitz Constants and Associated Other Computations

TR-316    I. Gargantini, L. Boggavarapu, A. Liptay 1992
Annealing Simulation of 3D Reconstruction of Plant Stems from Multiple Projections

TR-317    G.M. Nyanchama, S. Osborn 1992
Mandatory Security in Object Oriented Database

TR-318    Y.G. Shi, C.Z. Zhu, C.B. Dunham June 1992
Best Approximation having Restricted Ranges with Nodes

TR-319    I. Gargantini, A. Kwok, G.F. Schrack 1992
Volume Filling in a Raster Environment

TR-320    Bradley Simmons (H. Lutfiyya) Oct 29, 2002
Evolution in the Approach to Congestion Management of IP-Based Networks

TR-321    C.B. Dunham, C.Z. Zhu June 1992
Computation of Minimax Exponential Approximations to Data Used by Watson

TR-322    S. Konstandinis (Communicated by H. Jürgensen, Supervisor) 1992
Sampling for Triangulation

TR-323    C.B. Dunham June 1992
Problems in Best Approximation, III

TR-324    J.A. Brzozowski, H. Jürgensen 1992
Component Automata and RAM Faults

TR-325    S. Dunne, (Supervisor H. Jürgensen) 1992
Towards Interactive Pen Input of Visual Languages

TR-326    C. Dunham, (Translated by Abe Shenitzer) July 26, 2002
On a Process of Equalization of Maxima

TR-327    H. Jürgensen 1992
Syntactic Monoids of Codes

TR-328    K. Zhang, D. Shasha, J. Wang 1992
Approximate Tree Matching in the Presence of Variable Length Don't Cares

TR-329    H. Jürgensen, K. Salomaa, S. Yu 1992
Transducers and the Decidability of Independence in Free Monoids

TR-330    M. Gössel, H. Jürgensen 1992
Improved BIST Structure

TR-331    J. Dassow, H. Jürgensen 1992
The Transition Monoids of Soliton Trees

TR-332    R.E. Mercer 1992
A Default Logic Approach to the Derivation of Natural Language Prepositions

TR-333    V. Estivill-Castro, D. Wood 1992
A Survey of Adaptive Sorting Algorithms

TR-334    C.B. Dunham and C.Z. Zhu 1992
Chebyshev Approximation by 3 Exponentials Plus a Constant, III

TR-335    C.B. Dunham June 17, 2002
A Unique Extremal Property of the Chebyshev Extrema

TR-336    C.B. Dunham and C.Z. Zhu 1992
Numerical Experiments of Computing Approximations with Interpolation at {0}

TR-337    A. Brüggemann-Klein and D. Wood 1992
Unambiguous Regular Expressions and SGML Document Grammars

TR-338    C. Calude, H. Jürgensen, M. Zimand 1992
The Set of Independent Statements is Topologically Large

TR-339    C. Calude, H. Jürgensen 1992
Randomness as an Invariant for Number Representations

TR-340    T.W. Lai, D. Wood 1993
A Top-Down Updating Algorithm for Weight-Balanced trees

TR-341    T.W. Lai, D. Wood 1993
A New Approach to Competitive List-Update Algorithms

TR-342    H. Cameron, D. Wood 1993
Balance in AVL Trees and Space Cost of Brother Trees

TR-343    H. Cameron, D. Wood 1993
Red-Black Trees are Insertion Reachable

TR-344    H. Cameron, D. Wood 1993
Maximal Path Length of Binary Trees


TR-345    D.R. Raymond, D. Wood 1993
Grail: Engineering Automata in C++ (Version 1.0)

TR-346    H. Cameron, D. Wood 1993
Binary Trees, Fringe Thickness, and Minimum Path Length

TR-347    C. Calude 1993
Borel Normality and Algorithmic Randomness

TR-348    C. Dunham 1993
Uniform Approximation by Sums of Exponentials with Bounds on Frequencies

TR-349    H. Jürgensen, K. Salomaa, S. Yu 1993
Decidability of the Intercode Property

TR-350    A. Brüggemann-Klein, D. Wood 1993
Electronic Style Sheets


TR-351    O. Nurmi, E. Soisalon-Soininen, D. Wood 1993
Relaxed AVL Trees, Main-Memory Databases, and Concurrency

TR-352    C.B. Dunham March 1993
Best Uniform Exponential Approximation with Restricted Frequency

TR-353    D. Delorme, I. Gargantini, A. Liptay and P. Martin 1993
histo: A Utility to Segment Plant Images

TR-354    D. Delorme, I. Gargantini, A. Liptay and P. Martin 1993
Yseg: A Utility to Detect Stem Bifurcations

TR-355    A. Brüggemann-Klein, D. Wood 1993
The Validation of SGML Content Models

TR-356    D.R. Raymond, F.W. Tompa and D. Wood 1993
Markup Reconsidered

TR-357    Xinxin Wang, D. Wood 1993
An Abstract Model for Tables

TR-358    D.R. Raymond, D. Wood 1993
Grail: A C++ Library for Automata and Expressions

TR-359    C. Dunham and C. Zhu April 13, 1993
Approaches to Best Approximation With Constraints

TR-360    K. Zhang 1993
A constrained edit distance between unordered labeled trees

TR-361    K. Zhang 1993
Fast algorithms for the constrained editing distance between ordered labeled trees and related problems


TR-362    Sven Schuierer, Derick Wood 1993
Generalized Kernels of Polygons with Holes

TR-363    Kai Salomaa, Derick Wood and Sheng Yu 1993
Structural equivalence and ETOL grammars

TR-364    Derick Wood, Peter Yamamoto 1993
Dent and Staircase Visibility

TR-365    J. Hong, M. Bauer, J. O'Neill 1993
Design and Implementation of the X.500 Testbed

TR-366    P. Scheyen, S. Yu, M. Zhang, Q. Zhuang 1993
Introducing KINDS to C++

TR-367    Y. Cazabon (Bauer) 1993
?pKernel - The Micro-Process Kernel

TR-368    L. Guo, K. Salomaa, S. Yu 1993
Synchronization Expressions and Languages

TR-369    V. Estivill-Castro, D. Wood 1993
An Adaptive Generic Sorting Algorithm that uses Variable Partitioning

TR-370    T.W. Lai, D. Wood 1993
Adaptive Heuristics for Binary Search Trees and Constant Linkage Cost

TR-371    Yvan Cazabon (H. Lutfiyya - Supervisor) 1993
A Configurable Train Set Simulator

TR-372    C. Creider, J. Hankamer, D. Wood 1993
Modelling Morphological Parsers and Grammars

TR-373    T.W. Lai, D. Wood 1993
Updating Approximately Complete Trees

TR-374    M.J. Dent, R.E. Mercer 1993
Minimal Forward Checking

TR-375    H. Jürgensen, S. Konstantinidis 1993
The Hierarchy of Codes

TR-376    H. Jürgensen 1993
Tactile Computer Graphics

TR-377    C.B. Dunham and C.Z. Zhu (Updated See TR#380) Not Available 1993
Computation of Modified Local Strong Uniqueness Constants

TR-378    Qingyu Zhuang and S. Yu 1992
On Parametric Polymorphism in Object-Oriented Languages


TR-379    C. Dunham 1993
Reliability of Approximations from Experiments

TR-380    C.B. Dunham & C.Z. Zhu Not Available 1993
Computation of Modified Local Strong Uniqueness Constants, II (Replaces TR#377)

TR-381    C.B. Dunham & C.Z. Zhu 1993
Application of Modified Local Strong Uniqueness Constant to Exponential Approximation

TR-382    C.B. Dunham & C.Z. Zhu 1993
Computation of the Modified Strong Uniqueness Constants (Theory and Numerical Examples)


TR-383    C.B. Dunham & C.Z. Zhu 1993
Effects of Perturbation of Data Used by Watson for Minimax Exponential Approximation

TR-384    C.B. Dunham Applications of Monic Polynomials of Least Norm, III June 17, 2002

TR-385    C.B. Dunham Approximation with Taylor Matching at the Origin June 13, 2002

TR-386    C.B. Dunham October, 1993
Lecture Notes on Best Linear Approximation

TR-387    C.B. Dunham November 1, 1993
Criticism of Williams and Kalogiratou's Solutions of Differential Equations

TR-388    C.B. Dunham November 1993
Suggestions for Williams and Kalogiratou's Solutions of Differential Equations

TR-389    C.B. Dunham November 29, 1993
Uniform Local Strong Uniqueness on Finite Subsets

TR-390    C.B. Dunham December 1993
Concrete Approximating Forms — 1993

TR-391    Kai Salomaa, Derick Wood and Sheng Yu 1993
Pumping and Pushdown Machines

TR-392    Carolina Culik (D. Wood) December 1993
View Updates in Relational Databases

TR-393    Charles B. Dunham (Revised - See TR 430) December 1993
Bounding Distance to the Best Minimax Approximation (Parameter)

TR-394    Charles B. Dunham and Changzhong Zhu December 1993
Two Kinds of Local Strong Uniqueness for Nonlinear Approximation


TR-395    Charles B. Dunham and Chang Zhong Zhu December 1993
Application of Modified Local Strong Uniqueness Constant to Nearness of Parameters

TR-396    Tong Luo (Derick Wood, Supervisor) January 1994
TreeDraw: A Tree-Drawing System

TR-397    C.B. Dunham January 1994
The Limit of Non-Linear Biased Chebyshev Approximation

TR-398    C.B. Dunham January 1994
The Limit of Biased Rational Approximation

TR-399    C.B. Dunham January 1994
The Limit of Approximation on Long Intervals

TR-400    C.B. Dunham January 1994
Characterizability and Uniqueness in Real Chebyshev Approximation, II

TR-401    C.B. Dunham Approximation By Multiproducts January 1994

TR-402    C.B. Dunham January 1994
Uniqueness In One-sided Rational Chebyshev Approximation

TR-403    C.B. Dunham January 1994
Interpolating Chebyshev Approximation by Families with the Betweeness Property

TR-404    C.B. Dunham and C. Zhu (Replaced by TR #455) January 1994
Exponential Approximation can be Ill-posed

TR-405    C.B. Dunham January 1994
Putting the Local Haar Condition Locally under the Alternating Theory of Meinardus and Schwedt

TR-406    C.B. Dunham January 1994
Correctness of Picking a Maximum

TR-407    C.B. Dunham January 1994
Best Mean Approximation by Positive Exponential Sums

TR-408    C.B. Dunham January 1994
Minimization of Sup Norm Over the Surface of the Unit Cube

TR-409    C.B. Dunham January 1994
Existence of Best Interpolating Approximations

TR-410    C.B. Dunham January 1994
Transformed Rational Approximations with Fixed Denominator Component

TR-411    C.B. Dunham January 1994
Software Economies and Modularity with the Remez Approach to Uniform Approximation and its Variants


TR-412    T. Lin and J.L. Barron 1994
Image Reconstruction Error for Optical Flow

TR-413    C. Cowan 1994
NIW: A Simple Superscalar Architecture

TR-414    C. Cowan and H. Lutfiyya 1994
Formal Semantics for Expressing Optimism

TR-415    S. Yu and Q. Zhuang 1994
Bridge the Gap between Algorithms and Procedures


TR-416    C.B. Dunham and C.Z. Zhu 1994
Continuity of Nonlinear Best Lagrange-Type Interpolating Approximation
Distance and Operator

TR-417    C.B. Dunham March 8, 1994
Provably Monotone Approximations, IV

TR-418    Kai Salomaa, Derick Wood and Sheng Yu 1994
Rediscovering Pushdown Machines

TR-419    Darrell Raymond and Derick Wood 1994
The Grail Papers (Version 2.0)

TR-420    J.A. Brzozowski and H. Jürgensen 1994
Applications of Automata and Languages to Testing

TR-421    Graeme S. Perrow (Bauer, Supervisor) 1994
Monitoring Techniques in Distributed Systems Management

TR-422    C.B. Dunham April 4, 1994
Provably Monotone Approximations, IV (Revised April 4, 1994)

TR-423    C.B. Dunham & C.Z. Zhu April 20, 1994
Modified (Local) Strong Uniqueness Constants

TR-424    C.B. Dunham May 2, 1994
Problems in Best Approximation, IV

TR-425    Machmudin Junus (J. Mullin - Supervisor) 1994
A Logic for Object-Oriented Databases

TR-426    C.B. Dunham (Revised - See TR 431) May 1994
Nearby Interpolating Approximation with Young's Condition

TR-427    H. Jürgensen and K. Tent 1994
Algebraic Foundations for Montague Grammars

TR-428    Anne Welch, J.W. Hong, and M.A. Bauer 1994
Experience on Developing an Information System Using CASE Tools


TR-429    D.L. Silver, J.W. Hong, M.A. Bauer 1994
Management and Propagation of the X.500 Directory Schema

TR-430    C.B. Dunham Aug 9/94
Bounding Distance to the Best Minimax Approximation (Paramater) (Revised)

TR-431    C.B. Dunham Aug 12/94
Nearby Interpolating Approximation with Young's Condition (Revised)

TR-432    C.B. Dunham Sept 1994
A Simple Debunking of Summation by Karlsruhe Arithmetic

TR-433    C.B. Dunham Sept 1994
A Difficulty with Integrating Approximating Families

TR-434    G.S. Perrow, J.W. Hong, M.A. Bauer, H. Lutfiyya Sept 1994
MACT User's Guide Version 1.0

TR-435    C.B. Dunham Sept 1994
Multiproducts

TR-436    G.S. Perrow, J.W. Hong, M.A. Bauer, H. Lutfiyya 1994
MAPIL User's Guide Version 1.0

TR-437    C. Calude, H. Jürgensen 1994
Randomness and Coding

TR-438    C.B. Dunham October 1994
Dense Compactness and Strong Uniqueness

TR-439    M. Dent and R.E. Mercer May 1995
Using Local Graph Topology to Model Hard Binary Constraint Satisfaction Problems

TR-440    T. Bogue, M. Gössel, H. Jürgensen 1994
BIST with Negligible Aliasing Through Random Cover Circuits

TR-441    C.Z. Zhu and C.B. Dunham November 1994
Generalized Strong Uniqueness Constants

TR-442    Matunda Nyanchama September 1994
Commercial Integrity, Roles and Object Orientation

TR-443    A. Nait Abdallah December 1994
Computing Natural Language Presuppositions: A Partial Information Logic Based Approach

TR-444    Amitava Datta, Christoph A. Hipke, and Sven Schuierer (PostDoc) December 1994
New Results on Competitive Searching in Unknown Polygons (D. Wood)

TR-445    Alejandro López-Oritz and Sven Schuierer (PostDoc) December 1994
Going Home Through an Unknown Street (D. Wood)


TR-446    C.B. Dunham, D. Schmidt, C.Z. Zhu January 1995
Generalized Strong Unicity Constants in Linear Uniform Approximation

TR-447    Jan Graczyk January 1995
Validating the Narrow Instruction Word Architecture


TR-448    J. Hong, M. Katchabaw, M. Bauer, H. Lutfiyya January 1995
Distributed Application Management Using the OSI Management Framework

TR-449    S.S. Beauchemin, J.L. Barron March 1995
A Theory of Occlusion

TR-450    S.S. Beauchemin, J.L. Barron (received @ June 2002) 1995
The Computation of Optical Flow, A Survey

TR-451    Charles B. Dunham April 1995
The Actual Merits of Descent and Ascent Methods in Numerical Minimax Approximation

TR-452    I. Gargantini April 1995
Octree-based Library

TR-453    C.B. Dunham April 24, 1995
Uniform Approximation by Monotone Rationals

TR-454    D. Raymond, F. Tompa, D. Wood April 1995
From Data Representation to Data Model: Meta-Semantic Issues in the Evolution of SGML

TR-455    C. Dunham, C.Z. Zhu May 1995
Chebyshev Fitting by Exponential Sums Can Be Ill-Posed

TR-456    C.B. Dunham May, 1995
Problems in Best Approximation, V

TR-457    C.B. Dunham, D. Schmidt, C.Z. Zhu June 1995
Generalized Strong Unicity Constants in Linear Uniform Approximation

TR-458    M.J. Dent and R.E. Mercer June 1996
Improvements to the Minimal Forward Checking Algorithm

TR-459    S.P. Poh July 1995
Talking Diagrams

TR-460    C. Dunham, C.Z. Zhu July 1995
A Case of Best 2 Exonential Approximation with Endpoints Deleted

TR-461    C. Dunham, C.Z. Zhu July 1995
Two Cases of Best 3 Exponential Approximation with One Endpoint Deleted

TR-462    C. Dunham, C.Z. Zhu July 1995
Attempt at Best 4 Exponential Approximation


TR-463    C. Dunham August 1995
Nonlinear Monotone Uniform Approximation


TR-464    Sven Schuierer, D. Wood September 1995
Visibility in Semi-Convex Spaces

TR-465    Alejandro López-Ortiz, Sven Schuierer September 1995
Walking Streets Faster

TR-466    Sven Schuierer, D. Wood September 1995
Multiple-Guard Kernels of Simple Polygons

TR-467    H. Jürgensen, S. Konstantinidis October 1995
Error Correction for Channels with Substitutions, Insertions and Deletions

TR-468    H. Jürgensen, L. Robbins October 1995
Perfect Secrecy

TR-469    Charles Dunham November 1995
Problems in Best Approximation VI

TR-470    Irene Gargantini, Jai-yi Liu January 1996
Pictorial Repositories for Plants: A Reference Manual, Part 1

TR-471    Charles Dunham January 1996
Chebyshev Approximation by ? (ax)

TR-472    Charles Dunham January 1996
Families Satisfying the Haar Condition

TR-473    Charles Dunham January 1996
Chebyshev Approximation by Logarithmic Families Vanishing at Zero

TR-474    Charles Dunham January 1996
Chebyshev Approximation by Sums of Arctangents

TR-475    Charles Dunham January 1996
Approximation by Function Differences

TR-476    Charles Dunham January 1996
Chebyshev Approximation by A*? (Bx), II

TR-477    Charles Dunham January 1996
On Local Minima in Non-Linear Chebyshev Approximation

TR-478    Charles Dunham January 1996
Degeneracy in Non-Linear Complex Mean Square and Mean Approximation

TR-479    Charles Dunham January 1996
Chebyshev Approximation by Exponential Differences


TR-480    Charles Dunham January 1996
Chebyshev Approximation by Logarithmic-Polynomial Families

TR-481    Irene Gargantini February 1996
A Theoretical Result on Star-Polygons and its Application to Triangulation

TR-482    Kai Salomaa and Sheng Yu February 1996
Loop-Free Alternating Finite Automata

TR-483    Charles Dunham February 1996
Monotone Approximation

TR-484    Helmut Jürgensen, Stavros Konstantinidis February 1996
Codes

TR-485    Charles Dunham February 1996
Concrete Approximating Forms - 1996

TR-486    Charles Dunham February 1996
Problems VII, Observations, Publications '65-'95

TR-487    Sheng Yu February 1996
Regular Languages

TR-488    Darrell Raymond March 1996
Partial Order Databases

TR-489    Irene Gargantini March 1996
A Progress Report on the System 'PLANTA'

TR-490    Charles Dunham March 1996
Studies in Nonlinear Approximation with Constraints

TR-491    Darrell Raymond and Derick Wood March 1996
The Grail Papers

TR-492    H. Jürgensen and L. Robbins June 1996
Towards Foundations of Cryptography: Investigation of Perfect Secrecy

TR-493    K. Salomaa and S. Yu June 1996
NFA to DFA Transformation for Finite Languages

TR-494    C. Dunham July 1996
Problems in Best Approximation, VIII

TR-495    D. Raymond, S. Yu and D. Wood (Editors) August 1996
WIA '96 First International Workshop on Implementing Automata
Not for general distribution - Springer-Verlag will publish proceedings

TR-496    Jens Moeller October 1996
Locally-Optimal Local Alignments in the Single Indel Case: Specification and Search Method


TR-497    Jens Moeller October 1996
Locally-Optimal Local Alignments: Specification and Dynamic Programming Search Algorithm

TR-498    S.D. McKee & J.L. Barron February 1997
Image Sequence Synthesis for Optical Flow Analysis

TR-499    C. Dunham February 1997
Problems in Best Approximation, IX

TR-500    Mark Eramian (H. Jürgensen) April 1, 1997
Displaying DVI Files in Braille: A Viewer For the Visually Imipaired

TR-501    C. Dunham May 2, 1997
Topics in Error Analysis and Function Evaluation

TR-502    C. Dunham July 7, 1997
Some Ill-Posed Best Approximation Problems

TR-503    C. Dunham July 7, 1997
Writing a Monotone Subroutine

TR-504    C. Dunham July 22, 1997
Writing a Monotone (Convex) Subroutine

TR-505    C. Dunham September 3, 1997
Failure of Monotonicity

TR-506    I. Gargantini and L-Y Liu September 1997
Finding the Voxels Shared by a Ray and a Linear Octree

TR-507    I. Gargantini and L-Y Liu September 1997
Lists of Displayable Voxels and Footprints for Linear Octrees

TR-508    C. Dunham September 16, 1997
Fitting Approximations With Fixed Components at Zero

TR-509    T. Bogue, M. Goessel, H. Jürgensen, Y. Zorian December 2, 1997
Built-in Self-Test with an Alternating Output

TR-510    C. Dunham January 8, 1998
Betweeness and Intrpolation

TR-511    C. Dunham January 14, 1998
Problems in Best Approximation, X

TR-512    C. Dunham January 20, 1998
Wilkinson-Type Error Analysis Applied to Double-Precision Accumulation Under Contamination

TR-513    D.L. Silver, R.E. Mercer, G.A. Hurwitz January 1998
The Functional Transfer of Knowledge for Coronary Artery Disease Diagnosis


TR-514    C. Dunham February 11, 1998
A Difficulty With Integrating Approximating Families, II

TR-515    C. Dunham February 12, 1998
Difficulties In Interpolatary Processes on Computers

TR-516    C. Dunham February 16, 1998
Failure of Monotonicity

TR-517    D.L. Silver, R.E. Mercer February 19, 1998
The Task Rehearsal Method of Sequential Learning

TR-518    D.L. Silver, R.E. Mercer February 23, 1998 - Not Available
The Functional Transfer of Knowledge using a Measure of Relatedness

TR-519    C. Dunham March 16, 1998
Truth in Numerical Programming

TR-520    C. Dunham Not Available
Problems in Best Approximations, XI See TR #525

TR-521    Jackson W.W. de Carvalho and Helmut J?rgensen April 8, 1998
Dynamic Multi-Purpose Mathematics Notation

TR-522    I. Gargantini December 1998
Accurate Splatting of Octrees

TR-523    I. Gargantini December 1998
Volume Visualization

TR-524    J. Andrews May 29, 1998
Theory & Practice of Log File Analysis

TR-525    C. Dunham June 4, 1998
Problems in Best Approximation, XI, Revised

TR-526    C. Dunham June 24, 1998
Problems in Best Approximation, XII

TR-527    L. Robbins October 28, 1998
Modelling Cryptographic Systems

TR-528    Michael Katchabaw, Hanan Lutfiyya and Michael Bauer July 29, 1998
A Model for Resource Management to Support End-to-End Application-Driven Quality of Service

TR-529    H. Jürgensen October 1998
Towards Computer Science

TR-530    C. Dunham November 6, 1998
Monotone and Convex Forms?

TR-531    C. Dunham November 4, 1998
Problems in Best Approximation, XI, revised.2

TR-532    C. Dunham January 13, 1999
Monotone and Convex Forms? II

TR-533    H. Jürgensen, S. Konstantinidis May 4, 1999
Maximal Solid Codes

TR-534    R. Kitto March 24, 1999
Potential Applications for DNA Computing: Fuzzy Logic, Genetic Algorithms, Expert Systems

TR-535    J.A. Brzozowski, H. Jürgensen April 1999
Semilattices of Fault Semiautomata

TR-536    Y. Chicha, F. DeFaix, S. Watt (Received June 2002) April 1999
A C++ to XML Translator

TR-537    Y. Chicha, F. DeFaix, S. Watt (Received June 2002) April 1999
The Aldor/C++ Interface: User’s Guide

TR-538    Y. Chicha, F. DeFaix, S. Watt (Received June 2002) April 1999
The Aldor/C++ Interface: Technical Reference

TR-539    G. Paun, S. Yu (Received June 2002) April 1999
On Synchronization in P Systems

TR-540    M. Katchabaw, H. Lutfiyya, M. Bauer November 1999
A Survey of Window Environment Usage Patterns

TR-541    H. Jürgensen, L. Staiger September 1999
Finite Automata Encoding Geometric Figures

TR-542    J. Andrews July 1999
The Witness Properties and the Semantics of the Prolog Cut Received Dec 16, 1999

TR-543    M. Daley September 10, 1999
The search for a practical ‘Ultimate Laptop’: A Comparison of Electronic, Biomolecular and Quantum Computing

TR-544    M. Eramian July 4, 2000
Computing Entropy Maps of Finite – Automaton-Encoded Binary Images

TR-545    H. Jürgensen, L. Kari, G. Thierrin September 1999
Morphisms Preserving Densities

TR-546    M. Katchabaw, H. Lutfiyya, M. Bauer November 1999
Memory Management for Quality of Service Provisioning

TR-547    H. Lutfiyya, G. Molenkamp, M. Katchabaw, M. Bauer November 1999
Managing QoS Requirements

TR-548    C. Dunham December 22, 1999
Failure of Monotonicity (Convexity, Interpolation)

TR-549    S. Yu February 2000
The Time Dimension of Computation Models

TR-550    C. Dunham and C.Z. Zhu February 3, 2000
Chebyshev Fitting by Exponential Sums Can be Ill-Posed, II

TR-551    C. Dunham February 18, 2000
Wilkinson-type Error Analysis Applied to Double-precision Accumulation Under Contamination

TR-552    Charles Dunham May 27, 2002
Standard Error Curves and Error Analysis, II

TR-553    C. Dunham March 29, 2000
Identical Error Bounds for Horner and Inner Product Evaluations of Polynomials

TR-554    Irene Gargantini, Lianyun He, Ye Zhou April 6, 2000
Comparison of Wavelets for Volume Rendering (ISBN 0-7714-2370-5)

TR-555    O. Boldt, H. Jürgensen, Editors July 18, 2000
Pre-proceedings of DCAGRS 2000

TR-556    Curtis Gittens July 26, 2000
A Uniform and Extensible Graphical Methodology for Database Integration

TR-557    C. Dunham August 1, 2000
Wilkinson-type Error Analysis Applied to Double-Precision
Accumulation under Contamination, II

TR-558    C. Dunham November 2, 2000
Application of New Classes of “Chebyshev Polynomials”

TR-559    Peter Sanders, Roberto Solis-Oba March 16, 2001
How Helper Hasten H-Relations

TR-560    Sheng Yu, Lifu Guo, Peter Scheyen March 22, 2001
Class-is-type is inadequate for object reuse

TR-561    Normand Beaudoin, Steven Beauchemin April 23, 2001
Accurate Numerical Fourier Transform in d-Dimension

TR-562    Charles Dunham May 3, 2001
Application of New Classes of “Chebyshev Polynomials”, Version 2.0

TR-563    Irene Gargantini (@May 29/01) Not Available
(Reference for a submitted paper)

TR-564    Jim Morey, Kamran Sedig, Robert Mercer (received July 8/02) June 12/01
Exploring Crystal Lattice Automata

TR-565    S. Aydin, H. Jurgensen, L.E. Robbins July 31, 2001
Grammars as Co-operating Grammars

TR-566    Charles Dunham July 3, 2001
Applications of Monic Polynomials of Least Norm

TR-567    Charles Dunham July 17, 2001
Burgoyne’s Approach to Lp Polynomial Approximation: Reassessment and Extension

TR-568    H. Keith Edwards October 26, 2001
DNA Computing: Does it Make Cents?

TR-569    H. Keith Edwards October 26, 2001
Excess Variance and Failure in an Electronic Commerce Experiment with an
Application of the Scientific Method to Rectify Errors in the Experimental Environment

TR-570    Helmut Jürgensen October 9, 2001
Synchronizing Codes

TR-571    Irene Gargantini October 27, 2001
Adaptive Thresholding to Eliminate up to 99% of Wavelet Coefficients
(Proc. of ISCA Conference, San Francisco, April 4-7, 2002)

TR-572    H. Keith Edwards, H. Lutfiyya November 12, 2001
Performance Measurement and Continuous Improvement in Distributed E-Service Application

TR-573    Irene Gargantini February 12, 2002
Interactive Volume Rendering in a VRML Environment

TR-574    Mechelle Gittens March 19, 2002
Testing Object-Oriented Software

TR-575    Charles Dunham March 25, 2002
Wilkinson-type Error Analysis Applied to Double-precision Accumulation under Contamination, II

TR-576    Charles Dunham April 2, 2002
Standard Error Curves and Error Analysis

TR-577    Charles Dunham April 9, 2002
Properties of Classical and Neoclassical Chebyshev Polynomials

TR-578    Charles Dunham April 16, 2002
The Place of Expansions in Orthogonal Polynomials in Practical Approximation

TR-579    Normand Beaudoin and Steven S. Beauchemin April 22, 2002
A New Numerical Fourier Transform in d-Dimensions

TR-580    Normand Beaudoin and Steven S. Beauchemin April 22, 2002
An Accurate Discrete Fourier Transform for Image Processing

TR-581    Charles Dunham April 23, 2002
Applications of Monic Polynomials of Least Norm, II

TR-582    H. Keith Edwards May 23, 2002
Requirements Analysis in Industrial Practice Developer Interviews from Computer Science Students at the University of Western Ontario

TR-583    Charles Dunham June 11, 2002
Incorporating Mathematical Functions into Wilkinson-Style Error Analyses

TR-584    Charles Dunham September 2002
Applications of Monic Polynomials of Least Norm, IV

TR-585    Charles Dunham September 2002
Approximation with Taylor Matching at the Origin, II

TR-586    H. Jürgensen, M. Hoeberechts, (Editors) August 2002
Descriptional Complexity of Formal Systems (DCFS 2002)
Pre-Proceedings of a Workshop 21-24 August 2002

TR-587    M. Katchabaw, H. Lutfiyya, M. Bauer January 21, 2003
Usage Based Service Differentiation for End-to-End Quality of Service Management

TR-588    C.B. Dunham January 31, 2003
Approximation with Taylor Matching at the Origin, III

TR-589    C.B. Dunham February 4, 2003
Generalization of Chebyshev Polynomials

TR-590    C.B. Dunham February 12, 2003
Properties of Classical and Neoclassical Chebyshev Polynomials, II

TR-591    C.B. Dunham February 21, 2003
Standard Error Curves, III

TR-592    C.B. Dunham July 17, 2003
Burgoyne’s Approach to Lp Polynomial Approximation: Reassessment and Extension, II

TR-593    C.B. Dunham July 17, 2003
“Neoclassical” Monic Polynomials of Least Lp Norm

TR-594    C.B. Dunham March 13, 2003
Application of “Neoclassical” Approximations to Quadrature

TR-595    H. Keith Edwards March 26, 2003
Requirements Analysis in Industrial Practice Developer Interviews from Computer Science Students at the University of Western Ontario (Fall 2002)

TR-596    M. Katchabaw, H. Lutfiyya, M. Bauer July 8, 2003
Administrative Policies to Regulate Quality of Service Management in
Distributed Multimedia Applications

TR-597    H. Keith Edwards July 10, 2003
A Detailed Discussion of Log File Formats: With Illustrated Examples


TR-598    C.B. Dunham July 25, 2003
Numerical Solutions of Brunner-type of Volterra Equations

TR-599    C.B. Dunham July 29, 2003
Analytical Solutions Related to Minimax Monic Polynomials

TR-600    C.B. Dunham Sept 9, 2003
Approximation on Unbounded Domains

TR-601    J. Barron Oct 15, 2003
The Integration of Optical Flow into Tinatool

TR-602    Mark Daley, Ian McQuillan Oct 2, 2003
Iterative Template – Guided DNA Recombination in Ciliates

TR-603    Abdelkader Ouda, Mahmoud El-Sakka Oct 22, 2003
Methods to Correct Wong-Memon Image Watermarking Scheme

TR-604    C.B. Dunham Oct 24, 2003
Applications of Monic Polynomials of Least Norm, Version 5

TR-605    C.B. Dunham Oct 27, 2003
Generalization of Chebyshev Polynomials, III

TR-606    Lila Kari, Petr Sosík Nov 4, 2003
Language deletion on Trajectories

TR-607    C.B. Dunham Nov 5, 2003
The Place of Expansions in Orthogonal Polynomials in Practical Approximation

TR-608    Michael J. Katchabaw, Hanan L. Lutfiyya, Michael A. Bauer Nov. 10, 2003
More on Usage Based Service Differentiation for End-to-End Quality of Service Management

TR-609    L. Kari, S. Konstantinidis, Petr Sosik Nov 21, 2003
On Properties of Bond-free DNA Languages

TR-610    C.B. Dunham Nov. 17, 2003
“Standard” Error Curves, IV

TR-611    James Andrews December 3, 2003
Cut Elimination for a Weakly-Typed Higher Order Logic

TR-612    C.B. Dunham December 9, 2003
Application of Monic Polynomials of Least Norm to One-Sided and Biased Approximation

TR-613    C.B. Dunham December 10, 2003
Standard Error Curves, V

TR-614    C.B. Dunham December 15, 2003
Generalizations of Standard Norms and Application of Monic Polynomials of Least Norm

TR-615    Mechelle Gittens, Curtis Gittens, Hanan Lutfiyya, Michael Bauer December 23, 2003
A Toolkit for Generating Operational Profiles Received October 6, 2004

TR-616    C.B. Dunham Feb. 19, 2004
Generalizations of Standard Norms and Application of Monic
Polynomials of Least Norm, Version 2

TR-617    Multi Authored, Conference organizers Wael Fouad, Mahmoud El-Sakka March 2, 2004
The University of Western Ontario Research in Computer Science2004 (UWORCS’04)

TR-618    C.B. Dunham April 6, 2004
An Easier Approach to Perturbation Results in Uniform Approximation by Varisolvent Families


TR-619    Lucian Ilie (Editor) July 16, 2004
Pre-proceedings of DCFS ‘04

TR-620    C.B. Dunham May 21, 2004
Historical Overview of Unisolvence and Remez Algorithm

TR-621    C.B. Dunham June 14, 2004
Theory of Best Approximation Applied to Certain Non-linear Volterra Integral Operators

TR-622    C.B. Dunham June 1, 2004
Numerical Solution of Brunner-Type of Volterra Equations, II

TR-623    Henning Bordihn, Helmut Jurgensen May 31, 2004
Pushdown Information

TR-624    C.B. Dunham June 9, 2004
The Place of Expansions in Orthogonal Polynomials in Practical Approximation, Version III

TR-625    D. Reid, M. Katchabaw June 2004
Internet QoS: Past, Present, and Future Received May 23, 2007

TR-626    Sean Norman (M. Katchabaw)
Grid Computing: A Survey of Technologies February 21, 2008

TR-627   


TR-628   


TR-629    Yongbo An, Sheng Yu (ISBN: 0-7714-2507-4)
Auto ML: Definition and Implementation April 12, 2006

TR-630    Christopher Power, Xue Yuan, Li Fang
The Mobile Movie Database: An Experiment in Location Context Accuracy (Received Aug 9/04)

TR-631    Christopher Power August 9, 2004
Wearable Computing: A Primer

TR-632    Helmut Jürgensen, Amit Kumar September 13, 2004
Adaptive Weight Generation for BIST

TR-633    Abdelkader Ouda, Mahmoud El-Sakka September 27, 2004
Wavelet Transforms and Their Applications in Image Watermarking

TR-634    Amr R. Abdel-Dayem, Mahmoud El-Sakka October 13, 2004
Automatic Segmentation and tissue Classification Using Ultrasound Imaging

TR-635    Vladimir Tosic, Bernard Pagurek October 20, 2004
On Comprehensive Contractual Descriptions of Web Services

TR-636    Dan Santoni (M. Katchabaw) October 19, 2007
Peer-to-Peer Grids: Where are We? (August 2005)

TR-637    C. Dunham January 5, 2005
Theory of Best Approximation Applied to Strictly Monotone Nonlinear Volterra Integral Operators

TR-638    C.B. Dunham Feb 23, 2005
Theory of Best Approximation Applied to Strictly Monotone Nonlinear Volterra Integral Operators, II

TR-639    L. Kari, S. Konstantinidis, P. Sosik, G. Thierring March 1, 2005
On Hairpin-Free Words and Languages

TR-640    Vladimir Kolmogorov, Yuri Boykov March 16, 2005
What Metrics can be approximated via geo-cuts

TR-641    Multi Authored, Conference Organizers Wael Fouad, Mahmoud El-Sakka March 17, 2005
The University of Western Ontario Research in Computer Science 2005 (UWORCS ’05)

TR-642    S. Konstantinidis, N. Santean, S. Yu April 6, 2005
Fuzzification of Rational and Recognizable Sets

TR-643    C.B. Dunham April 12, 2005
Families Satisfying the Haar Condition, II

TR-644    Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang April 18, 2005
Major Requirements for a System for Comprehensive Management of
Mobile Embedded XML Web Services

TR-645    Andriy Miranskyy, Nazim Madhavji, Matt Davison, Mark Reesor April 27, 2005
Modelling Assumptions and Requirements in the Context of Project Risk

TR-646    Christopher Power and Ian McQuillan December 20, 2005
Presentation of Mathematics Through Multi-Modal Techniques

TR-647    Vladimir Tosic August 9, 2005
Is Self-Management a Right Buzzword for Modern Management Challenges?

TR-648    Vladimir Tosic, Hanan Lutfiyya, Yazhe Tang August 9, 2005
A Management Infrastructure for Mobile/Embedded XML Web Services

TR-649    Nicolae Santean, Sheng Yu August 10, 2005
Nondeterministic Bimachines and Rational Relations with Finite Codomain

TR-650    Charles B. Dunham August 30, 2005
Existence of Monotone Rational Approximations

TR-651    Helmut Jurgensen Not Yet Received
Tacticle Graphics (1996)

TR-652    Charles Dunham September 27, 2005
Topics in Nonlinear Chebyshev Approximation, Especially Suns and Non-Suns, with Examples

TR-653    Victor Lempitsky, Yuri Boykov, D. Ivanov October 12, 2005
Oriented Visibility for Multiview Reconstruction

TR-654    Charles Dunham November 8, 2005
Nonlinear Mean Square Approximation

TR-655    Olivier Juan, Yuri Boykov November 18, 2005
Active Cuts for Real-Time Graph Partitioning in Vision

TR-656    Charles Dunham November 16, 2005
The First Algorithm of Remez

TR-657    Charles Dunham November 22, 2005
Topics in Nonlinear Chebyshev Approximation, Especially Suns and Non-Suns, with Examples, II

TR-658    Nicolae Santean and Sheng Yu December 1, 2005
Representation and Uniformization of Algebraic Transductions

TR-659    Charles Dunham December 16, 2005
Discrete Chebyshev Approximation by Maehly’s Second Method

TR-660    Charles Dunham December 16, 2005
Survey of Density

TR-661    Jinhui Qin and Michael Bauer January 24, 2006
Communication factors in the scheduling of parallel jobs across multiple clusters

TR-662    Charles Dunham January 23, 2006
Optimal Grids for Estimation of Maxima on [a, b]

TR-663    James Andrews, Susmita Haldar, Yong Lie, Felix Chun Hang Li February 2, 2006
Randomized Unit Testing: Tool Support and Best Practices

TR-664    Charles Dunham February 8, 2006
Density and Chebyshev Approximation by Exponentials on C [? , ? ]

TR-665    Yuri Boykov, Vladimir Kolmogorov, Daniel Cremers, Andrew Delong February 20, 2006
An Integral Solution to Surface Evolution PDEs via Geo-Cuts

TR-666    Not Being Used

TR-667    M. El-Sakka, K. Oladosu, B. Stephenson (Co-Organizers) March 23, 2006
(UWORCS ’06) The University of Western Ontario Research in Computer Science 2006 Conference Proceedings

TR-668    Charles Dunham April 24, 2006
Best Approximation by Transformations of Approximating Families

TR-669    Charles Dunham April 24, 2006
More on Density

TR-670    Yuri Boykov, Victor Lempitsky May 3, 2006
Photoflux Maximizing Shapes

TR-671    Victor Lempitsky, Yuri Boykov June 28, 2006
Globally Optimal Shapes from Points

TR-672    Remo Ferrari, Nazim Madhavji August 17, 2006
The Impact of Requirements Knowledge and Experience on Software Architecting:
An Empirical Study

TR-673    Charles Dunham November 22, 2006
Types of Degeneracy in Approximation Together with Associated Difficulties

TR-674    Charles Dunham April 30, 2007
Theory of Closure of a Simple Rational Family

TR-675    Charles Dunham January 17, 2007
Biased and One-Sided L? and Lp Approximation

TR-676    Charles Dunham January 17, 2007
Discretization in Uniform Approximation Under One-Sided and Other
Constraints by Families Satisfying Young’s Condition

TR-677    Ryan Demopolous, Michael Katchabaw January 24, 2007
Music Information Retrieval: A Summary of Issues and Approaches

TR-678    Marjorie Locke January 24, 2007
Formal Model of Histone Annotation on DNA Strings, (Undergrad Thesis)

TR-679    Victor Lempitsky, Yuri Boykov February 6, 2007
Global Optimization for Shape Fitting

TR-680    Charles Dunham February 12, 2007
Admissible Rationals on 2 or More Variables Don’t Always Have
Existence of Best Approximations

TR-681    Charles Dunham February 19, 2007
Existence and Continuity of Best Chebyshev Approximations with
Respect to a Distance Function

TR-682    Charles Dunham February 26, 2007
The Limit of Biasing and Discretization

TR-683    Charles Dunham March 15, 2007
Coefficient Convexity for Monotone Rationals

TR-684    Charles Dunham March 15, 2007
On the Generality of the Generalized Rationals of Cheney and Loeb

TR-685    Charles Dunham March 15, 2007
Finding Maxima of Continuous Functions with Emphasis on Error Curves
and Minimax Approximation

TR-686    A.V. Miranskyy, N.H. Madhavji, M.S. Gittens, M. Davison, March 21, 2007
M. Wilding, D. Goodwin
An Iterataive, Multi-Level, and Scalable Approach to Comparing Execution Traces

TR-687    M. El-Sakka, R. Bahati (Co-organizers) April 2, 2007
(UWORCS ’07) The University of Western Ontario Research in Computer
Science 2007 Conference Proceedings

TR-688    Charles Dunham April 2, 2007
Existence of Monotone Rational Approximation, II

TR-689    Charles Dunham April 2, 2007
Existence of Bimonotone Uniform Powered Rational Approximations

TR-690    Charles Dunham April 10, 2007
The Non-Haar Nature of the Tangent Space When Property Z Fails Locally

TR-691    Charles Dunham April 10, 2007
Best Approximations by Polynomials with Nonlinear Arguments

TR-692    Charles Dunham April 13, 2007
Domains Admitting Haar Subspaces, Possibly with Null Set

TR-693    Charles Dunham May 24, 2007
Discrete Linear Approximation with Interpolation

TR-694    Charles Dunham May 28, 2007
Rational Chebyshev Approximation with a Null Space

TR-695    Charles Dunham May 29, 2007
Discretization in Best Approximation

TR-696    Charles Dunham May 30, 2007
Efficiency of Estimation of Maxima

TR-697    Charles Dunham June 9, 2007
Nonlinear Mean Approximation, II

TR-698    Charles Dunham June 26, 2007
Dimension of Set of Best Approximations by Transformed Linear and
Admissible Rational Families and Simple Special Case

TR-699    Charles Dunham July 5, 2007
Existence and Nearness in Best Non-Linear Lp Approximation

TR-700    Charles Dunham July 31, 2007
Chebyshev Approximation by ? (ax) Plus Polynomials

TR-701    Charles Dunham August 1, 2007
When the Local Haar Condition Holds But Not Property Z of Rice

TR-702    Charles Dunham August 2, 2007
Extension of Rubinstein and Brosowski Results on the Dimension of the Set of Best Approximations by Transformed Linear and Admissable Rational Families

TR-703    Charles Dunham August 2, 2007
The Rise and Fall of Best Approximation

TR-704    Charles Dunham August 2, 2007
Weak Betweeness and Varisolvence

TR-705    Charles Dunham August 2, 2007
Uniform Approximation by Polynomials Plus B * Ø(Cx) with Limits Added

TR-706    A.V. Miranskyy, Nazim Madhavji, R. Ferrari, S. Ghobrial, C.D. Giaraffa, Q.A. Rahman NYR
Managing Requirements Excalation

TR-707    Yuan Xue, H. Jurgensen October 1, 2007
Maximum Supported Network coverage Area & Cost Evaluation of Key Pre-distributed Schemes

TR-708    Jackson M. de Carvalho, H. Jurgensen October 3, 2007
A dynamical Document Structure to Capture the Semantics of Mathematical Concepts

TR-709    Shela Rajput, (M. Katchabaw) February 19, 2008
A Survey of MMO Technologies, Middleware, and Implementations

TR-710    Charles Dunham November 27, 2007
Discretization in One-Sided Minimax Approximation

TR-711    Sherif G. Moursi, Mahoud El-Sakka January 21, 2008
On Ultrasound Carotid Artery Segmentation

TR-712    Charles Dunham February 15, 2008
Uniqueness in Nearby Rational Chebyshev Approximation

TR-713    Stephen Watt, Alan P. Sexton, Volker Sorge April 4, 2008
Abstract Matrix Arithmetic

TR-714    Editors – Marc Moreno Maza, Stephen M. Watt NYR
Milestones in Computer Algebra, A Conference in Honour of
Keith Geddes’ 60th Birthday (MICA 2008) ISBN 978-0-7714-2682-7
TR-715    Gao Yuan, Sheng Yu, Zoltan Esik and Guangwu Liu NYR
State Complexity of Multiple Boolean and Catenation Operations

TR-716    Charles Dunham August 7, 2008
Critical Bibliography of Transformations in Best Approximations

TR-717    Charles Dunham August 7, 2008
Generalized Weight Functions and Transformations

TR-718    Charles Dunham August 7, 2008
Bibliography on Strong Uniqueness and Lipschitz Constants

TR-719    Charles Dunham August 7, 2008
Approximation with Fixed Values



TR-45   


Automatic Scripts <webmaster csd.uwo.ca>
Updated: Tue Feb 9 02:01:07 EST 2010