Browsing Computer Science by Title
Now showing items 1135-1154 of 1544
-
RAMP: RDMA Migration Platform
(University of Waterloo, 2018-05-16)Remote Direct Memory Access (RDMA) can be used to implement a shared storage abstraction or a shared-nothing abstraction for distributed applications. We argue that the shared storage abstraction is overkill for loosely ... -
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 ... -
Ranked Retrieval in Uncertain and Probabilistic Databases
(University of Waterloo, 2011-01-17)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 ... -
A Ray Optics Framework for the Computation of The Sieve Effect Factor for Blood
(University of Waterloo, 2010-01-20)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 ... -
Re-encoding Resistance: Towards Robust Covert Channels over WebRTC Video Streaming
(University of Waterloo, 2024-01-18)Internet censorship is an ongoing phenomenon, where state level agents attempt to control the free access to information on the internet for purposes like dissent suppression and control. In response, research has been ... -
Reach-Bounded, Non-Linear Input Amplification for More Comfortable Virtual Reality
(University of Waterloo, 2020-04-30)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, 2020-09-28)Distributed software remains susceptible to data races and poor scalability because of the widespread use of locks and other low-level synchronization primitives. Furthermore, using this programming approach is known to ... -
Real-time Elective Admissions Planning for Health Care Providers
(University of Waterloo, 2013-01-23)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 ... -
Reasoning about Benefits and Costs of Interaction with Users in Real-time Decision Making Environments with Application to Healthcare Scenarios
(University of Waterloo, 2010-08-11)This thesis examines the problem of having an intelligent agent reasoning about interaction with users in real-time 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, 2018-08-31)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, 2018-08-16)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 ... -
Recommender Systems for Personalized Gamification
(ACM, 2017-07-09)Gamification has been used in a variety of application domains to promote behaviour change. Nevertheless, the mechanisms behind it are still not fully understood. Recent empirical results have shown that personalized ... -
Recommending messages to users in participatory media environments: a Bayesian credibility approach
(University of Waterloo, 2014-04-09)In this thesis, we address the challenge of information overload in online participatory messaging environments using an artificial intelligence approach drawn from research in multiagent systems trust modeling. In particular, ... -
Reconfiguring Graph Colorings
(University of Waterloo, 2017-08-29)Graph coloring has been studied for a long time and continues to receive interest within the research community \cite{kubale2004graph}. It has applications in scheduling \cite{daniel2004graph}, timetables, and compiler ... -
Reconfiguring Triangulations
(University of Waterloo, 2015-01-06)The results in this thesis lie at the confluence of triangulations and reconfiguration. We make the observation that certain solved and unsolved problems about triangulations can be cast as reconfiguration problems. We ... -
Reconstructing hv-convex polyominoes with multiple colours
(University of Waterloo, 2009-08-26)This thesis examines the problem of reconstructing multiple discrete 2D objects, represented by a set of cells arranged in an m × n grid, from their projections. The objects being constructed are disjoint, hv-convex ... -
Reconstruction and Visualization of Polyhedra Using Projections
(University of Waterloo, 2005)Two types of problems are studied in this thesis: reconstruction and visualization of polygons and polyhedra. <br /><br /> Three problems are considered in reconstruction of polygons and polyhedra, given a set of ... -
Reconstruction of Half-Sibling Population Structures
(University of Waterloo, 2012-10-25)Half-sibling reconstruction is the task of determining maternal and paternal sibling relationships from observed genotypes of same-generation individuals in a population. Knowledge of how populations are structured allows ... -
Reconstruction of Orthogonal Polyhedra
(University of Waterloo, 2008-02-20)In this thesis I study reconstruction of orthogonal polyhedral surfaces and orthogonal polyhedra from partial information about their boundaries. There are three main questions for which I provide novel results. The ... -
Reducing Data Copying Overhead in Web Servers
(University of Waterloo, 2010-07-13)Web servers that generate dynamic content are widely used in the development of Internet applications. With the Internet highly connected to people’s lifestyles, the service requirements of Internet applications have ...