Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2511
-
Interactive and Static Statistical Graphics: Bridge to Integration
(University of Waterloo, 2022-01-17)There are plenty of graphical packages in R which play an important role in building graphics for data analysis, either static graphics (e.g., `graphics`, `grid`, `ggplot2`) or interactive graphics (e.g., `loon`, `shiny`). ... -
Learning by Teaching: Key Challenges and Design Implications
(University of Waterloo, 2022-01-17)Benefits of learning by teaching (LbT) have been highlighted by previous studies from a pedagogical lens, as well as through computer-supported systems. However, the challenges that university students face in technology-mediated ... -
Test collections for web-scale datasets using Dynamic Sampling
(University of Waterloo, 2022-01-17)Dynamic Sampling is a non-uniform statistical sampling strategy based on S-CAL, a high-recall retrieval algorithm. It is used for the construction of statistical test collections for evaluating information retrieval ... -
Differentially Private Online Aggregation
(University of Waterloo, 2022-01-13)Database operations are often performed in batch mode, i.e. the analyst issuing the query must wait till the database has been processed in its entirety before getting feedback. Batch mode is inadequate for large databases ... -
Harnessing Neural Dynamics as a Computational Resource
(University of Waterloo, 2022-01-10)Researchers study nervous systems at levels of scale spanning several orders of magnitude, both in terms of time and space. While some parts of the brain are well understood at specific levels of description, there are few ... -
A Scalable Method for Many Object Fluid-Structure Interaction Simulations
(University of Waterloo, 2022-01-10)Fluid-Structure Interaction (FSI) Simulations are an important technology in many areas of research, including, but not limited to, Computer Graphics, Computational Physics and Engineering. This area is concerned with the ... -
A Combinatorial Tale of Two Scattering Amplitudes: See Two Bijections
(University of Waterloo, 2022-01-07)In this thesis, we take a journey through two different but not dissimilar stories with an underlying theme of combinatorics emerging from scattering amplitudes in quantum field theories. The first part tells the tale ... -
On imprecision in statistical theory
(University of Waterloo, 2022-01-06)This thesis provides an exploration of the interplay between imprecise probability and statistics. Mathematically, one may summarise this relationship as how (Bayesian) sensitivity analysis involving a set of (prior) models ... -
On Finding Large Cliques when the Chromatic Number is close to the Maximum Degree
(University of Waterloo, 2021-12-23)We prove that every graph G with chromatic number χ(G) = ∆(G) − 1 and ∆(G) ≥ 66 contains a clique of size ∆(G) − 17. Our proof closely parallels a proof from Cranston and Rabern, who showed that graphs with χ = ∆ and ∆ ≥ ... -
Parlez-vous le hate?: Examining topics and hate speech in the alternative social network Parler
(University of Waterloo, 2021-12-23)Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ... -
List Coloring Some Classes of 1-Planar Graphs
(University of Waterloo, 2021-12-23)In list coloring we are given a graph G and a list assignment for G which assigns to each vertex of G a list of possible colors. We wish to find a coloring of the vertices of G such that each vertex uses a color from its ... -
Moments of Random Quantum Circuits and Applications in Random Circuit Sampling
(University of Waterloo, 2021-12-23)Random quantum circuits and random circuit sampling (RCS) have recently garnered tremendous attention from all sub-fields of the quantum information community, especially after Google’s quantum supremacy announcement in ... -
Optimal Locations of Sensors and Actuators for Control of a Pedestrian Bridge
(University of Waterloo, 2021-12-22)Lightweight structures have been increasing in popularity in structural designs. However, they are more prone to disturbances. Therefore, a controller device can be placed on the structure to control the excessive vibrations. ... -
In the new era of Internet of Things even your breathing rate is not private
(University of Waterloo, 2021-12-21)This thesis shows a new type of attack that can secretly gather private measurements from the target. Wi-Sneak is a stealthy reconnaissance attack which utilizes the ambient WiFi signal and ubiquitous WiFi-enabled devices ... -
Higher-order Losses and Optimization for Low-level and Deep Segmentation
(University of Waterloo, 2021-12-21)Regularized objectives are common in low-level and deep segmentation. Regularization incorporates prior knowledge into objectives or losses. It represents constraints necessary to address ill-posedness, data noise, outliers, ... -
Structured Prediction on Dirty Datasets
(University of Waterloo, 2021-12-20)Many errors cannot be detected or repaired without taking into account the underlying structure and dependencies in the dataset. One way of modeling the structure of the data is graphical models. Graphical models combine ... -
Requirements Engineering and Management Effects on Downstream Developer Performance in a Small Business Findings from a Case Study in a CMMI/CMM Context
(University of Waterloo, 2021-12-17)Abstract— This thesis is a case study explaining how I tried to improve the requirements engineering process at company X (not its real name), a small software development company in Waterloo, ON, Canada. I assessed X’s ... -
AddressWatcher: Automatic Memory Leak Fixing
(University of Waterloo, 2021-12-17)Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we focus on a specific bug: Memory Leaks. We propose an automatic approach to suggest memory leak fixes in C/C++ programs ... -
Dynamic-Occlusion-Aware Risk Identification for Autonomous Vehicles Using Hypergames
(University of Waterloo, 2021-12-17)A particular challenge for both autonomous vehicles (AV) and human drivers is dealing with risk associated with dynamic occlusion, i.e., occlusion caused by other vehicles in traffic. In order to overcome this challenge, ... -
Para-Holomorphic Algebroids and Para-Complex Connections
(University of Waterloo, 2021-12-17)The goal of this paper is to develop the theory of Courant algebroids with integrable para-Hermitian vector bundle structures by invoking the theory of Lie bialgebroids. We consider the case where the underlying manifold ...