Multidimensional gravitational model containing several dilatonic scalar fields and antisymmetric forms is considered. The manifold is chosen in the form M = M 0 × M 1 ×. .. × M n , where M i are Einstein spaces (i ≥ 1). When metric is block-diagonal, all fields and scale factors of the metric depend (essentially) on the point of M 0 and for the forms composite (electromagnetic) p-brane Ansatz ...

Pure type systems make use of domain-full-abstractions x : D : M. We present a variant of pure type systems, which we call domain-free pure type systems, with domain-free-abstractions x : M. Domain-free pure type systems have a number of advantages over both pure type systems and so-called type assignment systems (they also have some disadvantages) and have been used in theoretical developments...

A multidimensional gravitational model containing several dilatonic scalar fields and antisymmetric forms is considered. The manifold is chosen in the form M = M 0 × M 1 ×. .. × M n , where M i are Einstein spaces (i ≥ 1). The block-diagonal metric is chosen and all fields and scale factors of the metric are functions on M 0. For the forms composite (electromagnetic) p-brane ansatz is adopted. ...

where N is the least common multiple of those common differences (or moduli) n1, · · · , nk. For a positive integer m, (1) is said to be an m-cover of Z if its covering multiplicity is not less than m, and an exact m-cover of Z if σ(x) = m for all x ∈ Z. Note that k > m if (1) forms an m-cover of Z. Clearly the covering function σ : Z → Z is constant if and only if (1) forms an exact m-cover of...

In this paper, we first define the notion of $\mathcal{F}$-cosmall quotient for an additive exact substructure $\mathcal{F}$ structure $\mathcal{E}$ in category $\mathcal{A}$. We show that every is right minimal some cases. also give definition $\mathcal{F}$-superfluous and relate it approximation modules. As application, investigate our results a pure-exact $\mathcal{F}$.

In this article we introduce the category of noncommutative Artin motives as well as the category of noncommutative mixed Artin motives. In the pure world, we start by proving that the classical category AM(k)Q of Artin motives (over a base field k) can be characterized as the largest category inside Chow motives which fully-embeds into noncommutative Chow motives. Making use of a refined bridg...

Previous work has shown that actin binds specifically and saturably to liver membranes stripped of endogenous actin (Tranter, M. P., S. P. Sugrue, and M. A. Schwartz. 1989. J. Cell Biol. 109:2833-2840). Scatchard plots of equilibrium binding data were linear, indicating that binding is not cooperative, as would be expected for F- or G-actin. To determine the state of membrane-bound actin, we ha...

Consider an under-determined system of nonlinear equations F (x) = 0, F : IR → IR, where F is continuously differentiable and m > n. This system appears in a variety of applications, including parameter–dependent systems, dynamical systems with periodic solutions, and nonlinear eigenvalue problems. Robust, efficient numerical methods are often required for the solution of this system. Newton’s ...