Browsing University of Waterloo by Title
Now showing items 12948-12967 of 18769
-
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
(American Chemical Society, 2016-11-15)DNA-functionalized gold nanoparticles (AuNPs) have been extensively used in sensing, drug delivery, and materials science. A key step is to attach DNA to AuNPs, forming a stable and functional conjugate. Although the ... -
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 ... -
A parallel primal-dual decomposition method for multi-part linear programs
(University of Waterloo, 2001) -
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 ... -
A parallelized molecular collision cross section package with optimized accuracy and efficiency
(Royal Society of Chemistry, 2019)Ion mobility-based separation prior to mass spectrometry has become an invaluable tool in the structural elucidation of gas-phase ions and in the characterization of complex mixtures. Application of ion mobility to structural ... -
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 ... -
Parameter estimation of an electrochemistry-based lithium-ion battery model
(Elsevier, 2015-09-30)Parameters for an electrochemistry-based Lithium-ion battery model are estimated using the homotopy optimization approach. A high-fidelity model of the battery is presented based on chemical and electrical phenomena. ... -
Parameter identification in dynamic systems using the homotopy optimization approach
(Springer, 2011-12)Identifying the parameters in a mathematical model governed by a system of ordinary differential equations is considered in this work. It is assumed that only partial state measurement is available from experiments, and ... -
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 ...