Browsing Theses by Title
Now showing items 2939-2958 of 15612
-
Death and Memory: A Memorial and Museum for Euromaidan
(University of Waterloo, 2019-05-24)Memorials are a way of mending hardship through the commemoration of past events. They are a physical manifestation and expression of events, used as a way to come to terms ends. They also create an opportunity for ... -
Death in the City: The St. Lawrence Funeral Centre
(University of Waterloo, 2012-05-18)In contemporary North America, death is contained within a network of cemeteries, crematoria and funeral homes. Death-space and its associative funeral rituals are both sacred and abject resulting in marginalization that ... -
Death, Divorce, and Desertion: Strategies of Survival in Abusive Marriage in Seventeenth Century England
(University of Waterloo, 2022-09-02)This thesis demonstrates how seventeenth century English women in abusive marriages employed limited survival strategies to separate from their violent husbands. It explores the ecclesiastical and magisterial court systems ... -
Debasing Dissent: The Role of The News Media in the Devaluation of Black Canadian Activism
(University of Waterloo, 2020-10-28)My dissertation examines the way that the Canadian news media delegitimizes anti-racist activism to contribute to the harmful national narratives of racial equality disseminated by the white Anglophone majority. I examine ... -
Debugging Relational Declarative Models with Discriminating Examples
(University of Waterloo, 2017-02-01)Models, especially those with mathematical or logical foundations, have proven valuable to engineering practice in a wide range of disciplines, including software engineering. Models, sometimes also referred to as logical ... -
Decanting and Social Sustainability: Kenya Slum Upgrading Programme (A Case Study)
(University of Waterloo, 2014-04-29)By the year 2030, over half of the global population will reside in cities. The impacts of this trend are most notable among nations within the global south, which are experiencing rapid urbanization, due to forced ... -
Decay Makes Supervised Predictive Coding Generative
(University of Waterloo, 2020-08-19)Predictive Coding is a hierarchical model of neural computation that approximates backpropagation using only local computations and local learning rules. An important aspect of Predictive Coding is the presence of feedback ... -
A Decentralised Transactive Energy Market Considering Physical System Constraints
(University of Waterloo, 2022-08-29)Increasing levels of Distributed Energy Resources (DERs) are expected to play a key role in achieving global electricity decarbonisation goals, providing both a challenge and an opportunity for the electricity industry. ... -
Decentralized Ambient System Identification of Structures
(University of Waterloo, 2013-05-22)Many of the existing ambient modal identification methods based on vibration data process information centrally to calculate the modal properties. Such methods demand relatively large memory and processing capabilities to ... -
A Decentralized Approach to Dynamic Collaborative Driving Coordination
(University of Waterloo, 2008-08-29)This thesis presents a novel approach to several problems in intelligent transportation systems using collaborative driving coordination. With inter-vehicle communication and intelligent vehicle cooperation, important ... -
Decentralized contact tracing protocols and a risk analysis approach to pandemic control
(University of Waterloo, 2022-12-23)Non-pharmaceutical interventions (NPIs) can protect against pandemic pathogens, but they depend on behaviour change, and so can impose costs on quality of life and civil liberties. With careful system design and risk ... -
Decentralized Data Acquisition Pipeline with Machine Learning For Side-Channel Information
(University of Waterloo, 2021-09-17)Technological advancements and the COVID-19 pandemic caused an increase in the adoption of technologies, services, and computers. Public cloud services surged with a 17\% increase, and adoption of software services such ... -
Decentralized Identity and Access Management Framework for Internet of Things Devices
(University of Waterloo, 2020-06-03)The emerging Internet of Things (IoT) domain is about connecting people and devices and systems together via sensors and actuators, to collect meaningful information from the devices surrounding environment and take actions ... -
Decentralized Regulation of Nonlinear Discrete-Time Multi-Agent Systems
(University of Waterloo, 2011-01-20)This thesis focuses on decentralized deadbeat output regulation of discrete-time nonlinear plants that are composed of multiple agents. These agents interact, via scalar-valued signals, in a known structured way represented ... -
Decentralized Runtime Verification of LTL Specifications in Distributed Systems
(University of Waterloo, 2016-09-26)Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ... -
Decentralized Web Search
(University of Waterloo, 2012-06-18)Centrally controlled search engines will not be sufficient and reliable for indexing and searching the rapidly growing World Wide Web in near future. A better solution is to enable the Web to index itself in a decentralized ... -
Deception and Arousal in Texas Hold ‘em Poker
(University of Waterloo, 2013-04-30)In our pilot study investigating Texas Hold ‘em poker, we found that players bluffing (with a losing hand) elicits a similar physiological arousal response (as measured by skin conductance levels) to those in a position ... -
Deception in Data Visualization
(University of Waterloo, 2022-08-30)In recent years, there has been a great deal of public discussion of misleading graphs and statistics, but this phenomenon seems to have fallen outside the scope of philosophical analysis. The philosophy of language has ... -
Decidability and Algorithmic Analysis of Dependent Object Types (DOT)
(University of Waterloo, 2019-08-28)Dependent Object Types, or DOT, is a family of calculi developed to study the Scala programming language. These calculi have path dependent types as a feature, and potentially intersection types, union types and recursive ... -
Deciding Properties of Automatic Sequences
(University of Waterloo, 2013-09-24)In this thesis, we show that several natural questions about automatic sequences can be expressed as logical predicates and then decided mechanically. We extend known results in this area to broader classes of sequences ...