Now showing items 1983-1985 of 1985

    • 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