Browsing Computer Science by Title
Now showing items 1102-1121 of 1551
-
Proportionality and Fairness in Voting and Ranking Systems
(University of Waterloo, 2023-08-18)Fairness through proportionality has received significant attention in recent social choice research, leading to the development of advanced tools, methods, and algorithms aimed at ensuring fairness in democratic institutions. ... -
Protein De novo Sequencing
(University of Waterloo, 2016-05-13)In the proteomic mass spectrometry field, peptide and protein identification can be classified into two categories: database search that relies on existing peptide and protein databases and de novo sequencing with no prior ... -
Protein Loop Prediction by Fragment Assembly
(University of Waterloo, 2007-01-19)If the primary sequence of a protein is known, what is its three-dimensional structure? This is one of the most challenging problems in molecular biology and has many applications in proteomics. During the last three ... -
Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold
(University of Waterloo, 2019-01-09)This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where inter-atomic interactions are assumed to be modelled by a Hookean ... -
A protocol for constructing a domain-specific ontology for use in biomedical information extraction using lexical-chaining analysis
(University of Waterloo, 2007-01-19)In order to do more semantics-based information extraction, we require specialized domain models. We develop a hybrid approach for constructing such a domain-specific ontology, which integrates key concepts from the ... -
Providing Freshness for Cached Data in Unstructured Peer-to-Peer Systems
(University of Waterloo, 2013-04-17)Replication is a popular technique for increasing data availability and improving perfor- mance in peer-to-peer systems. Maintaining freshness of replicated data is challenging due to the high cost of update management. ... -
Proving Properties of Fibonacci Representations via Automata Theory
(University of Waterloo, 2024-01-22)In this work, we introduce a novel framework for mechanically testing the completeness and unambiguity of Fibonacci-based representations via automata theory. We call a representation (or a number system) complete and ... -
PRSONA: Private Reputation Supporting Ongoing Network Avatars
(University of Waterloo, 2021-12-09)Trust and user-generated feedback have become increasingly vital to the normal functioning of the modern internet. However, deployed systems that currently incorporate such feedback do not guarantee users much in the way ... -
PStorM: Profile Storage and Matching for Feedback-Based Tuning of MapReduce Jobs
(University of Waterloo, 2013-01-02)The MapReduce programming model has become widely adopted for large scale analytics on big data. MapReduce systems such as Hadoop have many tuning parameters, many of which have a significant impact on performance. The map ... -
PUPy: A Generalized, Optimistic Context Detection Framework
(University of Waterloo, 2021-04-28)In modern life, the usage of smart devices like smartphones and laptops that allow for access to information, communication with friends and colleagues and other indispensable services has become ubiquitous. People have ... -
Purely top-down software rebuilding
(University of Waterloo, 2007-01-22)Software rebuilding is the process of deriving a deployable software system from its primitive source objects. A build tool helps maintain consistency between the derived objects and source objects by ensuring that all ... -
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 ...