Browsing Computer Science by Title
Now showing items 519-538 of 1544
-
Facilitating Information Access for Heterogeneous Data Across Many Languages
(University of Waterloo, 2023-01-25)Information access, which enables people to identify, retrieve, and use information freely and effectively, has attracted interest from academia and industry. Systems for document retrieval and question answering have ... -
FairBlock: Preventing Blockchain Front-running with Minimal Overheads
(University of Waterloo, 2022-08-17)While blockchain systems are quickly gaining popularity, front-running remains a major obstacle to fair exchange. Front-running is a family of strategies in which a malicious party manipulates the order of transactions ... -
Fast algorithms for computing with integer matrices: normal forms and applications
(University of Waterloo, 2021-09-24)The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A of dimension n, we consider problems such as linear system solving ... -
Fast Algorithms for Finding the Characteristic Polynomial of a Rank-2 Drinfeld Module
(University of Waterloo, 2018-09-21)This thesis introduces a new Monte Carlo randomized algorithm for computing the characteristic polynomial of a rank-2 Drinfeld module. We also introduce a deterministic algorithm that uses some ideas seen in Schoof's ... -
Fast Algorithms for Large-Scale Phylogenetic Reconstruction
(University of Waterloo, 2013-10-24)One of the most fundamental computational problems in biology is that of inferring evolutionary histories of groups of species from sequence data. Such evolutionary histories, known as phylogenies are usually represented ... -
Fast and Robust Mathematical Modeling of NMR Assignment Problems
(University of Waterloo, 2012-04-26)NMR spectroscopy is not only for protein structure determination, but also for drug screening and studies of dynamics and interactions. In both cases, one of the main bottleneck steps is backbone assignment. When a homologous ... -
Fast and Scalable Solvers for the Fluid Pressure Equations with Separating Solid Boundary Conditions
(University of Waterloo, 2021-06-01)We propose and evaluate fast, scalable approaches for solving the linear complementarity problems (LCP) arising from the fluid pressure equations with separating solid boundary conditions. Specifically, we present a policy ... -
Fast and Scalable Solvers for the Fluid Pressure Equations with Separating Solid Boundary Conditions
(Wiley, 2020-05)In this paper, we propose and evaluate fast, scalable approaches for solving the linear complementarity problems (LCP) arising from the fluid pressure equations with separating solid boundary conditions. Specifically, we ... -
Fast Extraction of BRDFs and Material Maps from Images
(University of Waterloo, 2003)The bidirectional reflectance distribution function has a four dimensional parameter space and such high dimensionality makes it impractical to use it directly in hardware rendering. When a BRDF has no analytical ... -
Fast Multi-Level Co-Clustering
(2013)We present a new multilevel method for hierarchical co-clustering. The fast multilevel co-clustering method (FMCC) implements a bi-coarsening process on the bipartite graph induced by the feature matrix. It does so in a ... -
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, ... -
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 ... -
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 ... -
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 ...