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, стр. 405-419 15 стр. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 14773 LNCS).

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

  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., стр. 1400-1404 5 стр. (Proceedings of the IEEE 3rd International Conference on Problems of Informatics, Electronics and Radio Engineering, PIERE 2024).

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

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

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

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

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

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

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

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

    Khotskina, O. V. & Lankina, D. S., 2024, в: Vestnik Tomskogo Gosudarstvennogo Universiteta, Filologiya. 87, стр. 127-145 19 стр., 7.

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

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

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

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

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

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

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

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

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

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

  10. 2023
  11. Fishing Innate Immune System Properties through the Transcriptomic Single-Cell Data of Teleostei

    Bobrovskikh, A. V., Zubairova, U. S. & Doroshkov, A. V., 12 дек. 2023, в: Biology. 12, 12, 1516.

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

  12. Development a prototype of the basic platform of the autonomous intelligent robotics system (AIRS)

    Kozulin, I., Chernyavskiy, A., Mashkov, N., Nazarov, A. & Kravchenko, O., 1 дек. 2023, в: Robotics and Technical Cybernetics. 11, 4, стр. 303-311 9 стр., 7.

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

ID: 3083378