Browsing Computer Science by Title
Now showing items 680-699 of 1551
-
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 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 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 ... -
Improving Tor using a TCP-over-DTLS Tunnel
(University of Waterloo, 2008-09-24)The Tor network gives anonymity to Internet users by relaying their traffic through the world over a variety of routers. This incurs latency, and this thesis first explores where this latency occurs. Experiments discount ... -
Impulse Control in Finance: Numerical Methods and Viscosity Solutions
(University of Waterloo, 2017-12-05)The goal of this thesis is to provide efficient and provably convergent numerical methods for solving partial differential equations (PDEs) coming from impulse control problems motivated by finance. Impulses, which are ... -
In Search of a Scalable Geo-Distributed Consensus Protocol
(University of Waterloo, 2020-08-20)Byzantine fault tolerant consensus protocols are a crucial component in blockchain systems. Traditional BFT consensus protocols have poor scalability, and their performance is sensitive to the latency between their ... -
In Search Of Most Complex Regular Languages
(World Scientific Publishing, 2013-09-01)Sequences (L-n vertical bar n >= k), called streams, of regular languages L-n are considered, where k is some small positive integer, n is the state complexity of L-n, and the languages in a stream differ only in the ... -
In Silico Investigation of the Light Transmission Profiles of Sand-Textured Soils
(University of Waterloo, 2020-05-14)Sand-textured soils are found in a wide range of landscapes, from dune fields to coastal areas. The quantification of light penetration through these soils, particularly considering possible variations in the presence ...