Browsing Computer Science by Title
Now showing items 977-996 of 1551
-
On the Relationship Between the Developer’s Perceptible Ethnicity and the Evaluation of Contributions in GitHub
(University of Waterloo, 2020-08-28)Context: Open Source Software (OSS) projects are typically the result of collective efforts performed by developers with different backgrounds. Although the quality of developers' contributions should be the only factor ... -
On the Security of Some Variants of RSA
(University of Waterloo, 2007-05-10)The RSA cryptosystem, named after its inventors, Rivest, Shamir and Adleman, is the most widely known and widely used public-key cryptosystem in the world today. Compared to other public-key cryptosystems, such as elliptic ... -
On the Succinct Representation of Equivalence Classes
(University of Waterloo, 2014-12-17)Given a set of n elements that are partitioned into equivalence classes, we study the problem of assigning unique labels to these elements in order to support the query that asks whether the elements corresponding to two ... -
On the Utility of Adding An Abstract Domain and Attribute Paths to SQL
(University of Waterloo, 2018-04-30)Albeit its popularity today, RDBMS and the relational model still have many limitations. For example, one needs to pay premature attention to naming issues in the schema designing phase; and the syntax for conjunctive ... -
On Tolerant Testing and Tolerant Junta Testing
(University of Waterloo, 2020-07-08)Over the past few decades property testing has became an active field of study in theoretical computer science. The algorithmic task is to determine, given access to an unknown large object (e.g., function, graph, probability ... -
On Using Embeddings for Ownership Verification of Graph Neural Networks
(University of Waterloo, 2023-08-11)Graph neural networks (GNNs) have emerged as a state-of-the-art approach to model and draw inferences from large scale graph-structured data in various application settings such as social networking. The primary goal of a ... -
On Using Storage and Genset for Mitigating Power Grid Failures
(University of Waterloo, 2013-04-25)Although modern society is critically reliant on power grids, even modern power grids are subject to unavoidable outages due to storms, lightning strikes, and equipment failures. The situation in developing countries is ... -
An Online Analytical System for Multi-Tagged Document Collections
(University of Waterloo, 2015-12-03)The New York Times Annotated Corpus and the ACM Digital Library are two prototypical examples of document collections in which each document is tagged with keywords and significant phrases. Such collections can be viewed ... -
Online Bayesian Learning in Probabilistic Graphical Models using Moment Matching with Applications
(University of Waterloo, 2016-05-18)Probabilistic Graphical Models are often used to e fficiently encode uncertainty in real world problems as probability distributions. Bayesian learning allows us to compute a posterior distribution over the parameters of ... -
Online Monitoring of Distributed Systems Using Causal Event Patterns
(University of Waterloo, 2014-08-11)Event monitoring and logging, that is, recording the communication events between processes, is a critical component in many highly reliable distributed systems. The event logs enable the identification of certain ... -
Online Trace Reordering for Efficient Representation of Event Partial Orders
(University of Waterloo, 2012-01-20)Distributed and parallel applications not only have distributed state but are often inherently non-deterministic, making them significantly more challenging to monitor and debug. Additionally, a significant challenge ... -
OOMatch: Pattern Matching as Dispatch in Java
(University of Waterloo, 2007-09-11)We present a new language feature, specified as an extension to Java. The feature is a form of dispatch, which includes and subsumes multimethods, but which is not as powerful as general predicate dispatch. It is, however, ... -
Open Source Software Evolution and Its Dynamics
(University of Waterloo, 2006)This thesis undertakes an empirical study of software evolution by analyzing open source software (OSS) systems. The main purpose is to aid in understanding OSS evolution. The work centers on collecting large quantities ... -
OpenBSD Hardware Sensors — Environmental Monitoring and Fan Control
(University of Waterloo, 2010-05-21)This thesis discusses the motivation, origin, history, design guidelines, API, the device drivers and userland utilities of the hardware sensors framework available in OpenBSD. The framework spans multiple utilities in ... -
Optimal Path Queries in Very Large Spatial Databases
(University of Waterloo, 2005)Researchers have been investigating the optimal route query problem for a long time. Optimal route queries are categorized as either unconstrained or constrained queries. Many main memory based algorithms have been ... -
Optimal Path-Decomposition of Tries
(University of Waterloo, 2016-05-16)In this thesis, we consider the path-decomposition representation of prefix trees. We show that given query probabilities for every word in the prefix tree, the heavy-path strategy produces the optimal trie with respect ... -
Optimal Portfolio Execution Strategies: Uncertainty and Robustness
(University of Waterloo, 2011-10-28)Optimal investment decisions often rely on assumptions about the models and their associated parameter values. Therefore, it is essential to assess suitability of these assumptions and to understand sensitivity of outcomes ... -
Optimal Portfolio Selection Under the Estimation Risk in Mean Return
(University of Waterloo, 2008-01-17)This thesis investigates robust techniques for mean-variance (MV) portfolio optimization problems under the estimation risk in mean return. We evaluate the performance of the optimal portfolios generated by the min-max ... -
Optimal Success Bounds for Single Query Quantum Algorithms Computing the General SUM Problem
(University of Waterloo, 2015-05-27)In this thesis the problem of computing the sum of a string of arbitrary finite length drawn from an arbitrary finite alphabet is treated. The resource considered is the number of queries to some oracle which hides the ... -
Optimization for Image Segmentation
(University of Waterloo, 2019-06-26)Image segmentation, i.e., assigning each pixel a discrete label, is an essential task in computer vision with lots of applications. Major techniques for segmentation include for example Markov Random Field (MRF), Kernel ...