Browsing Mathematics (Faculty of) by Title
Now showing items 27702789 of 3032

TCP Connection Management Mechanisms for Improving Internet Server Performance
(University of Waterloo, 2005)This thesis investigates TCP connection management mechanisms in order to understand the behaviour and improve the performance of Internet servers during overload conditions such as flash crowds. We study several ... 
Techniques and heuristics for improving the visual design of software agreements
(University of Waterloo, 20100910)End users must regularly agree to lengthy software agreements prior to installing software or using software services. However, despite the fact that these agreements contain terms of direct concern to users—e.g., data ... 
Techniques for creating groundtruthed sketch corpora
(University of Waterloo, 20090826)The problem of recognizing handwritten mathematics notation has been studied for over forty years with little practical success. The poor performance of math recognition systems is due, at least in part, to a lack of ... 
Techniques for Proving Approximation Ratios in Scheduling
(University of Waterloo, 20100930)The problem of finding a schedule with the lowest makespan in the class of all flowtimeoptimal schedules for parallel identical machines is an NPhard problem. Several approximation algorithms have been suggested for ... 
Techniques for Quantum Computing
(University of Waterloo, 20070921)This thesis is about techniques for quantum computing. A common theme throughout this work is the examination of how quantum algorithms and protocols might be implemented in practice. I explore this question at the level ... 
Techniques in operator algebras: classification, dilation and noncommutative boundary theory
(University of Waterloo, 20170811)In this thesis we bring together several techniques in the theory of nonselfadjoint operator algebras and operator systems. We begin with classification of nonselfadjoint and selfadjoint operator algebras constructed ... 
Techniques of Side Channel Cryptanalysis
(University of Waterloo, 2001)The traditional model of cryptography examines the security of cryptographic primitives as mathematical functions. This approach does not account for the physical side effects of using these primitives in the real world. ... 
Technological strategies to estimate and control diffusive passage times through the mucus barrier in mucosal drug delivery
(Elsevier, 20180101)In mucosal drug delivery, two design goals are desirable: 1) insure drug passage through the mucosal barrier to the epithelium prior to drug removal from the respective organ via mucus clearance: and 2) design carrier ... 
Technology Diffusion on Spiders
(University of Waterloo, 20170829)There has been significant research about cascade effects that occur when information is spread through a network. Most models of such cascade effects are highlylocalised, which means that they assume a node’s behaviour ... 
Temporal Logic Model Checking as Automated Theorem Proving
(University of Waterloo, 20160119)Model checking is an automatic technique for the verification of temporal properties of a system. In this technique, a system is represented as a labelled graph and the specification as a temporal logic formula. The core ... 
Tensors: Entanglement, Geometry, and Combinatorics
(University of Waterloo, 20220426)In this thesis, we use algebraicgeometric and combinatorial techniques to study tensor decompositions, with applications in quantum information theory, algebraic complexity theory, and algebraic statistics. A tensor is a ... 
Territoriality and Behaviour On and Around Large Vertical PubliclyShared Displays
(University of Waterloo, 20120607)Large displays and information kiosks are becoming increasingly common installations in public venues to provide an efficient selfserve means for patrons to access information and/or services. They have evolved over a ... 
Tessellating Algebraic Curves and Surfaces Using APatches
(University of Waterloo, 20080516)This work approaches the problem of triangulating algebraic curves/surfaces with a subdivisionstyle algorithm using APatches. An implicit algebraic curve is converted from the monomial basis to the bivariate BernsteinBezier ... 
Test collections for webscale datasets using Dynamic Sampling
(University of Waterloo, 20220117)Dynamic Sampling is a nonuniform statistical sampling strategy based on SCAL, a highrecall retrieval algorithm. It is used for the construction of statistical test collections for evaluating information retrieval ... 
TestTime Training for Image Inpainting
(University of Waterloo, 20220621)Image inpainting is the task of filling missing regions in images with plausible and coherent content. The usual process involves training a CNN on a large collection of examples that it can learn from, to later apply this ... 
Testing Submodularity
(University of Waterloo, 20170928)We show that for any constants $\epsilon > 0$ and $p \ge 1$, given oracle access to an unknown function $f : \{0,1\}^n \to [0,1]$ it is possible to determine if the function is submodular or is $\epsilon$far from every ... 
Testing vertex connectivity of bowtie 1plane graphs
(University of Waterloo, 20220718)A separating set of a connected graph $G$ is a set of vertices $S$ such that $GS$ is disconnected. $S$ is a minimum separating set of $G$ if there is no separating set of $G$ with fewer vertices than $S$. The size of a ... 
Testing, Learning, Sampling, Sketching
(University of Waterloo, 20220822)We study several problems about sublinear algorithms, presented in two parts. Part I: Property testing and learning. There are two main goals of research in property testing and learning theory. The first is to understand ... 
Tetrahedral Embedded Boundary Methods for Accurate and Flexible Adaptive Fluids
(Wiley, 201005)When simulating fluids, tetrahedral methods provide flexibility and ease of adaptivity that Cartesian grids find difficult to match. However, this approach has so far been limited by two conflicting requirements. First, ... 
Text Mining to Understand Gender Issues: Stories from The Red Pill, Men's Rights, and Feminism Movements
(University of Waterloo, 20190828)Addressing gender issues has become important worldwide. The United Nations (UN) endorses big data projects as a valuable tool to monitor its genderrelated development goals. In this thesis, we first motivate the examination ...