Now showing items 631-650 of 1574

    • Hadez, a Framework for the Specification and Verification of Hypermedia Applications 

      Morales-Germán, Daniel (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 

      Harms, Nathaniel (University of Waterloo, 2017-10-18)
      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 

      Stöckel, Andreas (University of Waterloo, 2022-01-10)
      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 

      Tahoun, Ezzeldin (University of Waterloo, 2021-06-30)
      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 Cover-Free Families with Cryptographic Applications 

      Zaverucha, Gregory (University of Waterloo, 2010-09-28)
      This thesis is focused on hash families and cover-free 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 

      Ghenai, Amira (University of Waterloo, 2019-11-28)
      People increasingly rely on the Internet in order to search for and share health-related 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 

      Hirtle, David Z. (University of Waterloo, 2008-08-26)
      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 real-world entity, and resolution ...
    • Hedging Costs for Variable Annuities 

      Azimzadeh, Parsiad (University of Waterloo, 2013-09-03)
      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 

      Wang, Jian (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 

      Kim, Myung Sub (University of Waterloo, 2009-08-27)
      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 

      Gupta, Somit (University of Waterloo, 2011-08-23)
      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 

      Larter, Scott (University of Waterloo, 2022-03-07)
      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 

      Rasmussen, Daniel (University of Waterloo, 2014-11-18)
      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 

      Houston, Ben; Nielsen, Michael B.; Batty, Christopher; Nilsson, Ola; Museth, Ken (Association for Computing Machinery, 2006-01)
      This article introduces the Hierarchical Run-Length Encoded (H-RLE) Level Set data structure. This novel data structure combines the best features of the DT-Grid (of Nielsen and Museth [2004]) and the RLE Sparse Level Set ...
    • Hierarchical Task Recognition and Planning in Smart Homes with Partial Observability 

      Wang, Dan (University of Waterloo, 2017-06-12)
      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 

      Meng, Huangdong (University of Waterloo, 2014-01-21)
      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∀ 

      Parsons, Colby (University of Waterloo, 2023-09-25)
      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 

      Radhakrishnan, Srihari (University of Waterloo, 2019-05-24)
      With the advent of commodity large-scale multi-core computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers. While academic research and industrial ...
    • High-Performance Concurrent Memory Allocation 

      Zulfiqar, Mubeen (University of Waterloo, 2022-05-25)
      Memory management takes a sequence of program-generated allocation/deallocation requests and attempts to satisfy them within a fixed-sized block of memory while minimizing the total amount of memory used. A general-purpose ...
    • Higher Order Random Walks, Local Spectral Expansion, and Applications 

      Alev, Vedat Levi (University of Waterloo, 2020-09-16)
      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. ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages