‎this contribution mainly focuses on some aspects of lipschitz groups‎, ‎i.e.‎, ‎metrizable groups with lipschitz multiplication and inversion map‎. ‎in the main result it is proved that metric groups‎, ‎with a translation-invariant metric‎, ‎may be characterized as particular group objects in the category of metric spaces and lipschitz maps‎. ‎moreover‎, ‎up to an adjustment of the metric‎, ‎a...

In 2014, Zead Mustafa introduced $b_2$-metric spaces, as a generalization of both $2$-metric and $b$-metric spaces. Then new fixed point results for the classes of  rational Geraghty contractive mappings of type I,II and III in the setup of $b_2$-metric spaces are investigated. Then, we prove some fixed point theorems under various contractive conditions in partially ordered $b_2$-metric spaces...

THE STUDY in fixed point theory has generally developed in three main directions: generalization of conditions which ensure existence, and, if possible, uniqueness, of fixed points; investigation of the character of the sequence of iterates (T”x)~~~, where T: X + X, X a complete metric space, is the map under consideration; study of the topoligical properties of the set of fixed points, wheneve...

Current U.S. and European guidelines recommend coronary artery bypass graft (CABG) over percutaneous coronary intervention (PCI) for multivessel coronary artery disease (CAD) and confer a class IIb (of uncertain benefit) recommendation to PCI for improvement in survival (1,2). Prior studies suggest that the magnitude of clinical benefit attributable to revascularization with either PCI or CABG ...

In this paper, we establish some new characterizations of the metric regularity of implicit multifunctions in complete metric spaces by using the lower semicontinuous envelopes of the distance functions for set-valued mappings. Through these new characterizations it is possible to investigate implicit multifunction theorems based on coderivatives and on contingent derivatives as well as the per...

We introduce a new approach to the model theory of metric structures by defining the notion of a metric abstract elementary class (MAEC) closely resembling the notion of an abstract elementary class. Further we define the framework of a homogeneous MAEC were we additionally assume the existence of arbitrarily large models, joint embedding, amalgamation, homogeneity and a property which we call ...

Software complexity metric is essential for minimizing the cost of software maintenance. Package level and system level complexity cannot be measured without class level complexity. This research addresses the class complexity metrics. This paper studies the existing class complexity metrics and proposes a new class complexity metric CCC (Complete class complexity metric), CCC metric is then an...

We show that Metric Dimension on planar graphs is NP-complete.

A seminal result of Kamp is that over the reals Linear Temporal Logic (LTL) has the same expressive power as first-order logic with binary order relation < and monadic predicates. A key question is whether there exists an analogue of Kamp’s theorem for Metric Temporal Logic (MTL) – a generalization of LTL in which the Until and Since modalities are annotated with intervals that express metric c...

In recent years, considerable advances have been made in the study of properties of metric spaces in terms of their doubling dimension. This line of research has not only enhanced our understanding of finite metrics, but has also resulted in many algorithmic applications. However, we still do not understand the interaction between various graph-theoretic (topological) properties of graphs, and ...