Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2394
-
Comparing Distributions with the Probability of Agreement
(University of Waterloo, 2021-06-03)In this thesis we adapt the probability of agreement (PoA) methodology for the comparison of distributions. Most of the commonly used methods for comparing distributions are rooted in hypothesis testing where decisions are ... -
A Floating Ball and Two Asymptotic Problems in Capillarity
(University of Waterloo, 2021-06-02)The study of capillary phenomena can be traced back to the age of Aristotle. In this thesis, a floating ball and two asymptotic problems in capillarity are considered, all of which include surface tension and gravity. The ... -
Efficient Nested Simulation of Tail Risk Measures for Variable Annuities
(University of Waterloo, 2021-06-02)Estimating tail risk measures for portfolios of complex Variable Annuities (VA) is an important enterprise risk management task which usually requires nested simulation. In the nested simulation, the outer simulation stage ... -
Continuous Spatial and Temporal Representations in Machine Vision
(University of Waterloo, 2021-06-02)This thesis explores continuous spatial and temporal representations in machine vision. For spatial representations, we explore the Spatial Semantic Pointer as a biologically plausible representation of continuous space ... -
Fast and Scalable Solvers for the Fluid Pressure Equations with Separating Solid Boundary Conditions
(University of Waterloo, 2021-06-01)We propose and evaluate fast, scalable approaches for solving the linear complementarity problems (LCP) arising from the fluid pressure equations with separating solid boundary conditions. Specifically, we present a policy ... -
Mobile Phone Depth Sensors for Forest Carbon Measurement
(University of Waterloo, 2021-05-28)The monitoring, reporting, and verification (MRV) of forest plots, especially their tree-trunk diameters, is critical to achieving both forest protection and reforestation goals. Today’s MRV processes are mostly manual, ... -
Clifford Simulation: Techniques and Applications
(University of Waterloo, 2021-05-28)Despite the widespread belief that quantum computers cannot be efficiently simulated classically, efficient simulation is known to be possible in certain restricted regimes. In particular, the Gottesman-Knill theorem states ... -
On Realistic Errors in Quantum Computers
(University of Waterloo, 2021-05-27)In this thesis, we are concerned with the problem of characterizing noise associated with implementations of quantum circuits. We first explore the notion of error rates of quantum circuits and argue that the semantic ... -
An Empirical Study on Bash Language Usage in Github
(University of Waterloo, 2021-05-27)The Bourne-again shell (Bash) is a prevalent scripting language for orchestrating shell commands and managing resources in Unix-like environments. At the time of writing, it is one of the mainstream shell dialects that ... -
Knowledge Graph Imputation
(University of Waterloo, 2021-05-27)Knowledge graphs are one of the most important resources of information in many applications such as question answering and social networks. These knowledge graphs however, are often far from complete as there are so many ... -
Detecting Exploitable Vulnerabilities in Android Applications
(University of Waterloo, 2021-05-27)The world is moving towards remote-first and giving rise to many mobile tools and applications to get the work done. As more applications are moving towards the cloud and therefore require remote access, the attack surface ... -
Modeling human-coupled common pool resource systems with techniques in evolutionary game theory and reinforcement learning
(University of Waterloo, 2021-05-26)Shared resource extraction among profit-seeking individuals involves a tension between individual benefit and the collective well-being represented by the persistence of the resource. In these systems, the decisions of ... -
Supporting Voice-Based Natural Language Interactions for Information Seeking Tasks of Various Complexity
(University of Waterloo, 2021-05-25)Natural language interfaces have seen a steady increase in their popularity over the past decade leading to the ubiquity of digital assistants. Such digital assistants include voice activated assistants, such as Amazon's ... -
Computing the Nucleolus of Matching and b-Matching Games
(University of Waterloo, 2021-05-21)In the classical weighted matching problem the optimizer is given a graph with edge weights and their goal is to find a matching which maximizes the sum of the weights of edges in the matching. It is typically assumed in ... -
Automated Knowledge Discovery using Neural Networks
(University of Waterloo, 2021-05-21)The natural world is known to consistently abide by scientific laws that can be expressed concisely in mathematical terms, including differential equations. To understand the patterns that define these scientific laws, it ... -
Light-Matter Interaction Models in Relativistic Quantum Information
(University of Waterloo, 2021-05-21)In this thesis, we study the interaction of a first-quantized atomic system with the quantum electromagnetic field within the context of relativistic quantum information (RQI). To that end, we examine common classes of ... -
Encrypted Web Traffic Classification Using Deep Learning
(University of Waterloo, 2021-05-19)Traffic classification is essential in network management for operations ranging from capacity planning, performance monitoring, volumetry, and resource provisioning, to anomaly detection and security. Recently, it has ... -
Preconditioning of Hybridizable Discontinuous Galerkin Discretizations of the Navier-Stokes Equations
(University of Waterloo, 2021-05-19)The incompressible Navier-Stokes equations are of major interest due to their importance in modelling fluid flow problems. However, solving the Navier-Stokes equations is a difficult task. To address this problem, in this ... -
Scrappy: Using Scrap Material as Infill to Make Fabrication More Sustainable
(ACM Press, 2021-05-06)We present a software system for fused deposition modelling 3D printing that replaces infill material with scrap to reduce material and energy consumption. Example scrap objects include unused 3D prints from prototyping ... -
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 ...