Now showing items 1008-1027 of 3046

    • Extensions of Randomized Benchmarking 

      Barnhill, Marie (University of Waterloo, 2015-08-18)
      The characterization of noisy quantum circuits is an important step in the development of large-scale quantum computers. As experimental quantum architectures approach the threshold for fault-tolerant quantum computing, ...
    • Extensions of Signed Graphs 

      Naismith, Katherine (University of Waterloo, 2014-04-29)
      Given a signed graph (G, Σ) with an embedding on a surface S, we are interested in "extending" (G, Σ) by adding edges and splitting vertices, such that the resulting graph has no embedding on S. We show (assuming 3-connectivity ...
    • 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 Cross-Lingual Information Retrieval Evaluations for African Languages 

      Adeyemi, Mofetoluwa (University of Waterloo, 2024-04-30)
      Web resources are becoming more available in various languages, increasing the importance of cross-lingual information retrieval (CLIR) in accessing information that is present in a different language. To support CLIR ...
    • 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 (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 

      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 ...

      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