Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2603
-
Test-Time Training for Image Inpainting
(University of Waterloo, 2022-06-21)Image inpainting is the task of filling missing regions in images with plausible and coherent content. The usual process involves training a CNN on a large collection of examples that it can learn from, to later apply this ... -
Three-dimensional simulations of sound propagation in a trumpet with accurate mouthpiece shank geometry
(arXiv, 2016-11-01)The length and bore geometry of musical instruments directly influences the quality of sound that can be produced. In brass instruments, nonlinear effects from finite-amplitude wave propagation can lead to wave distortion ... -
Galerkin Finite Element Based Modeling of One Dimensional Packed Bed Reactor for Underground Coal Gasification (UCG) Process
(IEEE, 2020-12-11)Mathematical models of a complex physicochemical underground coal gasification process involve multidimensional non-linear partial differential equations (PDEs). Therefore, researchers always seek a suitable numerical ... -
On the TVD property of second order methods for 2D scalar conservation laws
(arXiv, 2021-10-05)The total variation diminishing (TVD) property is an important tool for ensuring nonlinear stability and convergence of numerical solutions of one-dimensional scalar conservation laws. However, it proved to be challenging ... -
Adaptive Cross-Project Bug Localization with Graph Learning
(University of Waterloo, 2022-06-07)Bug localization is the process of identifying the source code files associated with a bug report. This is important because it allows developers to focus their efforts on fixing the bugs than finding the root cause of ... -
A Particle Filter Method of Inference for Stochastic Differential Equations
(University of Waterloo, 2022-05-31)Stochastic Differential Equations (SDE) serve as an extremely useful modelling tool in areas including ecology, finance, population dynamics, and physics. Yet, parameter inference This thesis explores this latter approach. ... -
Bidirectional TopK Sparsification for Distributed Learning
(University of Waterloo, 2022-05-27)Training large neural networks requires a large amount of time. To speed up the process, distributed training is often used. One of the largest bottlenecks in distributed training is communicating gradients across different ... -
Lox: Protecting the Social Graph in Bridge Distribution
(University of Waterloo, 2022-05-26)Access to the open Internet, free from surveillance and censorship, is an important part of fulfilling the right to privacy. Despite this, in many regions of the world, censorship of the Internet is used to limit access ... -
High-Performance Concurrent Memory Allocation
(University of Waterloo, 2022-05-25)Memory management takes a sequence of program-generated allocation/deallocation requests and attempts to satisfy them within a fixed-sized block of memory while minimizing the total amount of memory used. A general-purpose ... -
A Network Integrated Design for Micro-scale Cloud Services
(University of Waterloo, 2022-05-25)We present Falcon, network-integrated scheduler for micro-scale services. Falcon follows a centralized scheduler design to achieve high scheduling efficiency and leverages modern programmable switches to lower the scheduling ... -
Single-Particle Dynamics in Nanoscopic Systems: Statistical Modeling and Inference
(University of Waterloo, 2022-05-24)Our work aims to solve some of the most significant and fundamental theoretical problems involved in the current statistical modeling of stochastic processes in single-molecule experiments, for which a well recognized yet ... -
All-or-Nothing Private Record Linkage over Streaming Data
(University of Waterloo, 2022-05-24)The prevalence and increasing need for insights obtained from the collection of sensitive data gives rise to the problem of protecting the privacy of this data. The collection and storage of data can be distributed across ... -
Volumetric Weak Supervision for Semantic Segmentation
(University of Waterloo, 2022-05-24)Semantic segmentation is a popular task in computer vision. Fully supervised methods are data hungry, they require pixel precise annotations for thousands of images. To reduce user annotation efforts, weak supervision for ... -
Coding Strip: A Tool for Supporting Interplay within Abstraction Ladder for Computational Thinking
(University of Waterloo, 2022-05-20)As technologies advance and play an increasingly larger role in our lives, computational thinking---the ability to understand computing concepts and procedures and their role in the tools we use---has become an important ... -
A Generalized Adversary Method for Quantum Query Complexity
(University of Waterloo, 2022-05-20)Quantum query complexity measures the minimum number of queries a quantum algorithm needs to make to some input string to compute a function of that input. Query complexity models are widely used throughout quantum computing, ... -
MT-MAG: Accurate and interpretable machine learning for complete or partial taxonomic assignments of metagenome-assembled genomes
(University of Waterloo, 2022-05-19)We propose MT-MAG, a novel machine learning-based software tool for the complete or partial hierarchically-structured taxonomic classification of metagenome-assembled genomes (MAGs). MT-MAG is capable of classifying large ... -
Analysis of a pressure-robust hybridized discontinuous Galerkin method for the stationary Navier-Stokes equations
(Springer, 2019-08-30)We present well-posedness and an a priori error analysis of the hybridized discontinuous Galerkin method for the stationary form of the Navier-Stokes problem proposed in (J Sci Comput, 76(3):1484{ 1501, 2018). This scheme ... -
Dispersing representations of semi-simple subalgebras of complex matrices
(Elsevier, 2022-06-01)In this paper we consider the problem of determining the maximum dimension of P?(A!B)P, where A and B are unital, semi-simple subalgebras of the set Mn of n⇥n complex matrices, and P 2 M2n is a projection of rank n. We ... -
Mathematical Modeling of Kidney Function During Pregnancy
(University of Waterloo, 2022-05-16)During pregnancy major adaptations must occur in the maternal body to be able to support the rapidly developing fetus and placenta. Adaptations occur in almost all tissues and organs. These changes are dynamic, complex, ... -
On First Passage Time Related Problems for Some Insurance Risk Processes
(University of Waterloo, 2022-05-13)For many decades, the study of ruin theory has long been one of the central topics of interest in insurance risk management. Research in this area has largely focused on analyzing the insurer’s solvency risk, which is ...