Browsing University of Waterloo by Title
Now showing items 12966-12985 of 18804
-
Panic Detection in Human Crowds using Sparse Coding
(University of Waterloo, 2012-08-29)Recently, the surveillance of human activities has drawn a lot of attention from the research community and the camera based surveillance is being tried with the aid of computers. Cameras are being used extensively for ... -
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 ... -
Paradiplomatic policing and relocating Canadian foreign policy
(Sage, 2014-03-12)Even though they claim to recognize that the boundaries between domestic and international security have eroded, scholars of Canadian paradiplomacy have tended to ignore the security-oriented paradiplomatic activities ... -
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 architectural skeletons, re-usable building blocks for parallel applications
(University of Waterloo, 2001) -
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 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 ... -
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) ...