Computing Science - Theses, Dissertations, and other Required Graduate Degree Essays

Receive updates for this collection

Hierarchical arc consistency applied to numeric processing in constraint logic programming

Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1991
Document type: 
Thesis
File(s): 
Senior supervisor: 
W.S. Havens
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
Thesis (M.Sc.)

Design and implementation of automotive model-based diagnosis using the Echidna constraint reasoning system

Author: 
Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1991
Document type: 
Thesis
File(s): 
Senior supervisor: 
William S. Havens
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
Thesis (M.Sc.)

Inheritance reasoning and head-driven phrase structure grammar

Author: 
Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1990
Document type: 
Thesis
File(s): 
Senior supervisor: 
Nicholas J. Cercone
Fredercik P. Popowich
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
Thesis (M.Sc.)

Polynomial convergence in interior methods for linear programming problems

Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1989
Document type: 
Thesis
File(s): 
Senior supervisor: 
Pavol Hell
Department: 
Science: Department of Computing Science
Thesis type: 
(Thesis) M.Sc.

Scatter correction in positron volume imaging

Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1993
Document type: 
Thesis
File(s): 
Senior supervisor: 
Ronald Harrop
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
(Dissertation) Ph.D.

A multi-processor design for a serial problem

Author: 
Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1980
Document type: 
Thesis
File(s): 
Senior supervisor: 
Thomas W. Calvert
Department: 
Science: Special Arrangements
Thesis type: 
(Thesis) M.Sc.

A logical framework for model based diagnosis with probabilistic search

Author: 
Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1992
Document type: 
Thesis
File(s): 
Senior supervisor: 
William S. Havens
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
(Thesis) M.Sc.

Specification of inductive-inference problems for machine discovery

Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1992
Document type: 
Thesis
File(s): 
Senior supervisor: 
Nick J. Cercone
Department: 
Science: School of Computing Science
Thesis type: 
(Dissertation) Ph.D.

The design of a change notification server for clients of a passive object-oriented database management system

Author: 
Peer reviewed: 
No, item is not peer reviewed.
Date created: 
1992
Document type: 
Thesis
File(s): 
Senior supervisor: 
Wo-Shun Luk
Department: 
Science: School of Computing Science
Thesis type: 
(Thesis) M.Sc.