Now showing items 598-617 of 2985

    • Data-Driven Methods for System Identification and Lyapunov Stability 

      Quartz, Thanin (University of Waterloo, 2023-01-27)
      This thesis focuses on data-driven methods applied to system identification and stability analysis of dynamical systems. In the first major contribution of the theorem we propose a learning framework to simultaneously ...
    • Data-Driven Models: An Alternative Discrete Hedging Strategy 

      Nian, Ke (University of Waterloo, 2023-08-16)
      Options hedging is a critical problem in financial risk management. The prevailing approach in financial derivative pricing and hedging has been to first assume a parametric model describing the underlying price dynamics. ...
    • Data-intensive Scheduling 

      MENG, XIAO (University of Waterloo, 2019-09-19)
      In many modern data management scenarios, we encounter tasks, operations or computational phases that are data-intensive where the sheer volume of data proves to be overwhelming to handle and becomes a performance bottleneck. ...
    • Database High Availability using SHADOW Systems 

      Pan, Xin (University of Waterloo, 2014-03-21)
      Various High Availability DataBase systems (HADB) are used to provide high availability. Pairing an active database system with a standby system is one commonly used HADB techniques. The active system serves read/write ...
    • The de Broglie-Bohm Causal Interpretation of Quantum Mechanics and its Application to some Simple Systems 

      Colijn, Caroline (University of Waterloo, 2003)
      The de Broglie-Bohm causal interpretation of quantum mechanics is discussed, and applied to the hydrogen atom in several contexts. Prominent critiques of the causal program are noted and responses are given; it is argued ...
    • Debate: what is the best method to monitor surgical performance? 

      Woodall, William; Steiner, Stefan H. (BioMed Central, 2016-04-05)
      Background There is considerable recent interest in the monitoring of individual surgeon or hospital surgical outcomes. If one aggregates data over time and assesses performance with a funnel plot, then the detection ...
    • Decay Makes Supervised Predictive Coding Generative 

      Sun, Wei (University of Waterloo, 2020-08-19)
      Predictive Coding is a hierarchical model of neural computation that approximates backpropagation using only local computations and local learning rules. An important aspect of Predictive Coding is the presence of feedback ...
    • Decentralized contact tracing protocols and a risk analysis approach to pandemic control 

      Petrie, James (University of Waterloo, 2022-12-23)
      Non-pharmaceutical interventions (NPIs) can protect against pandemic pathogens, but they depend on behaviour change, and so can impose costs on quality of life and civil liberties. With careful system design and risk ...
    • Decentralized Runtime Verification of LTL Specifications in Distributed Systems 

      Hasabelnaby, Mennatallah (University of Waterloo, 2016-09-26)
      Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ...
    • Decentralized Web Search 

      Haque, Md Rakibul (University of Waterloo, 2012-06-18)
      Centrally controlled search engines will not be sufficient and reliable for indexing and searching the rapidly growing World Wide Web in near future. A better solution is to enable the Web to index itself in a decentralized ...
    • Decidability and Algorithmic Analysis of Dependent Object Types (DOT) 

      Hu, Zhong Sheng (University of Waterloo, 2019-08-28)
      Dependent Object Types, or DOT, is a family of calculi developed to study the Scala programming language. These calculi have path dependent types as a feature, and potentially intersection types, union types and recursive ...
    • Decidability and k-Regular Sequences 

      Krenn, Daniel; Shallit, Jeffrey (Elsevier, 2020-05)
      In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from considering • lower and upper bounds on growth rate; in particular boundedness, • images, • ...
    • Deciding Properties of Automatic Sequences 

      Schaeffer, Luke (University of Waterloo, 2013-09-24)
      In this thesis, we show that several natural questions about automatic sequences can be expressed as logical predicates and then decided mechanically. We extend known results in this area to broader classes of sequences ...
    • Deciding Second-order Logics using Database Evaluation Techniques 

      Unel, Gulay (University of Waterloo, 2008-09-25)
      We outline a novel technique that maps the satisfiability problems of second-order logics, in particular WSnS (weak monadic second-order logic with n successors), S1S (monadic second-order logic with one successor), and ...
    • Decision Algorithms for Ostrowski-Automatic Sequences 

      Baranwal, Aseem (University of Waterloo, 2020-05-13)
      We extend the notion of automatic sequences to a broader class, the Ostrowski-automatic sequences. We develop a procedure for computationally deciding certain combinatorial and enumeration questions about such sequences ...
    • Decomposition of Finite-Dimensional Matrix Algebras over \mathbb{F}_{q}(y) 

      Huang, Ruitong (University of Waterloo, 2010-08-20)
      Computing the structure of a finite-dimensional algebra is a classical mathematical problem in symbolic computation with many applications such as polynomial factorization, computational group theory and differential ...
    • Decomposition-based methods for Connectivity Augmentation Problems 

      Neogi, Rian (University of Waterloo, 2021-09-03)
      In this thesis, we study approximation algorithms for Connectivity Augmentation and related problems. In the Connectivity Augmentation problem, one is given a base graph G=(V,E) that is k-edge-connected, and an additional ...
    • Decoupling of Information Propagation from Energy Propagation 

      Jonsson, Robert H. (University of Waterloo, 2016-08-31)
      Information and energy are concepts central to our understanding of nature. Their relevance, in physics, ranges from fundamental physics, e.g., in black hole physics, all the way to future quantum computing technology. ...
    • Deep Context Resolution 

      Chen, Junnan (University of Waterloo, 2018-05-17)
      Conversations depend on information from the context. To go beyond one-round conversation, a chatbot must resolve contextual information such as: 1) co-reference resolution, 2) ellipsis resolution, and 3) conjunctive ...
    • Deep Learning for Peptide Feature Detection from Liquid Chromatography - Mass Spectrometry Data 

      Zohora, Fatema (University of Waterloo, 2022-04-26)
      Proteins are the main workhorses of biological functions and activities, such as catalyzing metabolic reactions, DNA replication, providing structure to cells and organisms, etc. Comparative analysis of protein samples ...


      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