• Succinct Data Structures for Chordal Graphs 

  Wu, Kaiyu (University of Waterloo, 2019-04-10)

  We study the problem of approximate shortest path queries in chordal graphs and give a n log n + o(n log n) bit data structure to answer the approximate distance query to within an additive constant of 1 in O(1) time. We ...

• Formal Methods in Quantum Circuit Design 

  Amy, Matthew (University of Waterloo, 2019-02-26)

  The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ...

• An Analysis on The Network Structure of Influential Communities in Twitter 

  Schunk, Adam (University of Waterloo, 2019-02-21)

  Over the past years online social networks have become a major target for marketing strategies, generating a need for methods to efficiently spread information through these networks. Close knit communities have developed ...

• Detecting Vulnerable JavaScript Libraries in Hybrid Android Applications 

  Volodin, Nikita (University of Waterloo, 2019-02-15)

  Smartphone devices are very popular. There are a lot of devices being sold, a lot of applications that are created and a lot of people using those applications. However, mobile applications could only be created in the ...

• Applications of Artificial Intelligence to the NHL Entry Draft 

  Alcox, Brandon (University of Waterloo, 2019-01-31)

  This thesis investigates the application of various fields of artificial intelligence to the domain of sports management and analysis. The research in this thesis is primarily focussed on the entry draft for the National ...

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

• Dash: Declarative Behavioural Modelling in Alloy 

  Serna, Jose (University of Waterloo, 2019-01-25)

  An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of ...

• Gradual C Programming for Typed Lua 

  Turas, Rafi (University of Waterloo, 2019-01-22)

  The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ...

• UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler 

  Anthony, Anthony (University of Waterloo, 2019-01-16)

  Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ...

• User-Controlled Computations in Untrusted Computing Environments 

  Vinayagamurthy, Dhinakaran (University of Waterloo, 2019-01-15)

  Computing infrastructures are challenging and expensive to maintain. This led to the growth of cloud computing with users renting computing resources from centralized cloud providers. There is also a recent promise in ...

• Automating Programming Assignment Marking with AST Analysis 

  Li, Sichuang (University of Waterloo, 2019-01-14)

  This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ...

• Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold 

  Li, Xiao-Bo (University of Waterloo, 2019-01-09)

  This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where inter-atomic interactions are assumed to be modelled by a Hookean ...

• An Affine Semi-Lagrangian Advection Method 

  Marcoux-Ouellet, Jade (University of Waterloo, 2019-01-08)

  In computer graphics, the standard semi-Lagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ...

• Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems 

  Dunne, Murray (University of Waterloo, 2019-01-07)

  Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will ...

• Astra: Evaluating Translations from Alloy to SMT-LIB 

  Abbassi, Ali (University of Waterloo, 2018-12-21)

  We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ...

• Enhanced Multi-Touch Gestures for Complex Tasks 

  Avery, Jeff (University of Waterloo, 2018-12-21)

  Recent technological advances have resulted in a major shift, from high-performance notebook and desktop computers -- devices that rely on keyboard and mouse for input -- towards smaller, personal devices like smartphones, ...

• Analysis and Optimization of TrueType Font Bytecode 

  Liu, Zeming (University of Waterloo, 2018-12-19)

  TrueType is one of the most widely used vectorized font formats. It can be optimally rendered on screens with different resolutions and different font sizes thanks to hints expressed as bytecode programs. Font engines ...

• Counting, Adding, and Regular Languages 

  Lidbetter, Thomas (University of Waterloo, 2018-12-17)

  In this thesis we consider two mostly disjoint topics in formal language theory that both involve the study and use of regular languages. The first topic lies in the intersection of automata theory and additive number ...

• Empirical validation of the Gamification User Types Hexad scale in English and Spanish 

  Fortes Tondello, Gustavo; Mora, Alberto; Marczewski, Andrzej; Nacke, Lennart E. (Elsevier, 2018-10-13)

  Gamification, the use of game elements in non-game systems, is now established as a relevant research field in human-computer interaction (HCI). Several empirical studies have shown that gameful interventions can increase ...

• An Analysis of Network-Partitioning Failures in Cloud Systems 

  Alquraan, Ahmed (University of Waterloo, 2018-12-10)

  We present a comprehensive study of 136 system failures attributed to network-partitioning faults from 25 widely used distributed systems. We found that the majority of the failures led to catastrophic effects, such as ...

View more