Now showing items 1-20 of 819

    • 2-Semilattices: Residual Properties and Applications to the Constraint Satisfaction Problem 

      Payne, Ian (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 

      Pietroszek, Krzysztof (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 ...
    • Access Control Administration with Adjustable Decentralization 

      Chinaei, Amir Hossein (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 

      Till, Matthew Charles (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 

      Zhu, Wenjun (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 

      Guo, Cong (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 policies and drawdown problems in insurance risk models 

      Li, Shu (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 ...
    • Addressing the Issues of Coalitions and Collusion in Multiagent Systems 

      Kerr, Reid Charles (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 

      Kroeger, Robert (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 

      Krischer, Roy (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 

      Carvalho, Arthur (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 ...
    • Agent-Based Modeling Framework for Energy Policies 

      Adepetu, Adedamola (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 

      Davies, Sylvie (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 

      Smith, Jamie (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 

      Guay-Paquet, Mathieu (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 ...
    • Algebraic Multigrid for Markov Chains and Tensor Decomposition 

      Miller, Killian (University of Waterloo, 2013-01-23)
      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 Discrete-based Insurance Risk Models 

      Singer, Basil Karim (University of Waterloo, 2013-08-28)
      The aim of this thesis is to develop algorithmic methods for computing particular performance measures of interest for a general class of discrete-based insurance risk models. We build upon and generalize the insurance ...
    • Algorithmic Analysis of Infinite-State Systems 

      Hassanzadeh Ghaffari, Naghmeh (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 and Models for Tensors and Networks with Applications in Data Science 

      Winlaw, Manda (University of Waterloo, 2016-01-19)
      Big data plays an increasingly central role in many areas of research including optimization and network modeling. We consider problems applicable to large datasets within these two branches of research. We begin by ...
    • Algorithms for Characterizing Peptides and Glycopeptides with Mass Spectrometry 

      He, Lin (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 ...

      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