Computer Science
This is the collection for the University of Waterloo's Cheriton School of Computer Science .
Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).
Waterloo faculty, students, and staff can contact us or visit the UWSpace guide to learn more about depositing their research.
Recent deposits
-
Detecting Vulnerable JavaScript Libraries in Hybrid Android Applications
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ... -
TwitSong: A current events computer poet and the thorny problem of assessment.
(University of Waterloo, 2018-11-29)This thesis is driven by the question of how computers can generate poetry, and how that poetry can be evaluated. We survey existing work on computer-generated poetry and interdisciplinary work on how to evaluate this type ... -
Affect Lexicon Induction For the Github Subculture Using Distributed Word Representations
(University of Waterloo, 2018-11-06)Sentiments and emotions play essential roles in small group interactions, especially in self-organized collaborative groups. Many people view sentiments as universal constructs; however, cultural differences exist in some ... -
A Variability-Aware Design Approach to the Data Analysis Modeling Process
(University of Waterloo, 2018-10-25)The massive amount of current data has led to many different forms of data analysis processes that aim to explore this data to uncover valuable insights such as trends, anomalies and patterns. These processes support ...
RSS 1.0