Related papers: Stability in affine logic
Railway tracks rest on a foundation known for exhibiting nonlinear viscoelastic behavior. Railway track deflections are modeled by a semilinear partial differential equation. This paper studies the stability of solutions to this equation in…
We consider the following property of a first order theory T with a distinguished unary predicate P: every model of the theory of P occurs as the P-part of some model of T. We call this property the Gaifman property. Gaifman conjectured…
We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax…
We give an approach to exponential stability within the framework of evolutionary equations due to [R. Picard. A structural observation for linear material laws in classical mathematical physics. Math. Methods Appl. Sci.,…
We construct maximal green sequences of maximal length for any affine quiver of type $A$. We determine which sets of modules (equivalently $c$-vectors) can occur in such sequences and, among these, which are given by a linear stability…
Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms. In this paper, we present a logical formalization of such…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We study the stability of an inverse problem for the fractional conductivity equation on bounded smooth domains. We obtain a logarithmic stability estimate for the inverse problem under suitable a priori bounds on the globally defined…
We classify the stability of flat-core $p$-elasticae in $\mathbf{R}^d$ subject to the pinned boundary condition. Together with previous work, this completes the classification of stable pinned $p$-elasticae in $\mathbf{R}^d$ for all…
It is proved that flatness of an analytic mapping germ from a complete intersection is determined by its sufficiently high jet. As a consequence, one obtains finite determinacy of complete intersections. It is also shown that flatness and…
We show a stability-type theorem for foliations on projective spaces which arise as pullbacks of foliations with a split tangent sheaf on weighted projective spaces. As a consequence, we will be able to construct many irreducible components…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
There is a close connection between stability and oscillation of delay differential equations. For the first-order equation $$ x^{\prime}(t)+c(t)x(\tau(t))=0,~~t\geq 0, $$ where $c$ is locally integrable of any sign, $\tau(t)\leq t$ is…
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…
This thesis addresses the question of stability of systems defined by differential equations which contain nonlinearity and delay. In particular, we analyze the stability of a well-known delayed nonlinear implementation of a certain…
We introduce a new notion of the stability of computations, which holds under post-processing and adaptive composition. We show that the notion is both necessary and sufficient to ensure generalization in the face of adaptivity, for any…
In this work, we present a generalization of extended persistent homology to filtrations of graded sub-groups by defining relative homology in this setting. Our work provides a more comprehensive and flexible approach to get an algebraic…
We believe three ingredients are needed for further progress in persistence and its use: invariants not relying on decomposition theorems to go beyond 1-dimension, outcomes suitable for statistical analysis and a setup adopted for…
We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.
We analyze the pattern forming ability and pattern stability for a one-dimensional non-linear transport-diffusion equation on the circle. We show that the trivial steady state is stable when diffusion is sufficiently strong. In the limit…