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

An effective solution to the problem of extending a dialogue system to new knowledge domains requires a clear separation between the knowledge and the system: as ontologies are used to conceptualize information, they can be used as a means to improve the separation between the dialogue system and the domain information. This paper presents the development of an ontology for the cooking domain, ...

This article presents FTM, a shared library and a set of modules extending the Max/MSP environment. It also gives a brief description of additional sets of modules based on FTM. The article particularly addresses the community of researchers and musicians familiar with Max or Max-like programming environments such as Pure Data. FTM extends the signal and message data flow paradigm of Max permit...

This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To this end, a general method for modeling analog modules using wave quantities is suggested, and a new kind of port and channel suitable to let modules communicate via waves have been defined. These entities are plugged di...

By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we introduce a stratification for affne Deligne-Lusztig variety (in Grassmannian) attached to minuscule cocharacter basic element. As an application, complete proof conjecture on irreducible components varieties, due Miaofen Chen Xinwen Zhu.

Simulation plays an important role in grid research. However, there is no general simulation environment for scheduling algorithms testing. In this paper we establish an extendable grid simulation environment based on GridSim by choosing and extending the appropriate modules of an open-source grid simulation environment—-gridbroker. In our simulation environment, users can easily add various di...

This paper describes a Java package for automatically extending WordNet and other semantic lexicons. Extending these semantic lexicons by traditional means of hand labeling word relationships is a very expensive and laborious process. We used machine learning techniques to automatically extract relationships between words from a given text corpus. The package is made to be very flexible, allowi...