Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 2447
-
“Transport Me Away”: Fostering Flow in Open Offices through Virtual Reality
(ACM, 2020-04-21)Open offices are cost-effective and continue to be popular. However, research shows that these environments, brimming with distractions and sensory overload, frequently hamper productivity. Our research investigates the ... -
Coupled models of structured contagion processes in human-environment systems
(University of Waterloo, 2021-09-15)Models of infectious processes are a common feature in the landscape of applied mathematics. It is rare that these processes are isolated from other significant dynamics in nature, and therefore we can incorporate some of ... -
On the Number of Trials Needed to Obtain k Consecutive Successes
(Elsevier, 2021-04-30)A sequence of independent Bernoulli trials, each of which is a success with probability p, is conducted. For k ∈ Z+, let Xk be the number of trials required to obtain k consecutive successes. Using techniques from elementary ... -
Designing Persuasively using Playful Elements
(University of Waterloo, 2021-09-14)Alongside productivity and communication, computers are a valuable tool for diversion and amusement. Game Designers leverage the multifaceted world of computing to create applications that can be developed persuasively; ... -
Thomassen’s 5-Choosability Theorem Extends to Many Faces
(University of Waterloo, 2021-09-10)We prove in this thesis that planar graphs can be L-colored, where L is a list-assignment in which every vertex has a 5-list except for a collection of arbitrarily large faces which have 3-lists, as long as those faces ... -
On the roughness of paths and processes
(University of Waterloo, 2021-09-10)In recent years, a significant amount of the stochastic volatility literature has focused on modelling the ``roughness" or irregularity of the unobserved volatility time series and its effect on option pricing. In many ... -
Universe Beyond Inflation and ΛCDM
(University of Waterloo, 2021-09-09)The current paradigm of universe, $\Lambda CDM$ model with an early phase of inflation, has been quite successful in describing our universe in a simple manner, yet matching well with the observational evidence. This model ... -
A guide to F-automatic sets
(University of Waterloo, 2021-09-08)A self-contained introduction to the theory of F-automatic sets is given. Building on [Bell, Moosa, F-sets and finite automata, Journal de théorie des nombres de Bordeaux, 2019], contributions are made to both the foundations ... -
Smart Contract Analysis Through Communication Abstractions
(University of Waterloo, 2021-09-07)Smart contracts are programs that manage interactions between many users. Recently, Solidity smart contract have become a popular way to enforce financial agreements between untrusting users. However, such agreements do ... -
Unsupervised Syntactic Structure Induction in Natural Language Processing
(University of Waterloo, 2021-09-07)This work addresses unsupervised chunking as a task for syntactic structure induction, which could help understand the linguistic structures of human languages especially, low-resource languages. In chunking, words of a ... -
Applications of the minimal modelprogram in arithmetic dynamics
(University of Waterloo, 2021-09-07)Let F be a surjective endomorphism of a normal projective variety X defined over a number field. The dynamics of F may be studied through the dynamics of the linear action of an associated linear pull-back action on divisors. ... -
Rescuing Historical Climate Observations to Support Hydrological Research: A Case Study of Solar Radiation Data
(ACM, 2021-08-16)The acceleration of climate change and its impact highlight the need for long-term reliable climate data at high spatiotemporal resolution to answer key science questions in cold regions hydrology. Prior to the digital ... -
Profiling Alloy Models
(University of Waterloo, 2021-09-03)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ... -
Decomposition-based methods for Connectivity Augmentation Problems
(University of Waterloo, 2021-09-03)In this thesis, we study approximation algorithms for Connectivity Augmentation and related problems. In the Connectivity Augmentation problem, one is given a base graph G=(V,E) that is k-edge-connected, and an additional ... -
Data Protection in Big Data Analysis
(University of Waterloo, 2021-08-30)"Big data" applications are collecting data from various aspects of our lives more and more every day. This fast transition has surpassed the development pace of data protection techniques and has resulted in innumerable ... -
Deformation theory of nearly G₂-structures and nearly G₂ instantons
(University of Waterloo, 2021-08-30)We study two different deformation theory problems on manifolds with a nearly G₂-structure. The first involves studying the deformation theory of nearly G₂ manifolds. These are seven dimensional manifolds admitting real ... -
Effects of a Geostrophic Current on the Propagation and Generation of Internal Tides
(University of Waterloo, 2021-08-30)Internal tides (ITs) are ubiquitous in a stratified ocean where they are generated in response to tidal flows incident upon bottom topography. Along-shelf currents or boundary currents are ocean currents commonly observed ... -
Mathematical modelling of supraglacial meltwater production and drainage
(University of Waterloo, 2021-08-30)Mountain glaciers and the polar ice sheets exert a critical control on water resource availability, drive sea level change, and impact global ocean circulation. These and other impacts are controlled by surface meltwater ... -
Semiparametric Empirical Likelihood Inference under Two-sample Density Ratio Models
(University of Waterloo, 2021-08-27)The semiparametric density ratio model (DRM) provides a flexible and useful platform for combining information from multiple sources. It has been widely used in many fields. This thesis considers several important inference ... -
Representations of even-cycle and even-cut matroids
(University of Waterloo, 2021-08-27)In this thesis, two classes of binary matroids will be discussed: even-cycle and even-cut matroids, together with problems which are related to their graphical representations. Even-cycle and even-cut matroids can be ...