Browsing Mathematics (Faculty of) by Title
Now showing items 183-202 of 3004
-
Approximation Algorithms for Rectangle Piercing Problems
(University of Waterloo, 2005)Piercing problems arise often in facility location, which is a well-studied area of computational geometry. The general form of the piercing problem discussed in this dissertation asks for the minimum number of facilities ... -
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 ... -
An Architecture for Geographically-Oriented Service Discovery on the Internet
(University of Waterloo, 2002)Most of the service discovery protocols available on the Internet are built upon its logical structure. This phenomenon can be observed frequently from the way in which they behave. For instance, Jini and SLP service ... -
An Architecture For Multi-Agent Systems Operating In Soft Real-Time Environments With Unexpected Events
(University of Waterloo, 2004)In this thesis, we explore the topic of designing an architecture and processing algorithms for a multi-agent system, where agents need to address potential unexpected events in the environment, operating under soft ... -
Are machine learning corpora “fair dealing” under Canadian law?
(Proceedings of the 12th International Conference on Computational Creativity, 2021-09)We consider the use of large corpora for training compuationally creative systems, particularly those that write new text based on the style of an existing author or genre. Under Canadian copyright law, a key concern for ... -
Area-Efficient Drawings of Outer-1-Planar Graphs
(University of Waterloo, 2020-09-29)We study area-efficient drawings of planar graphs: embeddings of graphs on an integer grid so that the bounding box of the drawing is minimized. Our focus is on the class of outer-1-planar graphs: the family of planar ... -
Armitage Lecture 2011: The Design and Analysis of Life History Studies
(Wiley, 2013)Life history studies collect information on events and other outcomes during people’s lifetimes. For example, these may be related to childhood development, education, fertility, health, or employment. Such longitudinal ... -
Artin's Conjecture: Unconditional Approach and Elliptic Analogue
(University of Waterloo, 2008-08-11)In this thesis, I have explored the different approaches towards proving Artin's `primitive root' conjecture unconditionally and the elliptic curve analogue of the same. This conjecture was posed by E. Artin in the year ... -
Artin's Primitive Root Conjecture and its Extension to Compositie Moduli
(University of Waterloo, 2008-08-11)If we fix an integer a not equal to -1 and which is not a perfect square, we are interested in estimating the quantity N_{a}(x) representing the number of prime integers p up to x such that a is a generator of the cyclic ... -
Asking for Help with a Cost in Reinforcement Learning
(University of Waterloo, 2020-05-15)Reinforcement learning (RL) is a powerful tool for developing intelligent agents, and the use of neural networks makes RL techniques more scalable to challenging real-world applications, from task-oriented dialogue systems ... -
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 ...