Browsing Theses by Issue Date
Now showing items 41-60 of 15492
-
Efficient Analysis for Nonlinear Effects and Power Handling Capability in High Power HTSC Thin Film Microwave Circuits
(University of Waterloo, 2000)In this study two nonlinear analysis methods are proposed for investigation of nonlinear effects of high temperature superconductive(HTSC) thin film planar microwave circuits. The MoM-HB combination method is based on ... -
Inorganic Phosphor Coatings for Ultraviolet Responsive Image Detectors
(University of Waterloo, 2000)Typical CCD digital imaging sensors are insensitive to ultraviolet ( UV ) radiation by virtue of the very shallow ( 2 nm ) penetration depth in silicon. This warrants the use of a post-packaging coating to up-covert the ... -
Supercooling and Freezing of HNO3/H2O Aerosols
(University of Waterloo, 2000)The freezing kinetics of binary nitric acid/water aerosols is of fundamental importance to the modelling of polar stratospheric clouds and the role they in ozone depletion over the Arctic/Antarctic regions. Cirrus clouds ... -
Direct Fitting of Analytical Potential Functions to Diatomic Molecular Spectroscopic Data
(University of Waterloo, 2000)The standard practice of spectroscopic data reduction is generally to fit data to level energy expansions in terms of the vibrational and rotational quantum numbers. However, the utility of such expressions is limited ... -
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 ... -
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 ... -
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 ... -
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 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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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, ... -
A Framework for Software Component Interface Specification and Analysis
(University of Waterloo, 2001)Although markets are emerging for commercial off-the-shelf components (such as Sun JavaBeans), there are many barriers to widespread component adoption. This is due to the inherent `black-box' nature of software ...