The recent theory of plausible and paradoxical reasoning (DSmT) developed by the authors appears to be a nice promising theoretical tools to solve many information fusion problems where the Shafer’s model cannot be used due to the intrinsic paradoxical nature of the elements of the frame of discernment and where a strong internal conflict between sources arises. The main idea of DSmT is to work...

Retrieved profiles of temperature, water vapor, and cloud liquid water are obtained through neural net inversions of the brightness temperatures, where the neural net is trained using radiosonde soundings and corresponding forward modeled brightness temperatures. An observation operator has also been developed for the direct assimilation of the measured brightness temperatures, using the forwar...

operations for its analysis. We show that the analysis induced by E is very imprecise. Hence, in Section 5 we refine the domain E into the more precise domain ER for escape analysis. In Section 6, we discuss our prototype implementation and experimental results. Section 7 concludes the paper by highlighting the differences between previous proposals and our own approach. Section 8 contains the ...

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations ...

In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.

In this paper, an operator-based robust nonlinear tracking control for a human multi-joint arm-like manipulator with unknown time-varying delays is proposed by using robust right coprime factorization approach and a forward predictive operator. That is, first, considering the uncertainties of dynamic model consist of measurement error and disturbances, a nonlinear feedback control scheme is des...

A minimal permutation representation of a finite group G is a faithful G-set with the smallest possible size. We study the structure of such representations and show that for certain groups they may be obtained by a greedy construction. In these situations (except when central involutions intervene) all minimal permutation representations have the same set of orbit sizes. Using the same ideas w...

Starting from an interaction Lagrangian formed out of local fields, an interacting four-momentum operator is constructed by integrating the interaction Lagrangian over the forward hyperboloid. Such a four-momentum operator has the property that the components commute among themselves; however, when the Fock space on which the four-momentum operator acts is truncated, the components no longer co...

Calculus on time scales was established in 1988 by Stefan Hilger. It includes both the classical derivative and the forward difference operator as special cases. It also includes Riemann integrals and finite sums as inverse operations. However, it does not include the Jackson q-difference operator on R and the Jackson q-integral on R. Also, it does not include neither the difference operator on...