Now showing items 1568-1587 of 1967

    • Robust Design of Variation-Sensitive Digital Circuits 

      Moustafa, Hassan (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 

      Waraich, Saad Ahmed (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 

      Lara, Jose Daniel (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 

      Cerkauskas, Cyrus (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 

      Xiao, Di (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 

      Gill, Rajan (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 

      Yang, Zhiqiao (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 

      Mota, Rajesh Kumar (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 

      Dahiya, Abhinav (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 

      Pan, Kangqiang (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 

      Ashkan, Azin (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 

      Kauffman, Sean (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 

      Colwell, Ian (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 

      Kumar, Deepak (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 

      Khan, Waleed (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 ...
    • Safe and Secure Control of Connected and Automated Vehicles 

      Basiri, Mohammad Hossein (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 ...
    • Sampled-Data Control of Invariant Systems on Exponential Lie Groups 

      McCarthy, Philip James (University of Waterloo, 2019-08-28)
      This thesis examines the dynamics and control of a class of systems furnished by kinematic systems on exponential matrix Lie groups, when the plant evolves in continuous-time, but whose controller is implemented in ...
    • Sampling Time Jitter 

      Seifi, Seyed Mohammad Ehsan (University of Waterloo, 2013-01-23)
      Electrical systems which use voltage transitions to represent timing information suffer from a degrading phenomenon called timing jitter. Sampling time jitter is the deviation of sampling clock from its ideal position. As ...
    • Sampling-based Program Execution Monitoring 

      Ba, Yanmeng (University of Waterloo, 2010-08-30)
      For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-sensitive systems which have limited ...
    • Scalable Context-Sensitive Pointer Analysis for LLVM 

      Kuderski, Jakub (University of Waterloo, 2019-08-13)
      Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses for low-level languages that are ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages