Browsing Theses by Title
Now showing items 10747-10766 of 15560
-
Para-Holomorphic Algebroids and Para-Complex Connections
(University of Waterloo, 2021-12-17)The goal of this paper is to develop the theory of Courant algebroids with integrable para-Hermitian vector bundle structures by invoking the theory of Lie bialgebroids. We consider the case where the underlying manifold ... -
Paradigm Shift: Does River Metabolism Mask the Isotopic Signal of Nitrate Sources?
(University of Waterloo, 2017-05-19)Nitrate (NO₃⁻) is the most ubiquitous contaminant in surface and groundwaters in Canada. Synthetic fertilizer application and manure production in intensive agricultural areas contribute large quantities of NO₃⁻ to the ... -
Paralinguistic and Nonverbal Behaviour in Social Interactions: A Lens Model Perspective
(University of Waterloo, 2010-12-20)It is widely accepted in our society that people’s paralinguistic (i.e., non-semantic characteristics of the voice) and nonverbal (i.e., posture, gestures, and facial expressions) behaviours play an important role in ... -
Parallel Multiplier Designs for the Galois/Counter Mode of Operation
(University of Waterloo, 2008-06-09)The Galois/Counter Mode of Operation (GCM), recently standardized by NIST, simultaneously authenticates and encrypts data at speeds not previously possible for both software and hardware implementations. In GCM, data ... -
Parallel Paths Analysis Using Function Call Graphs
(University of Waterloo, 2019-09-23)Call graphs have been used widely in different software engineering areas. Since call graphs provide us with detailed information about the structure of software elements and components and how they are connected with each ... -
Parallel Pattern Search in Large, Partial-Order Data Sets on Multi-core Systems
(University of Waterloo, 2011-01-20)Monitoring and debugging distributed systems is inherently a difficult problem. Events collected during the execution of distributed systems can enable developers to diagnose and fix faults. Process-time diagrams are ... -
Parallel Polyadenine Duplex Formation at Low pH Facilitates DNA Conjugation onto Gold Nanoparticles
(University of Waterloo, 2017-04-20)DNA-functionalized gold nanoparticles (AuNPs) have been extensively used in sensing, drug delivery, and materials science. A key step is to attach DNA onto AuNPs forming a stable and functional conjugate. While the traditional ... -
Parallel Repetition of Prover-Verifier Quantum Interactions
(University of Waterloo, 2012-01-05)In this thesis, we answer several questions about the behaviour of prover-verifier interactions under parallel repetition when quantum information is allowed, and the verifier acts independently in them. We first ... -
Parallel Run-Time Verification
(University of Waterloo, 2013-01-24)Run-time verification is a technique to reason about a program correctness. Given a set of desirable properties and a program trace from the inspected program as an input, the monitor module verifies that properties hold ... -
A Parallel Study of the Fock Space Approach to Classical and Free Brownian Motion
(University of Waterloo, 2017-08-28)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 ... -
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 ... -
Parallelizing Legendre Memory Unit Training
(University of Waterloo, 2021-07-14)Recently, a new recurrent neural network (RNN) named the Legendre Memory Unit (LMU) was proposed and shown to achieve state-of-the-art performance on several benchmark datasets. Here we leverage the linear time-invariant ... -
Parallelizing quantum circuit synthesis
(University of Waterloo, 2015-04-24)We present an algorithmic framework for parallel quantum circuit synthesis using meet-in-the-middle synthesis techniques. We also present two implementations thereof, using both threaded and hybrid parallelization ... -
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) ... -
Parameter Estimation and Uncertainty Analysis of Contaminant First Arrival Times at Household Drinking Water Wells
(University of Waterloo, 2007-01-25)Exposure assessment, which is an investigation of the extent of human exposure to a specific contaminant, must include estimates of the duration and frequency of exposure. For a groundwater system, the duration of exposure ... -
Parameterization of In Silico Oral Disposition Models: Focus on Pediatrics
(University of Waterloo, 2017-03-16)Owing to their biologically relevant design, physiologically-based pharmacokinetic (PBPK) models require quantitative knowledge of organism anatomy and physiology to facilitate appropriate parameterization. Within such ... -
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 Enterprise WiFi Networks: The Use of Wide Channels
(University of Waterloo, 2019-01-23)We investigate the joint channel, power, and carrier sensing threshold allocation problem in IEEE 802.11ac enterprise networks in a single 160 MHz band and show that the current practice, which is to use narrower channels ...