Browsing Mathematics (Faculty of) by Title
Now showing items 1301-1320 of 3017
-
Improved Model Poisoning Attacks and Defenses in Federated Learning with Clustering
(University of Waterloo, 2022-05-12)Federated Learning (FL) allows multiple participants to collaboratively train a deep learning model without sharing their private training data. However, due to its distributive nature, FL is vulnerable to various poisoning ... -
Improved Particle Filter Based Localization and Mapping Techniques
(University of Waterloo, 2008-04-28)One of the most fundamental problems in mobile robotics is localization. The solution to most problems requires that the robot first determine its location in the environment. Even if the absolute position is not necessary, ... -
Improved Scalability and Accuracy of Bayesian Network Structure Learning in the Score-and-Search Paradigm
(University of Waterloo, 2023-05-16)A Bayesian network is a probabilistic graphical model that consists of a directed acyclic graph (DAG), where each node is a random variable and attached to each node is a conditional probability distribution (CPD). A ... -
Improvements in the Accuracy of Pairwise Genomic Alignment
(University of Waterloo, 2010-04-16)Pairwise sequence alignment is a fundamental problem in bioinformatics with wide applicability. This thesis presents three new algorithms for this well-studied problem. First, we present a new algorithm, RDA, which aligns ... -
Improvements to Many-Sorted Finite Model Finding using SMT Solvers
(University of Waterloo, 2023-08-17)Formal modeling is a powerful tool in requirements engineering. By modeling a system before implementation, one can discover bugs before they appear in testing or production. Model finding (or instance finding) for a model ... -
Improvements to Transitive-Closure-based Model Checking in Alloy
(University of Waterloo, 2018-01-19)Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ... -
Improving Artificial Neural Network Models for Predicting Hourly Water Consumption
(University of Waterloo, 2018-09-26)Smart water meter devices are now widely installed in single family residences, allowing water consumption data to be collected at a high resolution from both the temporal and spatial perspectives. Such data allows improved ... -
Improving Cluster Scheduling Resiliency to Network Faults
(University of Waterloo, 2023-05-31)We present a comprehensive empirical study of the impact partial network partitions have on cluster managers in data analysis frameworks. Our study shows that modern scheduling approaches are vulnerable to partial network ... -
Improving Coarsening and Interpolation for Algebraic Multigrid
(University of Waterloo, 2006)Algebraic multigrid (AMG) is one of the most efficient algorithms for solving large sparse linear systems on unstructured grids. Classical coarsening schemes such as the standard Ruge-Stüben method [14] can lead ... -
Improving Convergence Rates in Multiagent Learning Through Experts and Adaptive Consultation
(University of Waterloo, 2007-05-07)Multiagent learning (MAL) is the study of agents learning while in the presence of other agents who are also learning. As a field, MAL is built upon work done in both artificial intelligence and game theory. Game theory ... -
Improving Data Locality in Applications through Execution Delegation
(University of Waterloo, 2023-01-09)With the slowing or even death of Moore’s Law, computer system architectures are trending toward more CPU cores. This trend has driven systems researchers to explore novel ways of utilizing this computational power for ... -
Improving Data Locality in Applications using Message Passing
(University of Waterloo, 2014-12-04)This thesis presents a systematic study of two modes of program execution: synchronous and asynchronous. In synchronous mode, program components are tightly coupled. Traditional procedure call represents the synchronous ... -
Improving Distributed Filesystem Performance by Combining Replica and Network Path Selection
(University of Waterloo, 2014-09-25)Distributed filesystems are often the primary bandwidth consumers of large-scale datacenter networks. Unsurprisingly, the datacenter network is often the performance bottleneck for distributed filesystems. Yet even ... -
Improving Object Detection with MatrixNets
(University of Waterloo, 2020-11-20)Object detection is a popular task in computer vision with various applications, from pedestrian detection to face detection. Following the success of Convolutional Neural Networks (CNNs), many CNN based object detectors ... -
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) ... -
Improving post-quantum cryptography through cryptanalysis
(University of Waterloo, 2020-07-15)Large quantum computers pose a threat to our public-key cryptographic infrastructure. The possible responses are: Do nothing; accept the fact that quantum computers might be used to break widely deployed protocols. Mitigate ... -
Improving Selfie Aesthetics with Interactive Guidance based on Empirical Models
(University of Waterloo, 2016-05-06)We introduce RealSelfie, a smartphone camera application providing interactive guid- ance to help people take better self-portrait photos (commonly called “selfies”). The appli- cation uses empirical models to estimate ... -
Improving Spatial Resolution of and Error Estimation for Radical Probe Mass Spectrometry
(University of Waterloo, 2015-09-23)The function of a protein depends on the structure of the protein. A commonly used analytical technique for studying protein structure is radical-probe mass spectrometry (RP-MS). RP-MS oxidizes a protein of interest then ... -
Improving the Performance of User-level Runtime Systems for Concurrent Applications
(University of Waterloo, 2018-09-25)Concurrency is an essential part of many modern large-scale software systems. Applications must handle millions of simultaneous requests from millions of connected devices. Handling such a large number of concurrent ... -
Improving the Reliability of Deep Learning Software Systems
(University of Waterloo, 2022-09-07)For the last decade, deep learning (DL) has emerged as a new effective machine learning approach that is capable of solving difficult challenges. Due to their increasing effectiveness, DL approaches have been applied widely ...