Browsing Mathematics (Faculty of) by Title
Now showing items 29622981 of 3034

VariabilityModelling Practices in Industrial Software Product Lines: A Qualitative Study
(University of Waterloo, 20130522)Many organizations have transitioned from singlesystems development to productline development with the goal of increasing productivity and facilitating mass customization. Variability modelling is a key activity in ... 
Variable Ranking by Solutionpath Algorithms
(University of Waterloo, 20120120)Variable Selection has always been a very important problem in statistics. We often meet situations where a huge data set is given and we want to find out the relationship between the response and the corresponding variables. ... 
Variable selection and prediction in biased samples with censored outcomes
(Springer, 20180101)With the increasing availability of large prospective disease registries, scientists studying the course of chronic conditions often have access to multiple data sources, with each source generated based on its own entry ... 
Variants of Pseudodeterministic Algorithms and Duality in TFNP
(University of Waterloo, 20230818)We introduce a new notion of ``fauxdeterministic'' algorithms for search problems in query complexity. Roughly, for a search problem $\cS$, a fauxdeterministic algorithm is a probability distribution $\mathcal{A}$ over ... 
Variational Bayesian Learning and its Applications
(University of Waterloo, 20140103)This dissertation is devoted to studying a fast and analytic approximation method, called the variational Bayesian (VB) method, and aims to give insight into its general applicability and usefulness, and explore its ... 
Variational Inference for Text Generation: Improving the Posterior
(University of Waterloo, 20200810)Learning useful representations of data is a crucial task in machine learning with wide ranging applications. In this thesis we explore improving representations of models based on variational inference by improving the ... 
Variational Spectral Analysis
(University of Waterloo, 2000)We present results on smooth and nonsmooth variational properties of {it symmetric} functions of the eigenvalues of a real symmetric matrix argument, as well as {it absolutely symmetric} functions of the singular values ... 
Variational Stokes with Polynomial Reduced Fluid Model
(University of Waterloo, 20210121)Standard fluid simulators often apply operator splitting to independently solve for pressure and viscous stresses. This decoupling, however, induces incorrect free surface boundary conditions. Such methods are unable to ... 
Variational Stokes: A Unified Pressureviscosity Solver for Accurate Viscous Liquids
(Association for Computing Machinery, 20170720)We propose a novel unsteady Stokes solver for coupled viscous and pressure forces in gridbased liquid animation which yields greater accuracy and visual realism than previously achieved. Modern fluid simulators treat ... 
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, ...