Browsing Mathematics (Faculty of) by Title
Now showing items 1956-1975 of 2998
-
On the Succinct Representation of Equivalence Classes
(University of Waterloo, 2014-12-17)Given a set of n elements that are partitioned into equivalence classes, we study the problem of assigning unique labels to these elements in order to support the query that asks whether the elements corresponding to two ... -
On the TVD property of second order methods for 2D scalar conservation laws
(arXiv, 2021-10-05)The total variation diminishing (TVD) property is an important tool for ensuring nonlinear stability and convergence of numerical solutions of one-dimensional scalar conservation laws. However, it proved to be challenging ... -
On the Utility of Adding An Abstract Domain and Attribute Paths to SQL
(University of Waterloo, 2018-04-30)Albeit its popularity today, RDBMS and the relational model still have many limitations. For example, one needs to pay premature attention to naming issues in the schema designing phase; and the syntax for conjunctive ... -
On Tolerant Testing and Tolerant Junta Testing
(University of Waterloo, 2020-07-08)Over the past few decades property testing has became an active field of study in theoretical computer science. The algorithmic task is to determine, given access to an unknown large object (e.g., function, graph, probability ... -
On Transcendence of Irrationals with Non-eventually Periodic b-adic Expansions
(University of Waterloo, 2010-05-18)It is known that almost all numbers are transcendental in the sense of Lebesgue measure. However there is no simple rule to separate transcendental numbers from algebraic numbers. Today research in this direction is about ... -
On Using Embeddings for Ownership Verification of Graph Neural Networks
(University of Waterloo, 2023-08-11)Graph neural networks (GNNs) have emerged as a state-of-the-art approach to model and draw inferences from large scale graph-structured data in various application settings such as social networking. The primary goal of a ... -
On Using Storage and Genset for Mitigating Power Grid Failures
(University of Waterloo, 2013-04-25)Although modern society is critically reliant on power grids, even modern power grids are subject to unavoidable outages due to storms, lightning strikes, and equipment failures. The situation in developing countries is ... -
On Vegh's Strongly Polynomial Algorithm for Generalized Flows
(University of Waterloo, 2014-05-22)This thesis contains an exposition of the new strongly polynomial algorithm for the generalized flow problem by Laszlo Vegh (2013). It has been a long-standing open question whether such an algorithm exists, until it was ... -
One-Dimensional Population Density Approaches To Recurrently Coupled Networks Of Neurons With Noise
(Society for Industrial and Applied Mathematics, 2015)Mean-field systems have been previously derived for networks of coupled, two-dimensional, integrate-and-fire neurons such as the Izhikevich, adapting exponential, and quartic integrate-and-fire, among others. Unfortunately, ... -
An Online Analytical System for Multi-Tagged Document Collections
(University of Waterloo, 2015-12-03)The New York Times Annotated Corpus and the ACM Digital Library are two prototypical examples of document collections in which each document is tagged with keywords and significant phrases. Such collections can be viewed ... -
Online Bayesian Learning in Probabilistic Graphical Models using Moment Matching with Applications
(University of Waterloo, 2016-05-18)Probabilistic Graphical Models are often used to e fficiently encode uncertainty in real world problems as probability distributions. Bayesian learning allows us to compute a posterior distribution over the parameters of ... -
Online Monitoring of Distributed Systems Using Causal Event Patterns
(University of Waterloo, 2014-08-11)Event monitoring and logging, that is, recording the communication events between processes, is a critical component in many highly reliable distributed systems. The event logs enable the identification of certain ... -
Online Trace Reordering for Efficient Representation of Event Partial Orders
(University of Waterloo, 2012-01-20)Distributed and parallel applications not only have distributed state but are often inherently non-deterministic, making them significantly more challenging to monitor and debug. Additionally, a significant challenge ... -
OOMatch: Pattern Matching as Dispatch in Java
(University of Waterloo, 2007-09-11)We present a new language feature, specified as an extension to Java. The feature is a form of dispatch, which includes and subsumes multimethods, but which is not as powerful as general predicate dispatch. It is, however, ... -
Open Shortest Path First Routing Under Random Early Detection
(Wiley, 2018-03-01)In this article, we consider a variant of Open Shortest Path First (OSPF) routing that accounts for Random Early Detection (RED), an Active Queue Management method for backbone networks. In the version of OSPF we consider ... -
Open Source Software Evolution and Its Dynamics
(University of Waterloo, 2006)This thesis undertakes an empirical study of software evolution by analyzing open source software (OSS) systems. The main purpose is to aid in understanding OSS evolution. The work centers on collecting large quantities ... -
OpenBSD Hardware Sensors — Environmental Monitoring and Fan Control
(University of Waterloo, 2010-05-21)This thesis discusses the motivation, origin, history, design guidelines, API, the device drivers and userland utilities of the hardware sensors framework available in OpenBSD. The framework spans multiple utilities in ... -
Operator Spaces and Ideals in Fourier Algebras
(University of Waterloo, 2008-08-11)In this thesis we study ideals in the Fourier algebra, A(G), of a locally compact group G. For a locally compact abelian group G, necessary conditions for a closed ideal in A(G) to be weakly complemented are given, ... -
Operator Theoretic Methods in Nevanlinna-Pick Interpolation
(University of Waterloo, 2009-03-31)This Master's thesis will develops a modern approach to complex interpolation problems studied by Carath\'{e}odory, Nevanlinna, Pick, and Schur in the early $20^{th}$ century. The fundamental problem to solve is as follows: ... -
OPERATORS WHICH ARE POLYNOMIALLY ISOMETRIC TO A NORMAL OPERATOR
(American Mathematical Society, 2020-01-15)Let H be a complex, separable Hilbert space and B(H) denote the algebra of all bounded linear operators acting on H. Given a unitarily-invariant norm k · ku on B(H) and two linear operators A and B in B(H), we shall say ...