Browsing Mathematics (Faculty of) by Title
Now showing items 2023-2042 of 2985
-
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 ... -
Parameter and Structure Learning Techniques for Sum Product Networks
(University of Waterloo, 2019-09-25)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, sum-product 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, 2013-08-30)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 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 ... -
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 ... -
Parlez-vous le hate?: Examining topics and hate speech in the alternative social network Parler
(University of Waterloo, 2021-12-23)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 Sub-clustering as a Proxy for Mixing in Geophysical Flows
(University of Waterloo, 2019-08-16)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, 2022-05-31)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, 2015-08-28)Classical Schur-Weyl 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, 2019-09-04)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, 2019-09-23)Despite rapid advancements in automated driving systems (ADS), current human-computer 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, 2013-09)Users are susceptible to password guessing attacks when they create weak passwords. Despite an abundance of text-based password advice, it appears insufficient to help home users create strong memorable passwords. We propose ... -
Path Queries in Weighted Trees
(University of Waterloo, 2012-08-24)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, 2013-04-29)Immanants are a generalization of the well-studied 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, 2019-12-13)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) type-safe way and is iii) easy to extend ... -
Patterns of Search Result Examination: Query to First Action.
(ACM, 2019-11-03)To determine key factors that affect a user's behavior with search results, we conducted a controlled eye-tracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ... -
Peer-Based Intelligent Tutoring Systems: A Corpus-Oriented Approach
(University of Waterloo, 2012-05-11)In this thesis, we present an artificial intelligence approach for tutoring students in environments where there is a large repository of possible learning objects (e.g. texts, videos). In particular, we advocate that ... -
Penalized Regression for Interval-Censored Times of Disease Progression: Selection of HLA Markers in Psoriatic Arthritis
(Wiley, 2015-09)Times of disease progression are interval-censored when progression status is only known at a series of assessment times. This situation arises routinely in clinical trials and cohort studies when events of interest are ...