In this paper, we shall establish some fixed point theorems for mappings with the contractive  condition of integrable type on complete intuitionistic fuzzy metric spaces $(X, M,N,*,lozenge)$. We also use Lebesgue-integrable mapping to obtain new results. Akram, Zafar, and Siddiqui introduced the notion of $A$-contraction mapping on metric space. In this paper by using the main idea of the work...

In this note, we aim to present some properties of the space of all weakly fuzzy bounded linear operators, with the Bag and Samanta’s operator norm on Felbin’s-type fuzzy normed spaces. In particular, the completeness of this space is studied. By some counterexamples, it is shown that the inverse mapping theorem and the Banach-Steinhaus’s theorem, are not valid for this fuzzy setting. Also...

It is known that hyperbolic spaces have strict negative type, a condition on the distances of any finite subset of points. We show that they have strong negative type, a condition on every probability distribution of points (with integrable distance to a fixed point). This implies that the function of expected distances to points determines the probability measure uniquely. It also implies that...

We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on an amortised complexity analysis: the data is arbitrarily assigned a potential related to its size and layout; allocations must be ”payed for” from this potential. The potential of each input then furnishes an upper bound on the...

We develop a model of interdependent preference types to capture situations where an agent’s preferences depend on the characteristics and personalities of others. We define a canonical type space and provide conditions under which an abstract type space is a component of the canonical type space. As an application, we develop a model of reciprocity in which agents reward the kindness of other ...

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type theory, where it is known only for special cases how one can define a type of type-valued diagrams over a given index category. We offer several constructions. ...

in this paper, we deal with the subdierential concept onhadamard spaces. flat hadamard spaces are characterized, and nec-essary and sucient conditions are presented to prove that the subdif-ferential set in hadamard spaces is nonempty. proximal subdierentialin hadamard spaces is addressed and some basic properties are high-lighted. finally, a density theorem for subdierential set is establi...

To overcome the space limit of orifice-type and capillary restrictors in hybrid bearings, a kind of atypical long orifice-type restrictor is proposed and its experimental model is established. Through the analysis of the structure and flow rate of orifice-type restrictor and capillary restrictor, a long orifice-type restrictor and a feasible experimental modeling method are presented by use of ...