Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2014
-
A walk through quantum noise: a study of error signatures and characterization methods
(University of Waterloo, 2019-09-17)The construction of large scale quantum computing devices might be one of the most exciting and promising endeavors of the 21st century, but it also comes with many challenges. As quantum computers are supplemented with ... -
Domain Ordering and Box Cover Problems for Beyond Worst-Case Join Processing
(University of Waterloo, 2019-09-17)Join queries are a fundamental computational task in relational database management systems. For decades, complex joins were most often computed by decomposing the query into a query plan made of a sequence of binary joins. ... -
A+ Indexes: Highly Flexible Adjacency Lists in Graph Database Management Systems
(University of Waterloo, 2019-09-17)Adjacency lists are the most fundamental storage structure in existing graph database management systems (GDBMSs) to index input graphs. Adjacency lists are universally linked-list like per-vertex structures that allow ... -
Procedurally Rhetorical Verb-Centric Frame Semantics as a Knowledge Representation for Argumentation Analysis of Biochemistry Articles
(University of Waterloo, 2019-09-05)The central focus of this thesis is rhetorical moves in biochemistry articles. Kanoksilapatham has provided a descriptive theory of rhetorical moves that extends Swales' CARS model to the complete biochemistry article. ... -
Partitioning Pauli Operators: in Theory and in Practice
(University of Waterloo, 2019-09-04)Measuring the expectation value of Pauli operators on prepared quantum states is a fundamental task in the variational quantum eigensolver. Simultaneously measuring sets of operators allows for fewer measurements and an ... -
A Power-Efficient Smart Lighting System: Modeling, Implementation and Evaluation
(University of Waterloo, 2019-09-03)Lighting load accounts for approximately one third of overall energy consumption in modern office buildings. To reduce this load, we have designed a smart lighting control system that attempts to minimize power consumption, ... -
Compilation Techniques for Actively Secure Mixed Mode Two Party Computation
(University of Waterloo, 2019-09-03)Secure multiparty computation allows two or more parties to compute a function without leaking unnecessary information about their inputs to other parties. In traditional secure multiparty computation protocols, the function ... -
Towards Pixel-Level OOD Detection for Semantic Segmentation
(University of Waterloo, 2019-08-30)There exists wide research surrounding the detection of out of distribution sample for image classification. Safety critical applications, such as autonomous driving, would benefit from the ability to localise the unusual ... -
3D Online Multi-Object Tracking for Autonomous Driving
(University of Waterloo, 2019-08-29)This research work focuses on exploring a novel 3D multi-object tracking architecture: 'FANTrack: 3D Multi-Object Tracking with Feature Association Network' for autonomous driving, based on tracking by detection and online ... -
Predicting Repository Upkeep with Textual Personality Analysis
(University of Waterloo, 2019-08-29)GitHub is an excellent democratic source of software. Unlike traditional work groups however, GitHub repositories are primarily anonymous and virtual. Traditional strategies for improving the productivity of a work group ... -
The Interactions of Graphene with Ionic Solutions and Their Effects on the Differential Capacitance for Sensing Applications
(University of Waterloo, 2019-08-28)Nano-scale devices continue to challenge the theoretical understanding of microscopic systems. Of particular interest is the characterization of the interface electrochemistry of sensors, which operate as field effect ... -
Quantum indpendence and chromatic numbers
(University of Waterloo, 2019-08-28)In this thesis we are studying the cases when quantum independence and quantum chromatic numbers coincide with or differ from their classical counterparts. Knowing about the relation of chromatic numbers separation to the ... -
Neural Text Generation from Structured and Unstructured Data
(University of Waterloo, 2019-08-28)A number of researchers have recently questioned the necessity of increasingly complex neural network (NN) architectures. In particular, several recent papers have shown that simpler, properly tuned models are at least ... -
Powers and Anti-Powers in Binary Words
(University of Waterloo, 2019-08-28)Fici et al. recently introduced the notion of anti-powers in the context of combinatorics on words. A power (also called tandem repeat) is a sequence of consecutive identical blocks. An anti-power is a sequence of consecutive ... -
Text Mining to Understand Gender Issues: Stories from The Red Pill, Men's Rights, and Feminism Movements
(University of Waterloo, 2019-08-28)Addressing gender issues has become important worldwide. The United Nations (UN) endorses big data projects as a valuable tool to monitor its gender-related development goals. In this thesis, we first motivate the examination ... -
Building Efficient Software to Support Content Delivery Services
(University of Waterloo, 2019-08-28)Many content delivery services use key components such as web servers, databases, and key-value stores to serve content over the Internet. These services, and their component systems, face unique modern challenges. Services ... -
Majority in the Three-Way Comparison Model
(University of Waterloo, 2019-08-28)In this thesis, we study comparison based problems in a new comparison model called three-way, where a comparison can result in { >, =, < }. We consider a set of n balls with fixed ordered coloring. Particularly, we are ... -
Decidability and Algorithmic Analysis of Dependent Object Types (DOT)
(University of Waterloo, 2019-08-28)Dependent Object Types, or DOT, is a family of calculi developed to study the Scala programming language. These calculi have path dependent types as a feature, and potentially intersection types, union types and recursive ... -
Policy Extraction via Online Q-Value Distillation
(University of Waterloo, 2019-08-27)Recently, deep neural networks have been capable of solving complex control tasks in certain challenging environments. However, these deep learning policies continue to be hard to interpret, explain and verify which limits ... -
Sequences of Trees and Higher-Order Renormalization Group Equations
(University of Waterloo, 2019-08-27)In 1998, Connes and Kreimer introduced a combinatorial Hopf algebra HCK on the vector space of forests of rooted trees that precisely explains the phenomenon of renormalization in quantum field theory. This Hopf algebra ...