Browsing Mathematics (Faculty of) by Type "Doctoral Thesis"
Now showing items 120 of 859

2Semilattices: Residual Properties and Applications to the Constraint Satisfaction Problem
(University of Waterloo, 20170822)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, 20150724)In recent years, display technology has evolved to the point where displays can be both nonstereoscopic and stereoscopic, and 3D environments can be rendered realistically on many types of displays. From movie theatres ... 
Access Control Administration with Adjustable Decentralization
(University of Waterloo, 20070912)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, 20110817)Hidden Markov models have become a popular tool for modeling longterm 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, 20150806)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, 20200706)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 policies and drawdown problems in insurance risk models
(University of Waterloo, 20150831)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, 20220719)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, 20130522)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 Independentlyauthored 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, 20110121)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, 20140828)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, 20211213)Conversational agents  systems that imitate natural language discourse  are becoming an increasingly prevalent humancomputer interface, being employed in various domains including healthcare, customer service, and ... 
AgentBased Modeling Framework for Energy Policies
(University of Waterloo, 20160809)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, 20191015)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 MultiParticle Quantum Walks
(University of Waterloo, 20121204)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, 20120921)We develop algebraic methods to solve joincut 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 ... 
Algebraic Multigrid for Markov Chains and Tensor Decomposition
(University of Waterloo, 20130123)The majority of this thesis is concerned with the development of efficient and robust numerical methods based on adaptive algebraic multigrid to compute the stationary distribution of Markov chains. It is shown that classical ... 
Algorithmic Analysis of a General Class of Discretebased Insurance Risk Models
(University of Waterloo, 20130828)The aim of this thesis is to develop algorithmic methods for computing particular performance measures of interest for a general class of discretebased insurance risk models. We build upon and generalize the insurance ... 
Algorithmic Analysis of InfiniteState Systems
(University of Waterloo, 20090210)Many important software systems, including communication protocols and concurrent and distributed algorithms generate infinite statespaces. Modelchecking which is the most prominent algorithmic technique for the verification ...