In this paper, we investigate some fundamental properties and establish some results of f-derivations of BCI-algebras. Also, we prove Der(X), the collection of all f-derivations, form a semigroup under certain binary operation.

In this manuscript, we introduce the concept of an atomic subset of the hyper BCK-algebra and study its properties. Also, we give a characterization of the atomic hyper BCK-algebra and show that there are exactly (up to isomorphism) n atomic hyper BCK-algebras H with |H| = n for any natural number n.

The notion of rough sets was introduced by Z. Pawlak in the year 1982. The notion of a $\Gamma$-semigroup was introduced by M. K. Sen in the year 1981. In 2003, Y. B. Jun studied the roughness of sub$\Gamma$-semigroups, ideals and bi-ideals in i-semigroups. In this paper, we study rough prime ideals and rough fuzzy prime ideals in $\Gamma$-semigroups.

Fuzzy translations, (normalized, maximal) fuzzy extensions and fuzzy multiplications of fuzzy subalgebras in BCK/BCI-algebras are discussed. Relations among fuzzy translations, (normalized, maximal) fuzzy extensions and fuzzy multiplications are investigated.

In this paper we consider constructive function triples on the real numbers $\mathbb{R}$ and on (not necessarily commutative) integral domains D which permit the construction of a multitude of d-algebras via these constructive function triples. At the same time these constructions permit one to consider various conditions on these d-algebras for subsets of solutions of various equations, thereby producing geometric problems and interesting visualizations of some of these subsets of solutions. In particular, one may consider what notions such as "locally BCK" ought to mean, certainly in the setting provided below.

For a prime number p, let $\mathbb{Q}_p$ denote the p-adic field and let $\mathbb{Q}_p^d$ denote a vector space over $\mathbb{Q}_p$ which consists of all d-tuples of $\mathbb{Q}_p$. For a function f ${\in}L_{loc}^1(\mathbb{Q}_p^d)$, we define the Hardy-Littlewood maximal function of f on $\mathbb{Q}_p^d$ by $$M_pf(x)=sup\frac{1}{\gamma{\in}\mathbb{Z}|B_{\gamma}(x)|H}{\int}_{B\gamma(x)}|f(y)|dy$$, where |E|$_H$ denotes the Haar measure of a measurable subset E of $\mathbb{Q}_p^d$ and $B_\gamma(x)$ denotes the p-adic ball with center x ${\in}\;\mathbb{Q}_p^d$ and radius $p^\gamma$. If 1 < q $\leq\;\infty$, then we prove that $M_p$ is a bounded operator of $L^q(\mathbb{Q}_p^d)$ into $L^q(\mathbb{Q}_p^d)$; moreover, $M_p$ is of weak type (1, 1) on $L^1(\mathbb{Q}_p^d)$, that is to say, |{$x{\in}\mathbb{Q}_p^d:|M_pf(x)|$>$\lambda$}|$_H{\leq}\frac{p^d}{\lambda}||f||_{L^1(\mathbb{Q}_p^d)},\;\lambda$ > 0 for any f ${\in}L^1(\mathbb{Q}_p^d)$.

Strong convergence theorems on viscosity approximation methods for finding a common zero of a finite family accretive operators are established in a reflexive and strictly Banach space having a uniformly G$\hat{a}$teaux differentiable norm. The main theorems supplement the recent corresponding results of Wong et al. [29] and Zegeye and Shahzad [32] to the viscosity method together with different control conditions. Our results also improve the corresponding results of [9, 16, 18, 19, 25] for finite nonexpansive mappings to the case of finite pseudocontractive mappings.

In this paper, for functionals of a generalized Brownian motion process, we show that the generalized Fourier-Feynman transform of the convolution product is a product of multiple transforms and that the conditional generalized Fourier-Feynman transform of the conditional convolution product is a product of multiple conditional transforms. This allows us to compute the (conditional) transform of the (conditional) convolution product without computing the (conditional) convolution product.

The object of the present paper is to study the generalized quasi-Einstein manifolds satisfying some conditions. Finally the existence of such manifolds is ensured by several interesting examples.

This paper introduces a local non-positivity of two set-valued mappings (F,Q) and considers the existences and properties of solutions for set-valued mixed vector FQ-implicit variational inequality problems and set-valued mixed vector FQ-complementarity problems in the neighborhood of a point belonging to an underlined domain K of the set-valued mappings, where the neighborhood is contained in K. This paper generalizes and extends many results in [1, 3-7].

We introduce a new concept of intuitionistic fuzzy topological subspace, which coincides with the usual concept of intuitionistic fuzzy topological subspace due to Samanta and Mondal [18] in the case that $\mu=X_A$ for A $\subseteq$ X. Also, we introduce and study some concepts such as continuity, separation axioms, compactness and connectedness in this sense.

The set of root classes plays a crucial role in the Nielsen root theory. Extending Brown et al.'s work on the set of root classes of iterates of maps, we rearrange it into the reduced orbit set and show that under suitable hypotheses, any reduced orbit has the full depth property as in the Nielsen type theory of periodic orbits.

In this paper, a numerical scheme is introduced to solve the Cauchy problem for one-dimensional hyperbolic equations. The mesh points of the proposed scheme are distributed along characteristics so that the solution on the stencil can be easily and accurately computed. This is very important in reducing errors of the scheme because many numerical errors are generated when the solution is estimated over grid points. In addition, when characteristics intersect, the proposed scheme combines corresponding grid points into one and assigns new characteristic to the point in order to improve computational efficiency. Numerical experiments on the inviscid Burgers' equation have been presented.

This paper ultimately aims to develop noninvasive techniques to identify the inside of a given electrical network. Based on the theory of the partial differentiation equations and mathematical modeling, this paper devises the algorithms to find the locations of possible abnormalities. To ensure the certainty of the algorithms, this study restricted the forms of the network and the number of abnormalities, rendering it easy to prove the uniqueness of the position of the abnormalities.