Browsing Theses by Title
Now showing items 6005-6024 of 15522
-
Formal Hypothesis Testing for Prospective Hydrological Model Improvements
(University of Waterloo, 2016-10-31)New algorithms for simulating hydrological processes are regularly proposed in the hydrological literature. However, the tests used to evaluate the effectiveness of these algorithms are typically no more than history ... -
Formal Methods in Quantum Circuit Design
(University of Waterloo, 2019-02-26)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ... -
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
(University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ... -
Formal Verification of Instruction Dependencies in Microprocessors
(University of Waterloo, 2011-08-19)In microprocessors, achieving an efficient utilization of the execution units is a key factor in improving performance. However, maintaining an uninterrupted flow of instructions is a challenge due to the data and control ... -
A Formalism for Visual Query Interface Design
(University of Waterloo, 2009-01-15)The massive volumes and the huge variety of large knowledge bases make information exploration and analysis difficult. An important activity is data filtering and selection, in which both querying and visualization play ... -
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 ... -
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(University of Waterloo, 2024-01-23)A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ... -
Formation and Characteristics of Microstructures from PEM Fuel Cell Catalyst Ink Drying
(University of Waterloo, 2015-08-17)In this study, the process of catalyst ink drops drying in room air is investigated experimentally, which is key to the fabrication of, hence the microstructure formation in, the catalyst layers of polymer electrolyte ... -
Formation and Field-switching Dynamics of Nematic Droplets
(University of Waterloo, 2017-08-23)Liquid crystals (LCs) refer to a class of materials which have anisotropic properties. They are used in many technological applications ranging from displays to biological sensors. One example of a category of technologically ... -
Formation and Removal of SOx and NOx in Pressurized Oxy-fuel Coal Combustion
(University of Waterloo, 2019-02-19)Growing concerns over greenhouse gas emissions have driven extensive research in carbon capture, storage and sequestration. Oxy-fuel combustion is a promising technology in CO2 capture, as the combustion products consists ... -
The Formation and Run-off of Condensate on a Vertical Glass Surface: An Experimental Study
(University of Waterloo, 2007-01-23)An experimental study of condensate was performed by exposing a sheet of glass, cooled at its bottom edge, to an enclosure with a controlled environment. The air in the enclosure was maintained at a constant relative ... -
Formation Control of Multi-agent Systems via Impulsive Strategy
(University of Waterloo, 2023-09-08)Multi-agent systems (MASs) involving cooperative control problems such as consensus tracking of distributed networks, flocking control with obstacle avoidance, and attitude alignment have received a considerable amount of ... -
FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models
(University of Waterloo, 2015-06-04)A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ... -
forms of relief
(University of Waterloo, 2022-01-19)I am calling this paper, and the body of work that it supports: forms of relief. The word relief has a couple of meanings: in the sculptural sense, the Latin root word relievo means to “raise or to lighten”, visually ... -
Formulating Complex Queries Using Templates
(University of Waterloo, 2009-01-23)While many users have relatively general information needs, users who are familiar with a certain topic may have more specific or complex information needs. Such users already have some knowledge of a subject and its ... -
Formulation of a Path-Following Joint for Multibody System Dynamics
(University of Waterloo, 2015-03-23)The development and validation of a new multibody joint that constrains a body to follow a spatial path and an orientation defined by a user is presented. The resulting joint has a single degree of freedom (DOF), and ... -
Forward Dynamic Simulation of a Golf Drive: Optimization of Golfer Biomechanics and Equipment
(University of Waterloo, 2018-01-18)Advances in golf club performance are typically based on the notion that golfer biomechanics do not change when modifications to the golf club are made. A full-swing forward dynamic golf drive model, including impact and ... -
Forward Modelling of Multifrequency SAR Backscatter of Snow-Covered Lake Ice: Investigating Varying Snow and Ice Properties Within a Radiative Transfer Framework
(University of Waterloo, 2023-01-19)Lakes are a key feature in the Northern Hemisphere landscape. The coverage of lakes by ice cover has important implications for local weather conditions and can influence energy balance. The presence of lake ice is also ... -
Fostering a Sense of Belonging in Toronto – A Case Study of Dixon
(University of Waterloo, 2023-01-16)Using the neighbourhood of Dixon as a case study, this project examines what factors influence Dixon residents’ sense of belonging to their neighbourhood. Interviews conducted with twelve residents outline how characteristics ... -
Fostering Adaptive Capacity and Resilience to Environmental Change in Sub-Arctic First Nations: The Use of Collaborative Geomatics, an Interactive, Web-based Informatics Tool
(University of Waterloo, 2011-04-29)The Western James Bay region of northern Ontario (the Mushkegowuk Territory) is home to some of Canada’s largest wetlands and most pristine ecosystems. This region is also home to approximately 10,000 Omushekgo Cree who ...