Browsing Computer Science by Title
Now showing items 1106-1125 of 1544
-
Quantifying Location Privacy In Location-based Services
(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
(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 ... -
Quantifying, Characterizing, and Leveraging Cross-Disciplinary Dependencies: Empirical Studies from a Video Game Development Setting
(University of Waterloo, 2023-12-05)Continuous Integration (CI) is a common practice adopted by modern software organizations. It plays an especially important role for large corporations like Ubisoft, where thousands of build jobs are submitted daily. The ... -
Quantitative Analyses of Software Product Lines
(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
(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
(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
(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
(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 Ray Marching: Reformulating Light Transport for Quantum Computers
(University of Waterloo, 2023-11-27)The use of quantum computers in computer graphics has gained some interest in recent years, especially for the application of rendering. The current state of the art in quantum rendering relies on Grover's search for finding ... -
Quantum Snake Walk on Graphs
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ...