Multivalued fuzzy behavior control systems for robot navigation have demonstrated more system robustness against sensor and environmental uncertainty and changes in behavioral priorities than univalued fuzzy behavior control systems. However, a major concern for the implementation of multivalued systems is the computational burden associated with the fuzzy inference and deffuzification process....

In this paper, we introduce a new class of variational inequalities involving two operators. Using the projection technique, we establish the equivalence between the multivalued general variational inequalities and the fixed point problems. This equivalent formulation is used to suggest and analyze some iterative algorithms for solving the multivalued general variational inequalities. We also d...

In this paper, we establish the existence of a fixed point for generalized nonexpansive multivalued mappings in hyperbolic spaces and we prove some [Formula: see text]-convergence and strong convergence theorems for the iterative scheme proposed by Chang et al. (Appl Math Comp 249:535-540, 2014) to approximate a fixed point for generalized nonexpansive multivalued mapping under suitable conditi...

We evaluated the performance of three CMOS current-mode, multivalued adder circuits in terms of area (reduced interconnect), speed, and power consumption and compared them to their binary, voltagemode counterparts. We present the simulation results of these circuits, and one new circuit which has fewer transistors than any voltage-mode full adder. Our results, however, show that while current-m...

In this paper, we present some common fixed point theorems for two generalized nonexpansive multivalued mappings in CAT(0) spaces as well as in UCED Banach spaces. Moreover, we prove the existence of fixed points for generalized nonexpansive multivalued mappings in complete geodesic metric spaces with convex metric for which the asymptotic center of a bounded sequence in a bounded closed convex...

In this note, we establish and improve some results on fixed point theory in topological vector spaces. As a generalization of contraction maps, the concept of quasi contraction multivalued maps on a topological vector space will be defined. Further, it is shown that a quasi contraction and closed multivalued map on a topological vector space has a unique fixed point if it is bounded value.

The main result is a common fixed point theorem for a pair of multivalued maps on a complete metric space extending a recent result of D − orić and Lazović 2011 for a multivalued map on a metric space satisfying Ćirić-Suzuki-type-generalized contraction. Further, as a special case, we obtain a generalization of an important common fixed point theorem of Ćirić 1974 . Existence of a common soluti...

Binary boolean satisfiability (SAT) has its applications in nearly all aspects of electronic design automation. Recent advances made by research in multivalued logic, rather than binary (2-valued) logic, suggest that extending binary SAT into the multivalued domain may allow us to efficiently solve many new problems that arise from such research. This paper presents a first look at a possible “...

We develop a fourth order numerical method for the computation of multivalued physical observables (density, momentum, etc.) in the semiclassical limit of the one dimensional linear Schrödinger equation in the case of discontinuous potentials. We adopt the level set framework developed in [21] which allows one to compute the multivalued physical observables via solving the classical Liouville e...

We consider the nonlinear conjugate multi-point boundary value problem with feedback control that finds functions $ u and q satisfying$ \begin{align*} & \mathcal Lu(t) = q(t)F[t,u(t),u'(t),..., u^{(m-1)}(t)],\,\, q(t) \in \Phi[t,u(t)],\,\,\, t\in I, \hfill \\ u^{(j)}(t_i) 0, \,\,\,\,\, 1\leq i \leq l,\,\,\,\, 0\leq j\leq k_i-1, \end{align*} $where L is a linear differential operator of orde...