Now showing items 1-20 of 947

    • Fast Algorithms for Finding the Characteristic Polynomial of a Rank-2 Drinfeld Module 

      Musleh, Yossef (University of Waterloo, 2018-09-21)
      This thesis introduces a new Monte Carlo randomized algorithm for computing the characteristic polynomial of a rank-2 Drinfeld module. We also introduce a deterministic algorithm that uses some ideas seen in Schoof's ...
    • Dynamic Security Orchestration System Leveraging Machine Learning 

      Jalalpour, Elaheh (University of Waterloo, 2018-09-20)
      A Content Delivery Network (CDN) employs edge-servers caching content close to end-users to provide high Quality of Service (QoS) in serving digital content. Attacks against edge-servers are known to cause QoS degradation ...
    • Discovering Play Store Reviews Related to Specific Android App Issues 

      Ghosh, Angshuman (University of Waterloo, 2018-09-20)
      Mobile App reviews may contain information relevant to developers. Developers can investigate these reviews to see what users of their apps are complaining about. However, the huge volume of incoming reviews is impractical ...
    • Predicting Short-Term Water Consumption for Multi-Family Residences 

      Medina, Irish (University of Waterloo, 2018-09-20)
      Smart water meters have been installed across Abbotsford, British Columbia, Canada, to measure the water consumption of households in the area. Using this water consumption data, we develop machine learning and deep learning ...
    • Privately Constrained Testable Pseudorandom Functions 

      Pawlega, Filip (University of Waterloo, 2018-09-20)
      Privately Constrained Pseudorandom Functions allow a PRF key to be delegated to some evaluator in a constrained manner, such that the key’s functionality is restricted with respect to some secret predicate. Variants of ...
    • Personalizing Persuasive Strategies in Gameful Systems to Gamification User Types 

      Orji, Rita; Fortes Tondello, Gustavo; Nacke, Lennart (Association for Computing Machinery, 2018-04-21)
      Persuasive gameful systems are effective tools for motivating behaviour change. Research has shown that tailoring these systems to individuals can increase their efficacy; however, there is little knowledge on how to ...
    • Towards a Trait Model of Video Game Preferences 

      Fortes Tondello, Gustavo; Valtchanov, Deltcho; Reetz, Adrian; Wehbe, Rina Renee; Orji, Rita; Nacke, Lennart (Taylor & Francis, 2018-04-19)
      Typologies for understanding players’ preferences toward different gameplay styles have gained popularity in research. However, attempts to model players’ preferences are based on type models instead of trait models, ...
    • Positive Gaming: Workshop on Gamification and Games for Wellbeing 

      Fortes Tondello, Gustavo; Orji, Rita; Vella, Kellie; Johnson, Daniel; Van Dooren, Marierose; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Gamification and games have been used and studied in a variety of applications related with health and wellbeing. Nevertheless, there are very few studies aimed at designing games (whether serious games or recreational ...
    • Recommender Systems for Personalized Gamification 

      Fortes Tondello, Gustavo; Orji, Rita; Nacke, Lennart (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 ...
    • Elements of Gameful Design Emerging from User Preferences 

      Fortes Tondello, Gustavo; Mora, Alberto; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ...
    • A Framework and Taxonomy of Videogame Playing Preferences 

      Fortes Tondello, Gustavo; Wehbe, Rina Renee; Orji, Rita; Ribeiro, Giovanni; Nacke, Lennart (Association for Computing Machinery, 2017-10-15)
      Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ...
    • Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript 

      Arteca, Ellen (University of Waterloo, 2018-08-31)
      As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ...
    • Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics 

      Turcotte, Alexi (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. ...
    • Serverless Data Analytics with Flint 

      Kim, Youngbin (University of Waterloo, 2018-08-30)
      Serverless architectures organized around loosely-coupled function invocations represent an emerging design for many applications. Recent work mostly focuses on user-facing products and event-driven processing pipelines. ...
    • The Effects of Time Constraints and Document Excerpts on Relevance Assessing Behavior 

      Rahbariasl, Shahin (University of Waterloo, 2018-08-30)
      Assessors who judge the relevance of documents to the search topics and perform the relevance assessment process are one of the main parts of Information Retrieval (IR) sys- tems evaluations. They play a significant role ...
    • Refresh Strategies in Continuous Active Learning 

      Ghelani, Nimesh (University of Waterloo, 2018-08-27)
      High recall information retrieval is crucial to tasks such as electronic discovery and systematic review. Continuous Active Learning (CAL) is a technique where a human assessor works in loop with a machine learning model; ...
    • Minimum Shared-Power Edge Cut 

      Jain, Kshitij (University of Waterloo, 2018-08-24)
      We introduce a problem called the Minimum Shared-Power Edge Cut (MSPEC). The input to the problem is an undirected edge-weighted graph with distinguished vertices s and t, and the goal is to find an s-t cut by assigning ...
    • The Complexity of Network Design for s-t Eff ective Resistance 

      Chan, Pak Hay (University of Waterloo, 2018-08-23)
      We consider a new problem of designing a network with small $s$-$t$ effective resistance. In this problem, we are given an undirected graph $G=(V,E)$ where each edge $e$ has a cost $c_e$ and a resistance $r_e$, two ...
    • Computational Problems Related to Open Quantum Systems 

      Wang, Chunhao (University of Waterloo, 2018-08-22)
      A quantum system that has interaction with external resources, such as probability distribution, dissipation, and noise, is referred to as an open quantum system. Not only do open quantum systems play a vital role in the ...
    • Concentration Bounds from Parallel Repetition Theorems 

      Hornby, Taylor (University of Waterloo, 2018-08-22)
      This thesis contributes to the study of parallel repetition theorems and concentration bounds for nonlocal games and quantum interactive proofs. We make the following contributions: - A lemma that is useful for converting ...

      UWSpace

      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