Browsing Computer Science by Title
Now showing items 509-528 of 1545
-
Exploiting the Computational Power of Ternary Content Addressable Memory
(University of Waterloo, 2011-09-30)Ternary Content Addressable Memory or in short TCAM is a special type of memory that can execute a certain set of operations in parallel on all of its words. Because of power consumption and relatively small storage ... -
Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits
(University of Waterloo, 2020-07-15)Public vulnerability databases such as CVE and NVD account for only 60% of security vulnerabilities present in open-source projects and are known to suffer from inconsistent quality. Over the last two years, there has been ... -
Exploring Automatic Citation Classification
(University of Waterloo, 2008-05-21)Currently, citation indexes used by digital libraries are very limited. They only provide raw citation counts and link scientific articles through their citations. There are more than one type of citations, but citation ... -
Exploring New Forms of Random Projections for Prediction and Dimensionality Reduction in Big-Data Regimes
(University of Waterloo, 2018-05-01)The story of this work is dimensionality reduction. Dimensionality reduction is a method that takes as input a point-set P of n points in R^d where d is typically large and attempts to find a lower-dimensional representation ... -
Exploring the Potential of Wrist-Worn Gesture Sensing
(University of Waterloo, 2018-01-22)This thesis aims to explore the potential of wrist-worn gesture sensing. There has been a large amount of work on gesture recognition in the past utilizing different kinds of sensors. However, gesture sets tested across ... -
Extended Nonlocal Games
(University of Waterloo, 2017-03-31)The notions of entanglement and nonlocality are among the most striking ingredients found in quantum information theory. One tool to better understand these notions is the model of nonlocal games; a mathematical framework ... -
Extracting and Cleaning RDF Data
(University of Waterloo, 2020-05-28)The RDF data model has become a prevalent format to represent heterogeneous data because of its versatility. The capability of dismantling information from its native formats and representing it in triple format offers a ... -
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... -
Extracting Non-Functional Requirements from Unstructured Text
(University of Waterloo, 2018-01-18)Non-functional requirements (NFRs) of a software system describe desired quality attributes rather than specific user-visible features; NFRs model stakeholder expectations about pervasive system properties such as performance, ... -
Extremely fast (a,b)-trees at all contention levels
(University of Waterloo, 2021-08-26)Many concurrent dictionary implementations are designed and evaluated with only low-contention workloads in mind. This thesis presents several concurrent linearizable (a,b)-tree implementations with the overarching goal ... -
Effective Strategies for Improving Peptide Identification with Tandem Mass Spectrometry
(University of Waterloo, 2011-12-21)Tandem mass spectrometry (MS/MS) has been routinely used to identify peptides from protein mixtures in the field of proteomics. However, only about 30% to 40% of current MS/MS spectra can be identified, while many of them ... -
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
(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 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 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 ...