Abstract is missing.
- Rapid Instruction Decoding for IA-32Yauhen Klimiankou. 1-9 [doi]
- Case-Based Genetic Optimization of Web User InterfacesMaxim Bakaev, Vladimir Khvorostov. 10-25 [doi]
- Inter-country Competition and Collaboration in the miRNA Science FieldArtemiy Firsov, Igor Titov. 26-40 [doi]
- Archival Information Systems: New Opportunities for HistoriansIrina Krayneva, Sergey Troshkov. 41-49 [doi]
- Two-Step Deductive Verification of Control Software Using ReflexIgor S. Anureev, Natalia Olegovna Garanina, Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch. 50-63 [doi]
- Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional ComputingDenis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon. 64-79 [doi]
- Parallel Factorization of Boolean PolynomialsVadiraj Kulkarni, Pavel Emelyanov, Denis K. Ponomaryov, Madhava Krishna C, Soumyendu Raha, S. K. Nandy. 80-94 [doi]
- Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject DomainsYury A. Zagorulko, Olesya Borovikova. 95-105 [doi]
- The Analytical Object Model as a Base of Heterogeneous Data IntegrationAnna V. Korobko, Anna Metus. 106-115 [doi]
- Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing AlgorithmNikolay Kobalo, Alexander Kulikov, Igor Titov. 116-124 [doi]
- A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input SyntaxThomas Baar. 125-139 [doi]
- Nobrainer: An Example-Driven Framework for C/C++ Code TransformationsValeriy Savchenko, Konstantin Sorokin, Georgiy Pankratenko, Sergey Markov, Alexander Spiridonov, Ilia Alexandrov, Alexander Volkov, Kwangwon Sun. 140-155 [doi]
- A Logical Approach to the Analysis of Aerospace ImagesValeriy N. Kuchuganov, Denis R. Kasimov, Aleksandr V. Kuchuganov. 156-166 [doi]
- Data Compression Algorithms in Analysis of UI Layouts Visual ComplexityMaxim Bakaev, Ekaterina Goltsova, Vladimir Khvorostov, Olga Razumnikova. 167-184 [doi]
- Computable Topology for Reliable ComputationsMargarita V. Korovina, Oleg V. Kudinov. 185-198 [doi]
- About Leaks of Confidential Data in the Process of Indexing Sites by Search CrawlersSergey Kratov. 199-204 [doi]
- An Ontology-Based Approach to the Agile Requirements EngineeringMarina Murtazina, Tatiana Avdeenko. 205-213 [doi]
- Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOSSophia A. Zelenova, Sergey V. Zelenov. 214-222 [doi]
- Verification and Validation of Semantic AnnotationsOleksandra Panasiuk, Omar Holzknecht, Umutcan Simsek, Elias Kärle, Dieter Fensel. 223-231 [doi]
- Towards Automatic Deductive Verification of C Programs over Linear ArraysDmitry Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy. 232-242 [doi]
- Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)Torben Ægidius Mogensen. 243-251 [doi]
- Causality-Based Testing in Time Petri NetsElena N. Bozhenkova, Irina Virbitskaite, Louchka Popova-Zeugmann. 252-261 [doi]