Browsing University of Waterloo by Title
Now showing items 81-100 of 18727
-
Abstraction and Refinement Techniques for Ternary Symbolic Simulation with Guard-value Encoding
(University of Waterloo, 2022-05-20)We propose a novel encoding called guard-value encoding for the ternary domain {0, 1, X}. Among the advantages it has over the more conventional dual-rail encoding, the flexibility of representing X with either of <0, 0> ... -
Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair
(University of Waterloo, 2019-09-23)Bug fixing is a time-consuming task in software development. Automated bug repair tools are created to fix programs with little or no human effort. There are many existing tools based on the generate-and-validate (G&V) ... -
Absurd America: Immigration and Meaninglessness in Werner Herzog‘s Stroszek and Franz Kafka‘s Der Verschollene
(University of Waterloo, 2018-09-11)In this thesis I compare Franz Kafka‘s novel Der Verschollene with Werner Herzog‘s movie Stroszek by utilizing Albert Camus‘ philosophy of the absurd as a literary theory. The absurd ad dresses the problem of meaninglessness ... -
Abundance Matching with the Galaxies of the Virgo Cluster and the Stellar-to-Halo Mass Relation
(University of Waterloo, 2012-09-27)Using data from the Next Generation Virgo Cluster Survey and high-resolution simulations of Virgo cluster-like halos, we determine the stellar-to-halo mass relation (SHMR) for subhalos, using the technique of abundance ... -
Abusive Supervision and Organizational Deviance: A Mediated Moderation Model
(University of Waterloo, 2011-08-02)In the current dissertation I investigated how abusive supervision promoted subordinate organizational deviance, by integrating and extending past work on mixed relationships (relationships characterized by both conflict ... -
Academic Librarians and Systematic Reviews: an emerging role in the social sciences
(2017-05-31)This conference presentation was delivered at CAPAL Conference on May 31, 2017, Toronto, Ontario. Abstract: Systematic review support is expanding beyond health and medical librarianship. The rise of knowledge translation ... -
Academic Status Institutional Comparisons Report
(Librarians' and Archivists' Association of the University of Waterloo, 2020-03)This report was distributed to Librarians' and Archivists' Association of the University of Waterloo members in advance of consultations pertaining to a potential change in employment status. -
"The Academy Award of Protest": Media, Cooptation, and Radical Identity in the Sixties
(University of Waterloo, 2015-08-31)Through the 1960s and into the early 1970s, radicals in the New Left and the counterculture struggled with how to remain relevant and authentic in the face of skewed and selective mainstream media representation. They often ... -
Acausal Modelling of Thermal Fluid Systems with a Focus on Engine Air Path Components
(University of Waterloo, 2020-09-14)The automotive industry is rapidly developing more advanced vehicle propulsion systems, autonomous driving, emissions reduction, and improved fuel efficiency. Optimal control theory has evolved such that a system can be ... -
Acausal Powertrain Modelling with Application to Model-based Powertrain Control
(University of Waterloo, 2014-02-21)The automotive industry has long been searching for efficient ways to improve vehicle performance such as drivability, fuel consumption, and emissions. Researchers in the automotive industry have tried to develop methods ... -
Accelerated Durability Testing via Reactants Relative Humidity Cycling on Polymer Electrolyte Membrane Fuel Cells
(University of Waterloo, 2010-09-30)Cycling of the relative humidity (RH) levels in the reactant streams of polymer electrolyte membrane (PEM) fuel cells has been reported to decay fuel cell performance. This study focuses on the accelerated durability testing ... -
Accelerating and Privatizing Diffusion Models
(University of Waterloo, 2023-08-17)Diffusion models (DMs) have emerged as a powerful class of generative models. DMs offer both state-of-the-art synthesis quality and sample diversity in combination with a robust and scalable learning objective. DMs rely ... -
Accelerating Mixed-Abstraction SystemC Models on Multi-Core CPUs and GPUs
(University of Waterloo, 2014-04-28)Functional verification is a critical part in the hardware design process cycle, and it contributes for nearly two-thirds of the overall development time. With increasing complexity of hardware designs and shrinking ... -
Accelerating peroxidase mimicking nanozymes using DNA
(Royal Society of Chemistry, 2015-09-07)DNA-capped iron oxide nanoparticles are nearly 10-fold more active as a peroxidase mimic for TMB oxidation than naked nanoparticles. To understand the mechanism, the effect of DNA length and sequence is systematically ... -
Accelerating the Training of Convolutional Neural Networks for Image Segmentation with Deep Active Learning
(University of Waterloo, 2020-01-23)Image semantic segmentation is an important problem in computer vision. However, Training a deep neural network for semantic segmentation in supervised learning requires expensive manual labeling. Active learning (AL) ... -
Acceleration and Heating of Metal Particles in Condensed Matter Detonation
(University of Waterloo, 2010-04-30)For condensed explosives containing metal particle additives, interaction of the detonation shock and reaction zone with the solid inclusions leads to non-ideal detonation phenomena. Features of this type of heterogeneous ... -
Acceleration of Large Margin Metric Learning for Nearest Neighbor Classification Using Triplet Mining and Stratified Sampling
(University of Waterloo, 2021-01-15)Metric learning is a technique in manifold learning to find a pro- jection subspace for increasing and decreasing the inter- and intra-class variances, respectively. Some metric learning methods are based on triplet learning ... -
Acceptability of Female Smoking and Smokeless Tobacco Use in Bangladesh and India
(University of Waterloo, 2014-11-10)Background: Smokeless tobacco has a long history in Bangladesh and India, where it has become normalized as a socially acceptable behaviour, but the same level of social acceptance does not apply to smoking, especially ... -
Acceptability of the interRAI Check-Up Self-Report Comprehensive Geriatric Assessment (CGA) Tool: Evaluating Check-Up Acceptability in Assessing Care Needs of Older Adults with Human Immunodeficiency Virus (HIV) in Kampala District of Uganda
(University of Waterloo, 2022-09-02)Background: The Ugandan healthcare system is ill-equipped to manage the emerging medical and social needs of its aging population. With the high burden of human immunodeficiency virus (HIV), food insecurity, and the erosion ... -
Acceptance and Usage of Smart Wearable Devices in Canadian Older Adults
(University of Waterloo, 2017-05-09)Background: As the Canadian older adult population grows rapidly, emerging solutions and technologies that have the potential to enable aging-in-place are garnering more attention from developers, public policy makers and ...