Now showing items 1982-1985 of 1985

    • XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection 

      Gu, Sunsheng (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 

      Berzish, Murphy (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 

      Mostafa, Haytham Ali Atteya Mohamed (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 

      BUSNAINA, JAMAL (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 ...


      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