Mathematics (Faculty of)
Welcome to the Faculty of Mathematics community.
This community and it’s collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:
- Communities are Faculties or Affiliated Institutions
- Collections are Departments or Research Centres
Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).
New collections following this structure will be created UPON REQUEST .
Collections in this community
Recent deposits
-
Chromatic Number of Random Signed Graphs
(University of Waterloo, 2024-05-03)We naturally extend Bollobas's classical method and result about the chromatic number of random graphs chi(G(n,p)) ~ n/log_b(n) (for p constant, b=1/(1-p)) to the chromatic number of random signed graphs to obtain chi(G(n,p,q)) ... -
Laconic Evaluation of Branching Programs from the Diffie-Hellman Assumption
(University of Waterloo, 2024-05-02)Secure two-party computation (2PC) enables two parties to compute a function f on their joint inputs while keeping their inputs private. Laconic cryptography is a special type of 2PC in which this is done with asymptotically ... -
CAMEO: Explaining Consensus and Expertise Across MOdels
(University of Waterloo, 2024-05-02)Explainable AI methods have been proposed to help interpret complex models, e.g., by assigning importance scores to model features or perturbing the features in a way that changes the prediction. These methods apply to one ... -
Ghost Recommendations: A Protocol for Efficiently Enhancing User Privacy
(University of Waterloo, 2024-04-30)As the amount of online information accessible to users keeps increasing, we have come to rely more on services such as Netflix, Amazon, and eBay that are successful in recommending choices to users. The main goal of such ... -
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 ... -
Edge Estimation and Community Detection in Time-varying Networks
(University of Waterloo, 2024-04-30)In modern statistics and data science, there is a growing focus on network data that indicate interactions among a group of items in a complex system. Scientists are interested in these data as they can reveal important ... -
Deep Learning Methods for Novel Peptide Discovery and Function Prediction
(University of Waterloo, 2024-04-26)This thesis explores deep learning methods for protein identification and property prediction, encompassing two primary areas: mass spectrometry-based protein sequence identification and protein property prediction. We ... -
Distributions in Semantic Space
(University of Waterloo, 2024-04-26)This thesis is an investigation of the powerful and flexible applications of analyzing empirical distributions of vectors within latent spaces. These methods have historically been applied with great success to the domain ... -
Routing, Scheduling, and Sorting in Consolidated Networks
(University of Waterloo, 2024-04-25)Modern parcel logistic networks are designed to ship demand between given origin, destination pairs of nodes in an underlying directed network. Efficiency dictates that volume needs to be consolidated at intermediate nodes ... -
Sequential Monte Carlo for Applications in Structural Biology, Financial Time Series and Epidemiology
(University of Waterloo, 2024-04-25)Sequential Monte Carlo (SMC) methods are widely used to draw samples from intractable target distributions. Moreover, they have also been adopted to other computational methods for inference such as the particle Markov ... -
Algorithms for Drinfeld Modules
(University of Waterloo, 2024-04-23)Drinfeld modules play an important role in number theory over function fields, analogizing that of elliptic curves for the number field setting. The broad success in translating results over from number fields to function ... -
Design and Analysis of Experiments on Networks
(University of Waterloo, 2024-04-17)In the design and analysis of experiments, it is often assumed that experimental units are independent, in the sense that the treatment assigned to one unit will not affect the potential outcome of another unit. However, ... -
Using AI-Supported Onboarding Systems in Video Games to Improve Player Experience
(University of Waterloo, 2024-04-15)Video games face the challenge of providing onboarding that motivates new players to engage with a game beyond their initial experience. Interactive media inherently influences players’ cognitive load during the learning ... -
Measurement System Assessment Studies for Multivariate and Functional Data
(University of Waterloo, 2024-04-15)A measurement system analysis involves understanding and quantifying the variability in measurement data attributed to the measurement system. A primary goal of such analyses is to assess the measurement system's impact ... -
ProofFrog: A Tool For Verifying Game-Hopping Proofs
(University of Waterloo, 2024-04-15)Cryptographic proofs allow researchers to provide theoretical guarantees on the security that their constructions provide. A proof of security can completely eliminate a class of attacks by potential adversaries. Human ... -
Analytic Methods and Combinatorial Plants
(University of Waterloo, 2024-04-08)Combinatorial structures have broad applications in computer science, from error-correcting codes to matrix multiplication. Many analytic tools have been developed for studying these structures. In this thesis, we examine ... -
Emotions and Context in Decision-making for a Socially Intelligent Agent
(University of Waterloo, 2024-04-03)Artificial intelligence (AI) research has largely focused on rational thinking, decision making, goal achievement, and reward maximization. Emotions have been considered nonessential, or even detrimental, when designing ... -
Optimizing Differential Computation for Large-Scale Graph Processing
(University of Waterloo, 2024-04-01)Diverse applications spanning areas such as fraud detection, risk assessment, recommendations, and telecommunications process datasets characterized by entities and their relationships. Graphs naturally emerge as the most ... -
Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements
(University of Waterloo, 2024-04-01)Understanding code coverage is an important precursor to software maintenance activities (e.g., better testing). Although modern code coverage tools provide key insights, they typically rely on code instrumentation, resulting ... -
Cardinality Estimation in Streaming Graph Data Management Systems
(University of Waterloo, 2024-02-23)Graph processing has become an increasingly popular paradigm for data management systems. Concurrently, there is a pronounced demand for specialized systems dedicated to streaming processing that are essential to address ...