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...
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...
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...
The triangle inequality for graded real vector spaces
March 14, 2019
|
Mathematics
General Mathematics
In this paper, we prove that a natural candidate for a homogeneous norm on a
graded Lie algebra of any length satisfies the triangle inequality which
answers Moskowitz's question....
Quantum Walk and Quantum Billiards. Towards a better understanding of
Quantum Chaos
March 12, 2019
| | |
Physics
Quantum Physics
Quantum Physics
Quantum billiards have been simulated so far in many ways, but in this work a
new aproximation is considerated. This study is based on the quantum billiard
already obtained by others authors via a tensor product of two 1-D quantum
walks . C...