Keywords: Set-valued mapping Chebyshev center Uniformly convex Locally uniformly convex Chebyshev fixed point a b s t r a c t The existence of a continuous Chebyshev selection for a Hausdorff continuous set-valued mapping is studied in a Banach space with some uniform convexity. As applications, some existence results of Chebyshev fixed point for condensing set-valued mappings are given, and th...

the aim of this study is to show that the measures derived from electrocardiogram (ecg) signals many a time perform better than the same measures obtained from heart rate (hr) signals. a comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ecg signals and hr signals, and thereby discriminate between normal and cong...

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...

Cellular neural networks (CNNs) are one type of interconnected neural network and differ from the well-known Hopfield model in that each cell has a piecewise linear output function. In this paper, we present a multi-valued CNN model in which each nonlinear element consists of a multi-valued output function. The function is defined by a linear combination of piecewise linear functions. We conduc...

In this paper, we pursue two purposes. Our first goal is to study a new system of extended multi-valued nonlinear variational inclusions in Banach spaces and establish its equivalence with fixed point problems the help concept (H, ?)-proximal mapping. The obtained alternative equivalent formulation used iterative algorithm for finding approximate solution proposed. Under some appropriate assump...

We introduce a scheme to simplify a multi-valued network using redundancy removal techniques. Recent methods [1], [2] for binary redundancy removal avoid the use of state traversal. Additionally, [2] finds multiple compatible redundancies simultaneously. We extend these powerful advances in the field of binary redundancy removal to perform redundancy removal for multi-valued networks. First we ...

In this paper, we establish some sufficient conditions for the existence of a solution equilibrium problem. The problem is understood in general form: find $ \overline{x}\in E such that$ \begin{equation*} \Phi(\overline{x},y) \vartriangleleft (-D\backslash\{0\})^c \text{ all }y \in E; \end{equation*} $and its variants, where Boolean-valued bifunction and \Phi multivalued mapping with values vec...

it is well known that a microperiodic function mapping a topological group into reals, which is continuous at some point is constant. we introduce the notion of a microperiodic multifunction, defined on a topological group with values in a metric space, and study regularity conditions implying an analogous result. we deal with vietoris and hausdorff continuity concepts.stability of microperiodi...

In this paper, we consider a bilevel vector optimization problem where objective and constraints are set valued maps. Our approach consists of using a support function [1, 2, 3, 14, 15, 32] together with the convex separation principle for the study of necessary optimality conditions for D.C bilevel set valued optimization problems. We give optimality conditions in terms of the strong subdiffer...