Mathematics (Faculty of): Recent submissions
Now showing items 21-40 of 3003
-
Analyzing Threats of Large-Scale Machine Learning Systems
(University of Waterloo, 2024-02-22)Large-scale machine learning systems such as ChatGPT rapidly transform how we interact with and trust digital media. However, the emergence of such a powerful technology faces a dual-use dilemma. While it can have many ... -
Safety-Critical Control for Dynamical Systems under Uncertainties
(University of Waterloo, 2024-02-15)Control barrier functions (CBFs) and higher-order control barrier functions (HOCBFs) have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input ... -
Traffic Rule Checking and Validation
(University of Waterloo, 2024-02-15)This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ... -
Graph-Theoretic Techniques for Optimizing NISQ Algorithms
(University of Waterloo, 2024-02-15)Entering the NISQ era, the search for useful yet simple quantum algorithms is perhaps of more importance now than it may ever be in the future. In place of quantum walks, the quantum Fourier transform, and asymptotic results ... -
A Fault Injection Tool for Testing Distributed System with Network Faults
(University of Waterloo, 2024-01-30)Modern systems are complex, they include hundreds of components that implement complex protocols such as scheduling, replication, membership, resource management, client access, and security. These systems are expected to ... -
Spatial and Temporal Discounting in a Social-Climate Model
(University of Waterloo, 2024-01-25)This thesis analyzes how individuals' devaluation of distant impacts of climate change affects mitigation behaviours and projected climate conditions. To approach this question, spatial and temporal discounting is applied ... -
Advancing Antibody Design: Integrating Protein Language Models for Enhanced Computational Strategies
(University of Waterloo, 2024-01-25)Antibodies, or immunoglobulins, are integral to the immune response, playing a crucial role in recognizing and neutralizing external threats such as pathogens. The design of these molecules, however, is complex due to the ... -
Website Fingerprinting on LEO Satellite Internet
(University of Waterloo, 2024-01-24)Although encrypted channels, like those provided by anonymity networks such as Tor, have been put into effect, network adversaries have proven their capability to undermine users' browsing privacy through website fingerprinting ... -
Disk-based Indexing for NIR-Trees using Polygon Overlays
(University of Waterloo, 2024-01-23)This thesis presents the NIR+-Tree, a disk-resident R-Tree variant that eliminates overlap among its minimum bounding rectangles (MBRs). The NIR+-Tree is an extension of the main-memory NIR-Tree, adopting techniques for ... -
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(University of Waterloo, 2024-01-23)A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ... -
Explorations in Pairwise Measures of Dependence and Pooled Significance
(University of Waterloo, 2024-01-22)In the exploration of data sets with many variables, the search for interesting pairs is often the first step of analysis. This search builds a road map of the entirety of data before looking at its details, and can provide ... -
Entropy-Stable Positivity-Preserving Schemes for Multiphase Flows
(University of Waterloo, 2024-01-22)High-intensity focused ultrasound is a promising non-invasive medical technology that has been successfully used to ablate tumors, as well as in the treatment of other conditions. Researchers believe high-intensity focused ... -
Analyzing Adversarial Examples: A Framework to Study Adversary Knowledge
(University of Waterloo, 2024-01-22)Adversarial examples are malicious inputs to trained machine learning models supplied to trigger a misclassification. This type of attack has been studied for close to a decade, and we find that there is a lack of study ... -
A General Neural Network Methodology for Multi-period Portfolio Optimization
(University of Waterloo, 2024-01-22)In this thesis, we propose a neural network methodology for solving the multi-period portfolio optimization problem. Our approach formulates the problem as a stochastic optimal control problem and uses a single neural ... -
Proving Properties of Fibonacci Representations via Automata Theory
(University of Waterloo, 2024-01-22)In this work, we introduce a novel framework for mechanically testing the completeness and unambiguity of Fibonacci-based representations via automata theory. We call a representation (or a number system) complete and ... -
Private Distribution Learning with Public Data
(University of Waterloo, 2024-01-22)We study the problem of private distribution learning with access to public data. In this setup, a learner is given both public and private samples drawn from an unknown distribution 𝑝 belonging to a class 𝑄, and has the ... -
Persona-based target-guided dialogue systems: A use case in dementia care
(University of Waterloo, 2024-01-19)In recent years, conversational agents have shown potential in various applications. However, the development of conversational agents tailored for older adults, particularly those with age-related cognitive limitations, ... -
Re-encoding Resistance: Towards Robust Covert Channels over WebRTC Video Streaming
(University of Waterloo, 2024-01-18)Internet censorship is an ongoing phenomenon, where state level agents attempt to control the free access to information on the internet for purposes like dissent suppression and control. In response, research has been ... -
An Investigation of Human Annotators' AI Teammate Selection and Compliance Behaviours
(University of Waterloo, 2024-01-18)Human-artificial intelligence (AI) collaborative annotation has gained increasing prominence as a result of its enormous potential to complement human and AI strengths as well as AI's recent development. However, it is not ... -
Graph-Based Mapping for Knowledge Transfer in General Game Playing
(University of Waterloo, 2024-01-17)General game playing (GGP) is a field of reinforcement learning (RL) in which the rules of a game (i.e. the state and dynamics of an RL domain) are not specified until runtime. A GGP agent must therefore be able to play ...