Implementation of the Composition-nominative Approach to Program Formalization in Mizar by Ievgen Ivanov, Artur Kornilowicz, Mykola Nikitchenko

Subjects: Get full text

Properties of Nanostructures: Data Acquisition, Categorization, and Evaluation by AV Eletskii, AO Erkimbaev, GA Kobzev, MS Trachtengerts, VY Zitserman

Subjects: Get full text

MODEL OF PROCESSING SEMI-STRUCTURED TEXT DATA IN RUSSIAN FOR INTELLECTUAL SUPPORT OF INFORMATION MANAGEMENT IN DYNAMIC ORGANIZATIONAL SYSTEMS by E.A. Makarova, D.G. Lagerev

“…The use of the proposed model makes it possible to reduce the expert's work time while maintaining the quality of semistructured data processing.…”

On the Expressiveness of the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi

“…The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. In this paper, we study the expressiveness of AL. …”
Get full text

Separability in the Ambient Logic by Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi

“…The \it{Ambient Logic} (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on processes induced by the logic $(=_L>)$. …”
Get full text

Proving Properties of Programs on Hierarchical Nominative Data by Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

“…Nominative data can be considered as a class of abstract data models which is able to represent many concrete types of structured and semistructured data that appear in programming. Thus, proofs of properties of programs depend on proofs of properties of compositions and basic operations on nominative data. …”
Get full text