Now showing items 1-20 of 3044

    • 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 ...
    • Reliable WiFi Backscatter Communication in WiTAG 

      Adhikari, Manoj (University of Waterloo, 2024-05-31)
      WiFi backscatter systems offer the potential to provide low-powered WiFi-compatible communication. This technology is especially promising when coupled with low-power sensors to periodically communicate readings from IoT ...
    • Collective Dynamics of Large-Scale Spiking Neural Networks by Mean-Field Theory 

      Chen, Liang (University of Waterloo, 2024-05-31)
      The brain contains a large number of neurons, each of which typically has thousands of synaptic connections. Its functionality, whether function or dysfunction, depends on the emergent collective dynamics arising from the ...

      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