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

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

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

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

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

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

  13. Study of the influence of moderator material on sensitivity of the epithermal neutron flux detector using the 71Ga(n,γ)72Ga reaction

    Byambatseren, E., Bykov, T., Kasatov, D., Kolesnikov, I., Savinov, S., Shein, T. & Taskaev, S., 1 авг. 2025, в: Applied Radiation and Isotopes. 222, стр. 111844 111844.

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

  14. Additive Manufacturing of Ti64–WC Coating Using Fiber and CO2 Lasers

    Golyshev, A. A., Malikov, A. G., Gertsel, I. S., Vitoshkin, I. E. & Gulov, M. A., авг. 2025, в: JOM. 77, 8, стр. 6061-6070 10 стр., 26.

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

  15. Analysis of the Spectrum of the mtDNA Haplogroups in Patients with Hearing Loss Carrying the Likely Pathogenic Ultra-Rare m.1494C>T Variant in the MT-RNR1 Gene

    Borisova, T. V., Cherdonova, A. M., Pshennikova, V. G., Teryutin, F. M., Morozov, I. V., Bondar, A. A., Baturina, O. A., Kabilov, M. R., Romanov, G. P., Solovyev, A. V., Fedorova, S. A. & Barashkov, N. A., авг. 2025, в: Russian Journal of Genetics. 61, 8, стр. 974-986 13 стр., 9.

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

  16. A Phenol-Free Method for the Robust Isolation of the Double-Stranded RNA Produced in the E. coli HT115 Strain

    Ivanov, A. A. & Golubeva, T. S., авг. 2025, в: Russian Journal of Bioorganic Chemistry. 51, 4, стр. 1521-1528 8 стр., 8.

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

  17. Asymptotic potential of a rose-shaped disk

    Sagaydak, A. E. & Silagadze, Z. K., авг. 2025, в: Journal of Electrostatics. 136, 5 стр., 104099.

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

  18. Elementary atoms in spaces of constant curvature by the Nikiforov–Uvarov method

    Alizzi, A. E., Sagaydak, A. E. & Silagadze, Z. K., авг. 2025, в: Annals of Physics. 479, 170066.

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

  19. Magnetic Properties of the Iron-Doped LiBa12(BO3)7F4 Fluoroborate (LBBF)

    Korotaev, E. V., Bekker, T. B., Davydov, A. V., Miroshnichenko, L. V. & Fedorenko, A. D., авг. 2025, в: Journal of Structural Chemistry. 66, 8, стр. 1743-1765 23 стр., 19.

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

  20. Maximum spreading-based method for determining the pre-rebounding sliding length of a water droplet after impact on an inclined superhydrophobic textured surface

    Verkhodanov, D., Piskunova, A., Piskunov, M., Vozhakov, I., Safonov, A., Starinskiy, S. V. & Smirnov, N., авг. 2025, в: International Journal of Multiphase Flow. 189, 105257.

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

  21. Novel multitarget LAMP and PCR assays for the detection of Bordetella species

    Koryukov, M. A., Oscorbin, I. P., Gordukova, M. A., Turina, I. E., Aminova, A. I. & Filipenko, M. L., авг. 2025, в: Methods. 240, стр. 63-72 10 стр.

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