In this paper, we first establish collective fixed points theorems for a family of multivalued maps with or without assuming that the product of these multivalued maps is Φ-condensing. As an application of our collective fixed points theorem, we derive the coincidence theorem for two families of multivalued maps defined on product spaces. Then we give some existence results for maximal elements...

In this work a model for planning with multivalued fluents and graded actions, that allows preferences specifications and plan metric, is introduced. This model is based on the infinity-valued Łukasiewicz logic. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of plann...

Linearization and planarization of the circuit models is pivotal to the submicron technologies. On the other hand, the characteristics of the VLSI circuits can be sometimes improved by using the multivalued components. It was shown that any `-level circuit based on the multivalued components is representable as an algebraic model based on ` linear arithmetic polynomials mapped correspondingly i...

The purpose of this paper is to introduce the concept of general fuzzy multivalued variational inclusions and to study the existence problem and the iterative approximation problem for certain fuzzy multivalued variational inclusions in Banach spaces. Using the resolvent operator technique and a new analytic technique, some existence theorems and iterative approximation techniques are presented...

We study multivalued dependencies, as well as the propositional formulas whose deduction calculus parallels that of multivalued dependencies, and the variant known as degenerated multivalued dependencies. For each of these sorts of expressions, we provide intrinsic characterizations in purely semantic terms. They naturally generalize similar properties of functional dependencies or Horn clauses.

Recently, Bucur, Guran and Petruşel presented some results on fixed point of multivalued operators on generalized metric spaces which extended some old fixed point theorems to the multivalued case ([1]). In this paper, we shall give some results on fixed points of multivalued operators on ordered generalized metric spaces by providing different conditions in respect to [1].

Discovery of multivalued dependencies from database relations is viewed as a search in a hypothesis space de ned according to the generalisation relationship among multivalued dependencies Two algorithms for the dis covery of multivalued dependencies from relations are presented The top down algorithm enumerates the hypotheses from the most general to more speci c hypotheses which are checked o...

In this paper, a new segmentation technique for multivalued images is elaborated. The technique accesses multiscale edge information of a multivalued image by a concept, called multiscale fundamental form. At different scales, an edge map of the multivalued images is obtained, at which a watershed-based algorithm is applied. The multiscale behavior of the obtained watershed regions is employed ...

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

Without incorporation of weak-shock theory, the lossless Burgers equation predicts a multivalued waveform for nonlinear propagation beyond a certain distance. Inclusion of thermoviscous attenuation, which increases quadratically with frequency, prevents the occurrence of multivalued waveforms. The same is true for any attenuation law that is proportional to frequency raised to an exponent great...