Volume 1. Cover Page and Contents Proceeding
Volume 1. Cover Page and Contents Proceeding | |
Nafisa Islamovna Yusupova, G. T. Popov, Heinz Woern, George Kovacs, Jivka Ovtcharova |
Volume 1. Session 2 Information Technology
Stream Handling Large Volume Documents in Situationally-Oriented Databases | |
Artem Sergeevich Gusarenko, V. V. Mironov, N. I. Yusupova |
Model Reduction Algorithm for Fast Neutrality Tests and Fault Localization of Simulink Models | |
Nafisa Islamovna Yusupova, X. Hu, A. Morozov, K. Ding, K. Janschek |
Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis | |
Nafisa Islamovna Yusupova, V. Vidineev, K. Ding, A. Morozov, K. Janschek |
Methods and Tools for Processing Semi-Structured Data on the Example of Accounting for Education in the Selection of Personnel in the IT Industry | |
Olga Nikolaevna Smetanina, N. I. Yusupova, М. М. Gayanova |
Volume 1. Session 3 Artificial Intelligence Tools
Analysis of Data to Determine Customer Loyalty in the Educational Sphere Using Kohonen Maps | |
Olga Nikolaevna Smetanina, N. I. Yusupova, I. R. Gallyamova, L. Y. Uzbekova |
The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks | |
Nafisa Islamovna Yusupova, T. Fabarisov, K. Ding, A. Morozov, K. Janschek |
This work is licensed under a Creative Commons Attribution 3.0 License.