1. 2025
  2. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

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

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

  3. Программа-рискометр на языке C для определения риска возникновения фибрилляции предсердий у больных ишемической болезнью сердца

    Ложкина, Н. Г., Кудлай, Д. А., Кузин, С. В., Артеменко, С. Н. & Ложкин, П. П., 8 авг. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2025680759, 27 июн. 2025, Дата приоритета 27 июн. 2025, № приоритета 2025668941

    Результаты исследований: Патенты/Свидетельства о регистрациисвидетельство о регистрации программы для ЭВМ

  4. EPR spectroscopy in the study of ribosomal complexes

    Krumkacheva, O., Malygin, A., Graifer, D., Kolokolov, M. & Bagryanskaya, E., 6 авг. 2025, в: Biophysical Reviews.

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

  5. Mittag-Leffler Restoration Formula for Discrete Analytic Functions

    Danilov, O. A., Lu, X., Liu, L. & Lu, X., 6 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 99-112 14 стр.

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

  6. Ternary Kulakov Algebras With an Elementary Identity

    Neshchadim, M. V. & Simonov, A. A., 6 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 156-166 11 стр.

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

  7. The Structure of the Characteristic Polynomial of the Laplacian Matrix for a Circulant Graph with Non-Fixed Jumps

    Mednykh, A. D., Mednykh, I. A. & Sokolova, G. K., 6 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 146-155 10 стр.

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

  8. Visible-Light-Driven Degradation of Biological Contaminants on the Surface of Textile Fabric Modified with TiO2-N Photocatalyst

    Solovyeva, M., Zhuravlev, E., Kozlova, Y., Bardasheva, A., Morozova, V., Stepanov, G., Kozlov, D., Lyulyukin, M. & Selishchev, D., 5 авг. 2025, в: International Journal of Molecular Sciences. 26, 15, 7550.

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

  9. The Early Cambrian Microfossils and Trace Fossils from Southwestern Belarus (Kobrin-1k Borehole)

    Golubkova, E. Y., Marusin, V. V., Kushim, E. A., Raevskaya, E. G. & Kuznetsov, A. B., 2 авг. 2025, в: Doklady Earth Sciences. 524, 1, 7 стр., 7.

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

  10. Two-jet Plasma Optical Emission Spectrometry Determination of Boron in Animals’ Tissues and Biodistribution After Administration of Boron Nanoparticles

    Guselnikova, T. Y., Lepeshonkova, Y. V., Tsygankova, A. R., Khaptakhanova, P. A., Uspenskii, S. A., Solovieva, O. I., Rasumov, I. A., Volzhenin, A. V. & Kanygin, V. V., 2 авг. 2025, в: Atomic Spectroscopy. 46, 4, стр. 391-398 8 стр., 8.

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

  11. Structural Features of Nucleoproteins from the Recently Discovered Orthonairovirus songlingense and Norwavirus beijiense

    Yanshin, A. O., Ivkina, D. I., Tuyrin, V. Y., Osinkina, I. A., Tishin, A. E., Olkin, S. E., Ukladov, E. O., Radchenko, N. S., Arkhipov, S. G., Ryzhykau, Y. L., Li, N., Agafonov, A. P., Imatdinov, I. R. & Gladysheva, A. V., 1 авг. 2025, в: International Journal of Molecular Sciences. 26, 15, 7445.

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