Now showing items 1033-1052 of 1451

    • Quantifying Location Privacy In Location-based Services 

      Liu, Peiyuan (University of Waterloo, 2018-10-24)
      Mobile devices (e.g., smart phones) are widely used in people's daily lives. When users rely on location-based services in mobile applications, plenty of location records are exposed to the service providers. This causes ...
    • Quantifying the Effects of Solar Panel Orientation on the Electrical Grid 

      Doroshenko, Mykhailo (University of Waterloo, 2016-11-08)
      As the prices of solar panels continue to decline, energy production from solar farms is skyrocketing, leading to a situation where, at certain times, solar farms produce more energy than can be consumed. Today, the only ...
    • Quantitative Analyses of Software Product Lines 

      Olaechea Velazco, Rafael Ernesto (University of Waterloo, 2022-01-18)
      A software product-line (SPL) is a family of related software systems that are jointly developed and reuse a set of shared assets. Each individual software system in an SPL is called a software product and includes a set ...
    • Quantitative Testing of Probabilistic Phase Unwrapping Methods 

      Moran, Jodi (University of Waterloo, 2001)
      The reconstruction of a phase surface from the observed principal values is required for a number of applications, including synthetic aperture radar (SAR) and magnetic resonance imaging (MRI). However, the process of ...
    • Quantum Cellular Automata: Theory and Applications 

      Perez Delgado, Carlos Antonio (University of Waterloo, 2007-09-26)
      This thesis presents a model of Quantum Cellular Automata (QCA). The presented formalism is a natural quantization of the classical Cellular Automata (CA). It is based on a lattice of qudits, and an update rule consisting ...
    • Quantum Information and Variants of Interactive Proof Systems 

      Upadhyay, Sarvagya (University of Waterloo, 2011-08-24)
      For nearly three decades, the model of interactive proof systems and its variants have been central to many important and exciting developments in computational complexity theory such as exact characterization of some well ...
    • Quantum information in security protocols 

      Verschoor, Sebastian Reynaldo (University of Waterloo, 2022-01-18)
      Information security deals with the protection of our digital infrastructure. Achieving meaningful real-world security requires powerful cryptographic models that can give strong security guarantees and it requires ...
    • Quantum Snake Walk on Graphs 

      Rosmanis, Ansis (University of Waterloo, 2010-01-13)
      Quantum walks on graphs have been proven to be a useful tool in quantum algorithm construction for various problems. In this thesis we introduce a new type of continuous-time quantum walk on graphs called the quantum snake ...
    • Quantum State Local Distinguishability via Convex Optimization 

      Cosentino, Alessandro (University of Waterloo, 2015-08-24)
      Entanglement and nonlocality play a fundamental role in quantum computing. To understand the interplay between these phenomena, researchers have considered the model of local operations and classical communication, or LOCC ...
    • Quantum state purification 

      Fu, Honghao (University of Waterloo, 2016-08-29)
      Quantum state purification is a process in which decoherence is partially reversed by using multiple copies of the input states that have been subject to the same decoherence effect. This thesis focuses on purifying the ...
    • Quantum Strategies and Local Operations 

      Gutoski, Gustav (University of Waterloo, 2010-01-06)
      This thesis is divided into two parts. In Part I we introduce a new formalism for quantum strategies, which specify the actions of one party in any multi-party interaction involving the exchange of multiple quantum messages ...
    • Quantum Turing Machines and Quantum Prover-Verifier Interactions 

      Molina Prieto, Abel (University of Waterloo, 2020-07-31)
      We present results on quantum Turing machines and on prover-verifier interactions. In our work on quantum Turing machines, we continue the line of research opened by Yao (1993), who proved that quantum Turing machines ...
    • Query Answering over Functional Dependency Repairs 

      Galiullin, Artur (University of Waterloo, 2013-09-23)
      Inconsistency often arises in real-world databases and, as a result, critical queries over dirty data may lead users to make ill-informed decisions. Functional dependencies (FDs) can be used to specify intended semantics ...
    • Query Evaluation in the Presence of Fine-grained Access Control 

      Zhang, Huaxin (University of Waterloo, 2008-05-20)
      Access controls are mechanisms to enhance security by protecting data from unauthorized accesses. In contrast to traditional access controls that grant access rights at the granularity of the whole tables or views, ...
    • Query Interactions in Database Systems 

      Ahmad, Mumtaz (University of Waterloo, 2013-01-08)
      The typical workload in a database system consists of a mix of multiple queries of different types, running concurrently and interacting with each other. The same query may have different performance in different mixes. ...
    • Query Optimization for On-Demand Information Extraction Tasks over Text Databases 

      Farid, Mina H. (University of Waterloo, 2012-03-27)
      Many modern applications involve analyzing large amounts of data that comes from unstructured text documents. In its original format, data contains information that, if extracted, can give more insight and help in the ...
    • Query Optimization in Dynamic Environments 

      El-Helw, Amr (University of Waterloo, 2012-05-08)
      Most modern applications deal with very large amounts of data. Having to deal with such huge amounts of data is in itself a challenge. This challenge is complicated even more by the fact that, in many cases, this data is ...
    • Query Similarity for Community Question Answering System Based on Recurrent Encoder Decoder 

      Ye, Borui (University of Waterloo, 2017-01-18)
      The measurement of sentence similarity is a fundamental task in natural language processing. Traditionally, it is measured either from word-level or sentence-level (such as paraphrasing), which requires many lexical and ...
    • A Query-Based Approach for the Analysis of Aspect-Oriented Systems 

      Barrenechea, Eduardo (University of Waterloo, 2007-01-29)
      In recent years, many aspect-oriented languages and methods have been proposed in the literature to support separation of concerns that can be spread throughout a software system and its components and to facilitate ...
    • Querying Large Collections of Semistructured Data 

      Kamali, Shahab (University of Waterloo, 2013-10-01)
      An increasing amount of data is published as semistructured documents formatted with presentational markup. Examples include data objects such as mathematical expressions encoded with MathML or web pages encoded with XHTML. ...


      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