Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. \Programming in the small" is captured by Standard ML's Core language. \Programming in the large" is captured by Standard ML's Modules language that provides constructs for organising related Core language deenitions into self-contained modules with descriptive interfaces...

In this article, we study certain local cohomology modules over F-pure rings. We give sufficient conditions for the vanishing of some Lyubeznik numbers, derive a formula computing these invariants when ring is standard graded and, by its means, provide new examples tables. associated primes Ext-modules, showing that they are all compatible ideals. Finally, focus on properties numbers detect glo...

in this errata, we reconsider and modify two propositions and their corollaries which were written on epi-retractable and co-epi-retractable modules.

The configuration management of a sensor network composed of tens or up to thousands of nodes is difficult due to the limit of memory space and energy consumption. This paper presents an approach for dynamic reconfiguration of application modules in sensor networks based on Nano-Qplus. The version information from proposed methods is registered into NVSync (Nano-Qplus Version Synchronization), ...

we investigate the problem of the existence of a frame forright ideals of a c*-algebra a, without the use of the kasparov stabilizationtheorem. we show that this property can not characterize a as a c*-algebraof compact operators.

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...

Using subvarieties, which we call Demazure quiver varieties, of the quiver varieties of Nakajima, we give a geometric realization of Demazure modules of Kac-Moody algebras with symmetric Cartan data. We give a natural geometric characterization of the extremal weights of a representation and show that Lusztig's semicanonical basis is compatible with the filtration of a representation by Demazur...

Five commercially available encryption packages for the IBM PC are described and broken.

Using subvarieties, which we call Demazure quiver varieties, of the quiver varieties of Nakajima, we give a geometric realization of Demazure modules of Kac-Moody algebras with symmetric Cartan data. We give a natural geometric characterization of the extremal weights of a representation and show that Lusztig's semicanonical basis is compatible with the filtration of a representation by Demazur...