Welcome to the Faculty of Mathematics community.

This community and it’s collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:

  • Communities are Faculties or Affiliated Institutions
  • Collections are Departments or Research Centres

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

New collections following this structure will be created UPON REQUEST .

Collections in this community

Recent deposits

  • Analytic Methods and Combinatorial Plants 

    Chizewer, Jeremy (University of Waterloo, 2024-04-08)
    Combinatorial structures have broad applications in computer science, from error-correcting codes to matrix multiplication. Many analytic tools have been developed for studying these structures. In this thesis, we examine ...
  • Emotions and Context in Decision-making for a Socially Intelligent Agent 

    Malhotra, Aarti (University of Waterloo, 2024-04-03)
    Artificial intelligence (AI) research has largely focused on rational thinking, decision making, goal achievement, and reward maximization. Emotions have been considered nonessential, or even detrimental, when designing ...
  • Optimizing Differential Computation for Large-Scale Graph Processing 

    Sahu, Siddhartha (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 ...
  • Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements 

    Xu, Xiaoyan (University of Waterloo, 2024-04-01)
    Understanding code coverage is an important precursor to software maintenance activities (e.g., better testing). Although modern code coverage tools provide key insights, they typically rely on code instrumentation, resulting ...
  • 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 ...
  • Safety-Critical Control for Dynamical Systems under Uncertainties 

    Wang, Chuanzheng (University of Waterloo, 2024-02-15)
    Control barrier functions (CBFs) and higher-order control barrier functions (HOCBFs) have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input ...
  • 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 ...
  • Graph-Theoretic Techniques for Optimizing NISQ Algorithms 

    Jena, Andrew (University of Waterloo, 2024-02-15)
    Entering the NISQ era, the search for useful yet simple quantum algorithms is perhaps of more importance now than it may ever be in the future. In place of quantum walks, the quantum Fourier transform, and asymptotic results ...
  • 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 ...
  • Spatial and Temporal Discounting in a Social-Climate Model 

    Cameron, Mackenzie (University of Waterloo, 2024-01-25)
    This thesis analyzes how individuals' devaluation of distant impacts of climate change affects mitigation behaviours and projected climate conditions. To approach this question, spatial and temporal discounting is applied ...
  • 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 ...
  • Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover 

    Gusakov, Alena (University of Waterloo, 2024-01-23)
    A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ...
  • Explorations in Pairwise Measures of Dependence and Pooled Significance 

    Salahub, Chris (University of Waterloo, 2024-01-22)
    In the exploration of data sets with many variables, the search for interesting pairs is often the first step of analysis. This search builds a road map of the entirety of data before looking at its details, and can provide ...
  • Entropy-Stable Positivity-Preserving Schemes for Multiphase Flows 

    Simpson, Benjamin Jacob (University of Waterloo, 2024-01-22)
    High-intensity focused ultrasound is a promising non-invasive medical technology that has been successfully used to ablate tumors, as well as in the treatment of other conditions. Researchers believe high-intensity focused ...
  • 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 ...

View more


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