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...

The purpose of this paper is to present a new approach to study the existence of fixed points for multivalued F-contraction in the setting of modular metric spaces. In establishing this connection, we introduce the notion of multivalued F-contraction and prove corresponding fixed point theorems in complete modular metric space with some specific assumption on the modular. Then we apply our resu...

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...

This article presents the convergence analysis of a sequence of piecewise constant and piecewise linear functions obtained by the Rothe method to the solution of the first order evolution partial differential inclusion u′(t)+Au(t)+ι∗∂J(ιu(t)) 3 f(t), where the multivalued term is given by the Clarke subdifferential of a locally Lipschitz functional. The method provides the proof of existence of...

In this paper, the modal logic interpretation of plausibility and belief measures on an arbitrary universe of discourse, as proposed by Harmanec et al., is further developed by employing notions from set-valued analysis. In a model of modal logic, a multivalued mapping is constructed from the accessibility relation and a mapping determined by the value assignment function. This multivalued mapp...

Bipotentials are non smooth mechanics tools, used to model various non associative multivalued constitutive laws of dissipative materials (friction contact, soils, cyclic plasticity of metals, damage). Given by a graph M representing a multivalued constitutive law, we state a simple necessary and sufficient condition for the existence of a bipotential b for which M is the set of (x, y) such tha...

EDML is a recently proposed algorithm for learning MAP parameters in Bayesian networks. In this paper, we present a number of new advances and insights on the EDML algorithm. First, we provide the multivalued extension of EDML, originally proposed for Bayesian networks over binary variables. Next, we identify a simplified characterization of EDML that further implies a simple fixed-point algori...