Browsing Computer Science by Title
Now showing items 618637 of 1539

Hadez, a Framework for the Specification and Verification of Hypermedia Applications
(University of Waterloo, 2000)In recent years, several methodologies for the development of hypermedia applications have been proposed. These methodologies are, primarily, guidelines to be followed during the design process. They also indicate what ... 
Halfway to Halfspace Testing
(University of Waterloo, 20171018)In this thesis I study the problem of testing halfspaces under arbitrary probability distributions, using only random samples. A halfspace, or linear threshold function, is a boolean function f : Rⁿ → {±1} defined as the ... 
Harnessing Neural Dynamics as a Computational Resource
(University of Waterloo, 20220110)Researchers study nervous systems at levels of scale spanning several orders of magnitude, both in terms of time and space. While some parts of the brain are well understood at specific levels of description, there are few ... 
Harnessing the Power of Generative Models for Mobile Continuous and Implicit Authentication
(University of Waterloo, 20210630)Authenticating a user's identity lies at the heart of securing any information system. A trade off exists currently between user experience and the level of security the system abides by. Using Continuous and Implicit ... 
Hash Families and CoverFree Families with Cryptographic Applications
(University of Waterloo, 20100928)This thesis is focused on hash families and coverfree families and their application to problems in cryptography. We present new necessary conditions for generalized separating hash families, and provide new explicit ... 
Health Misinformation in Search and Social Media
(University of Waterloo, 20191128)People increasingly rely on the Internet in order to search for and share healthrelated information. Indeed, searching for and sharing information about medical treatments are among the most frequent uses of online data. ... 
'Healthy' Coreference: Applying Coreference Resolution to the Health Education Domain
(University of Waterloo, 20080826)This thesis investigates coreference and its resolution within the domain of health education. Coreference is the relationship between two linguistic expressions that refer to the same realworld entity, and resolution ... 
Hedging Costs for Variable Annuities
(University of Waterloo, 20130903)A general methodology is described in which policyholder behaviour is decoupled from the pricing of a variable annuity based on the cost of hedging it, yielding two sequences of weakly coupled systems of partial differential ... 
Hedging with a Correlated Asset: An Insurance Approach
(University of Waterloo, 2005)Hedging a contingent claim with an asset which is not perfectly correlated with the underlying asset results in an imperfect hedge. The residual risk from hedging with a correlated asset is priced using an actuarial ... 
Hermite form computation of matrices of differential polynomials
(University of Waterloo, 20090827)Given a matrix A in F(t)[D;\delta]^{n\times n} over the ring of differential polynomials, we first prove the existence of the Hermite form H of A over this ring. Then we determine degree bounds on U and H such that UA=H. ... 
Hermite Forms of Polynomial Matrices
(University of Waterloo, 20110823)This thesis presents a new algorithm for computing the Hermite form of a polynomial matrix. Given a nonsingular n by n matrix A filled with degree d polynomials with coefficients from a field, the algorithm computes the ... 
A Hierarchical Pedestrian Behaviour Model to Reproduce Realistic Human Behaviour in a Traffic Environment
(University of Waterloo, 20220307)Understanding pedestrian behaviour in traffic environments is a crucial step in the development and testing of autonomous vehicles. As the environment's most vulnerable road users, pedestrians introduce an element of ... 
Hierarchical reinforcement learning in a biologically plausible neural architecture
(University of Waterloo, 20141118)Humans and other animals have an impressive ability to quickly adapt to unfamiliar environments, with only minimal feedback. Computational models have been able to provide intriguing insight into these processes, by making ... 
Hierarchical RLE level set: A compact and versatile deformable surface representation
(Association for Computing Machinery, 200601)This article introduces the Hierarchical RunLength Encoded (HRLE) Level Set data structure. This novel data structure combines the best features of the DTGrid (of Nielsen and Museth [2004]) and the RLE Sparse Level Set ... 
Hierarchical Task Recognition and Planning in Smart Homes with Partial Observability
(University of Waterloo, 20170612)Older adults with cognitive impairment have significantly burdened their families and the society due to costly caring and waste of labors. Developing intelligent assistant agents (IAAs) in smart homes that can help those ... 
High Availability for Database Systems in Geographically Distributed Cloud Computing Environments
(University of Waterloo, 20140121)In recent years, cloud storage systems have become very popular due to their good scal ability and high availability. However, these storage systems provide limited transactional capabilities, which makes developing ... 
High Level Concurrency in C∀
(University of Waterloo, 20230925)Concurrent programs are notoriously hard to write and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup. ... 
High Performance Web Servers: A Study In Concurrent Programming Models
(University of Waterloo, 20190524)With the advent of commodity largescale multicore computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers. While academic research and industrial ... 
HighPerformance Concurrent Memory Allocation
(University of Waterloo, 20220525)Memory management takes a sequence of programgenerated allocation/deallocation requests and attempts to satisfy them within a fixedsized block of memory while minimizing the total amount of memory used. A generalpurpose ... 
Higher Order Random Walks, Local Spectral Expansion, and Applications
(University of Waterloo, 20200916)The study of spectral expansion of graphs and expander graphs has been an extremely fruitful line of research in Mathematics and Computer Science, with applications ranging from random walks and fast sampling to optimization. ...