Browsing Theses by Issue Date
Now showing items 41-60 of 15594
-
Physical Hydrogeology and Impact of Urbanization at the Waterloo West Side: A Groundwater Modelling Approach
(University of Waterloo, 2000)In the last few decades protection of the environment has moved to the forefront of earth science research. Sustainable development is becoming more important to rapidly growing communities throughout southern Ontario ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 Quasilocal Hamiltonian for Gravity with Classical and Quantum Applications
(University of Waterloo, 2000)I modify the quasilocal energy formalism of Brown and York into a purely Hamiltonian form. As part of the reformulation, I remove their restriction that the time evolution of the boundary of the spacetime be orthogonal ... -
A Formalization of an Extended Object Model Using Views
(University of Waterloo, 2000)Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in ... -
Hadez, a Framework for the Specification and Verification of Hypermedia Applications
(University of Waterloo, 2000)In recent years, several methodologies for the development of hypermedia applications have been proposed. These methodologies are, primarily, guidelines to be followed during the design process. They also indicate what ... -
Numerical Simulation of Hydrocarbon Fuel Dissolution and Biodegradation in Groundwater
(University of Waterloo, 2000)The behaviour of hydrocarbon fuels in contaminated groundwater systems is studied using a multicomponent reactive transport model. The simulated processes include residual NAPL dissolution, aerobic and anaerobic ... -
Executable Model Synthesis and Property Validation for Message Sequence Chart Specifications
(University of Waterloo, 2000)Message sequence charts (MSC’s) are a formal language for the specification of scenarios in concurrent real-time systems. The thesis addresses the synthesis of executable object-oriented design-time models from MSC ... -
Static Conflict Analysis of Transaction Programs
(University of Waterloo, 2000)Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction ... -
A Probabilistic Approach to Image Feature Extraction, Segmentation and Interpretation
(University of Waterloo, 2000)This thesis describes a probabilistic approach to imagesegmentation and interpretation. The focus of the investigation is the development of a systematic way of combining color, brightness, texture and geometric features ... -
Effect of Fuel Ethanol on Subsurface Microorganisms and its Influence on Biodegradation of BTEX Compounds.
(University of Waterloo, 2000)Ethanol is used as fuel in neat form in some countries (Brazil and India) or blended with gasoline (Europe, Canada and the United States). The benefits of ethanol use include octane enhancement, a cleaner environment and ... -
A Statistical Assessment of a Process To Evaluate the Commercial Success Of Inventions
(University of Waterloo, 2001)In over twenty years of operations the Canadian Innovation Centre has evaluated, through its Inventor's Assistance Program (IAP), the commercial potential of over 12,000 early stage inventions. Prior to 1989, the Canadian ... -
Impact de la dramatisation sur la prosodie du français langue seconde
(University of Waterloo, 2001)Prosody, the structures governing the pitch and rhythm of speech, is essential to the correct and authentic use of a language. Unfortunately, many students of a second language find it difficult to learn these patterns, ...