Browsing Mathematics (Faculty of) by Title
Now showing items 208-227 of 3011
-
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 ... -
An Attempt to Automate <i>NP</i>-Hardness Reductions via <i>SO</i>∃ Logic
(University of Waterloo, 2004)We explore the possibility of automating <i>NP</i>-hardness reductions. We motivate the problem from an artificial intelligence perspective, then propose the use of second-order existential (<i>SO</i>∃) logic as ... -
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? ... -
Audio processing on constrained devices
(University of Waterloo, 2009-10-29)This thesis discusses the future of smart business applications on mobile phones and the integration of voice interface across several business applications. It proposes a framework that provides speech processing support ... -
Augmented composite likelihood for copula modeling in family studies under biased sampling
(Oxford University Press, 2016-01-27)The heritability of chronic diseases can be effectively studied by examining the nature and extent of within-family associations in disease onset times. Families are typically accrued through a biased sampling scheme in ... -
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 ... -
Augmenting Trees to Achieve 2-Node-Connectivity
(University of Waterloo, 2020-09-02)This thesis focuses on the Node-Connectivity Tree Augmentation Problem (NC-TAP), formally defined as follows. The first input of the problem is a graph G which has vertex set V and edge set E. We require |V| >= 3 to avoid ... -
Augmenting Visual Feedback Using Sensory Substitution
(University of Waterloo, 2011-08-29)Direct interaction in virtual environments can be realized using relatively simple hardware, such as standard webcams and monitors. The result is a large gap between the stimuli existing in real-world interactions and those ... -
AutoCPA: Automatic Continuous Profiling and Analysis
(University of Waterloo, 2020-09-03)Poor data locality is a performance bottleneck in modern applications. The hierarchy of caches exiting in computer processors reduces data access latency from the main memory. However, inefficient cache utilization results ... -
Automata and Ratio Sets
(University of Waterloo, 2022-12-13)This thesis explores the composition of ratio sets, the subsets of the rationals derived from the quotients of two sets of natural numbers, and examines a variety of specific examples where the comprising sets of natural ... -
Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms
(University of Waterloo, 2015-08-26)Self-stabilization [2] is a versatile technique for recovery from erroneous behavior due to transient faults or wrong initialization. A system is self-stabilizing if (1) starting from an arbitrary initial state it can ... -
Automated Analysis of Unified Modeling Language (UML) Specifications
(University of Waterloo, 2001)The Unified Modeling Language (UML) is a standard language adopted by the Object Management Group (OMG) for writing object-oriented (OO) descriptions of software systems. UML allows the analyst to add class-level and ... -
Automated Annotation and Visualization of Rhetorical Figures
(University of Waterloo, 2009-05-20)Linguistic annotation provides additional information asserted with a particular purpose in a document or other piece of information. It is widely used in various fields, from computing and bioinformatics, through imaging, ... -
Automated Generation of Numerical Evaluation Routines for Bivariate Functions via Tensor Product Series
(University of Waterloo, 2008-09-24)In this thesis, we present a method for the automated generation of numerical evaluation routines for bivariate functions via tensor product series and develop a toolkit to assist with the generation of the approximations. ... -
Automated Hierarchy Discovery for Planning in Partially Observable Domains
(University of Waterloo, 2007-01-19)Planning in partially observable domains is a notoriously difficult problem. However, in many real-world scenarios, planning can be simplified by decomposing the task into a hierarchy of smaller planning problems which, ...