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

On the Excluded Minors for Dyadic Matroids
(University of Waterloo, 20190117)The study of the class of dyadic matroids, the matroids representable over both $GF(3)$ and $GF(5)$, is a natural step to finding the excluded minors for $GF(5)$representability. In this thesis we characterize the ternary ... 
Split Cuts From Sparse Disjunctions
(University of Waterloo, 20190116)Cutting planes are one of the major techniques used in solving MixedInteger Linear Programming (MIP) models. Various types of cuts have long been exploited by MIP solvers, leading to stateoftheart performance in practice. ... 
UNiS: A Userspace Nonintrusive Workflowaware Virtual Network Function Scheduler
(University of Waterloo, 20190116)Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ... 
Optimal investmentreinsurance strategies with state dependent risk aversion and VaR constraints in correlated markets
(Elsevier, 201903)In this paper, we investigate the optimal timeconsistent investment–reinsurance strategies for an insurer with state dependent risk aversion and ValueatRisk (VaR) constraints. The insurer can purchase proportional ... 
UserControlled Computations in Untrusted Computing Environments
(University of Waterloo, 20190115)Computing infrastructures are challenging and expensive to maintain. This led to the growth of cloud computing with users renting computing resources from centralized cloud providers. There is also a recent promise in ... 
Qualitative Properties of Hybrid Singular Systems
(University of Waterloo, 20190115)A singular system model is mathematically formulated as a set of coupled differential and algebraic equations. Singular systems, also referred to as descriptor or differential algebraic systems, have extensive applications ... 
Matrix analytic methods for computations in risk theory
(University of Waterloo, 20190115)The introduction of matrix analytic methods in risk theory has marked a significant progress in computations in risk theory. Matrix analytic methods have proven to be powerful computational tools for numerically analyzing ... 
Budgetconstrained optimal insurance without the nonnegativity constraint on indemnities
(Elsevier, 201901)In a problem of Paretoefficient insurance contracting (bilateral risk sharing) with expectedutility preferences, Gollier (1987) relaxes the nonnegativity constraint on indemnities and argues that the existence of a ... 
Automating Programming Assignment Marking with AST Analysis
(University of Waterloo, 20190114)This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ... 
Edge State Transfer
(University of Waterloo, 20190111)Let G be a graph and let t be a positive real number. Then the evolution of the continuous quantum walk defined on G is described by the transition matrix U(t)=exp(itH).The matrix H is called Hamiltonian. So far the most ... 
Marginal Causal SubGroup Analysis with Incomplete Covariate Data
(University of Waterloo, 20190111)Incomplete data arises frequently in health research studies designed to investigate the causal relationship between a treatment or exposure, and a response of interest. Statistical methods for conditional causal effect ... 
Dimensionality Reduction of the Chemical Master Equation
(University of Waterloo, 20190111)The dynamics of biochemical systems show significant variability when the reactant populations are small. Standard approaches via deterministic modeling exclude such variability. A well established stochastic model, the ... 
Quantum Walks on Oriented Graphs
(University of Waterloo, 20190111)This thesis extends results about periodicity and perfect state transfer to oriented graphs. We prove that if a vertex a is periodic, then elements of the eigenvalue support lie in Z √∆ for some squarefree negative ... 
Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold
(University of Waterloo, 20190109)This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where interatomic interactions are assumed to be modelled by a Hookean ... 
An Affine SemiLagrangian Advection Method
(University of Waterloo, 20190108)In computer graphics, the standard semiLagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ... 
Numerical Modelling of Wind Storms in the Lower Great Lakes
(University of Waterloo, 20190107)Convective storms are incredible meteorological events; the impact of just one storm can be extreme and widespread. On July 21 1998, a convective storm formed west of Lake Michigan, moving quickly across the lower Great ... 
Development and Application of Models and Diagnostics for Geophysical Fluid Flows
(University of Waterloo, 20190107)This thesis presents the development and application of numerical tools for simulating and diagnosing quasigeostrophic fluid systems. In this thesis we present a new numerical model called SPIQG that is pseudospectral ... 
Aggregation of Heterogeneous Anomaly Detectors for CyberPhysical Systems
(University of Waterloo, 20190107)Distributed, lifecritical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyberphysical systems will ... 
Causal Inference with Recurrent Data via Propensity Score Methods
(University of Waterloo, 20190107)Propensity score methods are increasingly being used to reduce estimation bias of treatment effects for observational studies. Previous research has shown that propensity score methods consistently estimate the marginal ... 
Compressions of Compact Tuples
(Elsevier, 20190301)We study the matrix range of a tuple of compact operators on a Hilbert space and examine the notions of minimal, nonsingular, and fully compressed tuples. In this pursuit, we refine previous results by characterizing ...