SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
January 27, 2020
| | |
Computer Science
Software Engineering
Cryptography and Security
Programming Languages
Mobile apps provide various critical services, such as banking,
communication, and healthcare. To this end, they have access to our personal
information and have the ability to perform actions on our behalf. Hence,
securing mobile apps is c...
Asymptotic expansion for the Hartman-Watson distribution
January 26, 2020
|
Mathematics
Computer Science
Quantitative Finance
Probability
Numerical Analysis
Numerical Analysis
Mathematical Finance
Probability
Numerical Analysis
Numerical Analysis
Mathematical Finance
The Hartman-Watson distribution with density fr​(t) is a probability
distribution defined on t≥0 which appears in several problems of applied
probability. The density of this distribution is expressed in terms of an
integral $\thet...
Lipschitz regularity of the invariant measure of Random Dynamical
Systems
January 22, 2020
|
Mathematics
Dynamical Systems
Functional Analysis
We consider a class of Random Dynamical Systems and prove that its invariant
measure has a Lipschitz disintegration. As a consequence, we prove exponential
decay of correlations over regular observables. Both results are obtained as an
appl...
United for Change: Deliberative Coalition Formation to Change the Status
Quo
January 22, 2020
| | |
Computer Science
Multiagent Systems
We study a setting in which a community wishes to identify a strongly
supported proposal from a space of alternatives, in order to change the status
quo. We describe a deliberation process in which agents dynamically form
coalitions around ...
Unsupervisedly Learned Representations: Should the Quest be Over?
January 21, 2020
Computer Science
Machine Learning
Artificial Intelligence
After four decades of research there still exists a Classification accuracy
gap of about 20% between our best Unsupervisedly Learned Representations
methods and the accuracy rates achieved by intelligent animals. It thus may
well be that we...
Three perspectives on categorical symmetric Howe duality
January 21, 2020
|
Mathematics
Representation Theory
Algebraic Geometry
Representation Theory
Algebraic Geometry
In this paper, we consider the categorical symmetric Howe duality introduced
by Khovanov, Lauda, Sussan and Yonezawa. While originally defined from a purely
diagrammatic perspective, this construction also has geometric and
representation-t...
Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The
Filling Radius
January 21, 2020
| |
Mathematics
Computer Science
Algebraic Topology
Computational Geometry
In the applied algebraic topology community, the persistent homology induced
by the Vietoris-Rips simplicial filtration is a standard method for capturing
topological information from metric spaces. In this paper, we consider a
different, m...
Profunctor Optics, a Categorical Update
January 21, 2020
| | | | | |
Mathematics
Computer Science
Category Theory
Programming Languages
Optics are bidirectional data accessors that capture data transformation
patterns such as accessing subfields or iterating over containers. Profunctor
optics are a particular choice of representation supporting modularity, meaning
that we c...
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
January 18, 2020
| |
Mathematics
Logic
Non-wellfounded material sets have previously been modeled in Martin-L\"of
type theory by Lindstr\"om using setoids. In this paper we construct models of
non-wellfounded material sets in Homotopy Type Theory (HoTT) where equality is
interpr...
On the Prym map for cyclic covers of genus two curves
January 17, 2020
Mathematics
Algebraic Geometry
The Prym map assigns to each covering of curves a polarized abelian variety.
In the case of unramified cyclic covers of curves of genus two, we show that
the Prym map is ramified precisely on the locus of bielliptic covers. The key
observat...