Mathematics (Faculty of)
Welcome to the Faculty of Mathematics community.
This community and it’s collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:
 Communities are Faculties or Affiliated Institutions
 Collections are Departments or Research Centres
Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).
New collections following this structure will be created UPON REQUEST .
Collections in this community
Recent deposits

The Capacitated Matroid Median Problem
(University of Waterloo, 20180518)In this thesis, we study the capacitated generalization of the Matroid Median Problem which is a generalization of the classical clustering problem called the kMedian problem. In the capacitated matroid median problem, ... 
Math Information Retrieval using a Text Search Engine
(University of Waterloo, 20180518)Combining text and mathematics when searching in a corpus with extensive mathematical notation remains an open problem. Recent results for math information retrieval systems on the math and text retrieval task at NTCIR12, ... 
FlexQueue: Simple and Efficient Priority Queue for System Software
(University of Waterloo, 20180518)Existing studies of priority queue implementations often focus on improving canonical operations such as insert and deleteMin, while sacrificing design simplicity and pre dictable worstcase latency. Design simplicity is ... 
A PACTheory of Clustering with Advice
(University of Waterloo, 20180517)In the absence of domain knowledge, clustering is usually an underspecified task. For any clustering application, one can choose among a variety of different clustering algorithms, along with different preprocessing ... 
Spaun 2.0: Extending the World’s Largest Functional Brain Model
(University of Waterloo, 20180517)Building largescale brain models is one method used by theoretical neuroscientists to understand the way the human brain functions. Researchers typically use either a bottomup approach, which focuses on the detailed ... 
Optimization Methods for SemiSupervised Learning
(University of Waterloo, 20180517)The goal of this thesis is to provide efficient optimization algorithms for some semisupervised learning (SSL) tasks in machine learning. For many machine learning tasks, training a classifier requires a large amount of ... 
Deep Context Resolution
(University of Waterloo, 20180517)Conversations depend on information from the context. To go beyond oneround conversation, a chatbot must resolve contextual information such as: 1) coreference resolution, 2) ellipsis resolution, and 3) conjunctive ... 
RAMP: RDMA Migration Platform
(University of Waterloo, 20180516)Remote Direct Memory Access (RDMA) can be used to implement a shared storage abstraction or a sharednothing abstraction for distributed applications. We argue that the shared storage abstraction is overkill for loosely ... 
An Experimental Analysis of MultiPerspective Convolutional Neural Networks
(University of Waterloo, 20180516)Modelling the similarity of sentence pairs is an important problem in natural language processing and information retrieval, with applications in tasks such as paraphrase identification and answer selection in question ... 
Stochastic Effects and Fractal Kinetics in the Pharmacokinetics of Drug Transport
(University of Waterloo, 20180516)Pharmacokinetics (PK) attempts to model the progression and time evolution of a drug in the human body from administration to the elimination stage. It is the primary quantitative approach used in drug discovery/development ... 
Detecting FeatureInteraction Hotspots in Automotive Software using Relational Algebra
(University of Waterloo, 20180514)Modern software projects are programmed by multiple teams, consist of millions of lines of code, and are split into separate components that, during runtime, may not be contained in the same process. Due to these complexities, ... 
Effective Use of SSDs in Database Systems
(University of Waterloo, 20180507)With the advent of solid state drives (SSDs), the storage industry has experienced a revolutionary improvement in I/O performance. Compared to traditional hard disk drives (HDDs), SSDs benefit from shorter I/O latency, ... 
Causal Inference with Measurement Error
(University of Waterloo, 20180504)Causal inference methods have been widely used in biomedical sciences and social sciences, among many others. With different assumptions, various methods have been proposed to conduct causal inference with interpretable ... 
Exploring New Forms of Random Projections for Prediction and Dimensionality Reduction in BigData Regimes
(University of Waterloo, 20180501)The story of this work is dimensionality reduction. Dimensionality reduction is a method that takes as input a pointset P of n points in R^d where d is typically large and attempts to find a lowerdimensional representation ... 
Extensions of Galvin's Theorem
(University of Waterloo, 20180430)We discuss problems in list coloring with an emphasis on techniques that utilize oriented graphs. Our central theme is Galvin's resolution of the Dinitz problem (Galvin. J. Comb. Theory, Ser. B 63(1), 1995, 153158). We ... 
Contactsensing Input Device Manipulation and Recall
(University of Waterloo, 20180430)We study a cuboid tangible penlike input device similar to Vogel and Casiez’s Conte. A conductive 3Dprinted Conte device enables touch sensing on a capacitive display, and orientation data from an enclosed inertial ... 
Using Automata Theory to Solve Problems in Additive Number Theory
(University of Waterloo, 20180430)Additive number theory is the study of the additive properties of integers. Perhaps the bestknown theorem is Lagrange’s result that every natural number is the sum of four squares. We study numbers whose basek representations ... 
On the Utility of Adding An Abstract Domain and Attribute Paths to SQL
(University of Waterloo, 20180430)Albeit its popularity today, RDBMS and the relational model still have many limitations. For example, one needs to pay premature attention to naming issues in the schema designing phase; and the syntax for conjunctive ... 
Space Efficient Data Structures and Algorithms in the WordRAM Model
(University of Waterloo, 20180430)In modern computation the volume of datasets has increased dramatically. Since the majority of these datasets are stored in internal memory, reducing their storage requirement is an important research topic. One way ... 
Web Data Integration for NonExpert Users
(University of Waterloo, 20180426)oday, there is an abundance of structured data available on the web in the form of RDF graphs and relational (i.e., tabular) data. This data comes from heterogeneous sources, and realizing its full value requires integrating ...