Browsing University of Waterloo by Title
Now showing items 8682-8701 of 18721
-
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 detection efficiency and measurement accuracy in Coulomb Explosion Imaging experiments
(University of Waterloo, 2011-10-04)An algorithm for extracting event information from a Coulomb Explosion Imaging (CEI) position sensitive detector (PSD) is developed and compared with previously employed schemes. The PSD is calibrated using a newly designed ... -
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 Access to Fresh Vegetables: Home Gardening in a Remote First Nations Community
(University of Waterloo, 2014-02-14)Cultural oppression and marginalization through colonization of First Nation peoples has led to a variety of physical and mental health problems. Regaining health and well-being in these First Nations communities will ... -
Improving Airport Runway Braking Analysis through Innovative Modeling
(University of Waterloo, 2014-07-21)Landing excursion accidents have become a major concern over recent decades regarding airline and airport safety. Available runway friction has a significant impact on aircraft landing performance. This is especially noted ... -
Improving and Evaluating the Stability of Photovoltaics
(University of Waterloo, 2019-08-28)Advancements in photovoltaic technologies are hindered by stability and degradation. In silicon photovoltaics, these degradation mechanisms include potential induced degradation (PID) and current-induced degradation (CID), ... -
Improving Aquaculture: the Impact of Bacterial Disease Treatments on Salmonid Immune Performance
(University of Waterloo, 2019-12-13)Aquaculture is a global multibillion-dollar industry that is continuously threatened by infectious diseases, including those of bacterial origin. Currently, the only method to combat bacterial disease outbreaks as they ... -
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 Biocompatibility of Implantable Bioelectronics using Zwitterionic Cysteine
(University of Waterloo, 2017-04-27)Recent advances in bioelectronics have allowed for faster diagnoses of diseases as well as treatments for disorders that were previously considered incurable. The performance of these devices is, however, severely hindered ... -
Improving Biospecimen Imaging in Liquid Phase Electron Microscopy
(University of Waterloo, 2023-08-24)This thesis highlights the progress made in LPEM and the study of biosamples. The introduction provides a comprehensive overview of the challenges encountered in investigating molecular processes and traces the historical ... -
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 Consultation Measures at the Municipal Level
(University of Waterloo, 2007-04-18)Consulting with the public on planning issues has become an endeavour formalized throughout Western democracies over the past half-century. However, there remains a dichotomy between the legislative minimums for this part ... -
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 dam safety analysis by using physically-based techniques to derive estimates of atmospherically maximum precipitation
(University of Waterloo, 2001) -
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 Data Quality in Primary Care: Modelling, Measurement, and the Design of Interventions
(University of Waterloo, 2017-04-24)In an era where governments around the world invest heavily in data collection and data management, poor-quality data is expensive and has many direct and indirect costs. While there are different types of data quality ... -
Improving Dielectric Thin Films for Metal Insulator Metal Diodes and Perovskite Solar Cells
(University of Waterloo, 2021-08-25)Metal-insulator-metal (MIM) diodes are nano-electronic devices that operate by quantum tunneling of electrons through a thin dielectric layer to rectify high frequency alternating current (AC) to usable direct current (DC). ...