Browsing Mathematics (Faculty of) by Title
Now showing items 1222-1241 of 2996
-
Highly Non-Convex Crossing Sequences
(University of Waterloo, 2012-05-18)For a given graph, G, the crossing number crₐ(G) denotes the minimum number of edge crossings when a graph is drawn on an orientable surface of genus a. The sequence cr₀(G), cr₁(G), ... is said to be the crossing sequence ... -
Highway Development Decision-Making Under Uncertainty: Analysis, Critique and Advancement
(University of Waterloo, 2011-01-20)While decision-making under uncertainty is a major universal problem, its implications in the field of transportation systems are especially enormous; where the benefits of right decisions are tremendous, the consequences ... -
Hilbert space operators with compatible off-diagonal corners
(Elsevier, 2018-08-15)Given a complex, separable Hilbert space H, we characterize those operators for which ‖PT(I−P)‖=‖(I−P)TP‖ for all orthogonal projections P on H. When H is finite-dimensional, we also obtain a complete characterization of ... -
Homologous Gene Finding with a Hidden Markov Model
(University of Waterloo, 2007-01-18)The homology search problem and the gene finding problem are two fundamental problems in bioinformatics. The homology search problem is to find the homologous regions of two biological sequences; the gene finding problem ... -
Homologous Gene Finding with a Hidden Markov Model
(University of Waterloo, 2007-01-12)The homology search problem and the gene finding problem are two fundamental problems in bioinformatics. The homology search problem is to find the homologous regions of two biological sequences; the gene finding problem ... -
Homomorphic Encryption
(University of Waterloo, 2013-01-24)In this thesis, we provide a summary of fully homomorphic encryption, and in particular, look at the BGV encryption scheme by Brakerski, Gentry, and Vaikuntanathan; as well the DGHV encryption scheme by van Dijk, Gentry, ... -
Homotopy algorithms for solving structured determinantal systems
(University of Waterloo, 2020-12-17)Multivariate polynomial systems arising in numerous applications have special structures. In particular, determinantal structures and invariant systems appear in a wide range of applications such as in polynomial optimization ... -
Honest Approximations to Realistic Fault Models and Their Applications to Efficient Simulation of Quantum Error Correction
(University of Waterloo, 2014-04-25)Understanding the performance of realistic noisy encoded circuits is an important task for the development of large-scale practical quantum computers. Specifically, the development of proposals for quantum computation must ... -
Honkling: In-Browser Personalization for Ubiquitous Keyword Spotting
(University of Waterloo, 2019-12-19)Used for simple voice commands and wake-word detection, keyword spotting (KWS) is the task of detecting pre-determined keywords in a stream of utterances. A common implementation of KWS involves transmitting audio samples ... -
House Price Risk in Mortgage Contracts
(University of Waterloo, 2016-01-25)Research has shown that mortgage default is closely related to house prices. When house prices fall the borrower has an incentive to default. Since default incurs substantial cost to the lender, the borrower and many other ... -
How I wasted too long finding a concentration inequality for sums of geometric variables
(2011)I wanted a concentration inequality for sums of iid geometric random variables. This took way too long. -
How many crowdsourced workers should a requester hire?
(Springer, 2016-01)Recent years have seen an increased interest in crowdsourcing as a way of obtaining information from a potentially large group of workers at a reduced cost. The crowdsourcing process, as we consider in this paper, is as ... -
How Programmers Comment When They Think Nobody's Watching
(University of Waterloo, 2014-04-17)Documentation is essential to software development. Experienced programmers know this well from having worked with poorly documented code. They wish to improve their documentation techniques and habits, but there is ... -
Hubble Spacer Telescope
(University of Waterloo, 2022-01-19)Visualizing a model checker’s run on a model can be useful when trying to gain a deeper understanding of the verification of the particular model. However, it can be difficult to formalize the problem that visualization ... -
Human Skin Modelling and Rendering
(University of Waterloo, 2004)Creating realistic-looking skin is one of the holy grails of computer graphics and is still an active area of research. The problem is challenging due to the inherent complexity of skin and its variations, not only across ... -
Human-AI Interaction in the Presence of Ambiguity: From Deliberation-based Labeling to Ambiguity-aware AI
(University of Waterloo, 2020-09-11)Ambiguity, the quality of being open to more than one interpretation, permeates our lives. It comes in different forms including linguistic and visual ambiguity, arises for various reasons and gives rise to disagreements ... -
A Human-Machine Framework for the Classification of Phonocardiograms
(University of Waterloo, 2018-04-20)In this thesis, we present and evaluate a framework for combining machine learning algo- rithms, crowd workers, and experts in the classification of heart sound recordings. The development of a hybrid human-machine framework ... -
Hurwitz Trees and Tropical Geometry
(University of Waterloo, 2016-01-21)The lifting problem in algebraic geometry asks when a finite group G acting on a curve defined over characteristic p > 0 lifts to characteristic 0. One object used in the study of this problem is the Hurwitz tree, which ... -
A Hybrid Cellular Automata Model for the Role of Reactive Oxygen Species in Novel Tumour Treatments Strategies
(University of Waterloo, 2015-01-21)Cancer is a disease that entails uncontrolled proliferation and a disruption of tissue function that often results in a poor clinical outcome. Furthermore, it has continued to elude any universal treatment or cure in part ... -
A Hybrid Model for Object-Oriented Software Maintenance
(University of Waterloo, 2008-09-22)An object-oriented software system is composed of a collection of communicating objects that co-operate with one another to achieve some desired goals. The object is the basic unit of abstraction in an OO program; ...