1. 2018
  2. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. On Two Kinds of Dataset Decomposition

    Emelyanov, P., 1 янв. 2018, Computational Science – ICCS 2018 - 18th International Conference, Proceedings. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, VV., Lees, MH., Dongarra, J. & Sloot, PMA. (ред.). Springer, стр. 171-183 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10861 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  4. Pattern-based methodology for building the ontologies of scientific subject domains

    Zagorulko, Y., Zagorulko, G. & Borovikova, O., 1 янв. 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (ред.). IOS Press, стр. 529-542 14 стр. (Frontiers in Artificial Intelligence and Applications; том 303).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 янв. 2018, в: CEUR Workshop Proceedings. 2260, стр. 511-524 14 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

  6. 2017
  7. Methodology for the development of ontologies for thematic intelligent scientific internet resources

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 5 дек. 2017, RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., Том 2017-December. стр. 194-198 5 стр. (RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications; том 2017-December).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  8. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 55-60 6 стр. 8071964. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. Classification by Compression: Application of Information-Theory Methods for the Identification of Themes of Scientific Texts

    Selivanova, I. V., Ryabko, B. Y. A. & Guskov, A. E., 1 июн. 2017, в: Automatic documentation and mathematical linguistics. 51, 3, стр. 120-126 7 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  10. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 июн. 2017, в: ACM Transactions on Computational Logic. 18, 2, 41 стр., 16.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 янв. 2017, в: CEUR Workshop Proceedings. 2022, стр. 64-71 8 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

  12. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

ID: 3089109