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

  • Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages 

    Brzozowski, Janusz; Sinnamon, Corwin (Springer, 2017-03-06)
    A language L over an alphabet Σ is suffix-convex if, for any words x,y,z∈Σ∗, whenever z and xyz are in L, then so is yz. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and suffix-free ...
  • Complexity of Proper Prefix-Convex Regular Languages 

    Brzozowski, Janusz; Sinnamon, Corwin (Springer, 2017-06-27)
    A language L over an alphabet Σ is prefix-convex if, for any words x,y,z∈Σ∗, whenever x and xyz are in L, then so is xy. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages, which were ...
  • Most Complex Non-returning Regular Languages 

    Brzozowski, Janusz; Davies, Sylvie (Springer, 2017-07-03)
    A regular language L is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of ...
  • A Human-Machine Framework for the Classification of Phonocardiograms 

    Callaghan, William (University of Waterloo, 2018-04-20)
    In this thesis, we present and evaluate a framework for combining machine learning algo- rithms, crowd workers, and experts in the classification of heart sound recordings. The development of a hybrid human-machine framework ...
  • A Study of Immediate Requery Behavior in Search 

    Zhang, Haotian; Abualsaud, Mustafa; Smucker, Mark D. (Association for Computing Machinery, 2018-03-11)
    When search results fail to satisfy users' information needs, users often reformulate their search query in the hopes of receiving better results. In many cases, users immediately requery without clicking on any search ...
  • Attributed Intelligence 

    Kryven, Marta (University of Waterloo, 2018-01-31)
    Human beings quickly and confidently attribute more or less intelligence to one another. What is meant by intelligence when they do so? And what are the surface features of human behaviour that determine their judgements? ...
  • Exploring the Potential of Wrist-Worn Gesture Sensing 

    Liu, Qi Feng (University of Waterloo, 2018-01-22)
    This thesis aims to explore the potential of wrist-worn gesture sensing. There has been a large amount of work on gesture recognition in the past utilizing different kinds of sensors. However, gesture sets tested across ...
  • Smart-Meter Enabled Estimation and Prediction of Outdoor Residential Water Consumption 

    Platsko, Valerie (University of Waterloo, 2018-01-22)
    Smart meter technology allows frequent measurements of water consumption at a household level. This greater availability of data allows improved analysis of patterns of residential water consumption, which is important ...
  • Strategic Voting and Social Networks 

    Tsang, Alan (University of Waterloo, 2018-01-19)
    With the ever increasing ubiquity of social networks in our everyday lives, comes an increasing urgency for us to understand their impact on human behavior. Social networks quantify the ways in which we communicate with ...
  • Improvements to Transitive-Closure-based Model Checking in Alloy 

    Farheen, Sabria (University of Waterloo, 2018-01-19)
    Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ...
  • Extracting Non-Functional Requirements from Unstructured Text 

    Ezami, Sahba (University of Waterloo, 2018-01-18)
    Non-functional requirements (NFRs) of a software system describe desired quality attributes rather than specific user-visible features; NFRs model stakeholder expectations about pervasive system properties such as performance, ...
  • Concurrency in C∀ 

    Delisle, Thierry (University of Waterloo, 2018-01-18)
    C∀ is a modern, non-object-oriented extension of the C programming language. This thesis serves as a definition and an implementation for the concurrency and parallelism C∀ offers. These features are created from scratch ...
  • On the Bluish Appearance of Veins 

    Van Leeuwen, Spencer (University of Waterloo, 2018-01-18)
    The bluish appearance of veins located immediately beneath the skin has long been a topic of interest for biomedical optics researchers. Despite this interest, a thorough identification of the specific optical processes ...
  • Stream WatDiv - A Streaming RDF Benchmark 

    Gao, Libo (University of Waterloo, 2018-01-18)
    Modern applications are required to process stream data which are semantically tagged. Sometimes static background data interlinked with stream data are also needed to answer the query. To meet these requirements, streaming ...
  • Filtering overfitted automatically-generated patches by using automated test generation 

    Zhikhartsev, Alexey (University of Waterloo, 2018-01-17)
    "Generate-and-Validate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the first patch that passes all the test ...
  • StyleCounsel: Seeing the (Random) Forest for the Trees in Adversarial Code Stylometry 

    McKnight, Christopher (University of Waterloo, 2018-01-12)
    Authorship attribution has piqued the interest of scholars for centuries, but had historically remained a matter of subjective opinion, based upon examination of handwriting and the physical document. Midway through the ...
  • Viscous Liquid Animation with Spatially Adaptive Grids 

    Yipeng, Wang (University of Waterloo, 2018-01-08)
    Viscous fluid behaviors are among the most complex yet familiar physical phenomena we encounter in everyday life. Much attention and investigation has been paid to the creation of visually realistic results, especially ...
  • Using Least Squares to Construct Improved Clough-Tocher Interpolant 

    Fang, Xiang (University of Waterloo, 2018-01-08)
    In this thesis, a quartic Clough-Tocher interpolation scheme is introduced, and additional modifications, to adjust the macro-boundary and the order of continuity across domain triangles, are provided to improve both the ...
  • The use of machine learning algorithms in recommender systems: A systematic review 

    Portugal, Ivens; Alencar, Alencar; Cowan, Donald (Elsevier, 2018-05-01)
    Recommender systems use algorithms to provide users with product or service recommendations. Recently, these systems have been using machine learning algorithms from the field of artificial intelligence. However, choosing ...
  • Affective Sentiment and Emotional Analysis of Pull Request Comments on GitHub 

    Rishi, Deepak (University of Waterloo, 2017-12-15)
    Sentiment and emotional analysis on online collaborative software development forums can be very useful to gain important insights into the behaviors and personalities of the developers. Such information can later on be ...

View more


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