Browsing Mathematics (Faculty of) by Title
Now showing items 283-302 of 3004
-
Bipartite Quantum Walks and the Hamiltonian
(University of Waterloo, 2023-09-26)We study a discrete quantum walk model called bipartite walks via a spectral approach. A bipartite walk is determined by a unitary matrix U, i.e., the transition matrix of the walk. For every transition matrix U, there is ... -
Bitemporal Sliding Windows
(University of Waterloo, 2014-04-29)The bitemporal data model associates two time intervals with each record - system time and application time - denoting the validity of the record from the perspective of the database and of the real world, respectively. ... -
Black Hole to White Hole Quantum Tunnelling
(University of Waterloo, 2019-08-26)In this thesis, we explore the proposal that near the end of its lifetime, a Schwarzschild black hole will undergo a quantum transition into a 'white hole': an object which is precisely the time-reversal of the black hole. ... -
The Black-Scholes and Heston Models for Option Pricing
(University of Waterloo, 2013-05-22)Stochastic volatility models on option pricing have received much study following the discovery of the non-at implied surface following the crash of the stock markets in 1987. The most widely used stochastic volatility ... -
A Blueprint for Semidefinite Relaxations of Binary-Constrained Quadratic Programs Computing tight bounds on NP-hard problems using ADMM
(University of Waterloo, 2020-12-18)This thesis looks at the solution techniques of two NP-hard, large scale problems, the quadratic assignment problem, QAP, and the side chain positioning, SCP, problem. We summarize existing approaches from and look at the ... -
Bohmian Trajectories of the Two-Electron Helium Atom
(University of Waterloo, 2008-01-17)We introduce the de Broglie-Bohm causal interpreation of quantum mechanics and compare it to the standard interpretation of quantum mechanics, the Copenhagen interpretation. We examine the possibility of experimentally ... -
Boneh-Boyen Signatures and the Strong Diffie-Hellman Problem
(University of Waterloo, 2009-01-22)The Boneh-Boyen signature scheme is a short signature scheme which is provably secure in the standard model under the q-Strong Diffie-Hellman (SDH) assumption. The primary objective of this thesis is to examine the ... -
BotChase: Graph-Based Bot Detection Using Machine Learning
(University of Waterloo, 2019-05-21)Bot detection using machine learning (ML), with network flow-level features, has been extensively studied in the literature. However, existing flow-based approaches typically incur a high computational overhead and do not ... -
Boundary-Bound Reactions: Pattern Formation with and without Hydrodynamics
(University of Waterloo, 2022-08-23)Pattern formation through chemical morphogenesis has received a significant amount of attention since Alan Turing's original analysis in a Chemical Basis for Morphogenesis. In that article, Turing showed the surprising ... -
Bounded Control of the Kuramoto-Sivashinsky equation
(University of Waterloo, 2013-10-25)Feedback control is used in almost every aspect of modern life and is essential in almost all engineering systems. Since no mathematical model is perfect and disturbances occur frequently, feedback is required. The design ... -
Bounded Rationality Alters The Dynamics Of Paediatric Immunization Acceptance
(Nature Publishing Group, 2015-06-02)Interactions between disease dynamics and vaccinating behavior have been explored in many coupled behavior-disease models. Cognitive effects such as risk perception, framing, and subjective probabilities of adverse events ... -
Bounds on Aggregate Assets
(University of Waterloo, 2014-01-23)Aggregating financial assets together to form a portfolio, commonly referred to as "asset pooling", is a standard practice in the banking and insurance industries. Determining a suitable probability distribution for this ... -
Bounds on Maximum Matchings in 1-Planar Graphs
(University of Waterloo, 2019-01-29)In this thesis, we study lower bounds on maximum matchings in 1-planar graphs. We expand upon the tools used for proofs of matching bounds in other classes of graphs as well as some original ideas in order to find these ... -
Branched Covering Constructions and the Symplectic Geography Problem
(University of Waterloo, 2008-08-15)We apply branched covering techniques to construct minimal simply-connected symplectic 4-manifolds with small χ_h values. We also use these constructions to provide an alternate proof that for each s ≥ 0, there exists a ... -
Brands of cumulants in non-commutative probability, and relations between them
(University of Waterloo, 2022-07-06)The study of non-commutative probability revolves around the different notions of independeces, such as free, Boolean and monotone. To each type of independence one can associate a notion of cumulants that linearize the ... -
Brick Generation and Conformal Subgraphs
(University of Waterloo, 2016-04-15)A nontrivial connected graph is matching covered if each of its edges lies in a perfect matching. Two types of decompositions of matching covered graphs, namely ear decompositions and tight cut decompositions, have played ... -
BridgeSPA: A Single Packet Authorization System for Tor Bridges
(University of Waterloo, 2012-01-10)Tor is a network designed for low-latency anonymous communications. Tor clients form circuits through relays that are listed in a public directory, and then relay their encrypted traffic through these circuits. This ... -
Bridging Technical Spaces: Model Translation from TA to XMI and Back Again
(University of Waterloo, 2006)There are many different techniques and notations for extracting architecturally interesting information from the source code of existing software systems. This process is known as reverse engineering. One current ... -
Brownian Dynamics Simulation of Dusty Plasma: Comparison with Generalized Hydrodynamics
(University of Waterloo, 2010-04-14)Brownian dynamics (BD) simulation method has been widely used for studying problems in dispersed systems, such as polymer solutions, colloidal suspensions and more recently, complex (dusty) plasmas. The main problem addressed ... -
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
(ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ...