Browsing Mathematics (Faculty of) by Title
Now showing items 2934-2953 of 3027
-
Using Automata Theory to Solve Problems in Additive Number Theory
(University of Waterloo, 2018-04-30)Additive number theory is the study of the additive properties of integers. Perhaps the best-known theorem is Lagrange’s result that every natural number is the sum of four squares. We study numbers whose base-k representations ... -
Using Available Information in the Assessment of Diagnostic Protocols
(OMICS International, 2015-02-20)A new binary screening or diagnostic test may be combined sequentially with an existing test using either a believe the positive or believe the negative protocol. Interest then lies in estimating the properties of the new ... -
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 Infinite Server Queues Theory In Stress Testing
(University of Waterloo, 2016-12-05)In this thesis, we propose and study a framework to model stress testing, using an infinite server queues theory, such that this framework is aligned with and integrates several existing frameworks currently used in the ... -
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 Machine Learning Algorithms for Finding the Topics of COVID-19 Open Research Dataset Automatically
(University of Waterloo, 2021-02-26)The COVID-19 Open Research Dataset (CORD-19) is a collection of over 400,000 of scholarly papers (as of January 11th, 2021) about COVID-19, SARS-CoV-2, and related coronaviruses curated by the Allen Institute for AI. ... -
Using numerics to explore the EPRL spinfoam amplitude
(University of Waterloo, 2020-08-25)The use of numerical methods in loop quantum gravity is still relatively untapped. Numerical methods are, however, a useful tool, and offer access to regimes that are as of yet inaccessible by analytical methods. This ... -
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 ... -
Vacuum Energy in Expanding Spacetime and Superoscillation - Induced Resonance
(University of Waterloo, 2008-05-20)This thesis is divided into two parts. The first part is a study of the general problem of vacuum energy or so-called `zero point fluctuations' of a quantum field on expanding spacetimes and the interplay between the ... -
The Valuation and Risk Management of a DB Underpin Pension Plan
(University of Waterloo, 2007-08-02)Hybrid pension plans offer employees the best features of both defined benefit and defined contribution plans. In this work, we consider the hybrid design offering a defined contribution benefit with a defined benefit ... -
Valuation and Risk Management of Hedge Fund Investments under Alternative Fee Structures
(University of Waterloo, 2020-09-21)Hedge funds have specialized fee structures, often including performance fees designed to align the incentives of investors and fund managers. However, hedge funds have faced intense scrutiny since the financial crisis, ... -
Valuation of Carbon Emission Allowances and Sustainable Investment
(University of Waterloo, 2019-09-25)Rising awareness of the impacts of climate change is leading to a rapid development of emission trading schemes (ETS) globally as a market-based means of emission control. Under a typical ETS, emission allowances are issued ... -
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 ...