Browsing Mathematics (Faculty of) by Title
Now showing items 1018-1037 of 3001
-
Fast Order Basis and Kernel Basis Computation and Related Problems
(University of Waterloo, 2013-01-28)In this thesis, we present efficient deterministic algorithms for polynomial matrix computation problems, including the computation of order basis, minimal kernel basis, matrix inverse, column basis, unimodular completion, ... -
Fast Prefix Adders for Non-uniform Input Arrival Times
(Springer Nature, 2017)We consider the problem of constructing fast and small parallel prefix adders for non-uniform input arrival times. In modern computer chips, adders with up to hundreds of inputs occur frequently, and they are often embedded ... -
A fast variational framework for accurate solid-fluid coupling
(Association for Computing Machinery, 2007-07)Physical simulation has emerged as a compelling animation technique, yet current approaches to coupling simulations of fluids and solids with irregular boundary geometry are inefficient or cannot handle some relevant ... -
A Faster Algorithm for Recognizing Edge-Weighted Interval Graphs
(University of Waterloo, 2017-04-27)Interval graphs—the intersection graphs of one-dimensional intervals—are considered one of the most useful mathematical structures to model real life applications. Interval graphs have been widely studied since they first ... -
Faster Algorithms for Sparse Decomposition and Sparse Series Solutions to Differential Equations
(University of Waterloo, 2022-05-09)Sparse polynomials are those polynomials with only a few non-zero coefficients relative to their degree. They can appear in practice in polynomial systems as inputs, where the degree of the input sparse polynomial can be ... -
A Fault Injection Tool for Testing Distributed System with Network Faults
(University of Waterloo, 2024-01-30)Modern systems are complex, they include hundreds of components that implement complex protocols such as scheduling, replication, membership, resource management, client access, and security. These systems are expected to ... -
Fault Localization in All-Optical Mesh Networks
(University of Waterloo, 2013-05-23)Fault management is a challenging task in all-optical wavelength division multiplexing (WDM) networks. However, fast fault localization for shared risk link groups (SRLGs) with multiple links is essential for building a ... -
Fault Tolerant Multitenant Database Server Consolidation
(University of Waterloo, 2016-01-21)Server consolidation is important in situations where a sequence of database tenants need to be allocated (hosted) dynamically on a minimum number of cloud server machines. Given a tenant’s load defined by the amount of ... -
Feature Identification
(University of Waterloo, 2020-08-04)We present several methods for identifying time periods of interest (features) in a wide range of data sets. The gamma method is a computationally inexpensive, flexible feature identification method which uses a comparison ... -
Feature identification in time series data sets
(Elsevier, 2019-05)We present a computationally inexpensive, flexible feature identification method which uses a comparison of time series to identify a rank-ordered set of features in geophysically-sourced data sets. Many physical phenomena ... -
A Feature Interaction Resolution Scheme Based on Controlled Phenomena
(University of Waterloo, 2014-05-15)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. To ensure that a system behaves as intended, developers ... -
Feature Model Mining
(University of Waterloo, 2008-08-28)<p>Software systems have grown larger and more complex in recent years. Generative software development strives to automate software development from a systems family by generating implementations using domain-specific ... -
Feature Selection for Gene Expression Data Based on Hilbert-Schmidt Independence Criterion
(University of Waterloo, 2010-05-25)DNA microarrays are capable of measuring expression levels of thousands of genes, even the whole genome, in a single experiment. Based on this, they have been widely used to extend the studies of cancerous tissues to a ... -
A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements
(University of Waterloo, 2013-12-18)Many organizations specialize in the development of families of software systems, called software product lines (SPLs), for one or more domains (e.g., automotive, telephony, health care). SPLs are commonly developed as a ... -
Features of a Multi-Threaded Memory Allocator
(University of Waterloo, 2008-01-21)Multi-processor computers are becoming increasingly popular and are important for improving application performance. Providing high-performance memory-management is important for multi-threaded programs. This thesis looks ... -
Fee Structure and Surrender Incentives in Variable Annuities
(University of Waterloo, 2014-08-05)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, 2021-09-21)This thesis studies fence complexity of concurrent sets in a non-volatile shared memory model. I consider the case where CPU registers and cache memory remain volatile while main memory is non-volatile. Flush instructions ... -
Filtering News from Document Streams: Evaluation Aspects and Modeled Stream Utility
(University of Waterloo, 2016-08-04)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 well-being are shared by the local ... -
Filtering overfitted automatically-generated patches by using automated test generation
(University of Waterloo, 2018-01-17)"Generate-and-Validate'' (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, 2010-06-11)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 ...