Browsing Mathematics (Faculty of) by Title
Now showing items 2043-2062 of 2993
-
Path Queries in Weighted Trees
(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 ... -
Path Tableaux and the Combinatorics of the Immanant Function
(University of Waterloo, 2013-04-29)Immanants are a generalization of the well-studied determinant and permanent. Although the combinatorial interpretations for the determinant and permanent have been studied in excess, there remain few combinatorial ... -
A Path to DOT: Formalizing Scala with Dependent Object Types
(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.
(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
(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 ... -
Penalized Regression for Interval-Censored Times of Disease Progression: Selection of HLA Markers in Psoriatic Arthritis
(Wiley, 2015-09)Times of disease progression are interval-censored when progression status is only known at a series of assessment times. This situation arises routinely in clinical trials and cohort studies when events of interest are ... -
Pencil Light Transport
(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?
(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 ... -
Peptide Sequencing with Deep Learning
(University of Waterloo, 2020-09-30)In shotgun proteomics, de novo peptide sequencing from tandem mass spectrometry data is the key technology for finding new peptide or protein sequences. It has successful applications in assembling monoclonal antibody ... -
Perceptions and Practicalities for Private Machine Learning
(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, ... -
Perceptual Allowances of Anamorphic Interaction Cues in Spatial Augmented Reality
(University of Waterloo, 2023-10-17)Spatial Augmented Reality (SAR) enables the projection of digital content directly on the physical environment without the use of wearable displays. In spaces where viewers are encouraged to explore different locations, ... -
Perfect Hash Families: Constructions and Applications
(University of Waterloo, 2003)Let <b>A</b> and <b>B</b> be finite sets with |<b>A</b>|=<i>n</i> and |<b>B</b>|=<i>m</i>. An (<i>n</i>,<i>m</i>,<i>w</i>)-<i>perfect hash</i> family</i> is a collection <i>F</i> of functions from <b>A</b> to <b>B</b> ... -
Performance Analysis of Distributed Virtual Environments
(University of Waterloo, 2006)A distributed virtual environment (DVE) is a shared virtual environment where multiple users at their workstations interact with each other. Some of these systems may support a large number of users, e. g. , massive ... -
Performance Comparison of Uniprocessor and Multiprocessor Web Server Architectures
(University of Waterloo, 2010-02-11)This thesis examines web-server architectures for static workloads on both uniprocessor and multiprocessor systems to determine the key factors affecting their performance. The architectures examined are event-driven ... -
A Performance Evaluation of Database Systems on Virtual Machines
(University of Waterloo, 2008-01-16)Virtual machine technologies offer simple and practical mechanisms to address many manageability problems in database systems. For example, these technologies allow for server consolidation, easier deployment, and more ... -
Performance Evaluation of Self-stabilizing Algorithms by Probabilistic Model Checking
(University of Waterloo, 2014-08-08)A self-stabilizing protocol is one that starting from any arbitrary initial state recovers to legitimate states in a finite number of steps, and once it stabilizes to a set of legitimate states, it remains there unless it ... -
Performance Evaluation of WiFi Backscatter Systems
(University of Waterloo, 2020-09-29)WiFi backscatter communication has been proposed to enable battery-free sensors to transmit data using WiFi networks. The main advantage of WiFi backscatter technologies over RFID is that data from their tags can be read ... -
Performance Isolation in Cloud Storage Systems
(University of Waterloo, 2013-09-27)Cloud computing enables data centres to provide resource sharing across multiple tenants. This sharing, however, usually comes at a cost in the form of reduced isolation between tenants, which can lead to inconsistent ... -
Performance of a Cluster that Supports Resource Reservation and On-demand Access
(University of Waterloo, 2009-07-24)Next generation data centres are expected to support both advance resource reservation and on-demand access, but the system performance for such a computing environment has not been well-investigated. A reservation request ... -
Performance of Dynamic Hedging Strategies for Cash Balance Pension Plans
(University of Waterloo, 2015-09-28)Cash balance (CB) pension plans make up 25% of all defined benefit plans in the US. The benefits are accumulated at guaranteed crediting rates, the most popular choice is the yield on the 30-year Treasury bond. In this ...