Browsing Mathematics, Statistics, and Computer Science, Department of by Title
Now showing items 1736 of 809

ALMOST GALOIS omegaSTABLE CLASSES
(Association for Symbolic Logic, 2015)Theorem. Suppose that an @0presentable Abstract Elementary Class (AEC),K, has the joint embedding and amalgamation properties in @0 and < 2@1 models in @1. If K has only countably many models in @1, then all are small. ... 
Almost galois ωstable classes
(Association for Symbolic Logic [Society Publisher], 20150722) 
An Alternate Proof Of Wise's Malnormal Special Quotient Theorem.
(Cambridge University Press, 2016)We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of ... 
The Amalgamation Spectrum
(Association for Symbolic Logic, 200909)We study when classes can have the disjoint amalgamation property for a proper initial segment of cardinals. Theorem A For every natural number k, there is a class Kk defined by a sentence in Lω₁,ω that has no models ... 
Analysis of Algorithms in Learning Theory and Network Analysis of Knowledge Bases
(20131031)This thesis is concerned with problems that arise in learning theory as well as with an investigation, using the tools of network analysis, of a popular commonsense knowledge base that is publicly available online and ... 
An Analysis of Multivariate FinalOffer Arbitration
(20160908)When negotiations fail, arbitration is often an effective means by which a binding resolution can be found. To address the many shortcomings of conventional arbitration, many industries have been using a variation called ... 
Analysis of presenceonly data via semisupervised learning approaches
(Elsevier, 201303)Presenceonly data occur in classification, which consist of a sample of observations from presence class and a large number of background observations with unknown presence/absence. Since absence data are generally ... 
Analyzing Privacy of Android Apps
(20140620)In this thesis we present the design and the implementation of a tool to analyze privacy policies of Android applications, with the purpose of increasing the user’s awareness about privacyrelated concerns. The goal of ... 
An Annotation Framework for LowLevel Virtual Machine Compiler Infrastructure
(20131024)This work has been part of the ongoing results in a research project on compilers, formal methods and computer security to build a defensive optimizer compiler. Modern compilers contain several complex, highly specified, ... 
An approximate Bayesian marginal likelihood approach for estimating nite mixtures
(Taylor & Francis, 201308)Estimation of nite mixture models when the mixing distribution support is unknown is an important problem. This paper gives a new approach based on a marginal likelihood for the unknown support. Motivated by a Bayesian ... 
Arcs on determinantal varieties.
(2009) 
Articulate: Creating Meaningful Visualizations from Natural Language
(20121210)While many visualization tools exist that offer sophisticated functions for charting complex data, they still expect users to possess a high degree of expertise in wielding the tools to create an effective visualization. ...