This is the collection for the University of Waterloo's Cheriton School of Computer Science .

Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).

Waterloo faculty, students, and staff can contact us or visit the UWSpace guide to learn more about depositing their research.

Recent deposits

  • Cardinality Estimation in Streaming Graph Data Management Systems 

    Akillioglu, Kerem (University of Waterloo, 2024-02-23)
    Graph processing has become an increasingly popular paradigm for data management systems. Concurrently, there is a pronounced demand for specialized systems dedicated to streaming processing that are essential to address ...
  • MS/MS Spectrum Prediction for MHC-Associated Peptides with a Fine-Tuned Model 

    Li, Zhenbo (University of Waterloo, 2024-02-23)
    To improve the quality of spectral library search, several MS/MS spectrum predictors have been developed in the last decades. After success in various fields, deep learning techniques are adopted by MS/MS spectrum predictors ...
  • Analyzing Threats of Large-Scale Machine Learning Systems 

    Lukas, Nils (University of Waterloo, 2024-02-22)
    Large-scale machine learning systems such as ChatGPT rapidly transform how we interact with and trust digital media. However, the emergence of such a powerful technology faces a dual-use dilemma. While it can have many ...
  • Traffic Rule Checking and Validation 

    Stewart, Connor (University of Waterloo, 2024-02-15)
    This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ...
  • A Fault Injection Tool for Testing Distributed System with Network Faults 

    Khaleel, Seba (University of Waterloo, 2024-01-30)
    Modern systems are complex, they include hundreds of components that implement complex protocols such as scheduling, replication, membership, resource management, client access, and security. These systems are expected to ...
  • Advancing Antibody Design: Integrating Protein Language Models for Enhanced Computational Strategies 

    Jamialahmadi, Benyamin (University of Waterloo, 2024-01-25)
    Antibodies, or immunoglobulins, are integral to the immune response, playing a crucial role in recognizing and neutralizing external threats such as pathogens. The design of these molecules, however, is complex due to the ...
  • Website Fingerprinting on LEO Satellite Internet 

    Singh, Prabhjot (University of Waterloo, 2024-01-24)
    Although encrypted channels, like those provided by anonymity networks such as Tor, have been put into effect, network adversaries have proven their capability to undermine users' browsing privacy through website fingerprinting ...
  • Disk-based Indexing for NIR-Trees using Polygon Overlays 

    Abubaker, Fadhil (University of Waterloo, 2024-01-23)
    This thesis presents the NIR+-Tree, a disk-resident R-Tree variant that eliminates overlap among its minimum bounding rectangles (MBRs). The NIR+-Tree is an extension of the main-memory NIR-Tree, adopting techniques for ...
  • Analyzing Adversarial Examples: A Framework to Study Adversary Knowledge 

    Fenaux, Lucas (University of Waterloo, 2024-01-22)
    Adversarial examples are malicious inputs to trained machine learning models supplied to trigger a misclassification. This type of attack has been studied for close to a decade, and we find that there is a lack of study ...
  • A General Neural Network Methodology for Multi-period Portfolio Optimization 

    Ni, Chendi (University of Waterloo, 2024-01-22)
    In this thesis, we propose a neural network methodology for solving the multi-period portfolio optimization problem. Our approach formulates the problem as a stochastic optimal control problem and uses a single neural ...
  • Proving Properties of Fibonacci Representations via Automata Theory 

    Shan, Sonja Linghui (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 ...
  • Private Distribution Learning with Public Data 

    Bie, Alex (University of Waterloo, 2024-01-22)
    We study the problem of private distribution learning with access to public data. In this setup, a learner is given both public and private samples drawn from an unknown distribution 𝑝 belonging to a class 𝑄, and has the ...
  • Persona-based target-guided dialogue systems: A use case in dementia care 

    Leung, Renee (University of Waterloo, 2024-01-19)
    In recent years, conversational agents have shown potential in various applications. However, the development of conversational agents tailored for older adults, particularly those with age-related cognitive limitations, ...
  • Re-encoding Resistance: Towards Robust Covert Channels over WebRTC Video Streaming 

    Cruzat La Rosa, Adrian (University of Waterloo, 2024-01-18)
    Internet censorship is an ongoing phenomenon, where state level agents attempt to control the free access to information on the internet for purposes like dissent suppression and control. In response, research has been ...
  • An Investigation of Human Annotators' AI Teammate Selection and Compliance Behaviours 

    Tse, Jarvis (University of Waterloo, 2024-01-18)
    Human-artificial intelligence (AI) collaborative annotation has gained increasing prominence as a result of its enormous potential to complement human and AI strengths as well as AI's recent development. However, it is not ...
  • Graph-Based Mapping for Knowledge Transfer in General Game Playing 

    Jung, Joshua (University of Waterloo, 2024-01-17)
    General game playing (GGP) is a field of reinforcement learning (RL) in which the rules of a game (i.e. the state and dynamics of an RL domain) are not specified until runtime. A GGP agent must therefore be able to play ...
  • Finding False Assurance in Formal Verification of Software Systems 

    Ji, Ru (University of Waterloo, 2024-01-15)
    Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ...
  • Improving Peptide Identification in Proteomics Data Analysis through Repeat-Preserving Decoy and Decoy-Free Retraining 

    Moosa, Johra Muhammad (University of Waterloo, 2024-01-10)
    Accurately identifying peptides in proteomics is central to understanding the complexities of biological systems. Despite the advancements in proteomics data analysis, challenges related to False Discovery Rate (FDR) ...
  • Multilingual Grammatical Error Detection And Its Applications to Prompt-Based Correction 

    Sutter Pessurno de Carvalho, Gustavo (University of Waterloo, 2024-01-05)
    Grammatical Error Correction (GEC) and Grammatical Error Correction (GED) are two important tasks in the study of writing assistant technologies. Given an input sentence, the former aims to output a corrected version of ...
  • Compact Routing on Planar Graphs 

    Seyedi, Newsha (University of Waterloo, 2024-01-04)
    This thesis delves into the exploration of shortest path queries in planar graphs, with an emphasis on the utilization of space-efficient data structures. Our investigation primarily targets connected, undirected, static ...

View more


UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages