In this paper we introduce some new conditions of the solu- tions existence for variational-like inequalities with relaxed &eta-&alpha pseu- domonotone mappings in Banach spaces. The advantage of these new conditions is that they are easier to be veried than those that appear in some of the previous corresponding articles.

Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-locally impact admissible platformmappings and design spaces. In this paper we present a novel and formal approach for specifying non-functional requirements as constraintsystems over the space of models. Our approach, based on stru...

In 1937, Von Neumann [1] established the famous coincidence theorem. Since then, the coincidence theorem was generalized in many directions. Browder [2] first proved some basic coincidence theorems for a pair of set-valued mappings in compact setting of topological vector spaces and gave some applications to minimax inequalities and variational inequalities. Recently, Ding [3] established some ...

Abstract In this article we propose a scalable shape optimization algorithm which is tailored for large scale problems and geometries represented by hierarchically refined meshes. Weak scalability grid independent convergence achieved via combination of multigrid schemes the simulation PDEs quasi Newton methods on side. For purpose self-adapting, nonlinear extension operator proposed within fra...

This note provides interpretation through possible-translations semantics for a couple of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, CLuN, bC, Ci, among others, are all initially presented through their bivaluation semantics and sequent versions and then split by way of possible-translations semantics —the set of 3-va...

This paper summarizes recent analytical Invest igations of the mathematical properties of heuris­ t ics and the i r Influence on the performance of common search techniques. The results are reported without proofs, together with discussions of moti­ vations and Interpretations. Highlights include the fol lowing: relations between the precision of the heurist ic estimates and the average complex...

We unify the concepts of G-metric, metric-like, and b-metric to define new notion of generalized b-metric-like space and discuss its topological and structural properties. In addition, certain fixed point theorems for two classes of G-α -admissible contractive mappings in such spaces are obtained and some new fixed point results are derived in corresponding partially ordered space. Moreover, so...