In this paper, we shall generalize the definition of (φ− k) −B contraction to multi-valued mappings which was presented before in single valued case by Mihet. Then we shall prove two fixed point theorems for multi-valued (φ− k) − B contraction mappings in probabilistic metric space.

This paper presents the computational stochastic homogenization of a heterogeneous 3D-linear anisotropic elastic microstructure that cannot be described in terms constituents at microscale, as live tissues. The random apparent elasticity field mesoscale is then modeled class non-Gaussian positive-definite tensor-valued homogeneous fields. We present an extension previous works consisting novel ...

We study optimal conformity measures for various criteria of efficiency of classification in an idealised setting. This leads to an important class of criteria of efficiency that we call probabilistic; it turns out that the most standard criteria of efficiency used in literature on conformal prediction are not probabilistic unless the problem of classification is binary. We consider both uncond...

In this work, we shall present some novel process to measure the similarity between picture fuzzy sets. Firstly, we adopt the concept of intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets and picture fuzzy sets. Secondly, we develop some similarity measures between picture fuzzy sets, such as, cosine similarity measure, weighted cosine similarity measure, set-theoretic similar...

W LODZIMIERZ DRABENT. SLDNF-resolution is a standard operational semantics for negation as ((nite) failure. For some programs and goals SLDNF-resolution is incomplete with respect to the Kunen semantics (program completion in 3-valued logic). Intuitively, the reason of incompleteness is oundering. This fact has however not been proven formally. The existing papers study syntactic classes of pro...