Perspectives of System Informatics

1. Front Matter

   Pages i-xviii

   PDF

2. Rapid Instruction Decoding for IA-32

   • Yauhen Klimiankou

   Pages 1-9

3. Case-Based Genetic Optimization of Web User Interfaces

   • Maxim Bakaev, Vladimir Khvorostov

   Pages 10-25

4. Inter-country Competition and Collaboration in the miRNA Science Field

   • Artemiy Firsov, Igor Titov

   Pages 26-40

5. Archival Information Systems: New Opportunities for Historians

   • Irina Krayneva, Sergey Troshkov

   Pages 41-49

6. Two-Step Deductive Verification of Control Software Using Reflex

   • Igor Anureev, Natalia Garanina, Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch

   Pages 50-63

7. Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing

   • Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon

   Pages 64-79

8. Parallel Factorization of Boolean Polynomials

   • Vadiraj Kulkarni, Pavel Emelyanov, Denis Ponomaryov, Madhava Krishna, Soumyendu Raha, S. K. Nandy

   Pages 80-94

9. Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains

   • Yury Zagorulko, Olesya Borovikova

   Pages 95-105

10. The Analytical Object Model as a Base of Heterogeneous Data Integration

    • Anna Korobko, Anna Metus

    Pages 106-115

11. Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm

    • Nikolay Kobalo, Alexander Kulikov, Igor Titov

    Pages 116-124

12. A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax

    • Thomas Baar

    Pages 125-139

13. Nobrainer: An Example-Driven Framework for C/C++ Code Transformations

    • Valeriy Savchenko, Konstantin Sorokin, Georgiy Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov et al.

    Pages 140-155

14. A Logical Approach to the Analysis of Aerospace Images

    • Valeriy Kuchuganov, Denis Kasimov, Aleksandr Kuchuganov

    Pages 156-166

15. Data Compression Algorithms in Analysis of UI Layouts Visual Complexity

    • Maxim Bakaev, Ekaterina Goltsova, Vladimir Khvorostov, Olga Razumnikova

    Pages 167-184

16. Computable Topology for Reliable Computations

    • Margarita Korovina, Oleg Kudinov

    Pages 185-198

17. About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers

    • Sergey Kratov

    Pages 199-204

18. An Ontology-Based Approach to the Agile Requirements Engineering

    • Marina Murtazina, Tatiana Avdeenko

    Pages 205-213

19. Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

    • Sophia A. Zelenova, Sergey V. Zelenov

    Pages 214-222

20. Verification and Validation of Semantic Annotations

    • Oleksandra Panasiuk, Omar Holzknecht, Umutcan Şimşek, Elias Kärle, Dieter Fensel

    Pages 223-231

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.


The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory,  and much more.

• artificial intelligence
• computer hardware
• computer programming
• computer science
• computer systems
• databases
• distributed computer systems
• distributed systems
• engineering
• formal logic
• internet
• knowledge-based system
• linguistics
• mathematics
• object-oriented programming
• parallel processing systems
• semantics
• software
• software design
• software engineering

• Microsoft Research, Redmond, USA

  Nikolaj Bjørner

• AP Ershov Institute of Informatics Systems, Novosibirsk, Russia

  Irina Virbitskaite

• School of Computer Science, University of Manchester, Manchester, UK

  Andrei Voronkov

Policies and ethics