Now showing items 134-153 of 1451

    • Backdoors in Satisfiability Problems 

      Li, Zijie (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. ...
    • Balancing Fidelity and Performance in Iridal Light Transport Simulations Aimed at Interactive Applications 

      Kravchenko, Boris (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 

      Scott, Joseph; Mora, Federico; Ganesh, Vijay (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 ...
    • Barehand Mode Switching in Touch and Mid-Air Interfaces 

      Surale, Hemant (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 ...
    • Bayesian Contact Tracing for Communicable Respiratory Diseases 

      Shalaby, Ayman (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 Unsupervised Labeling of Web Document Clusters 

      Liu, Ting (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 

      Harris, John Joseph; Hancock, Mark (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) 

      Shafiee Sarjaz, Behrooz (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 

      Devet, Casey (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 ...
    • Bidirectional Learning in Recurrent Neural Networks Using Equilibrium Propagation 

      Khan, Ahmed Faraz (University of Waterloo, 2018-09-26)
      Neurobiologically-plausible learning algorithms for recurrent neural networks that can perform supervised learning are a neglected area of study. Equilibrium propagation is a recent synthesis of several ideas in biological ...
    • Biological Plausibility in Modern Hopfield Networks 

      Snow, Mallory (University of Waterloo, 2022-12-19)
      Modern Hopfield Networks (HNs) have the ability to store a large number of target memories (e.g. binary patterns) and then recall a memory in its entirety when prompted by a sub-set or perturbed version of it; in this ...
    • Biologically Inspired Adaptive Control of Quadcopter Flight 

      Komer, Brent (University of Waterloo, 2015-08-20)
      This thesis explores the application of a biologically inspired adaptive controller to quadcopter flight control. This begins with an introduction to modelling the dynamics of a quadcopter, followed by an overview of control ...
    • Biologically inspired methods in speech recognition and synthesis: closing the loop 

      Bekolay, Trevor (University of Waterloo, 2016-02-18)
      Current state-of-the-art approaches to computational speech recognition and synthesis are based on statistical analyses of extremely large data sets. It is currently unknown how these methods relate to the methods that ...
    • Biologically Plausible Neural Learning using Symmetric Predictive Estimators 

      Xu, David (University of Waterloo, 2016-08-04)
      A predictive estimator (PE) is a neural microcircuit hypothesized to explain how the brain processes certain types of information. They participate in a hierarchy, passing predictions to lower layers, which send back ...
    • Biologically Plausible, Human-scale Knowledge Representation 

      Crawford, Eric (University of Waterloo, 2014-08-22)
      Several approaches to implementing symbol-like representations in neurally plausible models have been proposed. These approaches include binding through synchrony, mesh binding, and tensor product binding. Recent theoretical ...
    • BioSpec: A Biophysically-Based Spectral Model of Light Interaction with Human Skin 

      Krishnaswamy, Aravind (University of Waterloo, 2005)
      Despite the notable progress in physically-based rendering, there is still a long way to go before we can automatically generate predictable images of biological materials. In this thesis, we address an open problem in ...
    • Bitemporal Sliding Windows 

      Ge, Chang (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. ...
    • BotChase: Graph-Based Bot Detection Using Machine Learning 

      Abou Daya, Abbas (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 ...
    • Bounds on Maximum Matchings in 1-Planar Graphs 

      Wittnebel, John (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 ...
    • BridgeSPA: A Single Packet Authorization System for Tor Bridges 

      Smits, Rob (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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages