Now showing items 1277-1296 of 2605

    • Linking Alloy with SMT-based Finite Model Finding 

      Tariq, Khadija (University of Waterloo, 2021-01-28)
      Alloy is a well-known declarative language for modelling systems early in the development process. Currently, it uses the Kodkod library as its back-end for finite model finding (finding instances of the model by determining ...
    • List Coloring Some Classes of 1-Planar Graphs 

      Barr, Sam (University of Waterloo, 2021-12-23)
      In list coloring we are given a graph G and a list assignment for G which assigns to each vertex of G a list of possible colors. We wish to find a coloring of the vertices of G such that each vertex uses a color from its ...
    • List colouring hypergraphs and extremal results for acyclic graphs 

      Pei, Martin (University of Waterloo, 2008-05-21)
      We study several extremal problems in graphs and hypergraphs. The first one is on list-colouring hypergraphs, which is a generalization of the ordinary colouring of hypergraphs. We discuss two methods for determining the ...
    • Lithium-Ion battery SOC estimation 

      Afshar, Sepideh (University of Waterloo, 2017-01-23)
      Lithium-ion batteries are frequently used in Hybrid electric vehicles (HEVs), which are taking the place of gas-engine vehicles. An important but not measurable quantity in HEVs is the amount of charge remaining in the ...
    • Live API Documentation 

      Subramanian, Siddharth (University of Waterloo, 2014-07-23)
      Application Programming Interfaces (APIs) provide powerful abstraction mechanisms that enable complex functionality to be used by client programs. However, this abstraction does not come for free: understanding how to use ...
    • Local and Cooperative Autonomous Vehicle Perception from Synthetic Datasets 

      Hurl, Braden (University of Waterloo, 2019-09-23)
      The purpose of this work is to increase the performance of autonomous vehicle 3D object detection using synthetic data. This work introduces the Precise Synthetic Image and LiDAR (PreSIL) dataset for autonomous vehicle ...
    • The Local Chromatic Number 

      Osang, Georg Fritz (University of Waterloo, 2014-01-23)
      A graph vertex colouring is called k-local if the number of colours used in the closed neighbourhood of each vertex is at most k. The local chromatic number of a graph is the smallest k for which the graph has a proper ...
    • Local Graph Clustering Using l1-regularized PageRank Algorithms 

      Hu, Chufeng (University of Waterloo, 2020-05-05)
      Local graph clustering methods are used to find small- and medium-scale clusters without traversing the graph. It has been shown that the combination of Approximate Personalized PageRank (APPR) algorithm and sweep method ...
    • Local Mixture Model in Hilbert Space 

      Zhiyue, Huang (University of Waterloo, 2010-01-26)
      In this thesis, we study local mixture models with a Hilbert space structure. First, we consider the fibre bundle structure of local mixture models in a Hilbert space. Next, the spectral decomposition is introduced in order ...
    • Local Reasoning for Parameterized First Order Protocols 

      Ashmore, Rylo (University of Waterloo, 2019-08-14)
      First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ...
    • Local Structure for Vertex-Minors 

      McCarty, Rose (University of Waterloo, 2021-10-12)
      This thesis is about a conjecture of Geelen on the structure of graphs with a forbidden vertex-minor; the conjecture is like the Graph Minors Structure Theorem of Robertson and Seymour but for vertex-minors instead of ...
    • Localising Information in Bandlimited Quantum Field Theory 

      Pye, Jason (University of Waterloo, 2015-09-24)
      A deeply-held belief in fundamental physics is that interactions must happen locally. Despite the great success of local models, there are many indications that locality must be abandoned in a theory of quantum gravity. For ...
    • The Logarithmic Derivative and Model-Theoretic Analysability in Differentially Closed Fields 

      Jin, Ruizhang (University of Waterloo, 2019-01-22)
      This thesis deals with internal and analysable types, mainly in the context of the stable theory of differentially closed fields. Two main problems are dealt with: the construction of types analysable in the constants with ...
    • Lognormal Mixture Model for Option Pricing with Applications to Exotic Options 

      Fang, Mingyu (University of Waterloo, 2012-08-23)
      The Black-Scholes option pricing model has several well recognized deficiencies, one of which is its assumption of a constant and time-homogeneous stock return volatility term. The implied volatility smile has been studied ...
    • Long-term Average Cost in Featured Transition Systems 

      Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)
      A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
    • Long-time behaviour of a coupled PDE model of high intensity focused ultrasound heating of biological tissue 

      Murley, June (University of Waterloo, 2021-11-11)
      High Intensity Focused Ultrasound (HIFU) has emerged as a novel therapeutic modality, for the treatment of various cancers, that is gaining significant traction in clinical oncology. It is a cancer therapy that avoids many ...
    • Longer Delays in Rehearsal-based Interfaces Increase Expert Use 

      Lewis, Blaine (University of Waterloo, 2019-08-08)
      Rehearsal-based interfaces are designed to encourage a transition from novice to expert, but many users fail to make this transition. Most of these interfaces activate novice mode after a short delay, between 150 and 500ms. ...
    • Longevity Risk Management: Models and Hedging Strategies 

      Zhou, Kenneth Qian (University of Waterloo, 2019-04-17)
      Longevity risk management is becoming increasingly important in the pension and life insurance industries. The unexpected mortality improvements observed in recent decades are posing serious concerns to the financial ...
    • Longitudinal Data Analysis with Composite Likelihood Methods 

      Li, Haocheng (University of Waterloo, 2012-08-10)
      Longitudinal data arise commonly in many fields including public health studies and survey sampling. Valid inference methods for longitudinal data are of great importance in scientific researches. In longitudinal studies, ...
    • Loop Modeling in Proteins Using a Database Approach with Multi-Dimensional Scaling 

      Holtby, Daniel James (University of Waterloo, 2013-09-26)
      Modeling loops is an often necessary step in protein structure and function determination, even with experimental X-ray and NMR data. It is well known to be difficult. Database techniques have the advantage of producing ...

      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