1 - 20 из 68Размер страницы: 20
Сортировать по:: Год публикации
  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. 2024

  4. 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 стр.

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

  5. 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.

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

  6. 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.

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

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

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

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

  8. 2023

  9. 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 стр.

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

  10. Automata-Based Software Engineering with Event-B

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

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

  11. 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.

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

  12. 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., сент. 2023, в: Computer Optics. 47, 5, стр. 770-777 8 стр.

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

  13. Моделирование развивающихся систем с активными элементами

    Скопин, И. Н., 2023, в: Вычислительные технологии. 28, 1, стр. 6-22 17 стр., 1.

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

  14. 2022

  15. Extensions to the Predicate Programming Language for Efficient Graph Processing

    Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., стр. 65-71 7 стр. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

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

  16. Влияние методов построения векторных представлений на подходы выравнивания сущностей

    Гусев, Д. И. & Апанович, З. В., 2022, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 2, стр. 5-17 13 стр., 1.

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

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

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

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

  18. 2021

  19. 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.

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

  20. 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.

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

  21. 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 стр.

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

  22. Preconditioning methods based on spanning tree algorithms

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

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

  23. 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 стр.

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

  24. 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 стр.

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

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

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

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

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

ID: 3089109