Now showing items 988-1007 of 2982

    • Extracting and Cleaning RDF Data 

      Farid, Mina (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 

      Kember, Mitchell; Tran, Lynn; Gao, George; Day, Nancy (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 

      Ezami, Sahba (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 

      Srivastava, Anubhav (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 

      Han, Xi (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 ...
    • FACES OF MATCHING POLYHEDRA 

      Pulleyblank, William R. (University of Waterloo, 2016-09-30)
      Let G = (V, E, ~) be a finite loopless graph, let b=(bi:ieV) be a vector of positive integers. A feasible matching is a vector X = (x.: j e: E) J of nonnegative integers such that for each node i of G, the sum of ...
    • Facilitating Information Access for Heterogeneous Data Across Many Languages 

      Shi, Peng (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 ...
    • Failure Time Analysis with Discrete Marker Processes under Intermittent Observation 

      Xie, Bing Feng (University of Waterloo, 2021-07-28)
      Regression analysis for failure time data is often directed at studying the relationship between a time-dependent biomarker and failure. The Cox regression model and the associated partial likelihood on which inference ...
    • Failure time studies with intermittent observation and losses to follow-up 

      Cook, Richard J.; Lawless, Jerald F. (Wiley, 2020-12-01)
      In health research interest often lies in modeling a failure time process but in many cohort studies failure status is only determined at scheduled assessment times. While the assessment times may be fixed upon study entry, ...
    • FairBlock: Preventing Blockchain Front-running with Minimal Overheads 

      Momeni, Peyman (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 ...
    • Families of Thue Inequalities with Transitive Automorphisms 

      An, Wenyong (University of Waterloo, 2014-06-17)
      A family of parameterized Thue equations is defined as F_{t,s,...}(X, Y ) = m, m ∈ Z where F_{t,s,...}(X,Y) is a form in X and Y with degree greater than or equal to 3 and integer coefficients that are parameterized by ...
    • Fast algorithms for computing with integer matrices: normal forms and applications 

      Birmpilis, Stavros (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 

      Musleh, Yossef (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 

      Truszkowski, Jakub (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 

      Jang, Richard (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 

      Lai, Junyu; Chen, Yangang; Gu, Yu; Batty, Christopher; Wan, Justin W.L. (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 

      Lai, Junyu (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 Bootstrapping in Z_q 

      Ruiz Lopez, Luis A (University of Waterloo, 2015-08-28)
      In 2015, Ducas and Micciancio presented a novel technique to compute the NAND gate using the Learning With Errors cryptosystem (LWE), along with a novel bootstrapping technique that turns turns this cryptosystem into a ...
    • Fast Extraction of BRDFs and Material Maps from Images 

      Jaroszkiewicz, Rafal (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 

      Xu, Haifeng (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 ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages