Now showing items 780-799 of 1567

    • Leveraging Watermarks to Improve Performance of Streaming Systems 

      Farhat, Omar (University of Waterloo, 2020-05-28)
      Modern stream processing engines (SPEs) process large volumes of events propagated at high velocity through multiple queries. By continuously receiving watermarks, which are marker events injected into the stream to signify ...
    • Lexical Affinities and Language Applications 

      Terra, Egidio (University of Waterloo, 2004)
      Understanding interactions among words is fundamental for natural language applications. However, many statistical NLP methods still ignore this important characteristic of language. For example, information retrieval ...
    • LightPlay: An Ambient Light System for Video Game Indicators and Notifications 

      Fung, Kin Pong (University of Waterloo, 2020-08-11)
      Video games often have indicators and notifications to convey in-game information. However, displaying these visuals on-screen come with trade-offs, such as consuming screen real estate and an inability for them to be ...
    • Likelihood-based Density Estimation using Deep Architectures 

      Jaini, Priyank (University of Waterloo, 2019-12-20)
      Multivariate density estimation is a central problem in unsupervised machine learning that has been studied immensely in both statistics and machine learning. Several methods have thus been proposed for density estimation ...
    • The Limited Effectiveness of Neural Networks for Simple Question Answering on Knowledge Graphs 

      Mohammed, Salman (University of Waterloo, 2017-12-08)
      Simple factoid question answering (QA) is a task, where the questions can be answered by looking up a single fact in the knowledge base (KB). However, this QA task is difficult, since retrieving a single supporting fact ...
    • Linear and Non-linear Monotone Methods for Valuing Financial Options Under Two-Factor, Jump-Diffusion Models 

      Clift, Simon Sivyer (University of Waterloo, 2007-10-01)
      The evolution of the price of two financial assets may be modeled by correlated geometric Brownian motion with additional, independent, finite activity jumps. Similarly, the evolution of the price of one financial asset ...
    • Linear Approximations For Factored Markov Decision Processes 

      Patrascu, Relu-Eugen (University of Waterloo, 2004)
      A Markov Decision Process (MDP) is a model employed to describe problems in which a decision must be made at each one of several stages, while receiving feedback from the environment. This type of model has been extensively ...
    • Linearizing Contextual Multi-Armed Bandit Problems with Latent Dynamics 

      Nelson, Elliot (University of Waterloo, 2022-02-10)
      In many real-world applications of multi-armed bandit problems, both rewards and observed contexts are often influenced by confounding latent variables which evolve stochastically over time. While the observed contexts and ...
    • Linking Alloy with SMT-based Finite Model Finding 

      Tariq, Khadija (University of Waterloo, 2021-01-28)
      Alloy is a well-known declarative language for modelling systems early in the development process. Currently, it uses the Kodkod library as its back-end for finite model finding (finding instances of the model by determining ...
    • List Coloring Some Classes of 1-Planar Graphs 

      Barr, Sam (University of Waterloo, 2021-12-23)
      In list coloring we are given a graph G and a list assignment for G which assigns to each vertex of G a list of possible colors. We wish to find a coloring of the vertices of G such that each vertex uses a color from its ...
    • Live API Documentation 

      Subramanian, Siddharth (University of Waterloo, 2014-07-23)
      Application Programming Interfaces (APIs) provide powerful abstraction mechanisms that enable complex functionality to be used by client programs. However, this abstraction does not come for free: understanding how to use ...
    • Local and Cooperative Autonomous Vehicle Perception from Synthetic Datasets 

      Hurl, Braden (University of Waterloo, 2019-09-23)
      The purpose of this work is to increase the performance of autonomous vehicle 3D object detection using synthetic data. This work introduces the Precise Synthetic Image and LiDAR (PreSIL) dataset for autonomous vehicle ...
    • Local Graph Clustering Using l1-regularized PageRank Algorithms 

      Hu, Chufeng (University of Waterloo, 2020-05-05)
      Local graph clustering methods are used to find small- and medium-scale clusters without traversing the graph. It has been shown that the combination of Approximate Personalized PageRank (APPR) algorithm and sweep method ...
    • Local Reasoning for Parameterized First Order Protocols 

      Ashmore, Rylo (University of Waterloo, 2019-08-14)
      First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ...
    • Long-term Average Cost in Featured Transition Systems 

      Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)
      A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
    • Longer Delays in Rehearsal-based Interfaces Increase Expert Use 

      Lewis, Blaine (University of Waterloo, 2019-08-08)
      Rehearsal-based interfaces are designed to encourage a transition from novice to expert, but many users fail to make this transition. Most of these interfaces activate novice mode after a short delay, between 150 and 500ms. ...
    • Loop Modeling in Proteins Using a Database Approach with Multi-Dimensional Scaling 

      Holtby, Daniel James (University of Waterloo, 2013-09-26)
      Modeling loops is an often necessary step in protein structure and function determination, even with experimental X-ray and NMR data. It is well known to be difficult. Database techniques have the advantage of producing ...

      Irudayaraj, Antony Albert Raj (University of Waterloo, 2023-09-22)
      In a conventional display, pixels are constrained within the rectangular or circular boundaries of the device. This thesis explores moving pixels from a screen into the surrounding environment to form ubiquitous displays. ...
    • Lower Bounds and Derandomization 

      Gardezi, Jaffer (University of Waterloo, 2008-08-26)
      A major open problem in complexity theory is to determine whether randomized complexity classes such as BPP, AM, and MA have any nontrivial derandomization. This thesis investigates the derandomization of two randomized ...
    • Lower Bounds on Quantum Query and Learning Graph Complexities 

      Rosmanis, Ansis (University of Waterloo, 2014-07-22)
      In this thesis we study the power of quantum query algorithms and learning graphs; the latter essentially being very specialized quantum query algorithms themselves. We almost exclusively focus on proving lower bounds for ...


      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