Browsing Theses by Issue Date
Now showing items 21-40 of 15522
-
Coherent Beta Risk Measures for Capital Requirements
(University of Waterloo, 1999)This thesis compares insurance premium principles with current financial risk paradigms and uses distorted probabilities, a recent development in premium principle literature, to synthesize the current models for financial ... -
Convex Optimization and Utility Theory: New Trends in VLSI Circuit Layout
(University of Waterloo, 1999)The design of modern integrated circuits is overwhelmingly complicated due to the enormous number of cells in a typical modern circuit. To deal with this difficulty, the design procedure is broken down into a set of ... -
Some Problems in One-Operator Scheduling
(University of Waterloo, 1999)A flexible workforce or a versatile machine is employed to perform various types of operations. Often these resources are associated with setups. Whenever a worker or machine switches from processing one type of operation ... -
Multi-Resolution Approximate Inverses
(University of Waterloo, 1999)This thesis presents a new preconditioner for elliptic PDE problems on unstructured meshes. Using ideas from second generation wavelets, a multi-resolution basis is constructed to effectively compress the inverse of the ... -
On the Solution of the Hamilton-Jacobi Equation by the Method of Separation of Variables
(University of Waterloo, 2000)The method of separation of variables facilitates the integration of the Hamilton-Jacobi equation by reducing its solution to a series of quadratures in the separable coordinates. The case in which the metric tensor is ... -
Load Balancing Schemes for Distributed Real-Time Interactive Virtual World Simulations
(University of Waterloo, 2000)Over the last several years, there has been tremendous growth in online gaming (i. e. playing games over the internet). The Massively Multiplayer Online Role Playing Game (MMORPG) is one type of online game. An ... -
A Framework for Machine-Assisted Software Architecture Validation
(University of Waterloo, 2000)In this thesis we propose a formal framework for specifying and validating properties of software system architectures. The framework is founded on a model of software architecture description languages (ADLs) and uses ... -
Analytical Methods for the Performance Evaluation of Binary Linear Block Codes
(University of Waterloo, 2000)The modeling of the soft-output decoding of a binary linear block code using a Binary Phase Shift Keying (BPSK) modulation system (with reduced noise power) is the main focus of this work. With this model, it is possible ... -
Stabilization of Discrete-time Systems With Bounded Control Inputs
(University of Waterloo, 2000)In this paper we examine the stabilization of LTI discrete-time systems with control input constraints in the form of saturation nonlinearities. This kind of constraint is usually introduced to simulate the effect of ... -
Finite Field Multiplier Architectures for Cryptographic Applications
(University of Waterloo, 2000)Security issues have started to play an important role in the wireless communication and computer networks due to the migration of commerce practices to the electronic medium. The deployment of security procedures requires ... -
An Adaptive Ecosystem Approach to Rehabillitation and Management of the Cooum River Environmental System in Chennai, India
(University of Waterloo, 2000)This research investigates the application of an adaptive ecosystem approach to the problem of the Cooum River and environs in Chennai (formerly Madras), India. The Cooum River is an extremely polluted urban stream that ... -
A Predictive Control Method for Human Upper-Limb Motion: Graph-Theoretic Modelling, Dynamic Optimization, and Experimental Investigations
(University of Waterloo, 2000)Optimal control methods are applied to mechanical models in order to predict the control strategies in human arm movements. Optimality criteria are used to determine unique controls for a biomechanical model of the human ... -
A survey on Traitor Tracing Schemes
(University of Waterloo, 2000)When intellectual properties are distributed over a broadcast network, the content is usually encrypted in a way such that only authorized users who have a certain set of keys, can decrypt the content. Some authorized ... -
A survey of the trust region subproblem within a semidefinite framework
(University of Waterloo, 2000)Trust region subproblems arise within a class of unconstrained methods called trust region methods. The subproblems consist of minimizing a quadratic function subject to a norm constraint. This thesis is a survey of ... -
Variational Spectral Analysis
(University of Waterloo, 2000)We present results on smooth and nonsmooth variational properties of {it symmetric} functions of the eigenvalues of a real symmetric matrix argument, as well as {it absolutely symmetric} functions of the singular values ... -
A Study of the Automatic Speech Recognition Process and Speaker Adaptation
(University of Waterloo, 2000)This thesis considers the entire automated speech recognition process and presents a standardised approach to LVCSR experimentation with HMMs. It also discusses various approaches to speaker adaptation such as MLLR and ... -
Analysis and Design of Lossless Bi-level Image Coding Systems
(University of Waterloo, 2000)Lossless image coding deals with the problem of representing an image with a minimum number of binary bits from which the original image can be fully recovered without any loss of information. Most lossless image coding ... -
Contributions to the Study of the Validity of Huygens' Principle for the Non-self-adjoint Scalar Wave Equation on Petrov Type D Spacetimes
(University of Waterloo, 2000)This thesis makes contributions to the solution of Hadamard's problem through an examination of the question of the validity of Huygens'principle for the non-self-adjoint scalar wave equation on a Petrov type D spacetime. ... -
An Approximation Algorithm for Character Compatibility and Fast Quartet-based Phylogenetic Tree Comparison
(University of Waterloo, 2000)Phylogenetic analysis, or the inference of evolutionary history is done routinely by biologists and is one of the most important problems in systematic biology. In this thesis, we study two computational problems in ... -
Motivated Resistance to Counterattitudinal Arguments: The effects of affirmation, argument strength and attitude importance
(University of Waterloo, 2000)In this study we explored some of the factors associated with biased processing of attitude-relevant information. We were particularly interested in the possibility that a self-affirmation, by reducing self-evaluative ...