21 - 40 out of 349Page size: 20
  1. 2025

  2. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1490-1495 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  3. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1430-1434 5 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  4. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

    Ищенко, А. Д. & Ануреев, И. С., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1440-1445 6 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  5. Comparison of vacuum insulated tandem accelerators and suggestion for its improvement

    Bykov, T., Kolesnikov, Y., Koshkarev, A., Ostreinov, G., Savinov, S., Shchudlo, I. & Taskaev, S., Aug 2025, In: Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 1077, 7 p., 170587.

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

  6. Study of an Ion Beam in Vacuum Insulated Tandem Accelerators

    Bykov, T. A., Kolesnikov, Y. A., Koshkarev, A. M., Ostreinov, G. M., Savinov, S. S., Shchudlo, I. M. & Taskaev, S. Y., Aug 2025, In: Instruments and Experimental Techniques. 68, 4, p. 527-533 7 p., 1.

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

  7. Transcriptomic Profile of the Trastuzumab-Resistant Breast Cancer Cell Line BT-474

    Shifon, S. A., Karpets, I. O., Chesnokova, A. S., Karitskaya, P. E., Ukladov, E. O., Evgenov, I. V., Sidorov, S. V. & Gulyaeva, L. F., Aug 2025, In: Molecular Biology. 59, 4, p. 508-521 14 p., 4.

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

  8. Potential Locations for Deploying the Full-Scale TAIGA-100 Gamma Ray Observatory

    the TAIGA Collaboration, 15 Jul 2025, In: Bulletin of the Russian Academy of Sciences: Physics. 89, 6, p. 884-888 5 p.

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

  9. Планирование траектории полета БПЛА при мониторинге большой области

    Rodionov, A. & Matkurbanov, T., 25 Jun 2025, In: Informatics and Automation. 24, 3, p. 791-827 37 p., 3.

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

  10. Nonlinear Elasticity Problems on Carnot Groups and Quasiconformal Analysis

    Vodopyanov, S. K. & Pavlov, S. V., 2 Jun 2025, In: Siberian Mathematical Journal. 66, 3, p. 672-690 19 p., 8.

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

  11. Studies of Nuclear Reactions of Light Nuclei in the Energy Range up to 2.2 MeV at the VITA Tandem Accelerator

    Bikchurina, M. I., Bykov, T. A., Kasatov, D. A., Kolesnikov, Y. A., Koshkarev, A. M., Ostreinov, G. M., Savinov, S. S., Sokolova, E. O., Shuklina, A. A. & Taskaev, S. Y., 20 May 2025, In: Physics of Particles and Nuclei. 56, 2, p. 355-362 8 p.

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

  12. Characterization of polystochastic matrices of order 4 with zero permanent

    Perezhogin, A. L., Potapov, V. N., Taranenko, A. A. & Vladimirov, S. Y., 30 Apr 2025, In: Journal of Combinatorial Theory. Series A. 215, 106060.

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

  13. Программный комплекс автоматизированной отладки фрагментированных программ ADAPT для системы LuNA на базе комбинации методов статического анализа и анализа по трассе

    Власенко, А. Ю., Курбатов, М. А., Малышкин, В. Э., Мичуров, М. А. & Царев, В. Д., 8 Apr 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025618814, 1 Apr 2025, Priority date 1 Apr 2025, Priority No. 2025617201

    Research output: Patent › Software registration

  14. Measurement of cross-section of the p + 7Li, d + Li, p + 11B, and d + B reactions at the ion energies up to 2.2 MeV

    Бикчурина, М. И., Быков, Т. А., Касатов, Д. А., Колесников, Я. А., Кошкарев, А. М., Остреинов, Г. М., Савинов, С. С., Шуклина, А. А., Соколова, Е. О., Таскаев, С. Ю., Бессмельцев, В. П., Красильников, А. В., Meshaninov, S., Nemtsov, G., Nikolaev, A., Окс, Е. М. & Юшков, Г. Ю., Apr 2025, In: Письма в журнал "Физика элементарных частиц и атомного ядра" . 22, 2, p. 264-267 4 p., 7.

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

  15. Optimization of the algorithm to compute the guaranteed number of activations in XS-circuits and its application to the analysis of block ciphers

    Parfenov, D., Bakharev, A., Kutsenko, A., Belov, A. & Atutova, N., 25 Mar 2025, In: Journal of Cryptographic Engineering. 15, 1, 11 p., 4.

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

  16. Association of hemodynamics and morphology with local surface growth of abdominal aortic aneurysm using spatial pattern analysis

    Fedotova, Y., Kalachev, I., Epifanov, R., Totmina, E., Borisova, K., Lysikov, D., Karpenko, A. & Mullyadzhanov, R., 1 Feb 2025, In: Physics of Fluids. 37, 2, 021919.

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

  17. Machine learning-based predicting of the equilibrium cation distribution in faujasite-type zeolites

    Гренев, И. В., Бобков, М. Е., Иванов, А. Д., Uliankina, A. I. & Шубин, А. А., 1 Feb 2025, In: Materials Chemistry and Physics. 349, Part 2, 11 p., 131853.

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

  18. A comprehensive dataset and neural network approach for named entity recognition in the Uzbek language

    Mengliev, D., Barakhnin, V., Eshkulov, M., Ibragimov, B. & Madirimov, S., Feb 2025, In: Data in Brief. 58, 9 p., 111249.

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

  19. Интеллектуальная вопросно-ответная система на основе интеграции генеративной нейросетевой модели языка и неструктурированной базы знаний

    Бондаренко, И., Дерунец, Р. А., Тикунов, Ф. В., Кулаков, М. Я., Мясникова, М. А., Бобровский, А. К., Прокопенко, В. А. & Ропперт, Е. И., 21 Jan 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2025611584, 23 Dec 2024, Priority date 23 Dec 2024, Priority No. 2024693113

    Research output: Patent › Software registration

  20. AB001. Study of impurity accumulation in a lithium neutron-generating target

    Бикчурина, М. И., Быков, Т. А., Бямбацэрэн, Э., Ибрагим, И., Касатов, Д. А., Колесников, Я. А., Коновалова, В. Д., Кошкарев, А. М., Макаров, А. Н., Остреинов, Г. М., Савинов, С. С., Соколова, Е. О., Сорокин, И. Н., Щудло, И. М., Сычева, Т., Верховод, Г. Д. & Таскаев, С. Ю., 2025, In: Therapeutic Radiology and Oncology. 9, 2 p.

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

  21. Beam Shaping Assembly of the VITA Accelerator-Based Neutron Source

    Shein, T. V., Berendeev, E. A., Degtyarev, V. S., Koshkarev, A. M., Kuznetsov, A. S., Savinov, S. S. & Taskaev, S. Y., 2025, In: Physics of Particles and Nuclei Letters. 22, 4, p. 842-846 5 p.

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

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

ID: 3086172