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 Submissions

Assessing Binary Measurement Systems Using Targeted Verification with a Gold Standard
(University of Waterloo, 20170519)Binary Measurement Systems (BMS) are used to classify objects into two categories. Sometimes the categories represent some intrinsically dichotomous characteristic of the object, but sometimes continuous or even multidimensional ... 
A Dynamic RiskBased Access Control Approach: Model and Implementation
(University of Waterloo, 20170518)Access control (AC) refers to mechanisms and policies that restrict access to resources, thus regulating access to physical or virtual resources of an information system. AC approaches are used to represent these mechanisms ... 
Efficient Pointer Analysis of Java in Logic
(University of Waterloo, 20170516)Pointsto analysis for Java benefits greatly from context sensitivity. CFLreachability and klimited context strings are two approaches to obtaining context sensitivity with different advantages: CFLreachability ... 
Geometrical frustration and static correlations in hardsphere glass formers
(American Institute of Physics, 20130328)We analytically and numerically characterize the structure of hardsphere fluids in order to review various geometrical frustration scenarios of the glass transition. We find generalized polytetrahedral order to be correlated ... 
Geometrical Frustration and Static Correlations in a Simple Glass Former
(American Physical Society, 20120118)We study the geometrical frustration scenario of glass formation for simple hardsphere models. We find that the dual picture in terms of defects brings little insight and no theoretical simplification for the understanding ... 
Computing with MultiRow Intersection Cuts
(University of Waterloo, 20170516)Cutting planes are one of the main techniques currently used to solve largescale MixedInteger Linear Programming (MIP) models. Many important cuts used in practice, such as Gomory MixedInteger (GMI) cuts, are obtained ... 
Dimensional dependence of the StokesEinstein relation and its violation
(American Institute of Physics, 20131028)We generalize to higher spatial dimensions the StokesEinstein relation (SER) as well as the leading correction to diffusivity in finite systems with periodic boundary conditions, and validate these results with numerical ... 
Multimaterial MeshBased Surface Tracking
(Association for Computing Machinery, 20140701)We present a triangle meshbased technique for tracking the evolution of threedimensional multimaterial interfaces undergoing complex deformations. It is the first nonmanifold triangle mesh tracking method to simultaneously ... 
Regional Time Stepping for SPH
(The Eurographics Association, 2014)This paper presents novel and efficient strategies to spatially adapt the amount of computational effort applied based on the local dynamics of a free surface flow, for classic weakly compressible SPH (WCSPH). Using a ... 
Double Bubbles Sans Toil and Trouble: Discrete CirculationPreserving Vortex Sheets for Soap Films and Foams
(Association for Computing Machinery, 20150801)Simulating the delightful dynamics of soap films, bubbles, and foams has traditionally required the use of a fully threedimensional manyphase NavierStokes solver, even though their visual appearance is completely dominated ... 
Continuum Foam: A Material Point Method for ShearDependent Flows
(Association for Computing Machinery, 20151001)We consider the simulation of dense foams composed of microscopic bubbles, such as shaving cream and whipped cream. We represent foam not as a collection of discrete bubbles, but instead as a continuum. We employ the ... 
A Practical Method for HighResolution Embedded Liquid Surfaces
(Wiley, 20160501)Combining highresolution level set surface tracking with lower resolution physics is an inexpensive method for achieving highly detailed liquid animations. Unfortunately, the inherent resolution mismatch introduces several ... 
Preserving Geometry and Topology for Fluid Flows with Thin Obstacles and Narrow Gaps
(Association for Computing Machinery, 20160701)Fluid animation methods based on Eulerian grids have long struggled to resolve flows involving narrow gaps and thin solid features. Past approaches have artificially inflated or voxelized boundaries, although this sacrifices ... 
SurfaceOnly Liquids
(Association for Computing Machinery, 20160701)We propose a novel surfaceonly technique for simulating incompressible, inviscid and uniformdensity liquids with surface tension in three dimensions. The liquid surface is captured by a triangle mesh on which a Lagrangian ... 
A cellcentred finite volume method for the Poisson problem on nongraded quadtrees with second order accurate gradients
(Elsevier, 20170215)This paper introduces a twodimensional cellcentred finite volume discretization of the Poisson problem on adaptive Cartesian quadtree grids which exhibits second order accuracy in both "the solution and its gradients, ... 
Static Types with Less Syntax: Locus Types
(University of Waterloo, 20170501)Optionally and graduallytyped languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to staticallytyped code, it requires rewriting ... 
Computing Matrix Canonical Forms of Ore Polynomials
(University of Waterloo, 20170501)We present algorithms to compute canonical forms of matrices of Ore polynomials while controlling intermediate expression swell. Given a square nonsingular input matrix of Ore polynomials, we give an extension of the ... 
Resource Management and Tuples in CⱯ
(University of Waterloo, 20170501)CⱯ is a modern, nonobjectoriented extension of the C programming language. This thesis addresses several critical deficiencies of C, notably: resource management, a limited functionreturn mechanism, and unsafe variadic ... 
The hydrodynamics of twodimensional oscillating flows over ripples: the effect of asymmetries in ripple shape and currents
(University of Waterloo, 20170428)The research presented in this thesis involved consideration of three increasingly asymmetric oscillatory flows over two ripple profiles, one of which is asymmetric and represents a small deviation from a symmetric ripple. ... 
Approximating MinimumSize 2EdgeConnected and 2VertexConnected Spanning Subgraphs
(University of Waterloo, 20170427)We study the unweighted 2edgeconnected and 2vertexconnected spanning subgraph problems. A graph is 2edgeconnected if it is connected on removal of an edge, and it is 2vertexconnected if it is connected on removal ...