Mathematics (Faculty of): Recent submissions
Now showing items 1-20 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 ... -
Type-Aware Optimizations with Imperfect Types
(University of Waterloo, 2024-05-10)JavaScript, a programming language originally designed for web browsers, has become ubiquitous, experiencing adoption across multiple platforms. Its dynamic type system and prototype-based object orientation are well-known ... -
Classifying Code as Human Authored or GPT-4 Generated
(University of Waterloo, 2024-05-09)Artificial intelligence (AI) assistants such as GitHub Copilot and ChatGPT, built on large language models like GPT-4, are revolutionizing how programming tasks are performed, raising questions about whether generative AI ... -
On Convergence Analysis of Stochastic and Distributed Gradient-Based Algorithms
(University of Waterloo, 2024-05-08)Optimization is a fundamental mathematical discipline focused on finding the best solution from a set of feasible choices. It is vital in various applications, including engineering, economics, data science, and beyond. ... -
Size Constraints in Segmentation and Size Predictions
(University of Waterloo, 2024-05-08)Segment size, which one may equivalently refer to as volume, area, or cardinality, is uniquely defined by segmentation, e.g. by aggregating pixel-level predictions. On the other hand, size provides only a very weak constraint ... -
Explaining Expert Search and Team Formation Systems with ExES
(University of Waterloo, 2024-05-06)Expert search and team formation systems operate on collaboration networks with nodes representing individuals, labeled with their skills, and edges denoting collaboration relationships. Given a query corresponding to a ... -
Not All Pull Request Rejections Are The Same
(University of Waterloo, 2024-05-06)In the Open Source Software (OSS) development landscape, evaluating pull requests extends beyond code quality assessment. Recent research has revealed the significant influence of social dynamics and perceptions on pull ... -
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 ...