Browsing Mathematics (Faculty of) by Title
Now showing items 991-1010 of 3011
-
Explore the In-context Learning Capability of Large Language Models
(University of Waterloo, 2024-05-10)The rapid evolution of Large Language Models (LLMs) has marked the beginning of a new age in AI capabilities, particularly in the domain of natural language understanding and processing. Among the forefront of these ... -
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 Practical Methodologies for the Characterization and Control of Small Quantum Systems
(University of Waterloo, 2018-09-04)We explore methodologies for characterizing and controlling small quantum systems. We are interested in starting with a description of a quantum system, designing estimators for parameters of the system, developing robust ... -
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 ... -
Exponentially Dense Matroids
(University of Waterloo, 2011-12-15)This thesis deals with questions relating to the maximum density of rank-n matroids in a minor-closed class. Consider a minor-closed class M of matroids that does not contain a given rank-2 uniform matroid. The growth ... -
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 ... -
Extending Pappus' Theorem
(University of Waterloo, 2017-12-22)Let $M_1$ and $M_2$ be matroids such that $M_2$ arises from $M_1$ by relaxing a circuit-hyperplane. We will prove that if $M_1$ and $M_2$ are both representable over some finite field $GF(q)$, then $M_1$ and $M_2$ have ... -
Extensions of Galvin's Theorem
(University of Waterloo, 2018-04-30)We discuss problems in list coloring with an emphasis on techniques that utilize oriented graphs. Our central theme is Galvin's resolution of the Dinitz problem (Galvin. J. Comb. Theory, Ser. B 63(1), 1995, 153--158). We ... -
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 Cross-Lingual Information Retrieval Evaluations for African Languages
(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
(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 ...