The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended
Version)
September 8, 2017
| | | |
Computer Science
Logic in Computer Science
Artificial Intelligence
We present an OWL 2 ontology representing the Saint Gall plan, one of the
most ancient documents arrived intact to us, which describes the ideal model of
a Benedictine monastic complex that inspired the design of many European
monasteries....
Sloshing, Steklov and corners: Asymptotics of sloshing eigenvalues
September 6, 2017
| | | | | | |
Mathematics
Spectral Theory
Analysis of PDEs
Spectral Theory
Analysis of PDEs
In the present paper we develop an approach to obtain sharp spectral
asymptotics for Steklov type problems on planar domains with corners. Our main
focus is on the two-dimensional sloshing problem, which is a mixed
Steklov-Neumann boundary ...
Convergence estimates for the Magnus expansion I. Banach algebras
September 6, 2017
|
Mathematics
Functional Analysis
Rings and Algebras
Functional Analysis
Rings and Algebras
We review and provide simplified proofs related to the Magnus expansion, and
improve convergence estimates. Observations and improvements concerning the
Baker--Campbell--Hausdorff expansion are also made. In this Part I, we consider
the gen...
A power structure over the Grothendieck ring of geometric dg categories
September 6, 2017
Mathematics
Algebraic Geometry
We prove the existence of a power structure over the Grothendieck ring of
geometric dg categories. We show that a conjecture by Galkin and Shinder
(proved recently by Bergh, Gorchinskiy, Larsen, and Lunts) relating the motivic
and categoric...
The Recursive Stopping Time Structure of the 3x+1 Function
September 5, 2017
Mathematics
General Mathematics
The 3x+1 problem concerns iteration of the map
T:Z→Z given by \begin{align*}
T(x)=\left\{\begin{array}{lcr}\;\;\;\;\displaystyle{\frac{x}{2}} & \mbox{if
x≡0(mod2)},\\ \\\displaystyle{\fra...
A Locally Stable Equilibria Criterion for the Generalized Lotka-Volterra
September 4, 2017
|
Mathematics
Dynamical Systems
Dynamical Systems
The main result applies to non-degenerate cases of the generalized
Lotka-Volterra model. A criterion is given that relates the stability of two
fixed points with the associated Schur complement of there respective community
matrices....
Modeling Interference Via Symmetric Treatment Decomposition
September 4, 2017
| | |
Statistics
Methodology
Classical causal inference assumes treatments meant for a given unit do not
have an effect on other units. This assumption is violated in interference
problems, where new types of spillover causal effects arise, and causal
inference becomes...
Amalgamation and Symmetry: From Local to Global Consistency in The
Finite
August 31, 2017
Mathematics
Combinatorics
We present a generic construction of finite realisations of amalgamation
patterns. An amalgamation pattern is specified by a finite collection of finite
template structures together with a collection of partial isomorphisms between
them. A ...
Paradigm Completion for Derivational Morphology
August 30, 2017
| | | | | | | | |
Computer Science
Computation and Language
Computation and Language
The generation of complex derived word forms has been an overlooked problem
in NLP; we fill this gap by applying neural sequence-to-sequence models to the
task. We overview the theoretical motivation for a paradigmatic treatment of
derivati...
Even for common NLP tasks, sufficient supervision is not available in many
languages -- morphological tagging is no exception. In the work presented here,
we explore a transfer learning scheme, whereby we train character-level
recurrent neu...