Browsing Electrical and Computer Engineering by Title
Now showing items 1579-1598 of 1985
-
An RNS variant of fully homomorphic encryption over integers
(University of Waterloo, 2017-05-01)In 1978, the concept of privacy homomorphism was introduced by Rivest et al. Since then, homomorphic cryptosystems have gathered researchers' attention. Most of the early schemes were either partially homomorphic or not ... -
Robot Motion and Task Learning with Error Recovery
(University of Waterloo, 2013-06-20)The ability to learn is essential for robots to function and perform services within a dynamic human environment. Robot programming by demonstration facilitates learning through a human teacher without the need to develop ... -
Robot Patrolling for Stochastic and Adversarial Events
(University of Waterloo, 2015-09-25)In this thesis, we present and analyze two robot patrolling problems. The first problem discusses stochastic patrolling strategies in adversarial environments where intruders use the information about a patrolling path to ... -
Robotic Motion Planning in Uncertain Environments via Active Sensing
(University of Waterloo, 2017-09-08)Perception and control are at the foundation of automation, and in recent years, we have seen growth in feasible applications including self-driving cars and smart homes. As automation moves from regulated, well-monitored ... -
Robotic Path Planning for High-Level Tasks in Discrete Environments
(University of Waterloo, 2018-04-10)This thesis proposes two techniques for solving high-level multi-robot motion planning problems with discrete environments. We focus on an important class of problems that require an allocation of spatially distributed ... -
Robust Design of Variation-Sensitive Digital Circuits
(University of Waterloo, 2011-07-11)The nano-age has already begun, where typical feature dimensions are smaller than 100nm. The operating frequency is expected to increase up to 12 GHz, and a single chip will contain over 12 billion transistors in 2020, ... -
Robust Eigen-Filter Design for Ultrasound Flow Imaging Using a Multivariate Clustering
(University of Waterloo, 2020-01-23)Blood flow visualization is a challenging task in the presence of tissue motion. Unsuppressed tissue clutter produces flashing artefacts in ultrasound flow imaging which hampers blood flow detection by dominating part of ... -
Robust Energy Management Systems for Isolated Microgrids Under Uncertainty
(University of Waterloo, 2014-09-15)Microgrids are small and local clusters of generation and load operated in a coordinated manner. These systems are being enhanced with Smart Grid technologies in order to better integrate more Renewable Energy (RE) sources ... -
Robust Flow Component Identification for Blockwise SVD Clutter Filtering in High-Frame-Rate Ultrasound Using a Deeply Connected Neural Network
(University of Waterloo, 2023-01-10)Ultrasound plays a critical role in the accurate and reliable observation of blood flow dynamics within the human body and is instrumental in the assessment of cardiovascular health and subsequent follow-up treatment. ... -
Robust Sonographic Muscle Quality Assessment: A Live, Accurate Tissue Speed-of-Sound Estimation Framework
(University of Waterloo, 2024-02-23)Muscle quality can act as an indicator for physical health through qualitative – yet measurable – changes in muscle architecture and composition. One option for assessing muscle quality is through musculoskeletal ultrasound, ... -
Robust Spline Path Following for Redundant Mechanical Systems
(University of Waterloo, 2015-05-20)Path following controllers make the output of a control system approach and traverse a pre-specified path with no a priori time-parametrization. The first part of the thesis implements a path following controller for a ... -
Rod Coating MoS2 Films and Silver Nanowire Electrodes for 2D Material-based Devices
(University of Waterloo, 2023-09-19)Two-dimensional materials have garnered significant attention in the research community due to their unique physical and electrical properties. Among these materials, molybdenum disulfide (MoS2) is a promising candidate ... -
Role of Cryptographic Welch-Gong (WG-5) Stream Cipher in RFID Security
(University of Waterloo, 2012-05-23)The purpose of this thesis is to design a secure and optimized cryptographic stream cipher for passive type Radio Frequency Identification (RFID) tags. RFID technology is a wireless automatic tracking and identification ... -
Route Planning and Operator Allocation in Robot Fleets
(University of Waterloo, 2023-10-03)In this thesis, we address various challenges related to optimal planning and task allocation in a robot fleet supervised by remote human operators. The overarching goal is to enhance the performance and efficiency of the ... -
RRAM in High-speed TCAM Design and Its Applications with New Switching Materials
(University of Waterloo, 2022-05-17)With the continuous scaling of transistor devices reaching their physical limits, emerging non-volatile memory (eNVM) devices such as resistive random-access memory (RRAM) is considered one of the alternatives to maintain ... -
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 ... -
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 ... -
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 ...