Given a projective sequence of Banach bundles, each one provided with weak symplectic form, we look for conditions under which, the corresponding forms gives rise to form on limit bundle. Then apply this results tangent bundle manifolds. This naturally leads ask about which Darboux Theorem is also true We will give some necessary and sufficient so that such result true. discuss why, in general,...

We seek to support the development of open, distributed applications from plug-compatible software abstractions. In order to rigorously specify these abstractions, we are elaborating a formal object model for software composition in which objects and related software abstractions are viewed as patterns of communicating processes. The semantic foundation is Milner's π calculus, and the starting ...

The category k-BFAlg of all k-algebras with a bilinear form, whose objects are pairs (R,b) where R is k-algebra and b:R×R→k mapping, equivalent to the unital A for which canonical homomorphism (k,1)→(A,1A) splitting monomorphism in k-Mod. Call left inverses this “weak augmentations” algebra. There isomorphism between weak augmentation (A,bA) form bA compatible multiplication A, i.e., such that ...

This paper proposes a new sub-threshold low power 9T static random-access memory (SRAM) cell compatible with bit interleaving structure in which the effective sizing adjustment of access transistors in write mode is provided  by isolating writing and reading paths. In the proposed cell, we consider a weak inverter to make better write mode operation. Moreover applying boosted word line feature ...

Within the multicriteria aggregation-disaggregation framework, ordinal regression aims at inducing the parameters of a decision model, for example those of a utility function, which have to represent some holistic preference comparisons of a Decision Maker (DM). Usually, among the many utility functions representing the DM’s preference information, only one utility function is selected. Since s...

In this paper we extend some previous results on weak pseudo-bosons and their related bi-coherent states. The role of compatible functions is discussed in details, examples are considered. pseudo-bosonic ladder operators analysed generalize significantly those considered so far, a class new diagonalizable manifestly non self-adjoint Hamiltonians deduced.

In this paper, notions of compatible and almost compatible Riemannian and pseudo-Riemannian metrics, which are motivated by the theory of compatible (local and nonlocal) Poisson structures of hydrodynamic type and generalize the notion of flat pencil of metrics (this notion plays an important role in the theory of integrable systems of hydrodynamic type and the Dubrovin theory of Frobenius mani...

Choice functions on tournaments always select the maximal element (Condorcet winner), provided they exist, but this property does not hold in the more general case of weak tournaments. In this paper we analyze the relationship between the usual choice functions and the set of maximal elements in weak tournaments. We introduce choice functions selecting maximal elements, whenever they exist. Mor...

The weak form factors of the nucleon, including the induced pseudoscalar form factor and second class terms, are constrained using a microscopic calculation of the weak capture process 3He(μ−, νμ) H. The calculation is parameter free, and yields a rate of 1499(16)Hz, in agreement with the remarkable experimental measurement 1496(4)Hz. The nuclear wave functions are obtained using the EIHH metho...

Every theory of information, including classical and quantum, can be studied in the framework operational probabilistic theories--where notion test generalizes that quantum instrument, namely a collection operations summing to channel, simple rules are given for composition tests parallel sequence. Here we study compatibility an theory. Following literature, first introduce strong compatibility...