相关论文: Widening Operators for Weakly-Relational Numeric A…
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general…
We investigate inexact proximity operators for weakly convex functions. To this aim, we derive sum rules for proximal {\epsilon}-subdifferentials, by incorporating the moduli of weak convexity of the functions into the respective formulas.…
In this review we present some recent extensions of the method of the weakly conjugate operator. We illustrate these developments through examples of operators on graphs and groups.
We present a new idea to adapt relational abstract domains to the analysis of IEEE 754-compliant floating-point numbers in order to statically detect, through abstract Interpretation-based static analyses, potential floating-point run-time…
The aim of the paper is firstly to study domains of definitions in terms of boundary conditions of minimal and maximal operators, as well as selfadjoint extensions of a minimal operator associated with the fourth-order differential operator…
We establish weighted extrapolation theorems in classical and grand Lorentz spaces. As a consequence we have the weighted boundedness of operators of Harmonic Analysis in grand Lorentz spaces. We treat both cases: diagonal and off-diagonal…
Firstly, we invoke the weak convergence (resp. strong convergence) of translated basic methods involving nonexpansive operators to establish the weak convergence (resp. strong convergence) of the associated method with both perturbation and…
The problem is addressed of defining the values of functions, whose variables tend to infinity, from the knowledge of these functions at asymptotically small variables close to zero. For this purpose, the extrapolation by means of different…
Recent work by Hermanns et al. and Kattenbelt et al. has extended counterexample-guided abstraction refinement (CEGAR) to probabilistic programs. These approaches are limited to predicate abstraction. We present a novel technique, based on…
We compute asymptotic expansions for the negative eigenvalues of the Pauli operator in two dimensions perturbed by a weakly coupled potential with definite sign. Whereas previous results were limited to the case of radial magnetic fields…
Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints.…
Diverging eigenvalues in domain truncations of Schr\"odinger operators with complex potentials are analyzed and their asymptotic formulas are obtained. Our approach also yields asymptotic formulas for diverging eigenvalues in the strong…
In this paper we investigate the use of Richardson extrapolation to estimate the convergence rates for numerical solutions to advection problems involving discontinuities. We use modified equation analysis to describe the expectation of the…
Motivated by structures that appear in deep neural networks, we investigate nonlinear composite models alternating proximity and affine operators defined on different spaces. We first show that a wide range of activation operators used in…
In this paper, exploiting variational methods, the existence of three weak solutions for a class of elliptic equations involving a general operator in divergence form and with Dirichlet boundary condition is investigated. Several special…
We consider a framework for the construction of iterative schemes for operator equations that combine low-rank approximation in tensor formats and adaptive approximation in a basis. Under fairly general assumptions, we obtain a rigorous…
Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the…
Reduction operators, i.e. the operators of nonclassical (or conditional) symmetry of a class of variable coefficient nonlinear wave equations with power nonlinearities is investigated within the framework of singular reduction operator. A…
The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers. We show that similar methods can be used to characterize the…
This is an expository-survey on weak stability of bounded linear operators acting on normed spaces in general and, in particular, on Hilbert spaces. The paper gives a comprehensive account of the problem of weak operator stability,…