Browsing University of Waterloo by Title
Now showing items 16898-16917 of 18839
-
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 ... -
Symbolic Modelling and Simulation of Wheeled Vehicle Systems on Three-Dimensional Roads
(University of Waterloo, 2009-10-26)In recent years, there has been a push by automotive manufacturers to improve the efficiency of the vehicle development process. This can be accomplished by creating a computationally efficient vehicle model that has the ... -
Symmetric Extendability of Quantum States and the Extreme Limits of Quantum Key Distribution
(University of Waterloo, 2016-10-13)We investigate QKD protocols with two-way classical post-processing that are based on the well-known six-state and BB84 signal states. In these QKD protocols, the source (Alice) sends quantum signals to the receiver (Bob), ... -
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 ... -
Symmetries in Black Hole Spacetimes
(University of Waterloo, 2022-11-30)This thesis covers the role of explicit and hidden symmetries in some selected topics on the properties and excitations of black hole spacetimes. To this end, the symmetries of classical physics in Lorentzian manifolds are ... -
Symmetry and Topology in Disordered Systems
(University of Waterloo, 2023-06-14)Global symmetries greatly enrich the landscape of topological quantum phases, playing an essential role from symmetry-protection of topological insulators to symmetry charge fractionalization on anyons in fractional quantum ... -
Symmetry Breaking, Order-by-Disorder, Fragmentation, and Spin-Liquids in the Magnetic Pyrochlore Lattice with Anisotropic Interactions
(University of Waterloo, 2023-01-26)Within the study of frustrated magnetism, the pyrochlore lattice is deemed a fruitful ground where phenomena such as quantum and thermal order-by-disorder, moment fragmentation, and spin-liquids, both quantum and classical, ... -
Symmetry Induction in Computational Intelligence
(University of Waterloo, 2009-11-06)Symmetry has been a very useful tool to researchers in various scientific fields. At its most basic, symmetry refers to the invariance of an object to some transformation, or set of transformations. Usually one searches ... -
Symmetry of the Charge Ordering Phases in Hole-Doped Cuprates Studied by Resonant X-Ray Absorption and Scattering
(University of Waterloo, 2019-05-23)In the underdoped cuprates, superconductivity coexists with a rich variety of other electronic orders. Understanding the nature of these orders, how they interact with one another, and the mechanisms that produce them is ... -
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 ... -
Symmetry, Asymmetry and Quantum Information
(University of Waterloo, 2012-09-28)It is impossible to overstate the importance of symmetry in physics and mathematics. Symmetry arguments play a central role in a broad range of problems from simplifying a system of linear equations to a deep role in ... -
Sympathetic Imagination: Posthumanist Thought in Electronic Literature and Games
(University of Waterloo, 2016-02-19)Martha Nussbaum insists on the power of “sympathetic imagining” for considering the lives of nonhuman animals. Literature, for Nussbaum, is a powerful site for imaging the lives of animals. This study extends Nussbaum’s ... -
Sympathetic Landscapes: an aesthetics for the Leslie Street Spit
(University of Waterloo, 2014-01-24)The Leslie Street Spit is a five kilometre rubble breakwater on the eastern waterfront of Toronto. Built during the mid-twentieth-century as an infrastructural add-on to the existing Port Lands Industrial District, the ... -
Synanthropic Suburbia
(University of Waterloo, 2015-09-30)Animals are invading the city. Coyotes are sighted on downtown streets with greater frequency, raccoons notoriously forage through greenbins as their primary source of food, and all forms of animals inhabit the surfaces, ... -
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 ... -
Synchronized closed path following for a differential drive and manipulator robot
(IEEE, 2016-05-23)We locally solve a synchronized path-following problem for a heterogeneous multiagent system consisting of a differential drive robot and a serial manipulator. Each is assigned a simple, regular, and closed curve in its ...