Browsing Computer Science by Title
Now showing items 982-1001 of 1551
-
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 ... -
Optimization Methods for Semi-Supervised Learning
(University of Waterloo, 2018-05-17)The goal of this thesis is to provide efficient optimization algorithms for some semi-supervised learning (SSL) tasks in machine learning. For many machine learning tasks, training a classifier requires a large amount of ... -
Optimizing Differential Computation for Large-Scale Graph Processing
(University of Waterloo, 2024-04-01)Diverse applications spanning areas such as fraud detection, risk assessment, recommendations, and telecommunications process datasets characterized by entities and their relationships. Graphs naturally emerge as the most ... -
Optimizing Hierarchical Storage Management For Database System
(University of Waterloo, 2014-06-17)Caching is a classical but effective way to improve system performance. To improve system performance, servers, such as database servers and storage servers, contain significant amounts of memory that act as a fast ... -
Optimizing MPI Collective Operations for Cloud Deployments
(University of Waterloo, 2020-01-24)Cloud infrastructures are increasingly being adopted as a platform for high performance computing (HPC) science and engineering applications. For HPC applications, the Message-Passing Interface (MPI) is widely-used. Among ... -
Option Pricing under Regime Switching (Analytical, PDE, and FFT Methods)
(University of Waterloo, 2011-05-19)Although globally used in option pricing, the Black-Scholes model has not been able to reflect the evolution of stocks in the real world. A regime-switching model which allows jumps in the underlying asset prices and the ...