Political actors form coalitions around their joint normative beliefs in
order to influence the policy process on contentious issues such as climate
change or population ageing. Policy process theory maintains that learning
within and acros...
A Note on OTM-Realizability and Constructive Set Theories
March 21, 2019
Mathematics
Logic
We define an ordinalized version of Kleene's realizability interpretation of
intuitionistic logic by replacing Turing machines with Koepke's ordinal Turing
machines (OTMs), thus obtaining a notion of realizability applying to arbitrary
stat...
A Girsanov approach to slow parameterizing manifolds in the presence of
noise
March 20, 2019
| | | | | | |
Mathematics
Dynamical Systems
Probability
Dynamical Systems
Probability
This work investigates a three-dimensional slow-fast stochastic system with
quadratic nonlinearity and additive noise, inspired by fluid dynamics. The
deterministic counterpart exhibits a periodic orbit and a slow manifold. We
demonstrate t...
LMI Properties and Applications in Systems, Stability, and Control
Theory
March 20, 2019
|
Computer Science
Mathematics
Systems and Control
Optimization and Control
Linear matrix inequalities (LMIs) commonly appear in systems, stability, and
control applications. Many analysis and synthesis problems in these areas can
be solved as feasibility or optimization problems subject to LMI constraints.
Althoug...
Polyhedral products over finite posets
March 19, 2019
|
Mathematics
Algebraic Topology
Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be
spaces obtained as unions of certain product spaces indexed by the simplices of
an abstract simplicial complex. In this paper we give a very general homotopy
theo...
Homological mirror symmetry for hypertoric varieties II (with an
Appendix written jointly with Laurent C\^ot\'e and Justin Hilburn)
March 19, 2019
| |
Mathematics
Physics
Algebraic Geometry
Mathematical Physics
Mathematical Physics
Symplectic Geometry
In this paper, we prove a homological mirror symmetry equivalence for pairs
of multiplicative hypertoric varieties, and we calculate monodromy
autoequivalences of these categories by promoting our result to an equivalence
of perverse schobe...
Parametric Timed Pattern Matching
March 18, 2019
| |
Computer Science
Formal Languages and Automata Theory
Given a log and a specification, timed pattern matching aims at exhibiting
for which start and end dates a specification holds on that log. For example,
"a given action is always followed by another action before a given deadline".
This pro...
Spanning subspace configurations
March 18, 2019
Mathematics
Combinatorics
A {\em spanning configuration} in the complex vector space Ck is
a sequence (W1,…,Wr) of linear subspaces of Ck such that
W1+⋯+Wr=Ck. We present the integral cohomology of the
modul...
The Einstein Relation on Metric Measure Spaces
March 17, 2019
| | |
Mathematics
Functional Analysis
Probability
Functional Analysis
Probability
This note is based on F. Burghart's master thesis at Stuttgart university
from July 2018, supervised by Prof. Freiberg.
We review the Einstein relation, which connects the Hausdorff, local walk and
spectral dimensions on a space, in the a...
Multi-camera calibration with pattern rigs, including for
non-overlapping cameras: CALICO
March 15, 2019
| | |
Computer Science
Computer Vision and Pattern Recognition
This paper describes CALICO, a method for multi-camera calibration suitable
for challenging contexts: stationary and mobile multi-camera systems, cameras
without overlapping fields of view, and non-synchronized cameras. Recent
approaches ar...