We discuss about the generalized $F$-contraction mappings in partially ordered metric spaces. For this, we first introduce the notion of ordered weakly $F$-contraction mapping. We also present some fixed point results about this type of mapping in partially ordered metric spaces. Next, we introduce the notion of $acute{mathrm{C}}$iri$acute{mathrm{c}}$ type generalized ordered weakly $F$-contrac...

The concept of a pseudo ordered set was introduced by Fried (see [4]). A reflexive and antisymmetric relation ⊳ on a set A is a pseudo order and the pair 〈A, ⊳ 〉 is a pseudo ordered set or a psoset. Two elements a and b are non comparable in A, written a||b, if neither a ⊳ b nor b ⊳ a holds in A. A psoset any two of whose elements are comparable is a tournament. If B is a subset of a psoset A, ...

We study the multiplicative lattices L which satisfy condition a = (a : b))(a b) for all a, b ∈ L. Call them sharp lattices. prove that every totally ordered lattice is isomorphic to ideal of valuation domain with value group ℤ or ℝ. A localized at its maximal elements are The converse true if has finite character.

Let E be a set of inequalities between finite Σ-terms. Let Vω and Vr denote the varieties of all ω-continuous ordered Σ-algebras and regular ordered Σ-algebras satisfying E, respectively. We prove that the free Vr-algebra R(X) on generators X is the subalgebra of the corresponding free Vω-algebra Fω(X) determined by those elements of Fω(X) denoted by the regular Σ-coterms. We actually establish...

This data article reports the establishment of the first pan-transcriptome resources for the Brassica A and C genomes. These were developed using existing coding DNA sequence (CDS) gene models from the now-published Brassica oleracea TO1000 and Brassica napus Darmor-bzh genome sequence assemblies representing the chromosomes of these species, along with preliminary CDS models from an updated Br...

Diverse cellular signaling events, including B cell receptor (BCR) activation, are hypothesized to be facilitated by domains enriched in specific plasma membrane lipids and proteins that resemble liquid-ordered phase-separated domains in model membranes. This concept remains controversial and lacks direct experimental support in intact cells. Here, we visualize ordered and disordered domains in...

Abstract. In this paper, we prove some fixed point results for T -contraction mappings in partially ordered b-metric spaces that generalize the main results of [H. Huang, S. Radenović, J. Vujaković, On some recent coincidence and immediate consequences in partially ordered b-metric spaces, Fixed Point Theory Appl., 2015, Paper No. 63]. As an application, we discuss the existence for a solution ...

We present in this paper a new procedure to saturate a set of clauses with respect to a well-founded ordering on ground atoms such that A ≺ B implies V arA ⊆ Var(B) for every atoms A and B. This condition is satisfied by any atom ordering compatible with a lexicographic, recursive, or multiset path ordering on terms. Our saturation procedure is based on a priori ordered resolution and its main ...

The effectiveness of Quasi-Monte Carlo methods for numerical integration has led to the study of (T,M, S)-nets, which are uniformly distributed point sets in the Euclidean unit cube. A recent result, proved independently by Schmid/Mullen and Lawrence, establishes an equivalence between (T,M, S)-nets and ordered orthogonal arrays. In a paper of Martin and Stinson, a linear programming technique ...

In this paper, the concept of fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) of an ordered group (resp. lattice-ordered group) is introduced and some properties, characterizations and related results are given. Also, the fuzzy convex subgroup (resp. fuzzy convex lattice-ordered subgroup) generated by a fuzzy subgroup (resp. fuzzy subsemigroup) is characterized. Furthermore,...