An object belonging to a class is a of if it does not belong to any subclass of . An object is a of a class if it is a direct member of or is a direct member of some subclass of . One of the advantages of object-oriented data models [BM93] compared to other data models is that they support a direct representation of real-world domains. These models directly represent the structure and behavior ...

The theory of c-frames and c-Bessel mappings are the generalizationsof the theory of frames and Bessel sequences. In this paper, weobtain several equivalent conditions for dual of c-Bessel mappings.We show that for a c-Bessel mapping $f$, a retrievalformula with respect to a c-Bessel mapping $g$ is satisfied if andonly if $g$ is sum of the canonical dual of $f$ with a c-Besselmapping which  wea...

Let $A$ be a $C^*$-algebra and $E$ be a left Hilbert $A$-module. In this paper we define a product on $E$ that making it into a Banach algebra and show that under the certain conditions $E$  is Arens regular. We also study the relationship between derivations of $A$ and $E$.

The notion of $k$-frames was recently introduced by Gu avruc ta in Hilbert  spaces to study atomic systems with respect to a bounded linear operator. A continuous frame is a family of vectors in a Hilbert space which allows reproductions of arbitrary elements by continuous super positions. In this manuscript, we construct a continuous $k$-frame, so called c$k$-frame along with an atomic system ...

I discuss recent progress in developing and exploiting connections between SAT algorithms and circuit lower bounds. The centrepiece of the article is Williams’ proof that NEXP * ACC0, which proceeds via a new algorithm for ACC0-SAT beating brute-force search. His result exploits a formal connection from non-trivial SAT algorithms to circuit lower bounds. I also discuss various connections in th...