B. Magajna and J. Schweizer showed in 1997 and 1999, respectively, that C*-algebras of compact operators can be characterized by the property that every norm-closed (and coinciding with its biorthogonal complement, resp.) submodule of every Hilbert C*-module over them is automatically an orthogonal summand. We find out further generic properties of the category of Hilbert C*-modules over C*-alg...

The Power Architecture and Power.org word marks and the Power and Power.org logos and related marks are trademarks and service marks licensed by Power.org. Implementation of certain elements of this document may require licenses under third party intellectual property rights, including without limitation, patent rights. Power.org and its Members are not, and shall not be held, responsible in an...

Gupta, Lee and Wong described algorithms for generating 2-3 trees and B-trees and left as open problems whether algorithms exist that generate them in lexicographic order, and whether it is possible to generate 2-3 trees or B-trees in constant average delay, exclusive of the output. In this note we modify the B-tree representation and show that the order of generating 2-3 trees and B-trees in t...

This paper shows that if exponentiation b = X in groups of finite field units or B = [k]X in elliptic curves is considered as encryption of X with exponent k treated as symmetric key, then the decryption or the computation of X from b (respectively B) can be achieved in polynomial time with a high probability under random choice of k. Since given X and b or B the problem of computing the discre...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

We give a possible extension of definition shears and overshears in the case two non commutative (quaternionic) variables relation with associated vector fields flows. define divergence operator determine divergence. Given non-existence quaternionic volume form on H2, we automorphisms to be time-one maps preserving 0. To these classes Andersen–Lempert theory applies. Finally, exhibit an example...