Browsing Computer Science by Title
Now showing items 783-802 of 1558
-
Linear and Non-linear Monotone Methods for Valuing Financial Options Under Two-Factor, Jump-Diffusion Models
(University of Waterloo, 2007-10-01)The evolution of the price of two financial assets may be modeled by correlated geometric Brownian motion with additional, independent, finite activity jumps. Similarly, the evolution of the price of one financial asset ... -
Linear Approximations For Factored Markov Decision Processes
(University of Waterloo, 2004)A Markov Decision Process (MDP) is a model employed to describe problems in which a decision must be made at each one of several stages, while receiving feedback from the environment. This type of model has been extensively ... -
Linearizing Contextual Multi-Armed Bandit Problems with Latent Dynamics
(University of Waterloo, 2022-02-10)In many real-world applications of multi-armed bandit problems, both rewards and observed contexts are often influenced by confounding latent variables which evolve stochastically over time. While the observed contexts and ... -
Linking Alloy with SMT-based Finite Model Finding
(University of Waterloo, 2021-01-28)Alloy is a well-known declarative language for modelling systems early in the development process. Currently, it uses the Kodkod library as its back-end for finite model finding (finding instances of the model by determining ... -
List Coloring Some Classes of 1-Planar Graphs
(University of Waterloo, 2021-12-23)In list coloring we are given a graph G and a list assignment for G which assigns to each vertex of G a list of possible colors. We wish to find a coloring of the vertices of G such that each vertex uses a color from its ... -
Live API Documentation
(University of Waterloo, 2014-07-23)Application Programming Interfaces (APIs) provide powerful abstraction mechanisms that enable complex functionality to be used by client programs. However, this abstraction does not come for free: understanding how to use ... -
Local and Cooperative Autonomous Vehicle Perception from Synthetic Datasets
(University of Waterloo, 2019-09-23)The purpose of this work is to increase the performance of autonomous vehicle 3D object detection using synthetic data. This work introduces the Precise Synthetic Image and LiDAR (PreSIL) dataset for autonomous vehicle ... -
Local Graph Clustering Using l1-regularized PageRank Algorithms
(University of Waterloo, 2020-05-05)Local graph clustering methods are used to find small- and medium-scale clusters without traversing the graph. It has been shown that the combination of Approximate Personalized PageRank (APPR) algorithm and sweep method ... -
Local Reasoning for Parameterized First Order Protocols
(University of Waterloo, 2019-08-14)First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ... -
Long-term Average Cost in Featured Transition Systems
(ACM, 2016-09)A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ... -
Longer Delays in Rehearsal-based Interfaces Increase Expert Use
(University of Waterloo, 2019-08-08)Rehearsal-based interfaces are designed to encourage a transition from novice to expert, but many users fail to make this transition. Most of these interfaces activate novice mode after a short delay, between 150 and 500ms. ... -
Loop Modeling in Proteins Using a Database Approach with Multi-Dimensional Scaling
(University of Waterloo, 2013-09-26)Modeling loops is an often necessary step in protein structure and function determination, even with experimental X-ray and NMR data. It is well known to be difficult. Database techniques have the advantage of producing ... -
LOW-RESOLUTION CUSTOMIZABLE UBIQUITOUS DISPLAYS
(University of Waterloo, 2023-09-22)In a conventional display, pixels are constrained within the rectangular or circular boundaries of the device. This thesis explores moving pixels from a screen into the surrounding environment to form ubiquitous displays. ... -
Lower Bounds and Derandomization
(University of Waterloo, 2008-08-26)A major open problem in complexity theory is to determine whether randomized complexity classes such as BPP, AM, and MA have any nontrivial derandomization. This thesis investigates the derandomization of two randomized ... -
Lower Bounds on Quantum Query and Learning Graph Complexities
(University of Waterloo, 2014-07-22)In this thesis we study the power of quantum query algorithms and learning graphs; the latter essentially being very specialized quantum query algorithms themselves. We almost exclusively focus on proving lower bounds for ... -
Lox: Protecting the Social Graph in Bridge Distribution
(University of Waterloo, 2022-05-26)Access to the open Internet, free from surveillance and censorship, is an important part of fulfilling the right to privacy. Despite this, in many regions of the world, censorship of the Internet is used to limit access ... -
Lyrics Matter: Using Lyrics to Solve Music Information Retrieval Tasks
(University of Waterloo, 2015-08-06)Music Information Retrieval (MIR) research tends to focus on audio features like melody and timbre of songs while largely ignoring lyrics. Lyrics and poetry adhere to a specific rhyme and meter structure which set them ... -
A Machine Learning Approach for RDP-based Lateral Movement Detection
(University of Waterloo, 2019-09-19)Detecting cyber threats has been an on-going research endeavor. In this era, advanced persistent threats (APTs) can incur significant costs for organizations and businesses. The ultimate goal of cybersecurity is to thwart ... -
Machine Learning for Streamflow Prediction
(University of Waterloo, 2020-04-16)Accurate prediction of streamflow—the amount of water flowing past a stream section at a given time—is a long-standing challenge in hydrology. Not only do researchers strive to understand the natural processes at play, the ... -
A Machine-Learning-Based Algorithm for Peptide Feature Detection from Protein Mass Spectrometry Data
(University of Waterloo, 2021-05-13)Liquid chromatography with tandem mass spectrometry (LC-MS/MS) has been widely used in proteomics. Two types of data, MS and MS/MS data, are produced in an LC- MS/MS experiment. The MS data contains signal peaks corresponding ...