Browsing Computer Science by Title
Now showing items 1515-1534 of 1574
-
Using Crowd-Based Software Repositories to Better Understand Developer-User Interactions
(University of Waterloo, 2023-05-17)Software development is a complex process. To serve the final software product to the end user, developers need to rely on a variety of software artifacts throughout the development process. The term software repository ... -
Using Decision Tree Voting to Select a Polyhedral Model Loop Transformation
(University of Waterloo, 2013-11-28)Algorithms in fields like image manipulation, sound and signal processing, and statistics frequently employ tight loops. These loops are computationally intensive and CPU-bound, making their performance highly dependent ... -
Using integer programming in finding t-designs
(University of Waterloo, 2012-04-26)A t-design is a combinatorial structure consisting of a collection of blocks over a set of points satisfying certain properties. The existence of t-designs given a set of parameters can be reduced to finding nonnegative ... -
Using Least Squares to Construct Improved Clough-Tocher Interpolant
(University of Waterloo, 2018-01-08)In this thesis, a quartic Clough-Tocher interpolation scheme is introduced, and additional modifications, to adjust the macro-boundary and the order of continuity across domain triangles, are provided to improve both the ... -
Using Rhetorical Figures and Shallow Attributes as a Metric of Intent in Text
(University of Waterloo, 2011-05-20)In this thesis we propose a novel metric of document intent evaluation based on the detection and classification of rhetorical figure. In doing so we dispel the notion that rhetoric lacks the structure and consistency ... -
Using Software Model Checking for Software Certification
(University of Waterloo, 2010-09-13)Software certification is defined as the process of independently confirming that a system or component complies with its specified requirements and is acceptable for use. It consists of the following steps: (1) the ... -
Valuing Hedge Fund Fees
(University of Waterloo, 2006)This thesis applies a Partial Integral Differential Equation model, along with a Monte Carlo approach to quantitatively analyze the no arbitrage value of hedge fund performance fees. From a no-arbitrage point of view, ... -
Variability Anomalies in Software Product Lines
(University of Waterloo, 2014-08-07)Software Product Lines (SPLs) allow variants of a software system to be generated based on the configuration selected by the user. In this thesis, we focus on C based software systems with build-time variability using a ... -
Variability in Factors Influencing Pull Request Merge Decisions: A Microscopic Exploration
(University of Waterloo, 2024-05-16)Context: The pull-based development model is a widely adopted practice in dis- tributed version control systems, particularly in open-source projects. In this model, con- tributors submit pull requests proposing changes ... -
A Variability-Aware Design Approach to the Data Analysis Modeling Process
(University of Waterloo, 2018-10-25)The massive amount of current data has led to many different forms of data analysis processes that aim to explore this data to uncover valuable insights such as trends, anomalies and patterns. These processes support ... -
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
(University of Waterloo, 2023-08-21)A Software product line (SPLs) eases the development of families of related products by managing and integrating a collection of mandatory and optional features (units of functionality). Individual products can be derived ... -
Variability-Aware Performance Prediction: A Case Study
(University of Waterloo, 2014-10-28)Configurable software systems allow users to form configurations by selecting and deselecting features. The process of configuration creation may directly affect performance of the system in a non-linear way because of ... -
Variability-Modelling Practices in Industrial Software Product Lines: A Qualitative Study
(University of Waterloo, 2013-05-22)Many organizations have transitioned from single-systems development to product-line development with the goal of increasing productivity and facilitating mass customization. Variability modelling is a key activity in ... -
Variants of Pseudo-deterministic Algorithms and Duality in TFNP
(University of Waterloo, 2023-08-18)We introduce a new notion of ``faux-deterministic'' algorithms for search problems in query complexity. Roughly, for a search problem $\cS$, a faux-deterministic algorithm is a probability distribution $\mathcal{A}$ over ... -
Variational Inference for Text Generation: Improving the Posterior
(University of Waterloo, 2020-08-10)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 Stokes with Polynomial Reduced Fluid Model
(University of Waterloo, 2021-01-21)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 Pressure-viscosity Solver for Accurate Viscous Liquids
(Association for Computing Machinery, 2017-07-20)We propose a novel unsteady Stokes solver for coupled viscous and pressure forces in grid-based liquid animation which yields greater accuracy and visual realism than previously achieved. Modern fluid simulators treat ... -
Variations on the Erdos Discrepancy Problem
(University of Waterloo, 2012-01-04)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 Graphics for Real-time 3D Rendering
(University of Waterloo, 2009-01-27)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 ...