Browsing Mathematics (Faculty of) by Title
Now showing items 20582077 of 3034

A Parallel Study of the Fock Space Approach to Classical and Free Brownian Motion
(University of Waterloo, 20170828)The purpose of this thesis is to elaborate the similarities between the classical and the free probability by means of developing the chaos decomposition of stochastic integrals driven by Brownian motion and its free ... 
Parallel Transaction Execution in Public Blockchain Systems
(University of Waterloo, 20240527)Public blockchain systems like Ethereum and Bitcoin suffer from poor transaction throughput, leading to delayed transaction execution and high transaction fees. They execute transactions one by one, failing to extract ... 
A parallel, adaptive discontinuous Galerkin method for hyperbolic problems on unstructured meshes
(University of Waterloo, 20180904)This thesis is concerned with the parallel, adaptive solution of hyperbolic conservation laws on unstructured meshes. First, we present novel algorithms for cellbased adaptive mesh refinement (AMR) on unstructured ... 
Parameter and Structure Learning Techniques for Sum Product Networks
(University of Waterloo, 20190925)Probabilistic graphical models (PGMs) provide a general and flexible framework for reasoning about complex dependencies in noisy domains with many variables. Among the various types of PGMs, sumproduct networks (SPNs) ... 
A Parameterized Algorithm for Upward Planarity Testing of Biconnected Graphs
(University of Waterloo, 2003)We can visualize a graph by producing a geometric representation of the graph in which each node is represented by a single point on the plane, and each edge is represented by a curve that connects its two ... 
Parameterized Code Generation From Template Semantics
(University of Waterloo, 2006)We have developed a tool that can create a Java code generator for a behavioural modelling notation given only a description of the notation's semantics as a set of parameters. This description is based on template ... 
Parameterized Enumeration of Neighbour Strings and Kemeny Aggregations
(University of Waterloo, 20130830)In this thesis, we consider approaches to enumeration problems in the parameterized complexity setting. We obtain competitive parameterized algorithms to enumerate all, as well as several of, the solutions for two related ... 
Parameterizing a dynamic inﬂuenza model using longitudinal versus agestratiﬁed case notiﬁcations yields diﬀerent predictions of vaccine impacts
(20180906)Dynamic transmission models of inﬂuenza are often used in decisionmaking to identify which vaccination strategies might best reduce inﬂuenzaassociated health and economic burdens. Our goal was to use laboratory conﬁrmed ... 
Parking Functions and Related Combinatorial Structures.
(University of Waterloo, 2001)The central topic of this thesis is parking functions. We give a survey of some of the current literature concerning parking functions and focus on their interaction with other combinatorial objects; namely noncrossing ... 
Parlezvous le hate?: Examining topics and hate speech in the alternative social network Parler
(University of Waterloo, 20211223)Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ... 
Particle Clustering and Subclustering as a Proxy for Mixing in Geophysical Flows
(University of Waterloo, 20190816)The Eulerian point of view is the traditional theoretical and numerical tool to describe fluid mechanics. Some modern computational fluid dynamics codes allow for the efficient simulation of particles, in turn facilitating ... 
A Particle Filter Method of Inference for Stochastic Differential Equations
(University of Waterloo, 20220531)Stochastic Differential Equations (SDE) serve as an extremely useful modelling tool in areas including ecology, finance, population dynamics, and physics. Yet, parameter inference for SDEs is notoriously difficult due ... 
Partition Algebras and Kronecker Coefficients
(University of Waterloo, 20150828)Classical SchurWeyl duality relates the representation theory of the general linear group to the representation theory of the symmetric group via their commuting actions on tensor space. With the goal of studying Kronecker ... 
Partitioning Pauli Operators: in Theory and in Practice
(University of Waterloo, 20190904)Measuring the expectation value of Pauli operators on prepared quantum states is a fundamental task in the variational quantum eigensolver. Simultaneously measuring sets of operators allows for fewer measurements and an ... 
Passenger Response to Driving Style in an Autonomous Vehicle
(University of Waterloo, 20190923)Despite rapid advancements in automated driving systems (ADS), current humancomputer interaction research tends to focus more on the safety driver in lower level vehicles. The future of automated driving lies in higher ... 
Password Advice Shouldn't Be Boring: Visualizing Password Guessing Attacks
(IEEE, 201309)Users are susceptible to password guessing attacks when they create weak passwords. Despite an abundance of textbased password advice, it appears insufficient to help home users create strong memorable passwords. We propose ... 
Path Queries in Weighted Trees
(University of Waterloo, 20120824)Trees are fundamental structures in computer science, being widely used in modeling and representing different types of data in numerous computer applications. In many cases, properties of objects being modeled are ... 
Path Tableaux and the Combinatorics of the Immanant Function
(University of Waterloo, 20130429)Immanants are a generalization of the wellstudied determinant and permanent. Although the combinatorial interpretations for the determinant and permanent have been studied in excess, there remain few combinatorial ... 
A Path to DOT: Formalizing Scala with Dependent Object Types
(University of Waterloo, 20191213)The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) typesafe way and is iii) easy to extend ... 
Patterns of Search Result Examination: Query to First Action.
(ACM, 20191103)To determine key factors that affect a user's behavior with search results, we conducted a controlled eyetracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ...