Now showing items 1016-1035 of 1561

    • A PAC-Theory of Clustering with Advice 

      Zokaei Ashtiani, Mohammad (University of Waterloo, 2018-05-17)
      In the absence of domain knowledge, clustering is usually an under-specified task. For any clustering application, one can choose among a variety of different clustering algorithms, along with different preprocessing ...
    • Packing Unit Disks 

      Lafreniere, Benjamin J. (University of Waterloo, 2008-08-27)
      Given a set of unit disks in the plane with union area A, what fraction of A can be covered by selecting a pairwise disjoint subset of the disks? Richard Rado conjectured 1/4 and proved 1/4.41. In this thesis, we consider ...
    • The Pair Cache Problem 

      Khodaee, SayedMohammadAmin (University of Waterloo, 2023-09-25)
      This thesis investigates the pair cache problem, a unique variation of the classic cache replacement problem where each element is stored in two pages, and the cache only needs one of these pages to respond to a query. The ...
    • Parallel Paths Analysis Using Function Call Graphs 

      Naeimian, Arman (University of Waterloo, 2019-09-23)
      Call graphs have been used widely in different software engineering areas. Since call graphs provide us with detailed information about the structure of software elements and components and how they are connected with each ...
    • Parallel Pattern Search in Large, Partial-Order Data Sets on Multi-core Systems 

      Ekpenyong, Olufisayo (University of Waterloo, 2011-01-20)
      Monitoring and debugging distributed systems is inherently a difficult problem. Events collected during the execution of distributed systems can enable developers to diagnose and fix faults. Process-time diagrams are ...
    • Parallel Repetition of Prover-Verifier Quantum Interactions 

      Molina Prieto, Abel (University of Waterloo, 2012-01-05)
      In this thesis, we answer several questions about the behaviour of prover-verifier interactions under parallel repetition when quantum information is allowed, and the verifier acts independently in them. We first ...
    • Parameter and Structure Learning Techniques for Sum Product Networks 

      Rashwan, Abdullah (University of Waterloo, 2019-09-25)
      Probabilistic graphical models (PGMs) provide a general and flexible framework for reasoning about complex dependencies in noisy domains with many variables. Among the various types of PGMs, sum-product networks (SPNs) ...
    • A Parameterized Algorithm for Upward Planarity Testing of Biconnected Graphs 

      Chan, Hubert (University of Waterloo, 2003)
      We can visualize a graph by producing a geometric representation of the graph in which each node is represented by a single point on the plane, and each edge is represented by a curve that connects its two ...
    • Parameterized Code Generation From Template Semantics 

      Prout, Adam (University of Waterloo, 2006)
      We have developed a tool that can create a Java code generator for a behavioural modelling notation given only a description of the notation's semantics as a set of parameters. This description is based on template ...
    • Parameterized Enumeration of Neighbour Strings and Kemeny Aggregations 

      Simjour, Narges (University of Waterloo, 2013-08-30)
      In this thesis, we consider approaches to enumeration problems in the parameterized complexity setting. We obtain competitive parameterized algorithms to enumerate all, as well as several of, the solutions for two related ...
    • Parlez-vous le hate?: Examining topics and hate speech in the alternative social network Parler 

      Ward, Ethan (University of Waterloo, 2021-12-23)
      Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ...
    • Passenger Response to Driving Style in an Autonomous Vehicle 

      Dillen, Nicole (University of Waterloo, 2019-09-23)
      Despite rapid advancements in automated driving systems (ADS), current human-computer interaction research tends to focus more on the safety driver in lower level vehicles. The future of automated driving lies in higher ...
    • Password Advice Shouldn't Be Boring: Visualizing Password Guessing Attacks 

      Zhang-Kennedy, Leah; Chiasson, Sonia; Biddle, Robert (IEEE, 2013-09)
      Users are susceptible to password guessing attacks when they create weak passwords. Despite an abundance of text-based password advice, it appears insufficient to help home users create strong memorable passwords. We propose ...
    • Path Queries in Weighted Trees 

      Zhou, Gelin (University of Waterloo, 2012-08-24)
      Trees are fundamental structures in computer science, being widely used in modeling and representing different types of data in numerous computer applications. In many cases, properties of objects being modeled are ...
    • A Path to DOT: Formalizing Scala with Dependent Object Types 

      Rapoport, Marianna (University of Waterloo, 2019-12-13)
      The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) type-safe way and is iii) easy to extend ...
    • Patterns of Search Result Examination: Query to First Action. 

      Abualsaud, Mustafa; Smucker, Mark (ACM, 2019-11-03)
      To determine key factors that affect a user's behavior with search results, we conducted a controlled eye-tracking study of users completing search tasks using both desktop and mobile devices. We focus our investigation ...
    • Peer-Based Intelligent Tutoring Systems: A Corpus-Oriented Approach 

      Champaign, John (University of Waterloo, 2012-05-11)
      In this thesis, we present an artificial intelligence approach for tutoring students in environments where there is a large repository of possible learning objects (e.g. texts, videos). In particular, we advocate that ...
    • Pencil Light Transport 

      Steigleder, Mauro (University of Waterloo, 2005)
      Global illumination is an important area of computer graphics, having direct applications in architectural visualization, lighting design and entertainment. Indirect illumination effects such as soft shadows, color ...
    • People know how diverse their music recommendations should be; why don’t we? 

      Robinson, Kyle (University of Waterloo, 2021-02-17)
      While many researchers have proposed various ways of quantifying recommendation list diversity, these approaches have had little input from users on their own perceptions and preferences in seeking diversity. Through a ...
    • Perceptions and Practicalities for Private Machine Learning 

      Kacsmar, Bailey (University of Waterloo, 2023-09-01)
      data they and their partners hold while maintaining data subjects' privacy. In this thesis I show that private computation, such as private machine learning, can increase end-users' acceptance of data sharing practices, ...

      UWSpace

      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