Browsing Mathematics (Faculty of) by Title
Now showing items 2689-2708 of 2985
-
SURF: Software Update Registration Framework
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ...