Related papers: Robustness of Equations Under Operational Extensio…
We study bisimulation and context equivalence in a probabilistic $\lambda$-calculus. The contributions of this paper are threefold. Firstly we show a technique for proving congruence of probabilistic applicative bisimilarity. While the…
B-terms are built from the B combinator alone defined by B f g x = f (g x), which is well-known as a function composition operator. This paper investigates an interesting property of B-terms, that is, whether repetitive right applications…
Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics. Structural completeness and decidability of…
Over the past two decades, open systems that are described by a non-Hermitian Hamiltonian have become a subject of intense research. These systems encompass classical wave systems with balanced gain and loss, semiclassical models with mode…
A common assumption in modern microeconomic theory is that choice should be rationalizable via a binary preference relation, which \citeauthor{Sen71a} showed to be equivalent to two consistency conditions, namely $\alpha$ (contraction) and…
Developing suitable formal semantics can be of great help in the understanding, design and implementation of a programming language, and act as a guide for software development tools like analyzers or partial evaluators. In this sense, full…
We construct here an iterative evaluation of all PR map codes: progress of this iteration is measured by descending complexity within "Ordinal" O := N[\omega] of polynomials in one indeterminate, ordered lexicographically. Non-infinit…
We set up a parametrised monadic translation for a class of call-by-value functional languages, and prove a corresponding soundness theorem. We then present a series of concrete instantiations of our translation, demonstrating that a number…
The robustness property of exponential dichotomies refers to the stability of this notion under small linear perturbations. In recent work~\cite{PPX}, the authors have identified a new class of perturbations under which the notion of a…
In the present paper, we obtain a more general conditions for univalence of analytic functions in the open unit disk U. Also, we obtain a refinement to a quasiconformal extension criterion of the main result.
Let H be a complex Hilbert space, B(H) and S(H) be the spaces of all bounded operators and all self-adjoint operators on H, respectively. We give the concrete forms of the maps on B(H) and also S(H) which preserve the spectrum of certain…
The problem of estimating the frequencies of an exponential sum has been studied extensively over the last years. It can be understood as a sparse estimation problem, as it strives to identify the sparse representation of a signal using…
We study possible noncommutative (operator algebra) variants of the classical Hoffman-Rossi theorem from the theory of function algebras. In particular we give a condition on the range of a contractive weak* continuous homomorphism defined…
Let $\bx_j = \btheta +\bep_j, j=1,...,n$, be observations of an unknown parameter $\btheta$ in a Euclidean or separable Hilbert space $\scrH$, where $\bep_j$ are noises as random elements in $\scrH$ from a general distribution. We study the…
A Hopf bifurcation theorem is established for the abstract evolution equation $\frac{\mathrm{d}x}{\mathrm{d}t}=F(x,\lambda)$ in infinite dimensions under the degeneracy condition $Re \mu ^{\prime}(\lambda_0)= 0$ and suitable assumptions.…
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which…
In acoustics, higher-order-in-time equations arise when taking into account a class of thermal relaxation laws in the modeling of sound wave propagation. In this work, we analyze initial boundary value problems for a family of such…
This paper investigates coherent-like conditions and related properties that a trivial extension might inherit from the ground ring over some classes of modules. It captures previous results dealing primarily with coherence, and also…
The equilibrium properties of an open harmonic oscillator are considered in three steps: First the creation and destruction operators are generalized for open dynamics and the creation operator is used to construct coherent states. The…
This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events, to define non-interleaving semantics for the applied…