Because of the increased volume of information available to physicians from advanced medical technology, the obtained information of each symptom with respect to a disease may contain truth, falsity and indeterminacy information. Since a single-valued neutrosophic set (SVNS) consists of the three terms like the truth-membership, indeterminacy-membership and falsity-membership functions, it is v...

In this paper, some hybrid fixed point theorems for the right monotone increasing multi-valued mappings in ordered Banach spaces are proved via measure of noncompactness and they are further applied to the neutral functional nonconvex differential inclusions involving discontinuous multi-functions for proving the existence results under mixed Lipschitz, compactness and right monotonicity condit...

Endpoint results are presented for multi-valued cyclic contraction mappings on complete metric spaces (X, d). Our results extend previous results given by Nadler (1969), Daffer-Kaneko (1995), Harandi (2010), Moradi and Kojasteh (2012) and Karapinar (2011).

due to the high density and the low consumption power in the digital integrated circuits, mostly technology of cmos is used. during the past times, the metal oxide silicon field effect transistors (mosfet) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. b...

In this paper, we study model-checking of linear-time properties in multi-valuedsystems. Safety property, invariant property, liveness property, persistence anddual-persistence properties in multi-valued logic systems are introduced. Somealgorithms related to the above multi-valued linear-time properties are discussed.The verification of multi-valued regular safety properties an...

In this paper we represent an efficient query optimization technique for the multi-valued rough relational database which follows the indiscernibility relation in its domain. This notion is perceived by using an encoding function to convert a multi-valued attribute to a constant single valued attribute. A simple select-querying technique is provided for selecting the tuples of single-valued att...

In this paper, we extend a multi-valued contraction mapping to a cyclic multi-valued contraction mapping. We also establish the existence of common fixed point theorem for a cyclic multi-valued contraction mapping. Our results extend, generalize and unify Nadler’s multi-valued contraction mapping and many fixed point theorems for multivalued mappings. © 2012 Elsevier Ltd. All rights reserved.

It is firstly proved that the multi-input-single-output (MISO) fuzzy systems based on interval-valued $R$- and $S$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy.  A formula to compute the lower upper bounds on the number  of interval-valued fuzzy sets needed to achieve a pre-specified approximation  accuracy for an arbitrary multivariate con...

It is well known that the complexity of decision-making environment frequently coexists with diversity linguistic information in process. In order to solve this kind uncertain multi-criteria problem, reasonable measures and integrals should be established. paper, discrete expression CT-integral on interval-valued Sugeno probability measure proposed. The Choquet integral when t-norm T(x,y)=xy a ...