In precursory work we suggested an abstraction-based highly scalable semi-test for the boundedness of Communicating Finite State Machine (CFSM) based modelling and programming languages. We illustrated its application to Promela and UML-RT models. The test is sound with respect to determining boundedness, but may return inconclusive ”counterexamples” when boundedness cannot be established. In t...

In this paper we study R-boundedness of operator families T ⊂ B(X, Y ), where X and Y are Banach spaces. Under cotype and type assumptions on X and Y we give sufficient conditions for R-boundedness. In the first part we show that certain integral operator are R-bounded. This will be used to obtain R-boundedness in the case that T is the range of an operator-valued function T : Rd → B(X, Y ) whi...

Given a recursive (datalog) query, the nonrecursive incremental evaluation approach uses nonrecursive (datalog) programs to compute the difference of the answers to the query against successive databases between updates. The mechanism used in this approach is called a “First-Order Incremental Evaluation System” (FOIES). We show that for two large classes of datalog queries, called “generalized ...

In this paper we study the response to external disturbances of a double integrator with saturating feedback. For a class of disturbances that have bounded integrals over all intervals, we show that a linear static feedback law can always be designed to ensure boundedness of the states. Moreover, boundedness can be preserved if the disturbance is biased by a small DC signal. In the special case...

In [LWZ], we established Liouville-type theorems and decay estimates for solutions of a class of high order elliptic equations and systems without the boundedness assumptions on the solutions. In this paper, we continue our work in [LWZ] to investigate the role of boundedness assumption in proving Liouville-type theorems for fully nonlinear equations. We remove the boundedness assumption of sol...

In precursory work we suggested an abstraction-based highly scalable semi-test for the boundedness of Communicating Finite State Machine (CFSM) based modelling and programming languages. We illustrated its application to Promela and UML-RT models. The test is sound with respect to determining boundedness, but may return inconclusive ”counterexamples” when boundedness cannot be established. In t...

in the present paper we define the notion of fuzzy inner productand study the properties of the corresponding fuzzy norm. in particular, it isshown that the cauchy-schwarz inequality holds. moreover, it is proved thatevery such fuzzy inner product space can be imbedded in a complete one andthat every subspace of a fuzzy hilbert space has a complementary subspace.finally, the notions of fuzzy bo...

In this paper boundedness and compactness of generalized composition oper-ators from logarithmic Bloch type spaces to Q_K type spaces are investigated.