Browsing Computer Science by Type "Doctoral Thesis"
Now showing items 1-20 of 422
-
3D Pointing with Everyday Devices: Speed, Occlusion, Fatigue
(University of Waterloo, 2015-07-24)In recent years, display technology has evolved to the point where displays can be both non-stereoscopic and stereoscopic, and 3D environments can be rendered realistically on many types of displays. From movie theatres ... -
Accelerating and Privatizing Diffusion Models
(University of Waterloo, 2023-08-17)Diffusion models (DMs) have emerged as a powerful class of generative models. DMs offer both state-of-the-art synthesis quality and sample diversity in combination with a robust and scalable learning objective. DMs rely ... -
Access Control Administration with Adjustable Decentralization
(University of Waterloo, 2007-09-12)Access control is a key function of enterprises that preserve and propagate massive data. Access control enforcement and administration are two major components of the system. On one hand, enterprises are responsible for ... -
Adaptive CPU Allocation for Resource Isolation and Work Conservation
(University of Waterloo, 2020-07-06)Consolidating multiple workloads on the same physical machine is an effective measure for utilizing resources efficiently and reducing costs. The main objective is to execute multiple demanding workloads using no more than ... -
Adaptive Data Storage and Placement in Distributed Database Systems
(University of Waterloo, 2022-09-01)Distributed database systems are widely used to provide scalable storage, update and query facilities for application data. Distributed databases primarily use data replication and data partitioning to spread load across ... -
Adaptive Human-Chatbot Interactions: Contextual Factors, Variability Design and Levels of Automation
(University of Waterloo, 2023-12-05)The landscape of software development is undergoing a significant transformation characterized by various factors. A notable shift is the surging demand for software developers, driven by industries' increasing reliance ... -
Adaptive User Authentication on Mobile Devices
(University of Waterloo, 2022-07-19)Modern mobile devices allow users to access various applications and services anywhere. However, high mobility also exposes mobile devices to device loss, unauthorized access, and many other risks. Existing studies have ... -
Addressing the Issues of Coalitions and Collusion in Multiagent Systems
(University of Waterloo, 2013-05-22)In the field of multiagent systems, trust and reputation systems are intended to assist agents in finding trustworthy partners with whom to interact. Earlier work of ours identified in theory a number of security ... -
Admission Control for Independently-authored Realtime Applications
(University of Waterloo, 2004)This thesis presents the LiquiMedia operating system architecture. LiquiMedia is specialized to schedule multimedia applications. Because they generate output for a human observer, multimedia applications such as ... -
Advanced Concepts in Asynchronous Exception Handling
(University of Waterloo, 2011-01-21)Asynchronous exception handling is a useful and sometimes necessary alternative form of communication among threads. This thesis examines and classifies general concepts related to asynchrony, asynchronous propagation ... -
Advancements in the Elicitation and Aggregation of Private Information
(University of Waterloo, 2014-08-28)There are many situations where one might be interested in eliciting and aggregating the private information of a group of agents. For example, a recommendation system might suggest recommendations based on the aggregate ... -
Affective Expressions in Conversational Agents for Learning Environments: Effects of curiosity, humour, and expressive auditory gestures
(University of Waterloo, 2021-12-13)Conversational agents -- systems that imitate natural language discourse -- are becoming an increasingly prevalent human-computer interface, being employed in various domains including healthcare, customer service, and ... -
Agent-Based Modeling Framework for Energy Policies
(University of Waterloo, 2016-08-09)Energy infrastructure systems -- including energy generation, transmission, and distribution systems -- provide consumers with access to energy. Energy systems have been relatively static for several decades but due to ... -
Algorithmic Analysis of Infinite-State Systems
(University of Waterloo, 2009-02-10)Many important software systems, including communication protocols and concurrent and distributed algorithms generate infinite state-spaces. Model-checking which is the most prominent algorithmic technique for the verification ... -
Algorithms for Characterizing Peptides and Glycopeptides with Mass Spectrometry
(University of Waterloo, 2013-09-26)The emergence of tandem mass spectrometry (MS/MS) technology has significantly accelerated protein identification and quantification in proteomics. It enables high-throughput analysis of proteins and their quantities in a ... -
Algorithms for Drinfeld Modules
(University of Waterloo, 2024-04-23)Drinfeld modules play an important role in number theory over function fields, analogizing that of elliptic curves for the number field setting. The broad success in translating results over from number fields to function ... -
Algorithms for Geometric Covering and Piercing Problems
(University of Waterloo, 2013-01-10)This thesis involves the study of a range of geometric covering and piercing problems, where the unifying thread is approximation using disks. While some of the problems addressed in this work are solved exactly with ... -
Algorithms for Geometric Facility Location: Centers in a Polygon and Dispersion on a Line
(University of Waterloo, 2023-02-24)We study three geometric facility location problems in this thesis. First, we consider the dispersion problem in one dimension. We are given an ordered list of (possibly overlapping) intervals on a line. We wish to choose ... -
Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials
(University of Waterloo, 2003)In this thesis we study algorithms for computing normal forms for matrices of Ore polynomials while controlling coefficient growth. By formulating row reduction as a linear algebra problem, we obtain a fraction-free ... -
Algorithms in Intersection Theory in the Plane
(University of Waterloo, 2023-06-02)This thesis presents an algorithm to find the local structure of intersections of plane curves. More precisely, we address the question of describing the scheme of the quotient ring of a bivariate zero-dimensional ideal ...