Browsing Mathematics (Faculty of) by Title
Now showing items 633-652 of 3027
-
A deletion–contraction relation for the chromatic symmetric function
(Elsevier, 2020-10)We extend the definition of the chromatic symmetric function XG to include graphs G with a vertex-weight function w : V (G) --> N. We show how this provides the chromatic symmetric function with a natural deletion-contraction ... -
Democracy Enhancing Technologies: Toward deployable and incoercible E2E elections
(University of Waterloo, 2011-06-09)End-to-end verifiable election systems (E2E systems) provide a provably correct tally while maintaining the secrecy of each voter's ballot, even if the voter is complicit in demonstrating how they voted. Providing voter ... -
Deniable Key Exchanges for Secure Messaging
(University of Waterloo, 2015-05-26)Despite our increasing reliance on digital communication, much of our online discourse lacks any security or privacy protections. Almost no email messages sent today provide end-to-end security, despite privacy-enhancing ... -
Density and Structure of Homomorphism-Critical Graphs
(University of Waterloo, 2018-08-22)Let $H$ be a graph. A graph $G$ is $H$-critical if every proper subgraph of $G$ admits a homomorphism to $H$, but $G$ itself does not. In 1981, Jaeger made the following conjecture concerning odd-cycle critical graphs: ... -
Dependence concepts and selection criteria for lattice rules
(University of Waterloo, 2014-01-24)Lemieux recently proposed a new approach that studies randomized quasi-Monte Carlothrough dependency concepts. By analyzing the dependency structure of a rank-1 lattice,Lemieux proposed a copula-based criterion with which ... -
Dependence modeling for multi-type recurrent events via copulas
(Wiley, 2019-09-20)When several types of recurrent events may arise, interest often lies in marginal modeling and studying the nature of the dependence structure. In this paper, we propose a multivariate mixed-Poisson model with the dependence ... -
Dependence of model energy spectra on vertical resolution
(American Meteorological Society, 2016-03)Many high-resolution atmospheric models can reproduce the qualitative shape of the atmospheric kinetic energy spectrum, which has a power-law slope of −3 at large horizontal scales that shallows to approximately −5/3 in ... -
Dependence: From classical copula modeling to neural networks
(University of Waterloo, 2020-08-25)The development of tools to measure and to model dependence in high-dimensional data is of great interest in a wide range of applications including finance, risk management, bioinformatics and environmental sciences. The ... -
A Dependency Tracking Storage System for Optimistic Execution of Serverless Applications
(University of Waterloo, 2022-12-20)Serverless computing has become an increasingly popular paradigm for building cloud applications. There has been a recent trend of building stateful applications on top of serverless platforms in the form of workflows ... -
Derived Geometry and the Integrability Problem for G-Structures
(University of Waterloo, 2017-08-24)In this thesis, we study the integrability problem for G-structures. Broadly speaking, this is the problem of determining topological obstructions to the existence of principal G-subbundles of the frame bundle of a manifold, ... -
Design and Analysis of Experiments on Networks
(University of Waterloo, 2024-04-17)In the design and analysis of experiments, it is often assumed that experimental units are independent, in the sense that the treatment assigned to one unit will not affect the potential outcome of another unit. However, ... -
Design and Analysis of Life History Studies Involving Incomplete Data
(University of Waterloo, 2022-04-26)Incomplete life history data can arise in study designs, coarsened observations, missing covariates, and unobserved latent processes. This thesis consists of three different projects developing statistical models and ... -
Design and Analysis of RC4-like Stream Ciphers
(University of Waterloo, 2005)RC4 is one of the most widely used ciphers in practical software applications. In this thesis we examine security and design aspects of RC4. First we describe the functioning of RC4 and present previously published ... -
Design and Evaluation of a Presentation Maestro: Controlling Electronic Presentations Through Gesture
(University of Waterloo, 2009-11-09)Gesture-based interaction has long been seen as a natural means of input for electronic presentation systems; however, gesture-based presentation systems have not been evaluated in real-world contexts, and the implications ... -
Design and Evaluation of Social CheatSheet: A Community-Curated Software Help Overlay
(University of Waterloo, 2017-08-15)Software users can often find it difficult to sift through dense help pages, tutorials, Q&A sites, blogs, and other resources, trying to locate useful task-specific instructions for the applications they use. We present ... -
Design and Evaluation of Temporal Summarization Systems
(University of Waterloo, 2014-06-06)Temporal Summarization (TS) is a new track introduced as part of the Text REtrieval Conference (TREC) in 2013. This track aims to develop systems which can return important updates related to an event over time. In TREC ... -
Design and Implementation of a Service Discovery and Recommendation Architecture for SaaS Applications
(University of Waterloo, 2010-09-28)Increasing number of software vendors are offering or planning to offer their applications as a Software-as-a-Service (SaaS) to leverage the benefits of cloud computing and Internet-based delivery. Therefore, potential ... -
Design and Implementation of Family Polymorphism for Interactive Theorem Proving
(University of Waterloo, 2023-06-13)With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs. This thesis presents a novel ... -
Design and Management of Collaborative Intrusion Detection Networks
(University of Waterloo, 2013-04-30)In recent years network intrusions have become a severe threat to the privacy and safety of computer users. Recent cyber attacks compromise a large number of hosts to form botnets. Hackers not only aim at harvesting private ... -
Design and Study of Emotions in Virtual Humans for Assistive Technologies
(University of Waterloo, 2016-04-27)This thesis presents the design and study of emotionally aligned prompts given by virtual humans for persons with cognitive disabilities such as Alzheimer’s disease and related dementias (ADRD). Our goal is to understand ...