Browsing Computer Science by Title
Now showing items 786-805 of 1551
-
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 ... -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
(2020)In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ... -
Maintaining Quality of Service for Adaptive Mobile Map Clients
(University of Waterloo, 2001)Mobile devices must deal with limited and dynamically varying resources, in particular, the network quality of service (QoS). In addition, wireless devices have other constraints such as limited memory, battery power, ... -
Majority in the Three-Way Comparison Model
(University of Waterloo, 2019-08-28)In this thesis, we study comparison based problems in a new comparison model called three-way, where a comparison can result in { >, =, < }. We consider a set of n balls with fixed ordered coloring. Particularly, we are ... -
Making Decisions with Incomplete and Inaccurate Information
(University of Waterloo, 2021-08-25)From assigning students to public schools to arriving at divorce settlements, there are many settings where preferences expressed by a set of stakeholders are used to make decisions that affect them. Due to its numerous ... -
Making Renewable Energy Certificates Efficient, Trustworthy, and Private
(University of Waterloo, 2020-08-19)Although renewable energy costs are declining rapidly, producers still rely on additional incentives, such as Renewable Energy Certificates (RECs), when making an investment decision. An REC is a proof that a certain amount ... -
Mandoline: robust cut-cell generation for arbitrary triangle meshes
(ACM, 2019-11)Although geometry arising "in the wild" most often comes in the form of a surface representation, a plethora of geometrical and physical applications require the construction of volumetric embeddings either of the geometry ...