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. STEFFEN’S FLEXIBLE POLYHEDRON IS EMBEDDED. A PROOF VIA SYMBOLIC COMPUTATIONS

    Александров, В. А. & Волокитин, Е. П., 4 авг. 2025, в: Journal for Geometry and Graphics. 29, 1, 9 стр.

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

  10. Pathological and Molecular Significance of HER2/neu Overexpression in Familial Breast Cancer Among Egyptian Women: A Comprehensive Study on Diagnostic and Prognostic Implications

    Abou-El-Naga, A., El Saied, A., Akl, M. M. & AbdEL-Aziz, S., 2 авг. 2025, в: Advanced Pharmaceutical Bulletin. 15, 3, стр. 637-645 9 стр.

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

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

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