Related papers: Robustness of Equations Under Operational Extensio…
In this article, we give a representation of bounded complex linear operators which preserve idempotent elements on the Fourier algebra of a locally compact group. When such an operator is moreover positive or contractive, we show that the…
Reactive systems \`a la Leifer and Milner, an abstract categorical framework for rewriting, provide a suitable framework for deriving bisimulation congruences. This is done by synthesizing interactions with the environment in order to…
In this paper we adapt the definitions and results from Apt and Vermeulen on `First order logic as a constraint programming language' (in: Proceedings of LPAR2001, Baaz and Voronkov (eds.), Springer LNAI 2514) to include important ideas…
This work is devoted to Lipschitz conditions on bounded harmonic functions on the upper half-space in $\mathbb {R}^n$. Among other results we prove the following one. Let $U(x',x_n)$ be a real-valued bounded harmonic function on the upper…
We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of…
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its applicability to a variety of type systems, its error reporting, and its ease of implementation. Following…
Given a semialgebraic set-valued map $F \colon \mathbb{R}^n \rightrightarrows \mathbb{R}^m$ with closed graph, we show that the map $F$ is Holder metrically subregular and that the following conditions are equivalent: (i) $F$ is an open map…
In this article, we give a proof of the strong openness conjecture for plurisubharmonic functions posed by Demailly.
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…
Open effective field theories provide a systematic framework for describing systems coupled to an environment, where dissipation, noise, and modified conservation laws naturally arise. Working within the Schwinger-Keldysh formalism, we…
Definitions of new symbols merely abbreviate expressions in logical frameworks, and no new facts (regarding previously defined symbols) should hold because of a new definition. In Isabelle/HOL, definable symbols are types and constants. The…
We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, using insights from homotopy type theory. The argument…
We present a new analysis of the stability of extended Floater-Hormann interpolants, in which both noisy data and rounding errors are considered. Contrary to what is claimed in the current literature, we show that the Lebesgue constant of…
It is proved that for every stratifiable space $Y$ and a closed subset $X\subset Y$ there exists a regular (i.e. linear positive with unit norm) extension operator $T:C(X\times X)\to C(Y\times Y)$ preserving the class of (pseudo)metrics.…
This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly…
The formalism for Poisson-Hopf (PH) deformations of Lie-Hamilton systems is refined in one of its crucial points concerning applications, namely the obtention of effective and computationally feasible PH deformed superposition rules for…
A complete description of resonances for rational toral Anosov diffeomorphisms preserving certain Reinhardt domains is presented. As a consequence it is shown that every homotopy class of two-dimensional Anosov diffeomorphisms contains maps…
We study whether, in the pi-calculus, the match prefix-a conditional operator testing two names for (syntactic) equality-is expressible via the other operators. Previously, Carbone and Maffeis proved that matching is not expressible this…
In order to analyze the dynamics of two languages in competition, one approach is to fit historical data on their numbers of speakers with a mathematical model in which the parameters are interpreted as the similarity between those…