1 - 10 из 70Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

    Garanina, N., Anureev, I. & Kondratyev, D., 20 янв. 2025, в: Applied System Innovation. 8, 1, 15.

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

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

    Gorodnyaya, L., Kondratyev, D. & Shilov, N., 2025, Smart Innovation, Systems and Technologies. Howlett, R. J. & Jain, L. C. (ред.). Springer, Том 406. стр. 293-302 10 стр. (Smart Innovation, Systems and Technologies; том 406).

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

  4. 2024

  5. 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., дек. 2024, в: Вавиловский журнал генетики и селекции. 28, 8, стр. 843-853 11 стр.

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

  6. Observation of the Anomalous Shape of X (1840) in J/ψ →γ3 (π+π-) Indicating a Second Resonance Near p p ¯ Threshold

    The BESIII Collaboration, 12 апр. 2024, в: Physical Review Letters. 132, 15, стр. 151901 151901.

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

  7. 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., янв. 2024, в: Mathematical Biology and Bioinformatics. 19, 2, стр. 338-353 16 стр., 6.

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

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

    Загорулько, Ю. А. & Загорулько, Г. Б., 2024, Москва: Юрайт. 93 стр.

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

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

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

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

  10. 2023

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

    Palyanov, A. Y. & Palyanova, N. V., дек. 2023, в: Vavilovskii Zhurnal Genetiki i Selektsii. 27, 7, стр. 839-850 12 стр.

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

  12. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., окт. 2023, в: Programming and Computer Software. 49, 5, стр. 470-483 14 стр.

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

  13. 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 сент. 2023, в: Viruses. 15, 10, 2014.

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

Назад 1 2 3 4 5 6 7 Далее

ID: 3089109