we show that  higher derivations on a hilbert$c^{*}-$module associated with the cauchy functional equation satisfying generalized hyers--ulam stability.

We define and study the concept of non-Archimedean intuitionistic fuzzy normed space by using the idea of t-norm and t-conorm. Furthermore, by using the non-Archimedean intuitionistic fuzzy normed space, we investigate the stability of various functional equations. That is, we determine some stability results concerning the Cauchy, Jensen and its Pexiderized functional equations in the framewor...

Abstract. The study of dynamic equations on time scales, which goes back to its founder Stefan Hilger (1988), is an area of mathematics which is currently receiving considerable attention. Although the basic aim of this is to unify the study of differential and difference equations, it also extends these classical cases to “in between”. In this paper we present time scales versions of the inequ...

In 1941 D.H. Hyers solved the well-known Ulam stability problem for linear mappings. In 1951 D.G. Bourgin was the second author to treat the Ulam problem for additive mappings. In 1982–2005 we established the Hyers–Ulam stability for the Ulam problem of linear and nonlinear mappings. In 1998 S.-M. Jung and in 2002–2005 the authors of this paper investigated the Hyers–Ulam stability of additive ...

The aim of this paper is first to review the derivation of a model describing the propagation of an optical wave in a photorefractive medium and to present various mathematical results on this model: Cauchy problem, solitary waves.

Model checking of recursion schemes, known as higher-order model checking, has actively been studied recently and is becoming a basis for verification of higher-order programs. Some practical model checking algorithms have been developed based on the reduction from model checking to intersection type inference, but they are not completely satisfactory. We propose a novel approach to developing ...