Browsing Mathematics (Faculty of) by Title
Now showing items 241-260 of 2938
-
Backdoors in Satisfiability Problems
(University of Waterloo, 2009-10-08)Although satisfiability problems (SAT) are NP-complete, state-of-the-art SAT solvers are able to solve large practical instances. The notion of backdoors has been introduced to capture structural properties of instances. ... -
Backscatter in stratified turbulence
(Elsevier, 2016-11)In this paper, kinetic and potential energy transfers around a spectral test fil ter scale in direct numerical simulations of decaying stratified turbulence are studied in both physical and spectral domains. It is shown ... -
Balancing Fidelity and Performance in Iridal Light Transport Simulations Aimed at Interactive Applications
(University of Waterloo, 2016-11-29)Specific light transport models based on first-principles approaches have been proposed for complex organic materials such as human skin and blood. The driving force behind these efforts has been the high-fidelity reproduction ... -
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
(2020)Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ... -
Bandlimited functions, curved manifolds, and self-adjoint extensions of symmetric operators
(University of Waterloo, 2008-05-20)Sampling theory is an active field of research that spans a variety of disciplines from communication engineering to pure mathematics. Sampling theory provides the crucial connection between continuous and discrete ... -
Barehand Mode Switching in Touch and Mid-Air Interfaces
(University of Waterloo, 2020-05-28)Raskin defines a mode as a distinct setting within an interface where the same user input will produce results different to those it would produce in other settings. Most interfaces have multiple modes in which input is ... -
Batch Verification of Elliptic Curve Digital Signatures
(University of Waterloo, 2015-04-20)This thesis investigates the efficiency of batching the verification of elliptic curve signatures. The first signature scheme considered is a modification of ECDSA proposed by Antipa et al.\ along with a batch verification ... -
Bayesian Analysis of Intratumoural Oxygen Data
(University of Waterloo, 2009-08-28)There is now ample evidence to support the notion that a lack of oxygen (hypoxia) within the tumour adversely affects the outcome of radiotherapy and whether a patient is able to remain disease free. Thus, there is increasing ... -
Bayesian Contact Tracing for Communicable Respiratory Diseases
(University of Waterloo, 2014-01-24)Purpose: The purpose of our work is to develop a system for automatic contact tracing with the goal of identifying individuals who are most likely infected, even if we do not have direct diagnostic information on their ... -
Bayesian Federated Learning in Predictive Space
(University of Waterloo, 2023-08-10)Federated Learning (FL) involves training a model over a dataset distributed among clients, with the constraint that each client's data is private. This paradigm is useful in settings where different entities own different ... -
Bayesian Inference for Stochastic Volatility Models
(University of Waterloo, 2012-09-26)Stochastic volatility (SV) models provide a natural framework for a representation of time series for financial asset returns. As a result, they have become increasingly popular in the finance literature, although they ... -
Bayesian Inference Methods Applied to Cancer Research
(University of Waterloo, 2009-12-11)The purpose of this Thesis is to present a Bayesian analysis of oncological data sets with particular focus on cervical carcinomas and ovarian cancers. Bayesian methods of data analysis have a very long history, and ... -
Bayesian Sample Size Determination for Single-Particle Tracking of Pathogens in Biological Fluids
(University of Waterloo, 2018-01-17)Single-particle tracking (SPT) experiments measure 2-dimensional particle position with a high-resolution digital camera, capturing microsecond motion. SPT has allowed novel investigation of membrane dynamics, enzymology, ... -
Bayesian Unsupervised Labeling of Web Document Clusters
(University of Waterloo, 2011-08-30)Information technologies have recently led to a surge of electronic documents in the form of emails, webpages, blogs, news articles, etc. To help users decide which documents may be interesting to read, it is common practice ... -
Beam Me 'Round, Scotty! II: Reflections on Transforming Research Goals into Gameplay Mechanics
(ACM, 2018-10-23)We reflect on the design, implementation, and testing of the experimental testbed game Beam Me 'Round, Scotty! II and the numerous design lessons learned in transitioning theoretical research questions about social presence ... -
Behrooz File System (BFS)
(University of Waterloo, 2015-08-25)In this thesis, the Behrooz File System (BFS) is presented, which provides an in-memory distributed file system. BFS is a simple design which combines the best of in-memory and remote file systems. BFS stores data in the ... -
The Best of Both Worlds: Combining Information-Theoretic and Computational Private Information Retrieval for Communication Efficiency
(University of Waterloo, 2014-08-15)The goal of Private Information Retrieval (PIR) is the ability to query a database successfully without the operator of the database server discovering which record(s) of the database the querier is interested in. There ... -
Best response dynamics improve sustainability and equity outcomes in common-pool resources problems, compared to imitation dynamics
(Journal of Theoretical Biology, 2021-01-21)Shared resource extraction among profit-seeking individuals involves a tension between individual benefit and the collective well-being represented by the persistence of the resource. Many game theoretic models explore ... -
Bi-objective short-term scheduling in a rolling horizon framework: a priori approaches with alternative operational objectives
(Elsevier, 2019-11)This study addresses short-term scheduling problems with throughput and make-span as conflicting objectives, focusing on a priori multi-objective methods. Two contributions are presented. The first contribution is to propose ... -
Bias in the Estimate of a Mean Reversion Parameter for a Fractional Ornstein-Uhlenbeck Process
(University of Waterloo, 2017-01-19)In this thesis we studied the estimation bias of the least squares estimate of the mean reversion parameter, when the underlying dynamics is governed by fractional Brownian motions. Fractional Brownian motion is a ...