61 - 70 out of 73Page size: 10
  1. 2023

  2. Acute ischemic stroke lesion segmentation in non-contrast CT images using 3D convolutional neural networks

    Dobshik, A. V., Verbitskiy, S. K., Pestunov, I. A., Sherman, K. M., Sinyavskiy, Y. N., Tulupov, A. A. & Berikov, V. B., Sept 2023, In: Computer Optics. 47, 5, p. 770-777 8 p.

    Research output: Contribution to journal › Article › peer-review

  3. The Development of the SARS-CoV-2 Epidemic in Different Regions of Siberia in the 2020-2022 Period

    Palyanova, N. V., Sobolev, I. A., Palyanov, A. Y., Kurskaya, O. G., Komissarov, A. B., Danilenko, D. M., Fadeev, A. V. & Shestopalov, A. M., 27 Sept 2023, In: Viruses. 15, 10, 2014.

    Research output: Contribution to journal › Article › peer-review

  4. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., Oct 2023, In: Programming and Computer Software. 49, 5, p. 470-483 14 p.

    Research output: Contribution to journal › Article › peer-review

  5. On the space of SARS-CoV-2 genetic sequence variants

    Palyanov, A. Y. & Palyanova, N. V., Dec 2023, In: Vavilovskii Zhurnal Genetiki i Selektsii. 27, 7, p. 839-850 12 p.

    Research output: Contribution to journal › Article › peer-review

  6. 2024

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

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

    Research output: Book/Report › Teaching manual › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  9. Функциональное программирование

    Городняя, Л. В. & Андреева, Т. А., 2024, Новосибирск: ИПЦ НГУ. 352 p.

    Research output: Book/Report › Teaching manual › peer-review

  10. Acceleration Of Recombinant Viral Sequences Search By 3SEQ Algorithm Via Adding Support Of Multi-Threaded Calculations And Considering Sample Collection Dates

    Devyaterikov, A. P. & Palyanov, A. Y., Jan 2024, In: Mathematical Biology and Bioinformatics. 19, 2, p. 338-353 16 p., 6.

    Research output: Contribution to journal › Article › peer-review

  11. A novel approach to analyzing the evolution of SARS-CoV-2 based on visualization and clustering of large genetic data compactly represented in operative memory

    Palyanov, A. Y. & Palyanova, N. V., Dec 2024, In: Вавиловский журнал генетики и селекции. 28, 8, p. 843-853 11 p.

    Research output: Contribution to journal › Article › peer-review

  12. 2025

  13. A Learning Path to Functional Programming (and What Students can see on the Path)

    Gorodnyaya, L., Kondratyev, D. & Shilov, N., 2025, Agents and Multi-agent Systems: Technologies and Applications 2024. Howlett, R. J. & Jain, L. C. (eds.). Springer, Vol. 406. p. 293-302 10 p. 25. (Smart Innovation, Systems and Technologies; vol. 406).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1...3 4 5 6 7 8 Next

ID: 3089109