Browsing Theses by Title
Now showing items 12613-12632 of 15628
-
A Rules-based Mode Choice Model using CHAID Decision Trees and Dynamic Transit Accessibility
(University of Waterloo, 2021-05-31)Transportation mode choice models typically represent user decision making using utility-based mode choice models. However, utility models assume that users make compensatory trade-offs between decision variables to ... -
RUMBA: Runtime Monitoring and Behavioral Analysis Framework for Java Software Systems
(University of Waterloo, 2007-05-18)A goal of runtime monitoring is to observe software execution to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing prevention activities ... -
Rumination-content and Attention in Depression
(University of Waterloo, 2008-10-17)Abstract Cognitive theories of emotional disorders predict that individuals suffering from an emotional disorder exhibit increased interference for stimuli that are idiosyncratic to their disorder (Williams, Mathews, & ... -
Run-to-Run Optimization of Biochemical Batch Processes in the Presence of Model-Plant Mismatch
(University of Waterloo, 2018-01-18)An increased demand for novel pharmaceuticals such as recombinant proteins with therapeutic potential has lead to significant advances in the operation of biotechnological processes. In general, biochemical processes are ... -
Runoff Response and Nutrient Loading in Vertisolic Clay Soils of Near-Level Artificially Drained Southern Manitoban Landscapes
(University of Waterloo, 2020-03-04)The installation of tile drainage systems in Southern Manitoba has been accelerating over the past two decades to improve crop production. Given current environmental and political concerns related to agricultural pollution ... -
Runtime Monitoring for Uncertain Times
(University of Waterloo, 2021-03-19)In Runtime Verification (RV), monitors check programs for correct operation at execution time. Also called Runtime Monitoring, RV offers advantages over other approaches to program verification. Efficient monitoring is ... -
Runtime Restriction of the Operational Design Domain: A Safety Concept for Automated Vehicles
(University of Waterloo, 2018-06-14)Automated vehicles need to operate safely in a wide range of environments and hazards. The complex systems that make up an automated vehicle must also ensure safety in the event of system failures. This thesis proposes an ... -
Runtime Verification with Controllable Time Predictability and Memory Utilization
(University of Waterloo, 2013-09-27)The goal of runtime verifi cation is to inspect the well-being of a system by employing a monitor during its execution. Such monitoring imposes cost in terms of resource utilization. Memory usage and predictability of ... -
Ruptures in Canada’s Nationalist Narrative: Situating Toronto’s Former-Yugoslav Immigrants in the Indigenous-Settler Context
(University of Waterloo, 2017-01-20)With the increasing prevalence of Indigenous discourses in the public consciousness, it becomes clear that the role of immigrants in the Indigenous-Settler dynamic has yet to be understood, and is particularly understudied ... -
Rural Bogotá: Inhabiting Colombia's Asymmetrical Territory
(University of Waterloo, 2017-12-19)Throughout the twentieth century, rural Colombia experienced a series of forces which acted as catalysts for the inequalities found within the territory and instigated the agrarian and armed conflicts – two national crisis ... -
Rural Community Vulnerability to Food Security Impacts of Climate Change in Afghanistan: Evidence from Balkh, Herat, and Nangarhar Provinces
(University of Waterloo, 2011-05-20)Climate change is taking its toll on Afghanistan. Warming temperatures and decreasing precipitation levels over the last fifty years have led to innumerable weather anomalies causing droughts, floods, unseasonal precipitation, ... -
Rural-Environmental Planning in the Multifunctional Transition: Lessons from the Governance of Working Landscapes
(University of Waterloo, 2021-09-08)Rural landscapes are transitioning from productivist to multifunctional uses, which implies that planning has to address the conflicts emanating from our need to protect the natural environment and promote social well-being. ... -
Rural-to-urban resettlement and resettled villagers’ post-resettlement adaptation in Hangzhou, China
(University of Waterloo, 2023-08-28)In recent years, rural-to-urban resettlement as a specific form of urbanization and its long-lasting impact on landless villagers have garnered increasing scholarly and policy attention in China. Urbanization through ... -
A Russian Way of War? Westernization of Russian Military Thought, 1757-1800
(University of Waterloo, 2009-04-30)The present study constitutes one of the first attempts to establish the extent to which Russian military thought became westernized by the end of the eighteenth century. The task is an important one in light of Soviet and ... -
RuSTL: Runtime Verification using Signal Temporal Logic
(University of Waterloo, 2019-04-23)A system is classified to be a safety-critical system if its failure and/or malfunction of these devices may result in severe injuries or in extreme cases loss of human life. Such systems are all around us, examples of ... -
S'more then just fun and games: Teachers' perceptions on the educational value of camp programs for school groups
(University of Waterloo, 2011-05-03)Learning does occur at camp, but what kind of learning? And do what participants learn at camp transfer to other parts of a young persons’ life after the camp experience? This evaluation research study was designed to ... -
The S-Matrix of Gauge and Gravity Theories and The Two-Black Hole Problem
(University of Waterloo, 2020-10-01)This thesis is devoted to diverse aspects of scattering amplitudes in gauge theory and gravity including interactions with matter particles. In Part I we focus on the applications of massive scattering amplitudes in gravity ... -
Sacred Memories, Decolonial Futurities
(University of Waterloo, 2023-02-02)Employing a collective memory work research methodology, this thesis narrates discussions between four Settler-Christians as they grapple with notions of travel, tourism, Christianity, divinity, and settler colonialism. ... -
Safe and Efficient Navigation of a Mobile Robot: Path Planning Based on Hierarchical Topology Map and Motion Planning with Pedestrian Behavior Model
(University of Waterloo, 2022-09-02)Safety in mobile robot navigation is an essential aspect, but it is often accompanied by a trade-off of efficiency in different navigation steps. For global planning, safety is frequently handled by inflated obstacles. ... -
Safe and Secure Control of Connected and Automated Vehicles
(University of Waterloo, 2020-10-26)Evolution of Connected and Automated Vehicles (CAV), as an important class of Cyber-Physical Systems (CPS), plays a crucial role in providing innovative services in transport and traffic management. Vehicle platoons, as a ...