Browsing Mathematics (Faculty of) by Type "Doctoral Thesis"
Now showing items 1-20 of 967
-
2-Semilattices: Residual Properties and Applications to the Constraint Satisfaction Problem
(University of Waterloo, 2017-08-22)Semilattices are algebras known to have an important connection to partially ordered sets. In particular, if a partially ordered set $(A,\leq)$ has greatest lower bounds, a semilattice $(A;\wedge)$ can be associated to the ... -
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 ... -
Actuarial Inference and Applications of Hidden Markov Models
(University of Waterloo, 2011-08-17)Hidden Markov models have become a popular tool for modeling long-term investment guarantees. Many different variations of hidden Markov models have been proposed over the past decades for modeling indexes such as the S&P ... -
Actuarial Ratemaking in Agricultural Insurance
(University of Waterloo, 2015-08-06)A scientific agricultural (re)insurance pricing approach is essential for maintaining sustainable and viable risk management solutions for different stakeholders including farmers, governments, insurers, and reinsurers. ... -
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 policies and drawdown problems in insurance risk models
(University of Waterloo, 2015-08-31)Ruin theory studies an insurer's solvency risk, and to quantify such a risk, a stochastic process is used to model the insurer's surplus process. In fact, research on ruin theory dates back to the pioneer works of Lundberg ... -
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 ... -
Algebraic Approaches to State Complexity of Regular Operations
(University of Waterloo, 2019-10-15)The state complexity of operations on regular languages is an active area of research in theoretical computer science. Through connections with algebra, particularly the theory of semigroups and monoids, many problems ... -
Algebraic Aspects of Multi-Particle Quantum Walks
(University of Waterloo, 2012-12-04)A continuous time quantum walk consists of a particle moving among the vertices of a graph G. Its movement is governed by the structure of the graph. More formally, the adjacency matrix A is the Hamiltonian that determines ... -
Algebraic Methods and Monotone Hurwitz Numbers
(University of Waterloo, 2012-09-21)We develop algebraic methods to solve join-cut equations, which are partial differential equations that arise in the study of permutation factorizations. Using these techniques, we give a detailed study of the recently ...