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 main objective of this study is to swing krull intersection theorem in primary decomposition of rings and modules to the primary decomposition of soft rings and soft modules. to fulfill this aim several notions like soft prime ideals, soft maximal ideals, soft primary ideals, and soft radical ideals are introduced for a soft ring over a given unitary commutative ring. consequently, the p...

let r be a commutative ring with identity. let n and k be two submodules of a multiplication r-module m. thenn=im and k=jm for some ideals i and j of r. the product of n and k denoted by nk is defined by nk=ijm. inthis paper we characterize some particular cases of multiplication modules by using the product of submodules.

the largest class of algebraic hyper structures satisfying the module like axioms is the v h -module. in this paper, we consider the category of v h -modules and prove that the direct limit alwaysexists in this category. direct limits are defined by a universal property, and so are unique. the mostpowerful tool in order to obtain a module from a given v h - module is the quotient out procedure....

The projective tensor product in a category of topologicalR-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the cartesian closedness of X is related to the monoidal...

This paper demonstrates some aspects of a plan processor which is a subcomponent of the dialogue module of verb-mobil. We describe how we transfer results from the research area of grammar extraction for the semi-automatic acquisition of plan operators for turn classes. We exploit statistical knowledge acquired during learning the grammar and incorporate top down predictions to enhance the corr...

A computer simulation model of the human speaker is presented which generates sentences in a piecemeal way. The module responsible for Grammatical Encoding (the tactical component) is discussed in detail. Generation is conceptually and lexically guided and may proceed from the bottom of the syntactic structure upwards as well as from the top downwards. The construction of syntactic structures i...

Robei is a tiny cross platform FPGA design tool that aims to simplify design procedure, transparent intellectual properties and reduce complexity. It makes FPGA design like playing with boxes by breaking down hardware into three basic elements: module, port and wire. Through these elements, engineer can implement either top-down or bottom-up design. Standard Verilog code can be integrated with ...

We consider the problem of designing the top-level modular structure of an implementation. Our starting point is a formal speciication of the system. Our approach is to analyse the references to the state variables by the operations of the system. Those variables that are referenced/modiied together are likely candidates for forming the state of a module. We evaluate the strategy by applying it...

This paper presents a formalization of constructive module theory in the intuitionistic type theory of Coq. We build an abstraction layer on top of matrix encodings, in order to represent finitely presented modules, and obtain clean definitions with short proofs justifying that it forms an abelian category. The goal is to use it as a first step to get certified programs for computing topologica...