Browsing Mathematics (Faculty of) by Title
Now showing items 194-213 of 3011
-
An Aspect-Oriented Approach to Design and Develop Hypermedia Documents
(University of Waterloo, 2005)Hypermedia applications can be defined as collections of interactive multimedia documents that are organized as a hypertext net. The variety of application domains and the complexity of the relationship among the application ... -
Aspect-Oriented Smart Proxies in Java RMI
(University of Waterloo, 2008-05-21)Java's Remote Method Invocation (RMI) architecture allows distributed applications to be written in Java. Clients can communicate with a server via a local proxy object that hides the network and server implementation ... -
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 ... -
Aspects of Quantum Field Theory in Enumerative Graph Theory
(University of Waterloo, 2022-10-24)While a quantum field theorist has many uses for mathematics of all kinds, the relationship between quantum field theory and mathematics is far too fluid in the world of modern research to be described as the simple provision ... -
Assessing a binary measurement system: A new plan using targeted verification with conditional sampling and baseline information
(Elsevier, 2019-11)We investigate efficient plans to assess the misclassification error rates of a binary measurement system used as an in-line inspection protocol. We assume that parts can be inspected repeatedly and that each part has its ... -
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 ... -
Assessing the accuracy of predictive models with interval-censored data
(Oxford University Press, 2022-01)We develop methods for assessing the predictive accuracy of a given event time model when the validation sample is comprised of case K interval-censored data. An imputation-based, an inverse probability weighted (IPW), and ... -
Assessing the Reliability of Deep Learning Applications
(University of Waterloo, 2023-08-01)Deep Learning (DL) applications are widely deployed in diverse areas, such as image classification, natural language processing, and auto-driving systems. Although these applications achieve outstanding performance in terms ... -
Assessing the Trainability of the Variational Quantum State Diagonalization Algorithm at Scale
(University of Waterloo, 2022-04-28)Quantum algorithm development is a famously difficult problem. The lack of intuition concerning the quantum realm makes constructing quantum algorithms which solve partic- ular problems of interest difficult. In addition, ... -
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 ... -
Asset Return Correlations in Episodes of Systemic Crises
(University of Waterloo, 2014-08-22)This thesis explores asset return correlation dynamics in relation to systemic crises. The eigenvalues obtained from principal component analysis performed on the sample return correlation matrix equal the variance explained ... -
An Assistive Handwashing System with Emotional Intelligence
(University of Waterloo, 2014-08-19)Whether emotional intelligence (or, affective reasoning) is included can influence the effectiveness of a cognitive assistive system. This thesis presents a novel emotionally intelligent hand-washing assistant that aims ... -
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
(2019-06-13)We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ... -
Astra: Evaluating Translations from Alloy to SMT-LIB
(University of Waterloo, 2018-12-21)We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ... -
Asymptotic Distribution of the Optimal Value in Random Linear Programs: Application to Maximum Expected Shortfall
(University of Waterloo, 2020-10-08)The properties of risk measures are of fundamental concern in quantitative finance, particularly in times of uncertainty. We study the behaviour of the asymptotic distribution of the maximum expected shortfall of a portfolio ... -
Asymptotic Distributions for Block Statistics on Non-crossing Partitions
(University of Waterloo, 2014-01-23)The set of non-crossing partitions was first studied by Kreweras in 1972 and was known to play an important role in combinatorics, geometric group theory, and free probability. In particular, it has a natural embedding ... -
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 ... -
Attaching Social Interactions Surrounding Software Changes to the Release History of an Evolving Software System
(University of Waterloo, 2006-12-21)Open source software is designed, developed and maintained by means of electronic media. These media include discussions on a variety of issues reflecting the evolution of a software system, such as reports on bugs and ...