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
-
Quantum Indefinite Spacetime: Part II
(University of Waterloo, 2018-09-10)We adopt an operational mode of thinking to study spacetime fluctuations and their impacts on questions of quantum gravity. Particular emphasis is put on studying causal structure fluctuations. The study is guided by the ... -
Non-Constructivity in Security Proofs
(University of Waterloo, 2018-09-10)In the field of cryptography, one generally obtains assurances for the security of a cryptographic protocol by giving a reductionist security proof, which is comprised of a reduction from breaking a mathematical problem ... -
Parameterizing a dynamic influenza model using longitudinal versus age-stratified case notifications yields different predictions of vaccine impacts
(2018-09-06)Dynamic transmission models of influenza are often used in decision-making to identify which vaccination strategies might best reduce influenza-associated health and economic burdens. Our goal was to use laboratory confirmed ... -
A modified sliding-mode observer design with application to diffusion equation
(Taylor and Francis, 2018-02-27)In many physical systems, the system's full state cannot be measured. An observer is designed to reconstruct the state from measurements. Disturbances often contribute to the dynamics of the system, and the designed observer ... -
Acyclic Colouring of Graphs on Surfaces
(University of Waterloo, 2018-09-04)An acyclic k-colouring of a graph G is a proper k-colouring of G with no bichromatic cycles. In 1979, Borodin proved that planar graphs are acyclically 5-colourable, an analog of the Four Colour Theorem. Kawarabayashi and ... -
Series-Parallel Posets and Polymorphisms
(University of Waterloo, 2018-09-04)We examine various aspects of the poset retraction problem for series-parallel posets. In particular we show that the poset retraction problem for series-parallel posets that are already solvable in polynomial time are ... -
Personalizing Persuasive Strategies in Gameful Systems to Gamification User Types
(Association for Computing Machinery, 2018-04-21)Persuasive gameful systems are effective tools for motivating behaviour change. Research has shown that tailoring these systems to individuals can increase their efficacy; however, there is little knowledge on how to ... -
Towards a Trait Model of Video Game Preferences
(Taylor & Francis, 2018-04-19)Typologies for understanding players’ preferences toward different gameplay styles have gained popularity in research. However, attempts to model players’ preferences are based on type models instead of trait models, ... -
Positive Gaming: Workshop on Gamification and Games for Wellbeing
(Association for Computing Machinery, 2017-10-15)Gamification and games have been used and studied in a variety of applications related with health and wellbeing. Nevertheless, there are very few studies aimed at designing games (whether serious games or recreational ... -
A parallel, adaptive discontinuous Galerkin method for hyperbolic problems on unstructured meshes
(University of Waterloo, 2018-09-04)This thesis is concerned with the parallel, adaptive solution of hyperbolic conservation laws on unstructured meshes. First, we present novel algorithms for cell-based adaptive mesh refinement (AMR) on unstructured ... -
Recommender Systems for Personalized Gamification
(ACM, 2017-07-09)Gamification has been used in a variety of application domains to promote behaviour change. Nevertheless, the mechanisms behind it are still not fully understood. Recent empirical results have shown that personalized ... -
Exploring Practical Methodologies for the Characterization and Control of Small Quantum Systems
(University of Waterloo, 2018-09-04)We explore methodologies for characterizing and controlling small quantum systems. We are interested in starting with a description of a quantum system, designing estimators for parameters of the system, developing robust ... -
Elements of Gameful Design Emerging from User Preferences
(Association for Computing Machinery, 2017-10-15)Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ... -
A Framework and Taxonomy of Videogame Playing Preferences
(Association for Computing Machinery, 2017-10-15)Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ... -
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
(University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ... -
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
(University of Waterloo, 2018-08-31)Foreign function interfaces (FFIs) are commonly used as a way to mix programming languages. In such systems, a program written in a host language calls functions written in a guest language from within the same program. ... -
Serverless Data Analytics with Flint
(University of Waterloo, 2018-08-30)Serverless architectures organized around loosely-coupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines. ... -
The Effects of Time Constraints and Document Excerpts on Relevance Assessing Behavior
(University of Waterloo, 2018-08-30)Assessors who judge the relevance of documents to the search topics and perform the relevance assessment process are one of the main parts of Information Retrieval (IR) sys- tems evaluations. They play a significant role ... -
Entanglement in single-shot quantum channel discrimination
(University of Waterloo, 2018-08-30)Single-shot quantum channel discrimination is the fundamental task of determining, given only a single use, which of two known quantum channels is acting on a system. In this thesis we investigate the well-known phenomenon ... -
Influence of the Atlantic Multidecadal Variability on the climate response to external forcing
(University of Waterloo, 2018-08-29)Internal climate variability has been found to influence the climate response to an external forcing such as CO2. This thesis investigates the influence of the Atlantic Multidecadal Variability (AMV), a mode of internal ...
RSS 1.0