Now showing items 1112-1131 of 2605

    • Improvements in the Accuracy of Pairwise Genomic Alignment 

      Hudek, Alexander Karl (University of Waterloo, 2010-04-16)
      Pairwise sequence alignment is a fundamental problem in bioinformatics with wide applicability. This thesis presents three new algorithms for this well-studied problem. First, we present a new algorithm, RDA, which aligns ...
    • Improvements to Transitive-Closure-based Model Checking in Alloy 

      Farheen, Sabria (University of Waterloo, 2018-01-19)
      Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ...
    • Improving Artificial Neural Network Models for Predicting Hourly Water Consumption 

      WANG, LI (University of Waterloo, 2018-09-26)
      Smart water meter devices are now widely installed in single family residences, allowing water consumption data to be collected at a high resolution from both the temporal and spatial perspectives. Such data allows improved ...
    • Improving Coarsening and Interpolation for Algebraic Multigrid 

      Butler, Jeffrey (University of Waterloo, 2006)
      Algebraic multigrid (AMG) is one of the most efficient algorithms for solving large sparse linear systems on unstructured grids. Classical coarsening schemes such as the standard Ruge-Stüben method [14] can lead ...
    • Improving Convergence Rates in Multiagent Learning Through Experts and Adaptive Consultation 

      Hines, Greg (University of Waterloo, 2007-05-07)
      Multiagent learning (MAL) is the study of agents learning while in the presence of other agents who are also learning. As a field, MAL is built upon work done in both artificial intelligence and game theory. Game theory ...
    • Improving Data Locality in Applications using Message Passing 

      Srinivasan, Priyaa Varshinee (University of Waterloo, 2014-12-04)
      This thesis presents a systematic study of two modes of program execution: synchronous and asynchronous. In synchronous mode, program components are tightly coupled. Traditional procedure call represents the synchronous ...
    • Improving Distributed Filesystem Performance by Combining Replica and Network Path Selection 

      Li, Xi (University of Waterloo, 2014-09-25)
      Distributed filesystems are often the primary bandwidth consumers of large-scale datacenter networks. Unsurprisingly, the datacenter network is often the performance bottleneck for distributed filesystems. Yet even ...
    • Improving Object Detection with MatrixNets 

      Agarwal, Rishav (University of Waterloo, 2020-11-20)
      Object detection is a popular task in computer vision with various applications, from pedestrian detection to face detection. Following the success of Convolutional Neural Networks (CNNs), many CNN based object detectors ...
    • Improving post-quantum cryptography through cryptanalysis 

      Schanck, John (University of Waterloo, 2020-07-15)
      Large quantum computers pose a threat to our public-key cryptographic infrastructure. The possible responses are: Do nothing; accept the fact that quantum computers might be used to break widely deployed protocols. Mitigate ...
    • Improving Selfie Aesthetics with Interactive Guidance based on Empirical Models 

      Li, Qifan (University of Waterloo, 2016-05-06)
      We introduce RealSelfie, a smartphone camera application providing interactive guid- ance to help people take better self-portrait photos (commonly called “selfies”). The appli- cation uses empirical models to estimate ...
    • Improving Spatial Resolution of and Error Estimation for Radical Probe Mass Spectrometry 

      Zhao, XiaoFei (University of Waterloo, 2015-09-23)
      The function of a protein depends on the structure of the protein. A commonly used analytical technique for studying protein structure is radical-probe mass spectrometry (RP-MS). RP-MS oxidizes a protein of interest then ...
    • Improving the Performance of User-level Runtime Systems for Concurrent Applications 

      Barghi, Saman (University of Waterloo, 2018-09-25)
      Concurrency is an essential part of many modern large-scale software systems. Applications must handle millions of simultaneous requests from millions of connected devices. Handling such a large number of concurrent ...
    • Improving Tor using a TCP-over-DTLS Tunnel 

      Reardon, Joel (University of Waterloo, 2008-09-24)
      The Tor network gives anonymity to Internet users by relaying their traffic through the world over a variety of routers. This incurs latency, and this thesis first explores where this latency occurs. Experiments discount ...
    • Impulse Control in Finance: Numerical Methods and Viscosity Solutions 

      Azimzadeh, Parsiad (University of Waterloo, 2017-12-05)
      The goal of this thesis is to provide efficient and provably convergent numerical methods for solving partial differential equations (PDEs) coming from impulse control problems motivated by finance. Impulses, which are ...
    • Impulsive Control and Synchronization of Chaos-Generating-Systems with Applications to Secure Communication 

      Khadra, Anmar (University of Waterloo, 2004)
      When two or more chaotic systems are coupled, they may exhibit synchronized chaotic oscillations. The synchronization of chaos is usually understood as the regime of chaotic oscillations in which the corresponding ...
    • Impulsive Control of Dynamical Networks 

      Zhang, Kexue (University of Waterloo, 2017-08-25)
      Dynamical networks (DNs) consist of a large set of interconnected nodes with each node being a fundamental unit with detailed contents. A great number of natural and man-made networks such as social networks, food networks, ...
    • Impulsive observer design for a class of switched nonlinear systems with unknown inputs 

      Zhan, Tao; Ma, Shuping; Liu, Xinzhi; Chen, Hao (Elsevier, 2019-08)
      This paper investigates hybrid observer design of a class of unknown input switched nonlinear systems. The distinguishing feature of the proposed method is that the stability of all subsystems of the error switched systems ...
    • Imputation, Estimation and Missing Data in Finance 

      DiCesare, Giuseppe (University of Waterloo, 2006)
      Suppose <em>X</em> is a diffusion process, possibly multivariate, and suppose that there are various segments of the components of <em>X</em> that are missing. This happens, for example, if <em>X</em> is the price of ...
    • In Search of a Scalable Geo-Distributed Consensus Protocol 

      Duan, Qingnan (University of Waterloo, 2020-08-20)
      Byzantine fault tolerant consensus protocols are a crucial component in blockchain systems. Traditional BFT consensus protocols have poor scalability, and their performance is sensitive to the latency between their ...
    • In Search Of Most Complex Regular Languages 

      Brzozowski, Janusz (World Scientific Publishing, 2013-09-01)
      Sequences (L-n vertical bar n >= k), called streams, of regular languages L-n are considered, where k is some small positive integer, n is the state complexity of L-n, and the languages in a stream differ only in the ...


      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