Related papers: Robustness of Equations Under Operational Extensio…
Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are…
Boyer and Moore have discussed a recursive function that puts conditional expressions into normal form [1]. It is difficult to prove that this function terminates on all inputs. Three termination proofs are compared: (1) using a measure…
This paper investigates continuity properties of value functions and solutions for parametric optimization problems. These problems are important in operations research, control, and economics because optimality equations are their…
Following Rivi\`ere's study of conservation laws for second order quasilinear systems with critical nonlinearty and Lamm/Rivi\`ere's generalization to fourth order, we consider similar systems of order $2m$. Typical examples are…
This article concerns the long term behavior of solutions to a structural acoustic model consisting of a semilinear wave equation defined on a smooth bounded domain $\Omega\subset\mathbb{R}^3$ which is coupled with a Berger plate equation…
Let $\Omega$ be an open set in $\R^d$ $(d > 1)$ and $h(\Omega)$ the Fr\'echet space of harmonic functions on $\Omega$. Given a bounded linear operator $L :h(\Omega)\to h(\Omega)$, we show that its eigenvalues $\lambda_n$, arranged in…
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting,…
We identify a structural property of term-rewriting proof systems called operational inexpressibility: no derivation depends on a specified input dimension and also constrains the target question. The canonical instance is direct…
We consider second-order evolution equations in an abstract setting with intermittently delayed/ not-delayed damping. We give sufficient conditions for asymptotic and exponential stability, improving and generalising our previous results…
We consider the problem of describing the possible spectra of an acoustic operator with a periodic finite-gap density. We construct flows on the moduli space of algebraic Riemann surfaces that preserve the periods of the corresponding…
Bipolar Argumentation Frameworks (BAFs) admit several interpretations of the support relation and diverging definitions of semantics. Recently, several classes of BAFs have been captured as instances of bipolar Assumption-Based…
We examine the relationships between axiomatic and cyclic proof systems for the partial and total versions of Hoare logic and those of its dual, known as reverse Hoare logic (or sometimes incorrectness logic). In the axiomatic proof systems…
In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recursion construct. A lean congruence preserves equivalence…
For a nonlinear equation with several variable delays $$ \dot{x}(t)=\sum_{k=1}^m f_k(t, x(h_1(t)),\dots,x(h_l(t)))-g(t,x(t)), $$ where the functions $f_k$ increase in some variables and decrease in the others, we obtain conditions when a…
Let $\mathrm{Lip}(X)$, $\mathrm{Lip}^b(X)$, $\mathrm{Lip}^{\mathrm{loc}}(X)$ and $\mathrm{Lip}^\mathrm{pt}(X)$ be the vector spaces of Lipschitz, bounded Lipschitz, locally Lipschitz and pointwise Lipschitz (real-valued) functions defined…
The main result (roughly) is that if (H_i) converges weakly to H and if also f(H_i) converges weakly to f(H), for a single strictly convex continuous function f, then (H_i) must converge strongly to H. One application is that if f(pr(H)) =…
Lower order conservation laws and symmetries of a family of hyperbolic equations having the Camassa-Holm equation as a particular member are obtained. We show that the equation has two conservation laws with zeroth order characteristics and…
We investigate the Cahn-Hilliard and the conserved Allen-Cahn equations with logarithmic type potential and conservative noise in a periodic domain. These features ensure that the order parameter takes its values in the physical range and,…
In this article, we solve the strong openness conjecture on the multiplier ideal sheaves for the plurisubharmonic functions posed by Demailly. We prove two conjectures about the growth of the volumes of the sublevel sets of plurisubharmonic…
This article deals with the multidimensional Borg-Levinson theorem for perturbed bi-harmonic operator. More precisely, in a bounded smooth domain of $\R^n$, with $n \geq 2$, we prove the stability of the first and zero order coefficients of…