1. 2024
  2. On the Group of Computable Automorphisms of the Linear Order of the Reals

    Kornev, R., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 405-419 15 p. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Resource Center for Computer Science at Novosibirsk State University

    Lavrentiev, M. M. & Derzho, M. A., 2024, Proceedings of the IEEE 3rd International Conference on Problems of Informatics, Electronics and Radio Engineering, PIERE 2024. Institute of Electrical and Electronics Engineers Inc., p. 1400-1404 5 p. (Proceedings of the IEEE 3rd International Conference on Problems of Informatics, Electronics and Radio Engineering, PIERE 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

    Research output: Book/ReportTeaching manualpeer-review

  5. Лекции по прикладному функциональному анализу

    Терсенов, А. С., 2024, Москва: Юрайт. 83 p. (Высшее образование)

    Research output: Book/ReportTeaching manualpeer-review

  6. Особенности употребления метаграфемных средств в различных типах речевых актов англоязычных блогов

    Khotskina, O. V. & Lankina, D. S., 2024, In: Vestnik Tomskogo Gosudarstvennogo Universiteta, Filologiya. 87, p. 127-145 19 p., 7.

    Research output: Contribution to journalArticlepeer-review

  7. Программно-аппаратные решения потоковой обработки данных для компенсации температурных дрейфов скважинного инклинометра «Луч»

    Литвинов, В. С., Власов, А. А. & Тейтельбаум, Д. В., 2024, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 22, 3, p. 40-48 9 p., 4.

    Research output: Contribution to journalArticlepeer-review

  8. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, In: Труды Института системного программирования РАН. 36, 2, p. 141-168 28 p.

    Research output: Contribution to journalArticlepeer-review

  9. Теория волн

    Васкевич, В. Л., 2024, 2-е ed. Москва: Юрайт. 253 p. (Высшее образование)

    Research output: Book/ReportTeaching manualpeer-review

  10. Projection–Subtraction X-ray Imaging Scheme for Studying Fast Fluid-Dynamics Processes in Porous Media

    Gorenkov, I., Nikitin, V., Fokin, M. & Duchkov, A., Feb 2024, In: Transport in Porous Media. 151, 3, p. 625-643 19 p.

    Research output: Contribution to journalArticlepeer-review

  11. Система распознавания речевых команд в клиент-серверной архитектуре на базе глубоких нейросетей с возможностью быстрой (без обучения) адаптации под специализированные словари команд

    Бондаренко, И., Мартиросян, С. А., Гребенкин, Д. В., Кондрашук, В. В., Болдинов, А. К. & Паульс, А. Е., 5 Feb 2024, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2024612715, 22 Jan 2024, Priority date 22 Jan 2024, Priority No. 2024610873

    Research output: PatentSoftware registration

ID: 3083378