21 - 40 из 76Размер страницы: 20
Сортировать по:: Год публикации
  1. 2022

  2. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 стр. (Высшее образование)

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  3. 2021

  4. International Conference «Marchuk Scientific Readings 2021» (MSR-2021)

    Mikhailov, G. A., Kabanikhin, S. I., Laevsky, Y. M., Penenko, V. V., Glinsky, B. M., Zagorulko, Y. A., Shishlenin, M. A., Podkolodnyy, N. L. & Penenko, A. V., 13 дек. 2021, в: Journal of Physics: Conference Series. 2099, 1, 011001.

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

  5. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., дек. 2021, в: Lobachevskii Journal of Mathematics. 42, 12, стр. 2905-2912 8 стр., 24.

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

  6. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., мар. 2021, в: Programming and Computer Software. 47, 2, стр. 108-118 11 стр.

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

  7. Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 янв. 2021, в: Journal of Physics: Conference Series. 1715, 1, 012005.

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

  8. Application of the Fuzzy Model Theory for Modeling QA-Systems

    Yakhyaeva, G., Karmanova, A. & Ershov, A., 2021, в: Computing and Informatics. 40, 6, стр. 1197-1216 20 стр.

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

  9. Development of a technology for collecting and analyzing data for monitoring based on an ontological approach

    Molorodov, Y. I. & Kasatkin, O. V., 2021, в: CEUR Workshop Proceedings. 3006, стр. 212-221 10 стр.

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

  10. Modelling purposeful processes based on the geometric representation of their trajectories

    Skopin, I., 2021, в: CEUR Workshop Proceedings. 2913, стр. 164-181 18 стр.

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

  11. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, в: CEUR Workshop Proceedings. 3006, стр. 203-211 9 стр.

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

  12. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 стр. (Высшее образование)

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  13. 2020

  14. 20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

    Churina, T. & Nesterenko, T., 6 окт. 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 139-144 6 стр. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

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

  15. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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

  16. Compact Interface Method Table Layout

    Trepakov, I. & Pavlov, P., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 62-68 7 стр. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

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

  17. Evaluation of thread-local garbage collection

    Filatov, A. & Mikheev, V., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 15-21 7 стр. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

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

  18. The complexity of AND—decomposition of Boolean functions

    Emelyanov, P. & Ponomaryov, D., 15 июн. 2020, в: Discrete Applied Mathematics. 280, стр. 113-132 20 стр.

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

  19. Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 янв. 2020, в: CEUR Workshop Proceedings. 2570

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

  20. Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 26-37 12 стр.

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

  21. Method of paradigmatic analysis of programming languages and systems

    Gorodnyaya, L., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 149-158 10 стр.

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

  22. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2020, в: Bulletin of Irkutsk State University, Series Mathematics. 31, стр. 111-131 21 стр.

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

  23. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, в: Сибирские электронные математические известия. 17, стр. 380-394 15 стр., 024.

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

Назад 1 2 3 4 Далее

ID: 3089109