Now showing items 1161-1180 of 2757

    • The Impact of Small Time Delays on the Onset of Oscillations and Synchrony in Brain Networks 

      Al-Darabsah, Islam; Chen, Liang; Nicola, Wilten; Campbell, Sue Ann (Frontiers Publishing, 2021-07)
      The human brain constitutes one of the most advanced networks produced by nature, consisting of billions of neurons communicating with each other. However, this communication is not in real-time, with different communication ...
    • Impacts Of Constrained Culling And Vaccination On Control Of Foot And Mouth Disease In Near-Endemic Settings: A Pair Approximation Model 

      Ringa, Notice; Bauch, Chris T. (Elsevier, 2014-12-01)
      Many countries have eliminated foot and mouth disease (FMD), but outbreaks remain common in other countries. Rapid development of international trade in animals and animal products has increased the risk of disease ...
    • The Impacts Of Simultaneous Disease Intervention Decisions On Epidemic Outcomes 

      Andrews, Michael A.; Bauch, Chris T. (Elsevier, 2016-04-21)
      Mathematical models of the interplay between disease dynamics and human behavioural dynamics can improve our understanding of how diseases spread when individuals adapt their behaviour in response to an epidemic. Accounting ...
    • Implementation of Kalman Filtering for Differential-Algebraic Equations 

      Sherbak, Bogdan (University of Waterloo, 2020-09-28)
      This thesis describes two Kalman filters which are usable on semi-explicit index-1 differential-algebraic equations, prior to which a discussion of linear and nonlinear Kalman filters is presented. Performance between ...
    • An Implementation of the Discontinuous Galerkin Method on Graphics Processing Units 

      Fuhry, Martin (University of Waterloo, 2013-05-07)
      Computing highly-accurate approximate solutions to partial differential equations (PDEs) requires both a robust numerical method and a powerful machine. We present a parallel implementation of the discontinuous Galerkin ...
    • Implementation of the Metal Privileged Architecture 

      Hassani, Fatemeh (University of Waterloo, 2020-08-31)
      The privileged architecture of modern computer architectures is expanded through new architectural features that are implemented in hardware or through instruction set extensions. These extensions are tied to particular ...
    • Implementations of iterative algorithms in Hadoop and Spark 

      Lai, Junyu (University of Waterloo, 2014-07-29)
      Facing the challenges of large amounts of data generated by various companies (such as Facebook, Amazon, and Twitter), cloud computing frameworks such as Hadoop are used to store and process the Big Data. Hadoop, an open ...
    • Implementing a Functional Language for Flix 

      Yee, Ming-Ho (University of Waterloo, 2016-09-15)
      Static program analysis is a powerful technique for maintaining software, with applications such as compiler optimizations, code refactoring, and bug finding. Static analyzers are typically implemented in general-purpose ...
    • Implementing Overloading and Polymorphism in Cforall 

      Bilson, Richard C. (University of Waterloo, 2003)
      The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline ...
    • Implementing the Schoof-Elkies-Atkin Algorithm with NTL 

      Kok, Yik Siong (University of Waterloo, 2013-04-30)
      In elliptic curve cryptography, cryptosystems are based on an additive subgroup of an elliptic curve defined over a finite field, and the hardness of the Elliptic Curve Discrete Logarithm Problem is dependent on the order ...
    • Implied Volatility Modelling 

      Zhu, Anyi (University of Waterloo, 2014-01-08)
      We propose extensions on calibrating the volatility surface through multi-factor regression models. The proposed models are back-tested against the historical S&P 500 prices during both the volatile and non-volatile periods ...
    • Importance Sampling and Stratification for Copula Models 

      Arbenz, Philipp; Cambou, Mathieu; Hofert, Marius; Lemieux, Christiane; Taniguchi, Yoshihiro (Springer, 2018)
      An importance sampling approach for sampling from copula models is introduced. The proposed algorithm improves Monte Carlo estimators when the functional of interest depends mainly on the behaviour of the underlying random ...
    • Importance Sampling and Stratification Techniques for Multivariate Models with Low-Dimentional Structures 

      Taniguchi, Yoshihiro (University of Waterloo, 2017-12-22)
      Many problems in finance and risk management involve the computation of quantities related to rare-event analysis. As many financial problems are high-dimensional, the quan- tities of interest rarely have analytical forms ...
    • The Impress Context Store: A Coordination Framework for Context-Aware Systems 

      Li, Herman Hon Yu (University of Waterloo, 2006)
      The dream of weaving technology into our everyday fabric of life is recently being made possible by advances in ubiquitous computing and sensor technologies. Countless sensors of various sizes have made their way into ...
    • An Improved Algorithm for Tor Circuit Scheduling 

      Tang, Can (University of Waterloo, 2010-07-08)
      Tor is a popular anonymity-preserving network, consisting of routers run by volunteers all around the world. It protects Internet users’ privacy by relaying their network traffic through a series of routers, thus concealing ...
    • Improved approximation guarantees for lower-bounded facility location problem 

      Ahmadian, Sara (University of Waterloo, 2010-09-28)
      We consider the lower-bounded facility location (LBFL) problem (, also known as load-balanced facility location), which is a generalization of uncapacitated facility location (UFL) problem where each open facility is ...
    • Improved Model Poisoning Attacks and Defenses in Federated Learning with Clustering 

      Li, Xinda (University of Waterloo, 2022-05-12)
      Federated Learning (FL) allows multiple participants to collaboratively train a deep learning model without sharing their private training data. However, due to its distributive nature, FL is vulnerable to various poisoning ...
    • Improved Particle Filter Based Localization and Mapping Techniques 

      Milstein, Adam (University of Waterloo, 2008-04-28)
      One of the most fundamental problems in mobile robotics is localization. The solution to most problems requires that the robot first determine its location in the environment. Even if the absolute position is not necessary, ...
    • 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., ...


      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