• On the Excluded Minors for Dyadic Matroids 

  Wong, Chung-Yin (University of Waterloo, 2019-01-17)

  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 

  Yang, Shenghao (University of Waterloo, 2019-01-16)

  Cutting planes are one of the major techniques used in solving Mixed-Integer Linear Programming (MIP) models. Various types of cuts have long been exploited by MIP solvers, leading to state-of-the-art performance in practice. ...

• UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler 

  Anthony, Anthony (University of Waterloo, 2019-01-16)

  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 investment-reinsurance strategies with state dependent risk aversion and VaR constraints in correlated markets 

  Bi, Junna; Cai, Jun (Elsevier, 2019-03)

  In this paper, we investigate the optimal time-consistent investment–reinsurance strategies for an insurer with state dependent risk aversion and Value-at-Risk (VaR) constraints. The insurer can purchase proportional ...

• User-Controlled Computations in Untrusted Computing Environments 

  Vinayagamurthy, Dhinakaran (University of Waterloo, 2019-01-15)

  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 

  Kiyak, Humeyra (University of Waterloo, 2019-01-15)

  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 

  Kim, Sung Soo (University of Waterloo, 2019-01-15)

  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 ...

• Budget-constrained optimal insurance without the nonnegativity constraint on indemnities 

  Ghossoub, Mario (Elsevier, 2019-01)

  In a problem of Pareto-efficient insurance contracting (bilateral risk sharing) with expected-utility preferences, Gollier (1987) relaxes the nonnegativity constraint on indemnities and argues that the existence of a ...

• Automating Programming Assignment Marking with AST Analysis 

  Li, Sichuang (University of Waterloo, 2019-01-14)

  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 

  Chen, Qiuting (University of Waterloo, 2019-01-11)

  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 Sub-Group Analysis with Incomplete Covariate Data 

  Cuerden, Meaghan (University of Waterloo, 2019-01-11)

  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 

  Kathanaruparambil Sukumaran, Midhun (University of Waterloo, 2019-01-11)

  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 

  Lato, Sabrina (University of Waterloo, 2019-01-11)

  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 

  Li, Xiao-Bo (University of Waterloo, 2019-01-09)

  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 inter-atomic interactions are assumed to be modelled by a Hookean ...

• An Affine Semi-Lagrangian Advection Method 

  Marcoux-Ouellet, Jade (University of Waterloo, 2019-01-08)

  In computer graphics, the standard semi-Lagrangian 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 

  Chandler, Laura (University of Waterloo, 2019-01-07)

  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 

  Storer, Benjamin (University of Waterloo, 2019-01-07)

  This thesis presents the development and application of numerical tools for simulating and diagnosing quasi-geostrophic fluid systems. In this thesis we present a new numerical model called SPIQG that is pseudo-spectral ...

• Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems 

  Dunne, Murray (University of Waterloo, 2019-01-07)

  Distributed, life-critical 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 cyber-physical systems will ...

• Causal Inference with Recurrent Data via Propensity Score Methods 

  Liang, Haodi (University of Waterloo, 2019-01-07)

  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 

  Passer, Benjamin; Shalit, Orr (Elsevier, 2019-03-01)

  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 ...

View more