In this paper, coupled xed point results of Bhaskar-Lakshmikantham type [T. Gnana Bhaskar, V.Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, NonlinearAnalysis 65 (2006) 1379-1393] are extend, generalized, unify and improved by using monotonemappings instead mappings with mixed monotone property. Also, an example is given to supportthese improvements.

A partially ordered (generalized) pattern (POP) is a generalized pattern some of whose letters are incomparable, an extension of generalized permutation patterns introduced by Babson and Steingŕımsson. POPs were introduced in the symmetric group by Kitaev [19, 21], and studied in the set of k-ary words by Kitaev and Mansour [22]. Moreover, Kitaev et al. [23] introduced segmented POPs in composi...

The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many real-life applications, more functions should be optimized at the same time, and solutions are ranked by means of a Partial Order. Also, when dealing with Null values, the solution set is ranked through a Partial Order, ...

Let P be a partially ordered set. A function φ : P → P is an endomorphism of P if for every two elements x, y of P , the inequality φ(x) 6 φ(y) holds whenever x 6 y. Obviously, the identity mapping is a (trivial ) endomorphism. Here, however, we will be interested in endomorphisms with an image of size less than |P |, i.e. endomorphisms which are not automorphisms of P . We will refer to them a...

Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order models ‘time’ which is often not globally given. In this setting directed paths are important objects of study as they correspond to an evolving state or particle traversing the system. Many physical problems rely on th...

This paper introduces a method to correctly order events in modelbased testing for concurrent systems, in particular multi-threaded programs, whose events are only partially ordered. For a sequential, centralized tester, we need to merge (local) traces of each component into a (global) trace of a system in such a way that the ordering constraints are observed. To this end, we instrument a multi...

The recent development of abstract algebraic logic has led to a reconsideration of the universal algebraic theory of ordered algebras from a new perspective. The familiar equational logic of Birkhoff can be naturally viewed as one of the deductive systems that constitute the main object of study in abstract algebraic logic; technically it is a deductive system of dimension two. Large parts of u...

‎A common approach to determine efficient solutions of a multiple objective optimization problem‎ ‎is reformulating it to a parameter dependent scalar optimization problem‎. ‎This reformulation is called scalarization approach‎. Here, a well-known scalarization approach named Pascoletti-Serafini scalarization is considered‎. First, some difficulties of this scalarization are discussed and then ...

In this paper, we prove some unique fixed point theorems for a fuzzy mapping T satisfying certain rational contraction condition in a partially ordered metric space. Our results generalize some existing result.

In this paper, we prove several coupled common fixed point theorems for nonlinear mappings in a partially ordered probabilistic metric space. An example is presented to illustrate the main result of this paper.