Browsing Mathematics (Faculty of) by Title
Now showing items 3008-3027 of 3027
-
The Weil conjectures
(University of Waterloo, 2008-01-24)In discussing the question of rational points on algebraic curves, we are usually concerned with ℚ. André Weil looked instead at curves over finite fields; assembling the counts into a function, he discovered that it ... -
Welch Bounds and Quantum State Tomography
(University of Waterloo, 2008-12-22)In this thesis we investigate complete systems of MUBs and SIC-POVMs. These are highly symmetric sets of vectors in Hilbert space, interesting because of their applications in quantum tomography, quantum cryptography and ... -
Well-Posedness of Boundary Control Systems
(Society for Industrial and Applied Mathematics, 2003-01-01)Continuity of the input/output map for boundary control systems is shown through the system transfer function. Our approach transforms the question of continuity of the input/output map of a boundary control system to ... -
What is a field, what is a particle?
(University of Waterloo, 2019-01-25)Much of the structure of quantum field theory (QFT) is predicated on the principle of locality. Adherence to locality is achieved in Algebraic QFT (AQFT) by the association of algebras of observables with regions of ... -
Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?
(2019-03-21)When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary ... -
White Paper: Measuring Research Outputs Through Bibliometrics
(University of Waterloo, 2016)This White Paper provides a high-level review of issues relevant to understanding bibliometrics, and practical recommendations for how to appropriately use these measures. This is not a policy paper; instead, it defines ... -
Wholetoning: Synthesizing Abstract Black-and-White Illustrations
(University of Waterloo, 2009-02-18)Black-and-white imagery is a popular and interesting depiction technique in the visual arts, in which varying tints and shades of a single colour are used. Within the realm of black-and-white images, there is a set of ... -
Wikipedia-Based Semantic Enhancements for Information Nugget Retrieval
(University of Waterloo, 2008-05-16)When the objective of an information retrieval task is to return a nugget rather than a document, query terms that exist in a document often will not be used in the most relevant nugget in the document for the query. In ... -
WiseBench: A Motion Planning Benchmarking Framework for Autonomous Vehicles
(University of Waterloo, 2020-10-01)Rapid advances in every sphere of autonomous driving technology have intensified the need to be able to benchmark and compare different approaches. While many benchmarking tools tailored to different sub-systems of an ... -
WKB Analysis of Tunnel Coupling in a Simple Model of a Double Quantum Dot
(University of Waterloo, 2008-12-16)A simplified model of a double quantum dot is presented and analyzed, with applications to spin-qubit quantum computation. The ability to trap single electrons in semiconductor nanostructures has led to the proposal of ... -
WLAN Interface Management on Mobile Devices
(University of Waterloo, 2008-08-15)The number of smartphones in use is overwhelmingly increasing every year. These devices rely on connectivity to the Internet for the majority of their applications. The ever-increasing number of deployed 802.11 ... -
Workload Matters: A Robust Approach to Physical RDF Database Design
(University of Waterloo, 2015-10-01)Recent advances in Information Extraction, Linked Data Management and the Semantic Web have led to a rapid increase in both the volume and the variety of publicly available graph-structured data. As more and more businesses ... -
Worst-Case to Average-Case Reductions for the SIS Problem: Tightness and Security
(University of Waterloo, 2019-07-30)We present a framework for evaluating the concrete security assurances of cryptographic constructions given by the worst-case SIVP_γ to average-case SIS_{n,m,q,β} reductions. As part of this analysis, we present the tightness ... -
Writing My Own Line Drawing Software as an Artist
(University of Waterloo, 2024-05-24)I describe trying to improve my own art—line art, specifically—by developing computer science-based tools. The results of this experience are three technical contributions targeted at an NPR (Non-Photorealistic Rendering) ... -
XQuery Query Processing in Relational Systems
(University of Waterloo, 2004)With the rapid growth of XML documents to serve as a popular and major media for storage and interchange of the data on the Web, there is an increasing interest in using existing traditional relational database techniques ... -
Zero dynamics for networks of waves
(Elsevier, 2019-05)The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems ... -
Zero Dynamics for Port-Hamiltonian Systems
(2017-11-19)The zero dynamics of infinite-dimensional systems can be difficult to characterize. The zero dynamics of boundary control systems are particularly problematic. In this paper the zero dynamics of port-Hamiltonian systems ... -
Zigzags of Finite, Bounded Posets and Monotone Near-Unanimity Functions and Jónsson Operations
(University of Waterloo, 2009-09-25)We define the notion of monotone operations admitted by partially ordered sets, specifically monotone near-unanimity functions and Jónsson operations. We then prove a result of McKenzie's in [8] which states that if a ... -
µProfiler: A Concurrent Profiler for Concurrent C++ (µC++)
(University of Waterloo, 2007-08-21)A concurrent program, unlike a sequential program, has multiple threads of execution, resulting in numerous advantages (e.g., faster execution), but also in complex and unpredictable interaction. As a consequence, a ... -
κDOT: A DOT Calculus with Mutation and Constructors
(University of Waterloo, 2018-09-26)Scala is a functional and object-oriented programming language which unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent ...