UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.

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

  • Horospherical geometry: combinatorial algebraic stacks and approximating rational points 

    Monahan, Sean (University of Waterloo, 2024-07-17)
    The purpose of this thesis is to explore and develop several aspects of the theory of horospherical geometry. Horospherical varieties are equipped with the action of a reductive algebraic group such that there is an open ...
  • Efficient Memory Allocator for Restricting Use-After-Free Exploitations 

    Wang, Ruizhe (University of Waterloo, 2024-07-17)
    Attacks on heap memory, encompassing memory overflow, double and invalid free, use-after-free (UAF), and various heap-spraying techniques are ever-increasing. Existing secure memory allocators can be generally classified ...
  • Optimization, model uncertainty, and testing in risk and insurance 

    Jiao, Zhanyi (University of Waterloo, 2024-07-11)
    This thesis focuses on three important topics in quantitative risk management and actuarial science: risk optimization, risk sharing, and statistical hypothesis testing in risk. For the risk optimization, we concentrate ...
  • Technology Design Recommendations Informed by Observations of Videos of Popular Musicians Teaching and Learning Songs by Ear 

    Liscio, Christopher (University of Waterloo, 2024-07-11)
    Instrumentalists who play popular music often learn songs by ear, using recordings in lieu of sheet music or tablature. This practice was made possible by technology that allows musicians to control playback events. Until ...
  • Design with Sampling Distribution Segments 

    Hagar, Luke (University of Waterloo, 2024-07-09)
    In most settings where data-driven decisions are made, these decisions are informed by two-group comparisons. Characteristics – such as median survival times for two cancer treatments, defect rates for two assembly lines, ...
  • Quantum Query Complexity of Hypergraph Search Problems 

    Yu, Zhiying (University of Waterloo, 2024-07-09)
    In the study of quantum query complexity, it is natural to study the problems of finding triangles and spanning trees in a simple graph. Over the past decades, many techniques are developed for finding the upper and lower ...
  • Some Applications of Combinatorial Hopf Algebras to Integro-Differential Equations and Symmetric Function Identities 

    Olson-Harris, Nicholas (University of Waterloo, 2024-07-09)
    Hopf algebras built from combinatorial objects have found application both within combinatorics and, following the work of Connes and Kreimer, in quantum field theory. Despite the apparent gulf between these areas, the ...
  • Triangle count estimation and label prediction over uncertain streaming graphs 

    Mohanty, Ipsita (University of Waterloo, 2024-07-09)
    This thesis aims to integrate the notions of uncertainty with graph stream process- ing, presenting probabilistic models to enhance real-time analytical capabilities in graph database systems. These systems are crucial for ...
  • Fuzzing OpenMP Compilers 

    Chang, Raymond (University of Waterloo, 2024-07-08)
    OpenMP is a widely used API for parallel programming in C/C++ and Fortran. Its flexibility and simplicity have made its usage popular in many numerical or scientific applications. The prevalence of OpenMP programs in such ...
  • Eventually Durable State Machines 

    Kathuria, Kriti (University of Waterloo, 2024-07-05)
    Typically, applications are designed to guarantee durability of the data they store. Durability is achieved by replicating client write requests to multiple machines. This replication adds to the time it takes for the ...
  • Unsupervised Losses for Clustering and Segmentation of Images: Theories & Optimization Algorithms 

    Zhang, Zhongwen (University of Waterloo, 2024-07-03)
    Unsupervised losses are common for tasks with limited human annotations. In clustering, they are used to group data without any labels. In semi-supervised or weakly-supervised learning, they are applied to the unannotated ...
  • Hopf 2-Algebras: Homotopy Higher Symmetries in Physics 

    Chen, Hank (University of Waterloo, 2024-06-26)
    The theory of Hopf algebras and quantum groups have led to very rich and interesting developments in both mathematics and physics. In particular, they are known to play crucial roles in the interplay between 3d topological ...
  • Measures for risk, dependence and diversification 

    Lin, Liyuan (University of Waterloo, 2024-06-20)
    Two primary tasks in quantitative risk management are measuring risk and managing risk. Risk measures and dependence modeling are important tools for assessing portfolio risk, which have gained much interest in the literature ...
  • On Enabling Layer-Parallelism for Graph Neural Networks using IMEX Integration 

    Kara, Omer Ege (University of Waterloo, 2024-06-20)
    Graph Neural Networks (GNNs) are a type of neural networks designed to perform machine learning tasks with graph data. Recently, there have been several works to train differential equation-inspired GNN architectures, ...
  • Memolet: Reifying the Reuse of User-AI Conversational Memories 

    Yen, Hen Chen (University of Waterloo, 2024-06-19)
    As users engage more frequently with AI conversational agents, conversations may exceed their "memory" capacity, leading to failures in correctly leveraging certain memories for better responses. Therefore, users have to ...
  • Stability Analysis and Formally Guaranteed Tracking Control of Quadrotors 

    Chang, Haocheng (University of Waterloo, 2024-06-19)
    Reach-avoid tasks are among the most common challenges in autonomous aerial vehicle (UAV) applications. Despite the significant progress made in the research of aerial vehicle control during recent decades, the task of ...
  • Controller and Observer Designs for Partial Differential-Algebraic Equations 

    Alalabi, Ala' (University of Waterloo, 2024-06-19)
    Partial differential-algebraic equations (PDAEs) arise in numerous situations, including the coupling between differential-algebraic equations (DAEs) and partial differential equations (PDEs). They also emerge from the ...
  • Ice/hydrology feedback in the Siple Coast, Antarctica, from two-way coupled modeling 

    McArthur, Koi (University of Waterloo, 2024-06-18)
    Subglacial hydrological processes have long been understood to play a critical role in ice dynamics (Budd et al., 1979). Consequently, the recent emergence of complex two-dimensional subglacial hydrology models with both ...
  • Multiscale Modelling of Biological Rhythms and Systems 

    Abo, Stéphanie Marie Colette (University of Waterloo, 2024-06-17)
    Living organisms possess the remarkable ability to both respond to rhythms and generate them. In some instances, unintended rhythms arise, leading to undesirable or even hazardous consequences, such as synchronized neuronal ...
  • Improving the Precision of Analyses Queries in Factbase Models of Software Systems 

    Ke, Xiang Yun (Fa Fa) (University of Waterloo, 2024-05-31)
    Large software systems are developed by multiple teams of software engineers, each working on different components that are supposed to work together. Each component is responsible for a subset of system functionality and ...

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