Now showing items 41-60 of 846

• #### Applications of Description Logic and Causality in Model Checking ﻿

(University of Waterloo, 2009-06-19)
Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is verified against a specification $\varphi$, exhaustively checking ...
• #### Applications of Geometry in Optimization and Statistical Estimation ﻿

(University of Waterloo, 2016-01-25)
Geometric properties of statistical models and their influence on statistical inference and asymptotic theory reveal the profound relationship between geometry and statistics. This thesis studies applications of convex ...
• #### Applications of Operator Systems in Dynamics, Correlation Sets, and Quantum Graphs ﻿

(University of Waterloo, 2020-07-24)
The recent works of Kalantar-Kennedy, Katsoulis-Ramsey, Ozawa, and Dykema-Paulsen have demonstrated that many problems in the theory of operator algebras and quantum information can be approached by looking at various ...
• #### Applications of Projection Pursuit in Functional Data Analysis: Goodness-of- fit, Forecasting, and Change-point Detection ﻿

(University of Waterloo, 2021-01-20)
Dimension reduction methods for functional data have been avidly studied in recent years. However, existing methods are primarily based on summarizing the data by their projections into principal component subspaces, namely ...
• #### Applications of Stochastic Control to Portfolio Selection Problems ﻿

(University of Waterloo, 2018-10-16)
Portfolio selection is an important problem both in academia and in practice. Due to its significance, it has received great attention and facilitated a large amount of research. This thesis is devoted to structuring optimal ...
• #### Applications of the minimal modelprogram in arithmetic dynamics ﻿

(University of Waterloo, 2021-09-07)
Let F be a surjective endomorphism of a normal projective variety X defined over a number field. The dynamics of F may be studied through the dynamics of the linear action of an associated linear pull-back action on divisors. ...
• #### Approximation Algorithms for Clustering and Facility Location Problems ﻿

(University of Waterloo, 2017-04-06)
Facility location problems arise in a wide range of applications such as plant or warehouse location problems, cache placement problems, and network design problems, and have been widely studied in Computer Science and ...
• #### Approximation Algorithms for Distributionally Robust Stochastic Optimization ﻿

(University of Waterloo, 2019-05-15)
Two-stage stochastic optimization is a widely used framework for modeling uncertainty, where we have a probability distribution over possible realizations of the data, called scenarios, and decisions are taken in two stages: ...
• #### Approximation Algorithms for Path TSP, ATSP, and TAP via Relaxations ﻿

(University of Waterloo, 2015-07-29)
Linear programming (LP) relaxations provide a powerful technique to design approximation algorithms for combinatorial optimization problems. In the first part of the thesis, we study the metric s-t path Traveling Salesman ...
• #### Approximation Constants for Closed Subschemes of Projective Varieties ﻿

(University of Waterloo, 2019-06-19)
Diophantine approximation is a branch of number theory with a long history, going back at least to the work of Dirichlet and Liouville in the 1840s. The innocent-looking question of how well an arbitrary real algebraic ...
• #### Approximation, Proof Systems, and Correlations in a Quantum World ﻿

(University of Waterloo, 2012-08-29)
This thesis studies three topics in quantum computation and information: The approximability of quantum problems, quantum proof systems, and non-classical correlations in quantum systems. Our first area of study concerns ...
• #### Aspects of Metric Spaces in Computation ﻿

(University of Waterloo, 2008-06-06)
Metric spaces, which generalise the properties of commonly-encountered physical and abstract spaces into a mathematical framework, frequently occur in computer science applications. Three major kinds of questions about ...
• #### Assessing Binary Measurement Systems ﻿

(University of Waterloo, 2012-01-19)
Binary measurement systems (BMS) are widely used in both manufacturing industry and medicine. In industry, a BMS is often used to measure various characteristics of parts and then classify them as pass or fail, according ...
• #### Assessing Binary Measurement Systems Using Targeted Verification with a Gold Standard ﻿

(University of Waterloo, 2017-05-19)
Binary Measurement Systems (BMS) are used to classify objects into two categories. Sometimes the categories represent some intrinsically dichotomous characteristic of the object, but sometimes continuous or even multidimensional ...
• #### Assessment and Comparison of Continuous Measurement Systems ﻿

(University of Waterloo, 2014-12-10)
In this thesis we critically examine the assessment and comparison of continuous measurement systems. Measurement systems, defined to be the devices, people, and protocol used to make a measurement, are an important tool ...
• #### Asymptotic Estimates for Rational Spaces on Hypersurfaces in Function Fields ﻿

(University of Waterloo, 2010-06-29)
The ring of polynomials over a finite field has many arithmetic properties similar to those of the ring of rational integers. In this thesis, we apply the Hardy-Littlewood circle method to investigate the density of rational ...
• #### Attributed Intelligence ﻿

(University of Waterloo, 2018-01-31)
Human beings quickly and confidently attribute more or less intelligence to one another. What is meant by intelligence when they do so? And what are the surface features of human behaviour that determine their judgements? ...
• #### Augmenting Local Search for Satisfiability ﻿

(University of Waterloo, 2004)
This dissertation explores approaches to the satisfiability problem, focusing on local search methods. The research endeavours to better understand how and why some local search methods are effective. At the root of ...
• #### Automated Knowledge Discovery using Neural Networks ﻿

(University of Waterloo, 2021-05-21)
The natural world is known to consistently abide by scientific laws that can be expressed concisely in mathematical terms, including differential equations. To understand the patterns that define these scientific laws, it ...
• #### Automated recognition of handwritten mathematics ﻿

(University of Waterloo, 2014-04-17)
Most software programs that deal with mathematical objects require input expressions to be linearized using somewhat awkward and unfamiliar string-based syntax. It is natural to desire a method for inputting mathematics ...

UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883