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

InMemory Storage for Labeled TreeStructured Data
(University of Waterloo, 20170316)In this thesis, we design inmemory data structures for labeled and weights trees, so that various types of path queries or operations can be supported with efficient query time. We assume the word RAM model with word size ... 
On Design and Evaluation of HighRecall Retrieval Systems for Electronic Discovery
(University of Waterloo, 20170308)Highrecall retrieval is an information retrieval task model where the goal is to identify, for human consumption, all, or as many as practicable, documents relevant to a particular information need. This thesis ... 
Subtle and Personal Workspace Requirements for Visual Search Tasks on Public Displays
(ACM Press, 20170506)We explore how users approach and define personal space on large, public displays. Our results show that users of public displays use one of two strategies for visual search tasks: minimizers create a small window and work ... 
Generalizations and Applications of the Stochastic Block Model to Basketball Games and Variable Selection Problems
(University of Waterloo, 20170124)Over the past decade, there has been an explosion of network data in a vast number of circumstances, such as the World Wide Web, social networks, gene interactions, economic networks, etc. Scientific analysis of networks ... 
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using DomainSpecific Languages
(University of Waterloo, 20170123)Modern automotive electric/electronic (E/E) architectures are growing to the point where architects can no longer manually predict the effects of their design decisions. Thus, in addition to applying an architecture reference ... 
Evolutionary Dynamics of Cancer: Spatial and Heterogeneous Effects
(University of Waterloo, 20170123)Despite significant advances in the study of cancer and associated combination therapeutic treatments, cancer still remains one of the most common and complex oftenterminal diseases. Acquisition of highthroughput ... 
LithiumIon battery SOC estimation
(University of Waterloo, 20170123)Lithiumion batteries are frequently used in Hybrid electric vehicles (HEVs), which are taking the place of gasengine vehicles. An important but not measurable quantity in HEVs is the amount of charge remaining in the ... 
Existence and uniqueness of attracting slow manifolds: An application of the Ważewski principle
(University of Waterloo, 20170123)In this work we present some of the geometric constructs that aid the application of the Ważewski Theorem. To illustrate the procedure the MichaelisMenten mechanism will be considered. We show that M, a slow manifold, ... 
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 ...