Browsing Theses by Title
Now showing items 14452-14471 of 15525
-
Towards a Theoretical Understanding of the Power of Restart in SAT solvers
(University of Waterloo, 2019-09-09)Restart policy is a widely used class of techniques integral to the efficiency of conflict-driven clause-learning (CDCL) SAT solvers. While the utility of such policies has been well-established, to-date we still lack a ... -
Towards a Theory of Visual Concealment
(University of Waterloo, 2010-08-26)The goal of this dissertation is to take initial steps towards understanding concealment behaviour and ultimately developing a theory of visual concealment. Since there are relatively few studies of concealment in the ... -
Towards a Versatile System for the Visual Recognition of Surface Defects
(University of Waterloo, 2005)Automated visual inspection is an emerging multi-disciplinary field with many challenges; it combines different aspects of computer vision, pattern recognition, automation, and control systems. There does not exist a ... -
Towards A Workload-Driven Flow Scheduler For Modern Datacenters
(University of Waterloo, 2018-10-05)Modern datacenters run different applications with various communication requirements in terms of bandwidth and deadlines. Of particular interest are deadlines that are driving web-search workloads e.g. when submitting ... -
Towards an Enhanced Dependency Graph
(University of Waterloo, 2022-12-22)Dependency graphs are at the heart of software analytics tasks like change impact analysis, test selection, and maintenance analysis. Despite their importance, current approaches to extract and analyze dependency graphs ... -
Towards an Optimized Laboratory Procedure for Accelerated Long-Term Oxidative Aging of Asphalt Mix Specimens
(University of Waterloo, 2018-11-14)Pavement infrastructure forms one of the most important mode of passenger and freight transportation and trade between Canada and the United States, and plays an important role in national economy as a measure of Canada’s ... -
Towards an Understanding of Board IT Governance: Antecedents and Consequences
(University of Waterloo, 2009-09-09)Board involvement in Information Technology (IT) governance and the antecedents and consequences of such involvement are examined from both a theoretical and practical perspective. Practitioner and academic IT governance ... -
Towards an Understanding of How People Build Mental Representations
(University of Waterloo, 2016-12-13)Navigating the environment and making everyday decisions is a process plagued by noise, uncertainty, and non-stationary contingencies. Efficient and effective action is predicated upon a stable internal representation of ... -
Towards an Understanding of Sexual Desire Discrepancy in Couples
(University of Waterloo, 2016-05-19)Sexual desire is deeply embedded in interpersonal relationships and cannot be fully understood outside of this context. As such, research that focuses on sexual desire problems at the level of the couple is critical for ... -
Towards Analog Quantum Simulations of Dynamical Gauge Theories
(University of Waterloo, 2017-09-20)A system which can implement an analog quantum simulation of lattice gauge theories has been proposed. In particular, the Schwinger model is formulated in terms of a lattice and superconducting qubit implementation is ... -
Towards automated lake ice classification using dual polarization RADARSAT SAR imagery
(University of Waterloo, 2018-01-18)Lake ice, as one of the most important component of the cryosphere, is a valuable indicator of climate change and variability. The Laurentian Great Lakes are the world’s largest supply of freshwater and their ice cover has ... -
Towards Automatic Initial Buffer Configuration
(University of Waterloo, 2003)Buffer pools are blocks of memory used in database systems to retain frequently referenced pages. Configuring the buffer pools is a difficult and manual task that involves determining the amount of memory to devote to ... -
Towards Automating Protein Structure Determination from NMR Data
(University of Waterloo, 2009-09-29)Nuclear magnetic resonance (NMR) spectroscopy technique is becoming exceedingly significant due to its capability of studying protein structures in solution. However, NMR protein structure determination has remained a ... -
Towards Autonomous Driving at the Limit of Friction
(University of Waterloo, 2015-01-14)Autonomous vehicles have become a reality, many vehicles have implemented some features to allow partial or full autonomy; however, full autonomous driving near the limit of friction still presents many obstacles, especially ... -
Towards Better Methods of Stereoscopic 3D Media Adjustment and Stylization
(University of Waterloo, 2018-05-30)Stereoscopic 3D (S3D) media is pervasive in film, photography and art. However, working with S3D media poses a number of interesting challenges arising from capture and editing. In this thesis we address several of these ... -
Towards Better Static Analysis Security Testing Methodologies
(University of Waterloo, 2020-09-24)Software vulnerabilities have been a significant attack surface used in cyberattacks, which have been escalating recently. Software vulnerabilities have caused substantial damage, and thus there are many techniques to ... -
Towards Climate Change Adaptation in Canada's Protected Natural Areas: an Ontario Parks Case Study
(University of Waterloo, 2008-09-12)Climate is a major catalyst of change in the composition, structure and function of the Ecosphere. Empirical studies of species response to climate consistently reveal that the anomalous warming occurring over roughly the ... -
Towards Data-Leveraged Behavioral Policy Design for Alleviating Peak Electricity Demand
(University of Waterloo, 2016-01-20)The problem of managing peak electricity demand is of significant importance to utility providers. In Ontario, electricity consumption achieves its peak during the afternoon hours in summer. Electricity generation units ... -
Towards democratizing water quality monitoring processes for the lower Grand River and nearshore Lake Erie
(University of Waterloo, 2021-10-01)Freshwater quality issues are among the most pressing challenges of our time. Such issues are increasingly complex and tend to recur when we fail to acknowledge the interacting stressors that influence them. One example ... -
Towards Designing Composite membranes for CO2 Separation: The Inclusion of Hybrid TiO2-PEG Structures and the Study of their Interfaces
(University of Waterloo, 2015-11-26)This thesis work aims towards designing hybrid membranes for CO2 separation in the post-combustion process. The different methods of existing technologies are compared and assessed for their merit, and the decision of using ...