Browsing Mathematics (Faculty of) by Title
Now showing items 988-1007 of 2985
-
Extensions of Randomized Benchmarking
(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
(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
(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 ... -
FACES OF MATCHING POLYHEDRA
(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
(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
(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
(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
(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
(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
(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 Bootstrapping in Z_q
(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 ...