Browsing Mathematics (Faculty of) by Title
Now showing items 9881007 of 2982

Extracting and Cleaning RDF Data
(University of Waterloo, 20200528)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 TransitiveClosureBased Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitiveclosurebased model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... 
Extracting NonFunctional Requirements from Unstructured Text
(University of Waterloo, 20180118)Nonfunctional requirements (NFRs) of a software system describe desired quality attributes rather than specific uservisible features; NFRs model stakeholder expectations about pervasive system properties such as performance, ... 
Extremely fast (a,b)trees at all contention levels
(University of Waterloo, 20210826)Many concurrent dictionary implementations are designed and evaluated with only lowcontention workloads in mind. This thesis presents several concurrent linearizable (a,b)tree implementations with the overarching goal ... 
Eﬀective Strategies for Improving Peptide Identiﬁcation with Tandem Mass Spectrometry
(University of Waterloo, 20111221)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, 20160930)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, 20230125)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, 20210728)Regression analysis for failure time data is often directed at studying the relationship between a timedependent biomarker and failure. The Cox regression model and the associated partial likelihood on which inference ... 
Failure time studies with intermittent observation and losses to followup
(Wiley, 20201201)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 Frontrunning with Minimal Overheads
(University of Waterloo, 20220817)While blockchain systems are quickly gaining popularity, frontrunning remains a major obstacle to fair exchange. Frontrunning 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, 20140617)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, 20210924)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 Rank2 Drinfeld Module
(University of Waterloo, 20180921)This thesis introduces a new Monte Carlo randomized algorithm for computing the characteristic polynomial of a rank2 Drinfeld module. We also introduce a deterministic algorithm that uses some ideas seen in Schoof's ... 
Fast Algorithms for LargeScale Phylogenetic Reconstruction
(University of Waterloo, 20131024)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, 20120426)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, 202005)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, 20210601)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
(University of Waterloo, 20150828)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
(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 MultiLevel CoClustering
(2013)We present a new multilevel method for hierarchical coclustering. The fast multilevel coclustering method (FMCC) implements a bicoarsening process on the bipartite graph induced by the feature matrix. It does so in a ...