Browsing Electrical and Computer Engineering by Title
Now showing items 1941-1944 of 1944
-
XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection
(University of Waterloo, 2022-01-18)Explainable AI (XAI) methods are frequently applied to obtain qualitative insights about deep models' predictions. However, such insights need to be interpreted by a human observer to be useful. In this thesis, we aim to ... -
Z3str4: A Solver for Theories over Strings
(University of Waterloo, 2021-06-15)Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason about string operations and predicates that are present in many ... -
Zonal Energy Management and Optimization System (ZEMOS) for Smart Grid Applications
(University of Waterloo, 2014-08-15)In the context of implementing the smart grid, electric energy consumption, generation resources, should be managed and optimized in a way that saves energy, improves efficiency, enhances reliability and maintains security ... -
Zone-Distributed Optimization System for Energy Management in Smart Grids
(University of Waterloo, 2017-08-24)Energy management system (EMS) is an important component of smart grid operation. A proper EMS is the key to the integration of smart grid (SG) features, which include two-way communication, smart metering as well advanced ...