Now showing items 2362-2381 of 2478

    • UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams 

      Pourali, Parsa; Atlee, Joanne M. (ACM/IEEE, 2019-09)
      Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ...
    • Unavoidable Minors of Large 5-Connected Graphs 

      Shantanam, Abhinav (University of Waterloo, 2016-08-24)
      This thesis shows that, for every positive integer $n \geq 5$, there exists a positive integer $N$ such that every $5-$connected graph with at least $N$ vertices has a minor isomorphic to one of thirty explicitly defined ...
    • Unconditionally Secure Cryptography: Signature Schemes, User-Private Information Retrieval, and the Generalized Russian Cards Problem 

      Swanson, Colleen M (University of Waterloo, 2013-05-23)
      We focus on three different types of multi-party cryptographic protocols. The first is in the area of unconditionally secure signature schemes, the goal of which is to provide users the ability to electronically sign ...
    • Unconventional Applications of Compiler Analysis 

      Selby, Jason W. A. (University of Waterloo, 2011-08-30)
      Previously, compiler transformations have primarily focused on minimizing program execution time. This thesis explores some examples of applying compiler technology outside of its original scope. Specifically, ...
    • Under-Ice Fluid Dynamics in Freshwater Lakes: Implications for Ecology in a Changing Climate 

      Hanson, Taylor (University of Waterloo, 2021-08-24)
      An abundance of evidence exists to support the notion of annual winter blooms of phytoplankton, particularly diatoms, persistent in the surface waters of freshwater lakes located in temperate and boreal climatic zones. ...
    • Understanding and Efficiently Servicing HTTP Streaming Video Workloads 

      Summers, Jim (University of Waterloo, 2016-09-28)
      Live and on-demand video streaming has emerged as the most popular application for the Internet. One reason for this success is the pragmatic decision to use HTTP to deliver video content. However, while all web servers ...
    • Understanding and Enhancing CDCL-based SAT Solvers 

      Zulkoski, Edward (University of Waterloo, 2018-08-02)
      Modern conflict-driven clause-learning (CDCL) Boolean satisfiability (SAT) solvers routinely solve formulas from industrial domains with millions of variables and clauses, despite the Boolean satisfiability problem being ...
    • Understanding Minimax Optimization in Modern Machine Learning 

      Zhang, Guojun (University of Waterloo, 2021-07-21)
      Recent years has seen a surge of interest in building learning machines through adversarial training. One type of adversarial training is through a discriminator or an auxiliary classifier, such as Generative Adversarial ...
    • Understanding Programmers' Working Context by Mining Interaction Histories 

      Zou, Lijie (University of Waterloo, 2013-05-06)
      Understanding how software developers do their work is an important first step to improving their productivity. Previous research has generally focused either on laboratory experiments or coarsely-grained industrial case ...
    • Unfolding and Reconstructing Polyhedra 

      Lucier, Brendan (University of Waterloo, 2006)
      This thesis covers work on two topics: unfolding polyhedra into the plane and reconstructing polyhedra from partial information. For each topic, we describe previous work in the area and present an array of new research ...
    • A Unified Simplicial Model for Mixed-Dimensional and Non-Manifold Deformable Elastic Objects 

      Chang, Jumyung; Da, Fang; Grinspun, Eitan; Batty, Christopher (ACM, 2019-07)
      We present a unified method to simulate deformable elastic bodies consisting of mixed-dimensional components represented with potentially non-manifold simplicial meshes. Building on well-known simplicial rod, shell, and ...
    • A Uniform Formal Approach to Business and Access Control Models, Policies and their Combinations 

      Karimi, Vahid Reza (University of Waterloo, 2012-07-26)
      Access control represents an important part of security in software systems, since access control policies determine which users of a software system have access to what objects and operations and under what constraints. ...
    • Uniform Mixing of Quantum Walks and Association Schemes 

      Mullin, Natalie Ellen (University of Waterloo, 2013-09-26)
      In recent years quantum algorithms have become a popular area of mathematical research. Farhi and Gutmann introduced the concept of a quantum walk in 1998. In this thesis we investigate mixing properties of continuous-time ...
    • Uniform Mixing on Cayley Graphs over Z_3^d 

      Zhan, Hanmeng (University of Waterloo, 2014-05-22)
      This thesis investigates uniform mixing on Cayley graphs over Z_3^d. We apply Mullin's results on Hamming quotients, and characterize the 2(d+2)-regular connected Cayley graphs over Z_3^d that admit uniform mixing at time ...
    • Uniqueness and Complexity in Generalised Colouring 

      Farrugia, Alastair (University of Waterloo, 2003)
      The study and recognition of graph families (or graph properties) is an essential part of combinatorics. Graph colouring is another fundamental concept of graph theory that can be looked at, in large part, as the recognition ...
    • UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler 

      Anthony, Anthony (University of Waterloo, 2019-01-16)
      Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ...
    • Unitary Correlation Sets and their Applications 

      Harris, Samuel (University of Waterloo, 2019-07-04)
      We relate Connes' embedding problem in operator algebras to the Brown algebra Unc(n), which is defined as the universal unital C*-algebra generated by the entries of an n x n unitary matrix. In particular, we show that the ...
    • Universal bounds for positive matrix semigroups 

      Livshits, Leo; MacDonald, Gordon; Marcoux, Laurent; Radjavi, Heydar (Polish Academy of Sciences, 2016)
      We show that any compact semigroup of positive n×n matrices is similar (via a positive diagonal similarity) to a semigroup bounded by n√. We give examples to show this bound is best possible. We also consider the effect ...
    • Universe Beyond Inflation and ΛCDM 

      Kim, Hyung Jin (University of Waterloo, 2021-09-09)
      The current paradigm of universe, $\Lambda CDM$ model with an early phase of inflation, has been quite successful in describing our universe in a simple manner, yet matching well with the observational evidence. This model ...
    • The Unobserved Waiting Customer Approximation 

      Granville, Kevin; Drekic, Steve (Springer, 2021-06-02)
      We introduce a new approximation procedure to improve the accuracy of matrix analytic methods when using truncated queueing models to analyse infinite buffer systems. This is accomplished through emulating the presence of ...

      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