Related papers: Alternating Hierarchies for Time-Space Tradeoffs
Signal Temporal Logic (STL) has been widely adopted as a specification language for specifying desirable behaviors of hybrid systems. By monitoring a given STL specification, we can detect the executions that violate it, which are often…
In recent years, we have witnessed a dramatic shift towards techniques driven by neural networks for a variety of NLP tasks. Undoubtedly, neural language models (NLMs) have reduced perplexity by impressive amounts. This progress, however,…
HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to…
Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths. Standard temporal logics can only refer to a single path at a time, and therefore…
Two general upper bounds on the topological entropy of nonlinear time-varying systems are established: one using the matrix measure of the system Jacobian, the other using the largest real part of the eigenvalues of the Jacobian matrix with…
The Toda lattice (TL) hierarchy was first introduced by K.Ueno and K.Takasaki in \cite{uenotaksasai} to generalize the Toda lattice equations\cite{toda}. Along the work of E. Date, M. Jimbo, M. Kashiwara and T. Miwa \cite{DJKM} on the KP…
Substitution systems evolve in time by generating sequences of symbols from a finite alphabet: At a certain iteration step, the existing symbols are systematically replaced by blocks of $N_{k}$ symbols also within the alphabet (with…
Methods developed for the analysis of non-linear integrable models are used in the harmonic superspace (HS) framework. These methods, when applied to the HS, can lead to extract more information about the meaning of integrability in…
This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based methods, the proposed framework directly characterizes the…
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking problem for these extensions is undecidable when both the…
All of the basic microsopic physical laws are time reversible. In contrast, the second law of thermodynamics, which is a macroscopic physical representation of the world, is able to describe irreversible processes in an isolated system…
The current algorithms are based on linear model, for example, Precision Time Protocol (PTP) which requires frequent synchronization in order to handle the effects of clock frequency drift. This paper introduces a nonlinear approach to…
This article is a guide to the literature on existence theorems for the Einstein equations which also draws attention to open problems in the field. The local in time Cauchy problem, which is relatively well understood, is treated first.…
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in…
In this article we consider linear operators satisfying a generalized commutation relation of a type of the Heisenberg-Lie algebra. It is proven that a generalized inequality of the Hardy's uncertainty principle lemma follows. Its…
The set of space-time short-distance structures which can be described through linear operators is limited to a few basic cases. These are continua, lattices and a further short-distance structure which implies an ultraviolet cut-off. Under…
We present several new results on minimal space requirements to recognize a nonregular language: (i) realtime nondeterministic Turing machines can recognize a nonregular unary language within weak $\log\log n$ space, (ii) $\log\log n$ is a…
Given a conjunctive query and a database instance, we aim to develop an index that can efficiently answer spatial queries on the results of a conjunctive query. We are interested in some commonly used spatial queries, such as range…
Recent years have witnessed increasing interests in developing interpretable models in Natural Language Processing (NLP). Most existing models aim at identifying input features such as words or phrases important for model predictions.…
The Nernst-Planck-Stokes (NPS) system models electroconvection of ions in a fluid. We consider the system, for two oppositely charged ionic species, on three dimensional bounded domains with Dirichlet boundary conditions for the ionic…