Browsing Mathematics (Faculty of) by Title
Now showing items 2456-2475 of 2993
-
Separable State Discrimination Using Local Quantum Operations and Classical Communication
(University of Waterloo, 2013-08-30)In this thesis we study the subset of quantum operations that can be implemented using only local quantum operations and classical communication (LOCC). This restricted paradigm serves as a tool to study not only quantum ... -
The Separate Compilation Assumption
(University of Waterloo, 2014-09-19)Call graphs are an essential requirement for almost all inter-procedural analyses. This motivated the development of many tools and frameworks to generate the call graph of a given program. However, the majority of these ... -
Sequences of Trees and Higher-Order Renormalization Group Equations
(University of Waterloo, 2019-08-27)In 1998, Connes and Kreimer introduced a combinatorial Hopf algebra HCK on the vector space of forests of rooted trees that precisely explains the phenomenon of renormalization in quantum field theory. This Hopf algebra ... -
Series-Parallel Posets and Polymorphisms
(University of Waterloo, 2018-09-04)We examine various aspects of the poset retraction problem for series-parallel posets. In particular we show that the poset retraction problem for series-parallel posets that are already solvable in polynomial time are ... -
Serverless Data Analytics with Flint
(University of Waterloo, 2018-08-30)Serverless architectures organized around loosely-coupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines. ... -
Service Negotiation and Contracting in Virtual Network Environment
(University of Waterloo, 2010-04-28)The current Internet presents a high barrier to entry for new service providers, due to its inability to accommodate new protocols and technologies, and lack of competition among the network providers. Recently, network ... -
Service-Driven Networking
(University of Waterloo, 2010-01-15)This thesis presents our research on service-driven networking, which is a general design framework for service quality assurance and integrated network and service management in large scale multi-domain networks. The ... -
Settling Time Reducibility Orderings
(University of Waterloo, 2010-04-28)It is known that orderings can be formed with settling time domination and strong settling time domination as relations on c.e. sets. However, it has been shown that no such ordering can be formed when considering computation ... -
Several Mathematical Problems in Investment Management
(University of Waterloo, 2023-08-21)This thesis studies four mathematical problems in investment management. All four problems arise from practical challenges and are data-driven. Chapter 2 investigates the Kelly portfolio strategy. The full Kelly strategy's ... -
Sex differences in solute and water handling in the human kidney: Modeling and functional implications
(Elsevier, 2021-06)The kidneys maintain homeostasis by controlling the amount of water and electrolytes in the blood. That function is accomplished by the nephrons, which transform glomerular filtrate into urine by a transport process mediated ... -
Sexual Behavior, Risk Perception, And Hiv Transmission Can Respond To Hiv Antiviral Drugs And Vaccines Through Multiple Pathways
(Nature Publishing Group, 2015-10-28)There has been growing use of highly active antiretroviral treatment (HAART) for HIV and significant progress in developing prophylactic HIV vaccines. The simplest theories of counterproductive behavioral responses to such ... -
SFour: A Protocol for Cryptographically Secure Record Linkage at Scale
(University of Waterloo, 2019-09-23)The prevalence of various (and increasingly large) datasets presents the challenging problem of discovering common entities dispersed across disparate datasets. Solutions to the private record linkage problem (PRL) aim to ... -
ShallowForest: Optimizing All-to-All Data Transmission in WANs
(University of Waterloo, 2019-05-23)All-to-all data transmission is a typical data transmission pattern in both consensus protocols and blockchain systems. Developing an optimization scheme that provides high throughput and low latency data transmission can ... -
Shape & cutoff in superconducting qubits, work fluctuations in correlation creation, & critical commentary
(University of Waterloo, 2019-01-22)Part I We apply the Unruh-DeWitt model for a qubit interacting with a quantum field to a superconducting qubit. We use the flexibility of this model, as compared to the spin-boson model used widely in the literature, ... -
Shape Modeling of Plant Leaves with Unstructured Meshes
(University of Waterloo, 2005)The plant leaf is one of the most challenging natural objects to be realistically depicted by computer graphics due to its complex morphological and optical characteristics. Although many studies have been done on plant ... -
Sharing Rewards Based on Subjective Opinions
(University of Waterloo, 2010-08-10)Fair division is the problem of dividing one or several goods among a set of agents in a way that satisfies a suitable fairness criterion. Traditionally studied in economics, philosophy, and political science, fair division ... -
Short Directed Cycles in Bipartite Digraphs
(Springer Nature, 2020-08-01)The Caccetta-Häggkvist conjecture implies that for every integer k ≥ 1, if G is a bipartite digraph, with n vertices in each part, and every vertex has out-degree more than n/(k+1), then G has a directed cycle of length ... -
Short-wave vortex instabilities in stratified flow
(University of Waterloo, 2013-12-17)Density stratification is one of the essential underlying physical mechanisms for atmospheric and oceanic flow. As a first step to investigating the mechanisms of stratified turbulence, linear stability plays a critical ... -
Short-wave vortex instability in stratified flow
(Elsevier, 2016-01)In this paper we investigate a new instability of the Lamb–Chaplygin dipole in a stratified fluid. Through numerical linear stability analysis, a secondary peak in the growth rate emerges at vertical scales about an order ... -
Shortest Path Queries in Very Large Spatial Databases
(University of Waterloo, 2001)Finding the shortest paths in a graph has been studied for a long time, and there are many main memory based algorithms dealing with this problem. Among these, Dijkstra's shortest path algorithm is one of the most commonly ...