let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigate some properties of formal local cohomology modules with respect to a serre subcategory. we provide a common language to indicate some properties of formal local cohomology modules. let ( r,m ) be a noetherian local ring, a an ideal of r and m a finitely generated r- module. we investigat...

due to the extensive research in the emerging field of ontologies. Ontologies Driven Information Systems (ODIS) were introduced by N. Guarino in 1998 [Gua98], and recently is finding rather a great attention from numerous, diversified fields such as Web-based information systems, information integration, and the Semantic Web. This paper introduces the notion of contextual ontologies which it ca...

In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to be protected. We focus on the problem of formalizing the notion of information hiding, and verifying that a given protocol achieves the intended degree of protection. Without the pretense of being omni-comprehensive, we review...

The design of distributed information systems tends to be complex and therefore error-prone. However, in the eld of monolithic, i.e. non-distributed, information systems much has already been achieved, and by now, the principles of their design seem to be fairly well-understood. The past decade has shown also remarkable progress in the development and application of formal methods for distribut...

In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to be protected. We focus on the problem of formalizing the notion of information hiding, and verifying that a given protocol achieves the intended degree of protection. Without the pretense of being omni-comprehensive, we review...

Of course, from childhood to forever, we are always thought to love reading. It is not only reading the lesson book but also reading everything good is the choice of getting new inspirations. Religion, sciences, politics, social, literature, and fictions will enrich you for not only one aspect. Having more aspects to know and understand will lead you become someone more precious. Yea, becoming ...

In this paper, we present a methodology based on formal concept analysis (FCA) for the information system model verification. We show that FCA can be useful for understanding conceptual model topology and it can be used to improve the structure of the conceptual model. IBM's Information Framework (IFW) Financial Services Data Model (FSDM) has been used for the present research. By using FSDM, w...

The main problem addressed in this paper is the merging of numerical information provided by several sources (databases, experts...). Merging pieces of information into an interpretable and useful format is a tricky task even when an information fusion method is chosen. Fusion results may not be in suitable form for being used in decision analysis. This is generally due to the fact that informa...

Formal Concept Analysis (FCA) is a method for data analysis, knowledge representation and information management that is widely unknown among information scientists in the USA even though this technology has a significant potential for applications. FCA was invented by Rudolf Wille in the early 80s (Wille, 1982). For the first 10 years, FCA was developed mainly by a small group of researchers a...

Optimization-based state estimation is useful for handling of constrained linear or nonlinear dynamical systems. It has an ideal form, known as full information (FIE) which uses all past measurements to perform estimation, and also a practical counterpart, moving-horizon (MHE) most recent limited length the estimation. This work reveals generic link from robust stability FIE that MHE, showing f...