The objective of this paper is to deal with the fuzzy conic program- ming problems. The aim here is to derive weak and strong duality theorems for a general fuzzy conic programming. Toward this end, The convexity-like concept of fuzzy mappings is introduced and then a speci c ordering cone is established based on the parameterized representation of fuzzy numbers. Un- der this setting, duality t...

To verify fixed-time constraints in grid workflow systems, the consistency and inconsistency conditions have been defined in the conventional work. However, in this paper, we argue that although the conventional consistency condition is reasonable, the conventional inconsistency condition is too rigorous and covers several different situations. These situations which are handled conventionally ...

Abstract In this paper, we define the multilinear Calderón–Zygmund operators on differential forms and prove end-point weak type boundedness of operators. Based nonhomogeneous A -harmonic tensor, Poincaré-type inequalities for are obtained.

We study the weak and strong type boundedness of maximal heat–diffusion operators associated with the system of generalized Hermite polynomials and with two different systems of generalized Hermite functions. We also give a necessary background to define Sobolev spaces in this context.

As a variation on the known theme of Gödel numberings, isomorphisms defining data type transformations in a strongly typed functional language are organized as a finite groupoid using a higher order combinator language that unifies popular data types as diverse as natural numbers, finite sequences, digraphs, hypergraphs and finite permutations with more exotic ones like hereditarily finite func...

In this paper generic software development steps of diierent complexity are represented and veriied using the (higher-order, strongly typed) speciication and veriication system PVS. The transformations considered in this paper include \large" powerful steps encoding general algorithmic paradigms as well as \smaller" transformations for the operationalization of a descriptive speciication. The a...

Abstract. The purpose of this paper is to prove strong type inequalities with one-sided weights for commutators (with symbol b ∈ BMO) of several one-sided operators, such as the one-sided discrete square function, the one-sided fractional operators, or one-sided maximal operators given by the convolution with a smooth function. We also prove that b ∈ BMO is a necessary condition for the bounded...

begin{abstract} in this paper, we prove some strong and weak convergence of three step random iterative scheme with errors to common random fixed points of three asymptotically nonexpansive nonself random mappings in a real uniformly convex separable banach space. end{abstract}

in recent years, entrepreneurship in it industry has been viewed as a prime factor of economic development. since opportunity recognition is a critical step in entrepreneurship, identification of effectual factors in opportunity recognition is of great significance. the main objective of this study is to examine the effects of individual and social factors in opportunity recognition in it indus...