Browsing Theses by Title
Now showing items 2517-2536 of 15492
-
Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization
(University of Waterloo, 2023-12-14)This thesis explores a novel design of context-sensitive optional type systems which supports generics. Optional type systems, as the name suggests, optionally enforce type rules in typechecking and can be switched on ... -
Contextual Complexities and Nelson Mandela's Braided Rhetoric
(University of Waterloo, 2019-05-21)This dissertation revolves around the complex political circumstances in apartheid South Africa that produced Nelson Mandela the rhetorician, human rights activist, and the longest political prisoner in human history. The ... -
Contextual cues as modifiers of cTBS effects on indulgent eating
(University of Waterloo, 2019-08-07)Background: Prior studies have found that continuous theta burst stimulation (cTBS) targeting the left dlPFC results in reliable increases in consumption of calorie-dense food items. However, it is not known to what extent ... -
Contextual Effects of Goals, Stimuli, Performance, and Complexity on Cognitive Decision Biases
(University of Waterloo, 2010-04-29)Existing research investigating human judgment and decision making describes patterns of systematic biases in the way people process information and make decisions. Framing effects, for example, demonstrate that logically ... -
Contextual Factors Affecting Information Sharing Patterns in Technology Mediated Communication
(University of Waterloo, 2020-08-19)In this thesis, we investigate how and what contextual factors affect user’s information sharing. We build our work on six individual research projects which cover a variety of systems (search engines, social network sites, ... -
Contextuality and Ontological Models: A Tale of Desire and Disappointment
(University of Waterloo, 2019-09-23)Since being defined by Kochen and Specker, and separately by Bell, contextuality has been proposed as one of the key phenomena that distinguishing quantum theory from classical theories. However, with the rise of quantum ... -
Contextualizing Alternative Models of Secret Sharing
(University of Waterloo, 2022-08-17)A secret sharing scheme is a means of distributing information to a set of players such that any authorized subset of players can recover a secret and any unauthorized subset does not learn any information about the secret. ... -
Contextualizing Science for Value-Conscious Communication
(University of Waterloo, 2019-07-15)Democracy hinges on the personal and civic decision-making capabilities of publics. In our increasingly technoscientific world, being well-informed requires an understanding of science. Despite acknowledging public ... -
Contingency Learning and Unlearning in the Blink of an Eye: A Resource Dependent Process
(University of Waterloo, 2009-08-26)Recent studies show that when words are correlated with the colours they are printed in (e.g., MOVE is presented 75% of the time in blue), colour identification is faster when the word is presented in its expected colour ... -
Continual Learning and Forgetting in Deep Learning Models
(University of Waterloo, 2020-12-14)Continual learning is a framework of learning in which we aim to move beyond the limitations of standard isolated optimization of deep learning models toward a more intelligent setting, where models or agents are able to ... -
Continual learning-based Video Object Segmentation
(University of Waterloo, 2023-06-23)Machine learning models, specifically deep convolutional neural networks, have exceeded human-level performance in many research areas, such as object classification and voice recognition. However, they are not comparable ... -
Continuing the Narrative of Silo No. 5
(University of Waterloo, 2016-09-19)Every modern city faces the challenge of how to engage the remains of its industrial past. Consciously or unconsciously, post-industrial cities have experienced a type of identity crisis after the decline of industries. ... -
The Continuity of Explanation: Peircean Pragmatism, Reason, and Developing Reasonable Behavior
(University of Waterloo, 2017-09-27)Charles Peirce, the founder of Pragmatism, is not known for having developed a normative and ethical theory. His remarks on ethics and normativity are scattered and sparse. There is nonetheless increasing interest in ... -
Continuous Affect Recognition with Different Features and Modeling Approaches in Evaluation-Potency-Activity Space
(University of Waterloo, 2017-06-08)Emotions are an essential part of human social interactions. By integrating an automatic affect recognizer into an artificial system, the system can detect humans’ emotions and provide personal responses. We aim to build ... -
Continuous Integration Build Failures in Practice
(University of Waterloo, 2016-08-24)Automated software testing is a popular method of quality control that aims to detect bugs before software is released to the end user. Unfortunately, writing, maintaining, and executing automated test suites is expensive ... -
Continuous Spatial and Temporal Representations in Machine Vision
(University of Waterloo, 2021-06-02)This thesis explores continuous spatial and temporal representations in machine vision. For spatial representations, we explore the Spatial Semantic Pointer as a biologically plausible representation of continuous space ... -
Continuous Tensor Networks, Conformal Field Theory and Holography
(University of Waterloo, 2020-07-23)Tensor network methods are playing a central role in multiple disciplines of modern quantum physics, such as condensed matter physics, quantum information and quantum gravity. Based on renormalization group (RG) ideas, ... -
The Continuous Time Service Network Design Problem
(University of Waterloo, 2015-01-15)The service network design problem (SNDP) addresses the planning of operations for freight transportation carriers. Given a set of requests to transport commodities from specific origins to specific destinations, SNDP ... -
Continuous-time Quantum Algorithms: Searching and Adiabatic Computation
(University of Waterloo, 2002)One of the most important quantum algorithms is Grover's search algorithm [G96]. Quantum searching can be used to speed up the search for solutions to NP-complete problems e. g. 3SAT. Even so, the best known quantum ... -
Continuum Approach to Two- and Three-Phase Flow during Gas-Supersaturated Water Injection in Porous Media
(University of Waterloo, 2010-12-14)Degassing and in situ formation of a mobile gas phase takes place when an aqueous phase equilibrated with a gas at a pressure higher than the subsurface pressure is injected in water-saturated porous media. This process, ...