Browsing Mathematics (Faculty of) by Title
Now showing items 29232942 of 2985

Variations on a Theme: Graph Homomorphisms
(University of Waterloo, 20130830)This thesis investigates three areas of the theory of graph homomorphisms: cores of graphs, the homomorphism order, and quantum homomorphisms. A core of a graph X is a vertex minimal subgraph to which X admits a ... 
Variations on the Erdos Discrepancy Problem
(University of Waterloo, 20120104)The Erdős discrepancy problem asks, "Does there exist a sequence t = {t_i}_{1≤i<∞} with each t_i ∈ {1,1} and a constant c such that ∑_{1≤i≤n} t_{id} ≤ c for all n,c ∈ ℕ = {1,2,3,...}?" The discrepancy of t equals ... 
Variations on the Theme of Caching
(University of Waterloo, 2005)This thesis is concerned with caching algorithms. We investigate three variations of the caching problem: web caching in the Torng framework, relative competitiveness and caching with request reordering. <br /><br /> ... 
Vector Bundles on NonKähler Elliptic Surfaces
(University of Waterloo, 20230420)This thesis studies two problems relating to moduli spaces of vector bundles on nonKähler elliptic surfaces. The first project involves the holomorphic symplectic structure on smooth and compact moduli spaces of sheaves ... 
Vector Graphics for Realtime 3D Rendering
(University of Waterloo, 20090127)Algorithms are presented that enable the use of vector graphics representations of images in texture maps for 3D real time rendering. Vector graphics images are resolution independent and can be zoomed arbitrarily ... 
Verification of temporal properties involving multiple interacting objects
(University of Waterloo, 20131024)Defects that arise due to violating a prescribed order for executing statements or executing a disallowed sequence of statements can be hard to detect since the sequence is often spread over multiple functions and source ... 
Verifying Mutable Systems
(University of Waterloo, 20171023)Model checking has had much success in the verification of singleprocess and multiprocess programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ... 
Vertex Stabilizers for Network Bargaining Games
(University of Waterloo, 20220304)Network bargaining games form a prominent class of examples of game theory problems defined on graphs, where vertices represent players, and edges represent their possible interactions. An instance of a \emph{network ... 
A VertexWeighted Tutte Symmetric Function, and Constructing Graphs with Equal Chromatic Symmetric Function
(The Electronic Journal of Combinatorics, 20210409)This paper has two main parts. First, we consider the Tutte symmetric function XB, a generalization of the chromatic symmetric function. We introduce a vertexweighted version ofXB, show that this function admits a ... 
VibEmoji: Exploring Userauthoring Multimodal Emoticons in Social Communication
(University of Waterloo, 20230106)Emoticons are indispensable in online communications. With users’ growing needs for more customized and expressive emoticons, recent messaging applications begin to support (limited) multimodal emoticons:, enhancing ... 
ViewDF: a Flexible Framework for Incremental View Maintenance in Stream Data Warehouses
(University of Waterloo, 20130620)Because of the increasing data sizes and demands for low latency in modern data analysis, the traditional data warehousing technologies are greatly pushed beyond their limits. Several stream data warehouse (SDW) systems, ... 
Viewing Trends in Graph Connectivity as Early Warnings of Epidemics and Vaccine Crises
(University of Waterloo, 20201215)When measles was rampant, suffering apparent, and relief desired, the prospect of vaccination was received with open arms by a grateful public. But it worked \emph{too} well, and opinions slowly diverged; scientists saw ... 
Viewport and Worldbased Personal Device PointSelect Interactions in the Augmented Reality
(University of Waterloo, 20201120)Personal smart devices have demonstrated a variety of efficient techniques for pointing and selecting on physical displays. However, when migrating these input techniques to augmented reality, it is both unclear what the ... 
A ViewsBased Design Framework for Web Applications
(University of Waterloo, 2002)Web application design is a broad term that refers to any aspect of designing a Web application, including designing Web interfaces to data. There are a number of commercial software tools available that employ various ... 
Virtual Frameworks for Source Migration
(University of Waterloo, 2004)<em>Virtual Frameworks</em> for source migration is a methodology to extract classes and interfaces from one or more frameworks used by an application. After migration, a new set of frameworks called virtual frameworks ... 
Virtual Network Embedding with Pathbased Latency Guarantees in Elastic Optical Networks
(University of Waterloo, 20191021)Elastic Optical Network (EON) virtualization has recently emerged as an enabling technology for 5G network slicing. A fundamental problem in EON slicing (known as Virtual Network Embedding (VNE)) is how to efficiently map ... 
Virtual PCF: Improving VoIP over WLAN performance with legacy clients
(University of Waterloo, 20090722)Abstract Voice over IP (VoIP) is one of the fastest growing applications on the Internet. Concurrently, 802.11 Wireless LANs (WLANs) have become ubiquitous in residential, enterprise, campus and public networks. Currently ... 
VisConductor: AffectVarying Gestural Widgets for Animating Dynamic Data Visualization in Augmented Video Presentations
(University of Waterloo, 20231212)To enhance presentations involving data in remote settings, we introduce VisConductor, an authoring and presentation tool that allows presenters to manipulate data visualizations overlaid on their webcam feed with hand ... 
Viscous Liquid Animation with Spatially Adaptive Grids
(University of Waterloo, 20180108)Viscous fluid behaviors are among the most complex yet familiar physical phenomena we encounter in everyday life. Much attention and investigation has been paid to the creation of visually realistic results, especially ... 
The Visibility FreezeTag Problem
(University of Waterloo, 20140825)In the FreezeTag Problem, we are given a set of robots at points inside some metric space. Initially, all the robots are frozen except one. That robot can awaken (or “unfreeze”) another robot by moving to its position, ...