Now showing items 614-633 of 1453

    • Identifying Behavioural Implications of Source Code Changes 

      El-Sayed, Abdullah (University of Waterloo, 2013-01-25)
      The dynamic behaviour of a software system changes as a consequence of developer’s static source code modifications. In this thesis, we improve upon a previous approach that combines static and dynamic analyses to categorize ...
    • Identifying regions of trusted prediction 

      Ananthakrishnan, Nivasini (University of Waterloo, 2021-07-20)
      Quantifying the probability of a label prediction being correct on a given test point or a given sub-population enables users to better decide how to use and when to trust machine learning derived predictors. In this work, ...
    • Identity Management and Resource Allocation in the Network Virtualization Environment 

      Chowdhury, N.M. Mosharaf (University of Waterloo, 2009-01-23)
      Due to the existence of multiple stakeholders with conflicting goals and policies, alterations to the existing Internet architecture are now limited to simple incremental updates; deployment of any new, radically different ...
    • Image-Based Relighting 

      Huang, Jingyuan (University of Waterloo, 2010-04-22)
      This thesis proposes a method for changing the lighting in some types of images. The method requires only a single input image, either a studio photograph or a synthetic image, consisting of several simple objects placed ...
    • The Impact of Domain Knowledge on the Effectiveness of Requirements Engineering Activities 

      Niknafs, Ali (University of Waterloo, 2014-05-21)
      One of the factors that seems to influence an individual’s effectiveness in requirements engineering activities is his or her knowledge of the problem being solved, i.e., domain knowledge. While in-depth domain knowledge ...
    • The Impact of Information Technology Investments on Hospital Performance and Quality of Care 

      Hdeib, Lina (University of Waterloo, 2011-10-18)
      The business value of Information Technology (measuring the impact of IT investments on organizational productivity and efficiency) and quantifying Information technology’s tangible and intangible benefits havebeen significant ...
    • Impact of Mobility and Wireless Channel on the Performance of Wireless Networks 

      Ghaderi, Majid (University of Waterloo, 2006)
      This thesis studies the impact of mobility and wireless channel characteristics, i. e. , variability and high bit-error-rate, on the performance of integrated voice and data wireless systems from network, transport ...
    • The Impact of Near-Duplicate Documents on Information Retrieval Evaluation 

      Khoshdel Nikkhoo, Hani (University of Waterloo, 2011-01-21)
      Near-duplicate documents can adversely affect the efficiency and effectiveness of search engines. Due to the pairwise nature of the comparisons required for near-duplicate detection, this process is extremely costly in ...
    • Impact of sex and pathophysiology on optimal drug choice in hypertensive rats: Quantitative insights for precision medicine 

      Ahmed, Sameed; Sullivan, Jennifer C.; Layton, Anita T. (Elsevier, 2021-04)
      Less than half of all hypertensive patients receiving treatment are successful in normalizing their blood pressure. Despite the complexity and heterogeneity of hypertension, the current antihypertensive guidelines are not ...
    • 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 ...
    • 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 ...
    • 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 Bayesian Network Structure Learning in the Model Averaging Paradigm 

      Liao, Zhenyu (University of Waterloo, 2023-01-10)
      A Bayesian network (BN) is a probabilistic graphical model with applications in knowledge discovery and prediction. Its structure can be learned from data using the well-known score-and-search approach, where a scoring ...
    • 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, ...
    • Improved Scalability and Accuracy of Bayesian Network Structure Learning in the Score-and-Search Paradigm 

      Sharma, Charupriya (University of Waterloo, 2023-05-16)
      A Bayesian network is a probabilistic graphical model that consists of a directed acyclic graph (DAG), where each node is a random variable and attached to each node is a conditional probability distribution (CPD). A ...
    • 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