Reem Al-Halimi
Mining Topic Signals from Text
(Supervisor: Frank Tompa)
Michael Fleming
Reasoning About Interaction in Mixed Initiative Artificial
Intelligence Systems
(Supervisor: Robin Cohen)
Thomas Tran
Reputation-Oriented Reinforcement Learning Strategies for
Economically-Motivated Agents in Electronic Market
Environments
(Supervisor: Robin Cohen)
Ming-Wei Wang
Periodicity and Repetition in Combinatorics On Words
(Supervisor: Jeffrey Shallit)
Howard Cheng
Algorithms for Normal Forms for Matrices of Polynomials and Ore
Polynomials
(Supervisor: George Labahn)
Ha Quang Le
Algorithms for the Construction of the Minimal Telescopers
(Supervisor: Keith Geddes)
Yanni Liu
Deadline Based Network Resource Management
(Supervisor: Johnny Wong)
Fletcher Lu
Exploring Model-Based Methods for Reinforcement Learning
(Supervisors: Nick Cercone and Dale Schuurmans)
Maria Augusta Viera Nelson
A Problem-Oriented Approach to Description and Analysis of
Geographic
Requirments
(Supervisor: Don Cowan)
Torsten Nelson
Formal Verification of Projection-Based Software Systems
(Supervisor: Don Cowan)
Fuchun Peng
Language Independent Text Learning with Statistical n-Gram Language
Models
(Supervisor: Dale Schuurmans)
David Pooley
Numerical Methods for Nonlinear Equations in Option Pricing
(Supervisor: Peter Forsyth)
Kamran Sartipi
Software Architecture Recovery based on Pattern Matching
(Supervisor: Farhad Mavaddat and Kostas Kontogiannis)
Xuerong Tang
A High-Level Specification Language for Structured Document
Transformation
(Supervisor: Frank Tompa)
Yingwei Wang
Binary One Algorithm: Retrieving High-Frequency words in Linear
Time
and Logarithmic Space
(Supervisor: Nick Cercone)
Heath Windcliffe
Computational Methods for Valuing Path-Dependent
Derivatives
(Supervisor: Peter Forsyth)
Jinbo Xu
Protein Structure Prediction by Linear Programming
(Supervisor: Ming Li and Prabhaker Ragde)
Hui Zhang
XML Query Processing and Optimization
(Supervisor: Frank Tompa)
Anthony Cox
A Source-Based Approach to Program Comprehension
(Supervisors: Charles Clarke and Gordon Cormack)
Erik Demaine, (Recipient of the
Governor General's Gold Medal)
Folding and Unfolding
(Supervisors: Anna Lubiw and Ian Munro)
Jing Dong
Design Component Contracts: Modeling and Analysis of
Pattern-Based Composition
(Supervisor: Donald Cowan)
Vlado Keselj
Modular Stochastic HPSGs for Question Answering
(Supervisor: Nicholas Cercone)
Trausti Kristjansson
Speech Recognition in Adverse Environments: A Probabilistic
Approach
(Supervisor: B. Frey)
David Mason
Probabilistic Program Analysis for Software Component
Reliability
(Supervisors: Joanne Atlee and Denise Woit)
Paul Ward
A Scalable Partial-Order Data Structure for
Distributed-System Observation
(Supervisor: D. Taylor)
Jianchao Han
Interactive Visualization for Knowledge Discovery
(Supervisor: N.J. Cercone)
Arunprasad Marathe
Query Processing Techniques for Arrays
(Supervisor:
K. Salem)
Matthew Young-Lai
Text Structure Recognition Using a Region Algebra
(Supervisor: F.W. Tompa)
Vitaliy Khizder
Uniqueness Constraints in Object-Relational Databases
and Description Logics
(Supervisor: G.E. Weddell)
Kevin Lanctot
Some String Problems in Computational Biology
(Supervisor:
M. Li)
Kurt Lichtner
A Framework for Machine-Assisted Software
(Supervisor:
D.D. Cowan)
Daniel Morales-German
HDSZ, A Specification Language for Hypertext
Design
(Supervisor: D.D. Cowan)
Luis Nova
A Formalization of an Extended Object Model Using Views
(Supervisor: D.D. Cowan)
Glenn Paulley
Exploiting Functional Dependencies in Query Optimization
(Co-Supervisors: P.A. Larson and F.W. Tompa)
Piotr Sidorowicz
A Formal Framework for Modeling and Testing Memories
(Supervisor: J.A. Brzozowski)
Robert Zvan
The Numerical Solution of Two-Factor Option Pricing Models
(Co-Supervisors: P.A. Forsyth and K.R. Vetzal)
| 2002 | 2001 | 2000 | |||||||
| 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 |
| 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 |
| 1979 | 1978 | 1977 | 1976 | 1975 | 1974 | 1973 | 1972 | 1971 | 1970 |
| 1969 | |||||||||
David R. Cheriton School of Computer Science
University of Waterloo
Waterloo, Ontario, Canada N2L 3G1
Tel: 519-888-4567 x33293
Fax: 519-885-1208
Contact | Feedback: cs-webmaster@cs.uwaterloo.ca | David R. Cheriton School of Computer Science | Faculty of Mathematics
Last modified: Wednesday, 07-Jul-2010 17:22:57 EDT
