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

  • A two-phase model for chronic disease processes under intermittent inspection 

    Wu, Ying; Cook, Richard J. (Wiley, 2017-06-15)
    A model is developed for chronic diseases with an indolent phase that is followed by a phase with more active disease resulting in progression and damage. The time scales for the intensity functions for the active phase ...
  • Optimal Actuator Location for Semi-Linear Systems 

    Edalatzadeh, M. Sajjad; Morris, Kirsten (2018)
    Actuator location and design are important choices in controller design for distributed parameter systems. Semi-linear partial differential equations model a wide spectrum of physical systems with distributed parameters. ...
  • Attributed Intelligence 

    Kryven, Marta (University of Waterloo, 2018-01-31)
    Human beings quickly and confidently attribute more or less intelligence to one another. What is meant by intelligence when they do so? And what are the surface features of human behaviour that determine their judgements? ...
  • A Primal Dual Algorithm On 2-Steiner Graphs 

    Buckley, Matthew (University of Waterloo, 2018-01-23)
    The Steiner Tree Problem is a fundamental network design problem, where the goal is to connect a subset of terminals of a given network at minimum cost. A major open question regarding this problem, is proving that the ...
  • Exploring the Potential of Wrist-Worn Gesture Sensing 

    Liu, Qi Feng (University of Waterloo, 2018-01-22)
    This thesis aims to explore the potential of wrist-worn gesture sensing. There has been a large amount of work on gesture recognition in the past utilizing different kinds of sensors. However, gesture sets tested across ...
  • Classification of Finitely Generated Operator Systems 

    Hamzo, Chadi (University of Waterloo, 2018-01-22)
    For the past few decades operator systems and their C*-envelopes have provided an invaluable tool for studying the theory of C*-algebras and positive maps. They provide the natural context in which to study the theory of ...
  • Linearized Stability of Partial Differential Equations with Application to Stabilization of the Kuramoto--Sivashinsky Equation 

    Al Jamal, Rasha; Morris, Kirsten (Society for Industrial and Applied Mathematics, 2018-01-05)
    Linearization is a useful tool for analyzing the stability of nonlinear differential equations. Unfortunately, the proof of the validity of this approach for ordinary differential equations does not generalize to all ...
  • Smart-Meter Enabled Estimation and Prediction of Outdoor Residential Water Consumption 

    Platsko, Valerie (University of Waterloo, 2018-01-22)
    Smart meter technology allows frequent measurements of water consumption at a household level. This greater availability of data allows improved analysis of patterns of residential water consumption, which is important ...
  • The forest transition and ecological thresholds: resilience, recovery, and predictions 

    Gooding-Townsend, Robert (University of Waterloo, 2018-01-19)
    A central topic in modeling land use change is to understand the forest transition from deforestation to net reforestation. Agricultural land use change is the main driver of this phenomenon; classically, agricultural ...
  • Strategic Voting and Social Networks 

    Tsang, Alan (University of Waterloo, 2018-01-19)
    With the ever increasing ubiquity of social networks in our everyday lives, comes an increasing urgency for us to understand their impact on human behavior. Social networks quantify the ways in which we communicate with ...
  • Improvements to Transitive-Closure-based Model Checking in Alloy 

    Farheen, Sabria (University of Waterloo, 2018-01-19)
    Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ...
  • Extracting Non-Functional Requirements from Unstructured Text 

    Ezami, Sahba (University of Waterloo, 2018-01-18)
    Non-functional requirements (NFRs) of a software system describe desired quality attributes rather than specific user-visible features; NFRs model stakeholder expectations about pervasive system properties such as performance, ...
  • Concurrency in C∀ 

    Delisle, Thierry (University of Waterloo, 2018-01-18)
    C∀ is a modern, non-object-oriented extension of the C programming language. This thesis serves as a definition and an implementation for the concurrency and parallelism C∀ offers. These features are created from scratch ...
  • On the Bluish Appearance of Veins 

    Van Leeuwen, Spencer (University of Waterloo, 2018-01-18)
    The bluish appearance of veins located immediately beneath the skin has long been a topic of interest for biomedical optics researchers. Despite this interest, a thorough identification of the specific optical processes ...
  • Stream WatDiv - A Streaming RDF Benchmark 

    Gao, Libo (University of Waterloo, 2018-01-18)
    Modern applications are required to process stream data which are semantically tagged. Sometimes static background data interlinked with stream data are also needed to answer the query. To meet these requirements, streaming ...
  • Filtering overfitted automatically-generated patches by using automated test generation 

    Zhikhartsev, Alexey (University of Waterloo, 2018-01-17)
    "Generate-and-Validate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the first patch that passes all the test ...
  • Bayesian Sample Size Determination for Single-Particle Tracking of Pathogens in Biological Fluids 

    Yates, Bryan (University of Waterloo, 2018-01-17)
    Single-particle tracking (SPT) experiments measure 2-dimensional particle position with a high-resolution digital camera, capturing microsecond motion. SPT has allowed novel investigation of membrane dynamics, enzymology, ...
  • Well-Posedness of Boundary Control Systems 

    Cheng, Ada; Morris, Kirsten (Society for Industrial and Applied Mathematics, 2003-01-01)
    Continuity of the input/output map for boundary control systems is shown through the system transfer function. Our approach transforms the question of continuity of the input/output map of a boundary control system to ...
  • StyleCounsel: Seeing the (Random) Forest for the Trees in Adversarial Code Stylometry 

    McKnight, Christopher (University of Waterloo, 2018-01-12)
    Authorship attribution has piqued the interest of scholars for centuries, but had historically remained a matter of subjective opinion, based upon examination of handwriting and the physical document. Midway through the ...
  • Viscous Liquid Animation with Spatially Adaptive Grids 

    Yipeng, Wang (University of Waterloo, 2018-01-08)
    Viscous fluid behaviors are among the most complex yet familiar physical phenomena we encounter in everyday life. Much attention and investigation has been paid to the creation of visually realistic results, especially ...

View more


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages