Browsing Mathematics (Faculty of) by Title
Now showing items 10281047 of 2993

Fee Structure and Surrender Incentives in Variable Annuities
(University of Waterloo, 20140805)Variable annuities (VAs) are investment products similar to mutual funds, but they also protect policyholders against poor market performance and other risks. They have become very popular in the past twenty years, and the ... 
The Fence Complexity of Persistent Sets
(University of Waterloo, 20210921)This thesis studies fence complexity of concurrent sets in a nonvolatile shared memory model. I consider the case where CPU registers and cache memory remain volatile while main memory is nonvolatile. Flush instructions ... 
Filtering News from Document Streams: Evaluation Aspects and Modeled Stream Utility
(University of Waterloo, 20160804)Events like hurricanes, earthquakes, or accidents can impact a large number of people. Not only are people in the immediate vicinity of the event affected, but concerns about their wellbeing are shared by the local ... 
Filtering overfitted automaticallygenerated patches by using automated test generation
(University of Waterloo, 20180117)"GenerateandValidate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the first patch that passes all the test ... 
Financial Fraud: A Game of Cat and Mouse
(University of Waterloo, 20100611)This thesis models rational criminals and regulators with flawed incentives. In it we develop a rational model of crime and regulation that we use to show the SEC's current incentive structure is ineffective at preventing ... 
Financial Risk Management of Guaranteed Minimum Income Benefits Embedded in Variable Annuities
(University of Waterloo, 20110829)A guaranteed minimum income benefit (GMIB) is a longdated option that can be embedded in a deferred variable annuity. The GMIB is attractive because, for policyholders who plan to annuitize, it offers protection against ... 
Finding a Second Hamiltonian cycle in Barnette Graphs
(University of Waterloo, 20150831)We study the following two problems: (1) finding a second roompartitioning of an oik, and (2) finding a second Hamiltonian cycle in cubic graphs. The existence of solution for both problems is guaranteed by a parity ... 
Finding an induced path that is not a shortest path
(Elsevier, 202107)We give a polynomialtime algorithm that, with input a graph G and two vertices u; v of G, decides whether there is an induced uvpath that is longer than the shortest uvpath. 
Finding Communities in Typed Citation Networks
(University of Waterloo, 20080925)As the Web has become more and more important to our daily lives, algorithms that can effectively utilize the link structure have become more and more important. One such task has been to find communities in social network ... 
Finding CostEfficient Decision Trees
(University of Waterloo, 20140806)Decision trees have been a popular machine learning technique for some time. Labelled data, examples each with a vector of values in a feature space, are used to create a structure that can assign a class to unseen examples ... 
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 20240115)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ... 
Finding Independent Transversals Efficiently
(University of Waterloo, 20190823)Let G be a graph and (V_1,...,V_m) be a vertex partition of G. An independent transversal (IT) of G with respect to (V_1,...,V_m) is an independent set {v_1,...,v_m} in G such that v_i is in V_i for each i in {1,...,m}. There ... 
Finding Large HColorable Subgraphs in Hereditary Graph Classes
(Society for Industrial and Applied Mathematics, 20211014)We study the Max Partial HColoring problem: given a graph G, find the largest induced subgraph of G that admits a homomorphism into H, where H is a fixed pattern graph without loops. Note that when H is a complete graph ... 
Finding Microblog Posts of User Interest
(University of Waterloo, 20120424)Microblogging is an increasingly popular form of social media. One of the most popular microblogging services is Twitter. The number of messages posted to Twitter on a daily basis is extremely large. Accordingly, it becomes ... 
Finding Similar Protein Structures Efficiently and Effectively
(University of Waterloo, 20140424)To assess the similarities and the differences among protein structures, a variety of structure alignment algorithms and programs have been designed and implemented. We introduce a lowresolution approach and a ... 
Fingerprinting Codes and Related Combinatorial Structures
(University of Waterloo, 20150422)Fingerprinting codes were introduced by Boneh and Shaw in 1998 as a method of copyright control. The desired properties of a good fingerprinting code has been found to have deep connections to combinatorial structures such ... 
Finitary approximations of free probability, involving combinatorial representation theory
(University of Waterloo, 20230518)This thesis contributes to two theories which approximate free probability by finitary combinatorial structures. The first is finite free probability, which is concerned with expected characteristic polynomials of various ... 
Finite Element Exterior Calculus with Applications to the Numerical Solution of the Green–Naghdi Equations
(University of Waterloo, 20180809)The study of finite element methods for the numerical solution of differential equations is one of the gems of modern mathematics, boasting rigorous analytical foundations as well as unambiguously useful scientific ... 
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
(Springer, 2016)The problem of finite model finding, finding a satisfying model for a set of firstorder logic formulas for a finite scope, is an important step in many verification techniques. In MACEstyle solvers, the problem is mapped ... 
Fire Detection using RF Signals
(University of Waterloo, 20230920)Structural fires can be a major threat to life and property. Contemporary smoke alarms suffer from drawbacks such as long response times, lack of penetration through walls, and nuisance (falsepositive) alarms. In this ...