Browsing Mathematics (Faculty of) by Title
Now showing items 18581877 of 2480

RAMP: RDMA Migration Platform
(University of Waterloo, 20180516)Remote Direct Memory Access (RDMA) can be used to implement a shared storage abstraction or a sharednothing abstraction for distributed applications. We argue that the shared storage abstraction is overkill for loosely ... 
Ramseynice families of graphs
(Elsevier, 201808)For a finite family $\cF$ of fixed graphs let $R_k(\cF)$ be the smallest integer $n$ for which every $k$coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\cF$. We say that $\cF$ ... 
Random forcing of geostrophic motion in rotating stratified turbulence
(AIP, 20171229)Random forcing of geostrophic motion is a common approach in idealized simulations of rotating stratified turbulence. Such forcing represents the injection of energy into largescale balanced motion, and the resulting ... 
Random locations of periodic stationary processes
(Elsevier, 201903)We consider a family of random locations, called intrinsic location functionals, of periodic stationary processes. This family includes but is not limited to the location of the path supremum and first/last hitting times. ... 
Randomization and Restart Strategies
(University of Waterloo, 2006)The runtime for solving constraint satisfaction problems (CSP) and propositional satisfiability problems (SAT) using systematic backtracking search has been shown to exhibit great variability. Randomization and restarts ... 
Ranges of vector states on irreducible operator semigroups
(Springer, 2016)Let 𝜑 be a linear functional of rank one acting on an irreducible semigroup S of operators on a finite or infinitedimensional Hilbert space. It is a wellknown and simple fact that the range of 𝜑 cannot be a singleton. ... 
Ranked Retrieval in Uncertain and Probabilistic Databases
(University of Waterloo, 20110117)Ranking queries are widely used in data exploration, data analysis and decision making scenarios. While most of the currently proposed ranking techniques focus on deterministic data, several emerging applications involve ... 
Rational approximations on smooth rational surfaces
(University of Waterloo, 20190809)In this thesis, we study a conjecture made by D. McKinnon about rational approximations to rational points in algebraic varieties. The conjecture states that if a rational point P on a variety X lies on a rational curve, ... 
A Ray Optics Framework for the Computation of The Sieve Effect Factor for Blood
(University of Waterloo, 20100120)Light may traverse a turbid material, such as blood, without encountering any of its pigment particles, a phenomenon known as sieve effect. This phenomenon may result in a decrease in the amount of light absorbed by the ... 
Rayleigh Property of Lattice Path Matroids
(University of Waterloo, 20150922)In this work, we studied the class of lattice path matroids $\mathcal{L}$, which was first introduced by J.E. Bonin. A.D. Mier, and M. Noy in [\ref{Bonin 2002}]. Lattice path matroids are transversal, and $\mathcal{L}$ is ... 
ReachBounded, NonLinear Input Amplification for More Comfortable Virtual Reality
(University of Waterloo, 20200430)Input amplification enables easier movement in virtual reality (VR) for users with mobility issues or in confined spaces. However, current techniques either do not focus on maintaining feelings of body ownership, or are ... 
React++: A Lightweight Actor Framework in C++
(University of Waterloo, 20200928)Distributed software remains susceptible to data races and poor scalability because of the widespread use of locks and other lowlevel synchronization primitives. Furthermore, using this programming approach is known to ... 
Real equiangular lines and related codes
(University of Waterloo, 20200124)We consider real equiangular lines and related codes. The driving question is to find the maximum number of equiangular lines in a given dimension. In the real case, this is controlled by combinatorial phenomena, and until ... 
Realtime Elective Admissions Planning for Health Care Providers
(University of Waterloo, 20130123)Efficient management of patient admissions plays a critical role in increasing a hospital's resource utilization and reducing health care costs. We consider the problem of fi nding the best available admission policy for ... 
Realizing surface driven flows in the primitive equations
(American Meteorological Society, 201505)The surface quasigeostrophic (SQG) model describes flows with surface buoyancy perturbations with no interior quasigeostrophic potential vorticity at small Rossby number Ro and O(1) Burger number, where quasigeostrophic ... 
Realizing Surface Driven Flows in the Primitive Equations
(University of Waterloo, 20140827)The surface quasigeostrophic (SQG) model describes the evolution of buoyancy at vertical boundaries in the limit of infinitesimal Rossby number. In this regime, the quasigeostrophic approximations are expected to hold. ... 
Realizing SurfaceDriven Flows in the Primitive Equations
(AMS, 20150501)The surface quasigeostrophic (SQG) model describes flows with surface buoyancy perturbations with no interior quasigeostrophic potential vorticity at small Rossby number Ro and O(1) Burger number, where quasigeostrophic ... 
Reasoning about Benefits and Costs of Interaction with Users in Realtime Decision Making Environments with Application to Healthcare Scenarios
(University of Waterloo, 20100811)This thesis examines the problem of having an intelligent agent reasoning about interaction with users in realtime decision making environments. Our work is motivated by the models of Fleming and Cheng, which reason about ... 
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
(University of Waterloo, 20180831)Foreign function interfaces (FFIs) are commonly used as a way to mix programming languages. In such systems, a program written in a host language calls functions written in a guest language from within the same program. ... 
Recipes for Resistance: A Censorship Circumvention Cookbook
(University of Waterloo, 20180816)The increasing centralization of Internet infrastructure and web services, along with advancements in the application of machine learning techniques to analyze and classify network traffic, have enabled the growth and ...