Received: December 21, 2010 Accepted: January 7, 2011 doi:10.5539/jmr.v3n2p151 Abstract In this paper, we study fixed point theorems for multi-valued weak contractions. We show that the Picard projection iteration converges to a fixed point, give a rate of convergence and generalize Collage theorem. This work includes results on multi-valued contraction mappings studied by (Kunze, H.E., La Torr...

Lifted inference algorithms commonly exploit symmetries in a probabilistic graphical model (PGM) for efficient inference. However, existing algorithms for Boolean-valued domains can identify only those pairs of states as symmetric, in which the number of ones and zeros match exactly (count symmetries). Moreover, algorithms for lifted inference in multi-valued domains also compute a multi-valued...

In this thesis, we propose one approach to compute the multi-valued density via the existing level set method in computing multi-valued velocity of WKB system in high frequency wave dynamics and a superposition property is proved and numerically validated, too. Several novel level set methods are developed and analyzed for computing multi-valued solutions to the Euler-Poisson equations and the ...

In this paper, we construct several types of multi-valued solutions to the Monge–Ampère equation in higher dimensions. Recently, there has been considerable interest in understanding the behavior of a metric generated by a solution of the Monge–Ampère equation at a singularity. See, for instance Loftin, Yau and Zaslow [14] and Leung [12]. To explain our results let us refer first to the theory ...

Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when information is gathered from multiple sources). In this paper we propose the use of quasi-boolean multi-valued logics for reasoning about such systems. We also give semantics to a multi-valued extension of CTL, descr...

A multi-valued version of CTL∗ (mv-CTL∗), where both the propositions and the accessibility relation are multi-valued, taking values in a complete lattice with a complement, is considered. Contrary to all the existing model checking results for multi-valued modal logics, our lattices are not required to be finite. A set of restrictions is provided under which there is a direct translation from ...

We study the stability properties of nonlinear multi-task regression in reproducing Hilbert spaces with operator-valued kernels. Such kernels, a.k.a. multi-task kernels, are appropriate for learning problems with nonscalar outputs like multi-task learning and structured output prediction. We show that multi-task kernel regression algorithms are uniformly stable in the general case of infinite-d...

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

Multi-valued Model Checking extends classical, twovalued model checking to multi-valued logic such as Quasi-Boolean logic. The added expressivity is useful in dealing with such concepts as incompleteness and uncertainty in target systems, while it comes with the cost of time and space. Chechik and others proposed an efficient reduction from multi-valued model checking problems to two-valued one...