Now showing items 2689-2708 of 2985

    • SURF: Software Update Registration Framework 

      Kim, Woojung (University of Waterloo, 2018-10-25)
      BlockSURF (Blockchain-based Secure Update Registration Framework) or SURF, in short, is a software framework designed to enable developers to build a blockchain-based secure update system which distributes trust over a ...
    • Surface-Only Liquids 

      Da, Fang; Hahn, David; Batty, Christopher; Wojtan, Chris; Grinspun, Eitan (Association for Computing Machinery, 2016-07-01)
      We propose a novel surface-only technique for simulating incompressible, inviscid and uniform-density liquids with surface tension in three dimensions. The liquid surface is captured by a triangle mesh on which a Lagrangian ...
    • A Survey of Attacks on Multivariate Cryptosystems 

      Feldmann, Adam (University of Waterloo, 2005)
      This thesis provides a survey of the attacks on multivariate cryptosystems. We begin by providing an outline of the general multivariate cryptosystem. Proceeding from there, we show that even with this level of detail, ...
    • A survey of Roth's Theorem on progressions of length three 

      Nishizawa, Yui (University of Waterloo, 2011-12-19)
      For any finite set B and a subset A⊆B, we define the density of A in B to be the value α=|A|/|B|. Roth's famous theorem, proven in 1953, states that there is a constant C>0, such that if A⊆{1,...,N} for a positive integer ...
    • A Survey of the Classification of Division Algebras 

      Ashburner, Michelle Roshan Marie (University of Waterloo, 2008-09-29)
      For a given field F we seek all division algebras over F up to isomorphism. This question was first investigated for division algebras of finite dimension over F by Richard Brauer. We discuss the construction of the Brauer ...
    • A survey of the trust region subproblem within a semidefinite framework 

      Fortin, Charles (University of Waterloo, 2000)
      Trust region subproblems arise within a class of unconstrained methods called trust region methods. The subproblems consist of minimizing a quadratic function subject to a norm constraint. This thesis is a survey of ...
    • A survey on Traitor Tracing Schemes 

      Chen, Jason (University of Waterloo, 2000)
      When intellectual properties are distributed over a broadcast network, the content is usually encrypted in a way such that only authorized users who have a certain set of keys, can decrypt the content. Some authorized ...
    • Survivable Virtual Network Embedding in Transport Networks 

      Shahriar, Nashid (University of Waterloo, 2020-07-28)
      Network Virtualization (NV) is perceived as an enabling technology for the future Internet and the 5th Generation (5G) of mobile networks. It is becoming increasingly difficult to keep up with emerging applications’ Quality ...
    • Survival Analysis of Complex Featured Data with Measurement Error 

      Chen, Li-Pang (University of Waterloo, 2019-08-22)
      Survival analysis plays an important role in many fields, such as cancer research, clinical trials, epidemiological studies, actuarial science, and so on. A large body of methods on analyzing survival data have been ...
    • Suspenseful Design: Engaging Emotionally with Complex Applications through Compelling Narratives 

      Langer, Kimberly Rebecca (University of Waterloo, 2014-09-29)
      Stories are fundamental to how we learn about and experience the world, but few software interfaces incorporate stories or use story-telling techniques. This thesis explores the possibility of applying principles of ...
    • Switching GAN-based Image Filters to Improve Perception for Autonomous Driving 

      Masud, Zarif (University of Waterloo, 2019-10-24)
      Autonomous driving holds the potential to increase human productivity, reduce accidents caused by human errors, allow better utilization of roads, reduce traffic accidents and congestion, free up parking space and provide ...
    • Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods 

      Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)
      Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ...
    • A Symmetric Interaction Model for Bimanual Input 

      Latulipe, Celine (University of Waterloo, 2006)
      People use both their hands together cooperatively in many everyday activities. The modern computer interface fails to take advantage of this basic human ability, with the exception of the keyboard. However, the keyboard ...
    • Symmetrically-Normed Ideals and Characterizations of Absolutely Norming Operators 

      Pandey, Satish Kumar (University of Waterloo, 2018-08-23)
      The primary objective of this thesis is two fold: first, it is devoted to the study of absolutely norming operators (with respect to various arbitrary symmetric norms on $\mathcal{B}(\mathcal{H})$) with an eye towards the ...
    • Symmetries 

      Foldes, Stephane (University of Waterloo, 2016-10-03)
      Automorphisms of graphs, hypergraphs and disgraphs are investigated. The invariance of the chromatic polynomial in the rotor effect is disproved. New invariance results are obtained. It is shown that given any integer k ...
    • Symmetry Reduction and Compositional Verification on Timed Automata 

      Nguyen, Hoang Linh (University of Waterloo, 2017-08-24)
      This thesis is about techniques for the analysis of concurrent and real-time systems. As the first contribution, we describe a technique that incorporates automatic symmetry detection and symmetry reduction in the ...
    • Synchronization in Heterogeneous Networks of Hippocampal Interneurons 

      Bazzazi, Hojjat (University of Waterloo, 2005)
      The hippocampus is one of the most intensely studied brain structures and the oscillatory activity of the hippocampal neurons is believed to be involved in learning and memory consolidation. Therefore, studying rhythm ...
    • Synchronization of Complex-Valued Dynamical Networks 

      Shen, Yuan (University of Waterloo, 2021-09-27)
      Dynamical networks (DNs) have been broadly applied to describe natural and human systems consisting of a large number of interactive individuals. Common examples include Internet, food webs, social networks, neural networks, ...
    • Synchronization of coupled reaction-diffusion neural networks: Delay-dependent pinning impulsive control 

      Xie, Xiang; Liu, Xinzhi; Xu, Honglei; Luo, Xiaobing; Liu, Genfan (Elsevier, 2019-12)
      This paper studies the synchronization problem of coupled reaction-diffusion neural networks with time-varying delays. A novel pinning impulsive controller is proposed, where distributed delays and discrete delays are taken ...
    • Syntactic Complexities of Nine Subclasses of Regular Languages 

      Li, Baiyu (University of Waterloo, 2012-07-31)
      The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of the class of regular languages is the maximal syntactic complexity of languages in ...

      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