Browsing Mathematics (Faculty of) by Title
Now showing items 3019-3034 of 3034
-
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 ...