• Learning Sparse Orthogonal Wavelet Filters 

  Recoskie, Daniel (University of Waterloo, 2018-10-12)

  The wavelet transform is a well studied and understood analysis technique used in signal processing. In wavelet analysis, signals are represented by a sum of self-similar wavelet and scaling functions. Typically, the wavelet ...

• Towards A Workload-Driven Flow Scheduler For Modern Datacenters 

  Naouach, Mohamed Malek (University of Waterloo, 2018-10-05)

  Modern datacenters run different applications with various communication requirements in terms of bandwidth and deadlines. Of particular interest are deadlines that are driving web-search workloads e.g. when submitting ...

• 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 ...

• Improving Artificial Neural Network Models for Predicting Hourly Water Consumption 

  WANG, LI (University of Waterloo, 2018-09-26)

  Smart water meter devices are now widely installed in single family residences, allowing water consumption data to be collected at a high resolution from both the temporal and spatial perspectives. Such data allows improved ...

• κDOT: A DOT Calculus with Mutation and Constructors 

  Kabir, Ifaz (University of Waterloo, 2018-09-26)

  Scala is a functional and object-oriented programming language which unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent ...

• On the relationship between satisfiability and partially observable Markov decision processes 

  Salmon, Ricardo (University of Waterloo, 2018-09-26)

  Stochastic satisfiability (SSAT), Quantified Boolean Satisfiability (QBF) and decision-theoretic planning in finite horizon partially observable Markov decision processes (POMDPs) are all PSPACE-Complete problems. Since ...

• Improving the Performance of User-level Runtime Systems for Concurrent Applications 

  Barghi, Saman (University of Waterloo, 2018-09-25)

  Concurrency is an essential part of many modern large-scale software systems. Applications must handle millions of simultaneous requests from millions of connected devices. Handling such a large number of concurrent ...

• Resource Orchestration in Softwarized Networks 

  Bari, Md. Faizul (University of Waterloo, 2018-09-24)

  Network softwarization is an emerging research area that is envisioned to revolutionize the way network infrastructure is designed, operated, and managed today. Contemporary telecommunication networks are going through a ...

• 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 ...

View more