Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such notions have proved to be useful in many applications. They all, however, refer to isomorphism of neighborhoods, which most local logics cannot test. A stronger notion of locality says that the truth value of a formula ...

The matrix volume is a generalization, to rectangular matrices, of the absolute value of the determinant. In particular, the matrix volume can be used in change-of-variables formulæ, instead of the determinant (if the Jacobi matrix of the underlying transformation is rectangular). This result is applicable to integration on surfaces, illustrated here by several examples. SIAM J. Matrix Analysis...

Abstract. The main aim of this paper is to define a new polynomial, say, pseudo hyperbolic matrix functions, pseudo Hermite matrix polynomials and to study their properties. Some formulas related to an explicit representation, matrix recurrence relations are deduced, differential equations satisfied by them is presented, and the important role played in such a context by pseudo Hermite matrix p...

the purpose of this study is to determine spatial dependency pattern of systematic risk of dry land wheat production in iran, using spatial autoregressive models. to this end, spatial weighted contiguity matrix was constructed based on the delaunay triangularization method, and correlation coefficient among these neighbors were estimated using spatial autoregressive models. in addition, the rol...

In this paper we solve positive and contractive multiblock problems in the Wiener algebra of almost periodic functions of several variables. We thus generalize the classical four block problem that appears in robust control in many ways. The necessary and sufficient conditions are in terms of appropriate Toeplitz (positive case) and Hankel operators (contractive case) on Besikovitch space. In a...

The purpose of this research was to prepare a floating matrix tablet containing domperidone as a model drug. Polyethylene oxide (PEO) and hydroxypropyl methylcellulose (HPMC) were evaluated for matrix-forming properties. A simplex lattice design was applied to systemically optimize the drug release profile. The amounts of PEO WSR 303, HPMC K15M and sodium bicarbonate were selected as independen...