Mathematics (Faculty of): Recent submissions
Now showing items 41-60 of 3013
-
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 ... -
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 2024-01-15)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ... -
Joint modeling, variable selection and multiply robust estimation in mediation analysis with multiple mediators
(University of Waterloo, 2024-01-10)This thesis explores topics in causal mediation analysis with multiple possibly related mediators. The goal of this thesis is to propose innovative methodologies for joint modeling of multiple uncausally related mediators, ... -
Improving Peptide Identification in Proteomics Data Analysis through Repeat-Preserving Decoy and Decoy-Free Retraining
(University of Waterloo, 2024-01-10)Accurately identifying peptides in proteomics is central to understanding the complexities of biological systems. Despite the advancements in proteomics data analysis, challenges related to False Discovery Rate (FDR) ... -
Implementing the Castryck-Decru attack on SIDH with general primes
(University of Waterloo, 2024-01-09)With the rapid progress of quantum computers in recent years, efforts have been made to standardize new public-key cryptographic protocols which would be secure against them. One of the schemes in contention was Supersingular ... -
Optimal trajectory calculation using neural networks
(University of Waterloo, 2024-01-08)Optimal control methods for linear systems have reached a substantial level of maturity, both in terms of conceptual understanding and scalable computational implementation. For non-linear systems, an open-loop feedback ... -
Multilingual Grammatical Error Detection And Its Applications to Prompt-Based Correction
(University of Waterloo, 2024-01-05)Grammatical Error Correction (GEC) and Grammatical Error Correction (GED) are two important tasks in the study of writing assistant technologies. Given an input sentence, the former aims to output a corrected version of ... -
Compact Routing on Planar Graphs
(University of Waterloo, 2024-01-04)This thesis delves into the exploration of shortest path queries in planar graphs, with an emphasis on the utilization of space-efficient data structures. Our investigation primarily targets connected, undirected, static ... -
Simulations of Radiatively Driven Convection and Spatially Heterogeneous Solar Radiation Intensity in Ice-Covered Lakes
(University of Waterloo, 2023-12-22)At the end of winter as sunlight and increasing air temperatures melt the snow layer above the ice, allowing significant radiation from the sun to enter the water column. In the cold water regime (T < 4 °C, where 4 °C is ... -
An Empirical Evaluation of the Viability of the Serverless Paradigm for Scientific Workflows
(University of Waterloo, 2023-12-22)Scientific workflows are typically data-intensive. They consist of many stages, each of which may contain hundreds to even thousands of tasks. Traditionally, scientific workflows have been executed using the serverful ... -
The Impact of Code Ownership of DevOps Artefacts on the Outcome of DevOps CI Builds
(University of Waterloo, 2023-12-22)This study focuses on factors that may influence the outcomes of CI builds triggered by commits modifying and/or adding DevOps artefacts to the projects, i.e., DevOps-related CI builds. In particular, code ownership of ...