• 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