Mathematics (Faculty of)
Welcome to the Faculty of Mathematics community.
This community, its subcommunities, and collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:
 Communities are Faculties or Affiliated Institutions
 Subcommunities are Departments or Research Centres
 Collections are the arrangement of research types produced by a Department or Research Centre
New subcommunities and collections following this structure will be created UPON REQUEST .
Subcommunities within this community
Recent Submissions

Tracking Events in Social Media
(University of Waterloo, 20170120)Tracking topical events in social media streams, such as Twitter, provides a means for users to keep uptodate on topics of interest to them. This tracking may last a period of days, or even weeks. These events and topics ... 
Efficient Composition of Discrete Time Quantum Walks
(University of Waterloo, 20170120)It is well known that certain search problems are efficiently solved by quantum walk algorithms. Of particular interest are those problems whose efficient solutions involve nesting of search algorithms. The nesting of ... 
Bias in the Estimate of a Mean Reversion Parameter for a Fractional OrnsteinUhlenbeck Process
(University of Waterloo, 20170119)In this thesis we studied the estimation bias of the least squares estimate of the mean reversion parameter, when the underlying dynamics is governed by fractional Brownian motions. Fractional Brownian motion is a ... 
Empirical Likelihood and Bootstrap Inference with Constraints
(University of Waterloo, 20170118)Empirical likelihood and the bootstrap play influential roles in contemporary statistics. This thesis studies two distinct statistical inference problems, referred to as Part I and Part II, related to the empirical ... 
Query Similarity for Community Question Answering System Based on Recurrent Encoder Decoder
(University of Waterloo, 20170118)The measurement of sentence similarity is a fundamental task in natural language processing. Traditionally, it is measured either from wordlevel or sentencelevel (such as paraphrasing), which requires many lexical and ... 
Direct Numerical Simulation of Salt Fingering Gravity Currents and DoubleDiffusive RayleighTaylor Instabilities
(University of Waterloo, 20170118)Doublediffusion refers to a class of instabilities that develops when the density of a fluid depends on two components with different diffusivities. For example, when warm, salty water is layered over cool, fresh water, ... 
On Some Stochastic Optimal Control Problems in Actuarial Mathematics
(University of Waterloo, 20170117)The event of ruin (bankruptcy) has long been a core concept of risk management interest in the literature of actuarial science. There are two major research lines. The first one focuses on distributional studies of some ... 
Sparse Models in HighDimensional Dependence Modelling and Index Tracking
(University of Waterloo, 20170117)This thesis is divided into two parts. The first part proposes parsimonious models to the vine copula. The second part is devoted to the index tracking problem. Vine copulas provide a flexible tool to capture asymmetry ... 
Modeling and Reasoning with Multisets and Multirelations in Alloy
(University of Waterloo, 20170117)Multisets and multirelations arise naturally in modeling; however, most modeling languages either have limited or completely lack support for multisets and multirelations. Alloy, for instance, is a lightweight relational ... 
Structured Reverse Mode Automatic Differentiation in Nested Monte Carlo Simulations
(University of Waterloo, 20170117)In many practical large scale computational problems, the calculation of partial derivatives of the object function f with respect to input parameters are entailed and the dimension of inputs n is much larger the one of ... 
Estimating Riskadjusted Process Performance with a Bias/Variance Tradeoff
(University of Waterloo, 20170112)Decision makers responsible for managing the performance of a process commonly base their decisions on an estimate of present performance, a comparison of estimates across multiple streams, and the trend in performance ... 
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 20170112)This thesis presents methods to statically modify programs at compiletime to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ... 
Appearance Changes due to Light Exposure
(University of Waterloo, 20170112)The fading of materials due to light exposure over time is a major contributor to the overall aged appearance of manmade objects. Although much attention has been devoted to the modeling of aging and weathering phenomena ... 
Fractional Imputation for Ordinal and Mixedtype Responses with Missing Observations
(University of Waterloo, 20170112)This thesis addresses two essential aspects of large scale publicuse data files involving ordinal and mixedtype responses with missing observations: (i) the creation of single complete data sets with imputation for missing ... 
Probing Quantum Fields: Measurements and Quantum Energy Teleportation
(University of Waterloo, 20170110)Quantum Energy Teleportation provides a testbed for modern ideas involving the interplay between quantum correlations and energy in the quantum thermodynamical regime. In this work, we provide a new class of Quantum Energy ... 
Tagger: Enhance Database Search Tools with De Novo Sequencing Tags
(University of Waterloo, 20170106)Tandem mass spectrometry (MS/MS) is widely used in proteomics nowadays to identify peptides and proteins from a sequence database. In a classic procedure of MS/MS protein identification, proteins are digested into short ... 
On The Density of Binary Matroids Without a Given Minor
(University of Waterloo, 20161221)This thesis is motivated by the following question: how many elements can a simple binary matroid with no $\PG(t,2)$minor have? This is a natural analogue of questions asked about the density of graphs in minorclosed ... 
The Prevalence and Impact of Persistent Ambiguity in Software Requirements Specification Documents
(University of Waterloo, 20161221)Despite a large amount of research in methods and tools for avoiding and detecting requirements ambiguity, recent studies have indicated that requirements ambiguity seems to be resolved through multiple inspections and ... 
Conditional Scenario Generation with a GVAR Model
(University of Waterloo, 20161215)The stresstesting method formed an integral part of the practice of risk management. However, the underlying models for scenarios generation have not been much studied so far. In past practice, the users typically did ... 
Structure in Stable Matching Problems
(University of Waterloo, 20161214)In this thesis we provide two contributions to the study of structure in stable matching problems. The first contribution is a short new proof for the integrality of Rothblum’s linear description of the convex hull of ...