1. 2025
  2. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1430-1434 5 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  3. Using Machine Learning Methods to Search for EEG and Genetic Markers of Depressive Disorder

    Zorina, K., Kriveckiy, A., Klemeshova, D., Bocharov, A. & Karmanov, V., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1790-1793 4 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  4. Validation of the Russian Version of the Broad Autism Phenotype Questionnaire in a Russian Speaking Sample of Neurotypical Subjects

    Kuleshov, D., Vlasov, M. & Vergunov, E., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1770-1773 4 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

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

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

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

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

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

  7. Evolution of Accelerator Based Neutron Source VITA

    Bikchurina, M. I., Bykov, T. A., Verkhovod, G. D., Degtyarev, V. S., Kasatov, D. A., Kashcheev, A. A., Kolesnikov, Y. A., Konovalova, V. D., Koshkarev, A. M., Kuznetsov, A. S., Ostreinov, G. M., Savinov, S. S., Singatulina, N. S., Sokolova, E. A., Soldatov, A. E., Sorokin, I. N., Shein, T. V., Shuklina, A. A., Shchudlo, I. M. & Taskaev, S. Y., 11 авг. 2025, в: Physics of Particles and Nuclei Letters. 22, 4, стр. 807-810 4 стр.

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

  8. Fitness Landscapes of Buffer Allocation Problem in Production Lines and Genetic Algorithms Performance

    Dolgui, A., Eremeev, A. & Sigaev, V., 11 авг. 2025, GECCO 2025 Companion - Proceedings of the 2025 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, стр. 27-28 2 стр. (GECCO 2025 Companion - Proceedings of the 2025 Genetic and Evolutionary Computation Conference Companion).

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

  9. High Energy Electron Cooling System for the NICA Collider

    Reva, V. B., Batrakov, A. M., Belikov, O. V., Bekhtenev, E. A., Bryzgunov, M. I., Bubley, A. V., Vakhrushev, R. V., Goncharov, A. D., Gorchakov, K. M., Gusev, I. A., Denisov, A. P., Ivanov, A. V., Zharikov, A. A., Karpov, G. V., Kondaurov, M. N., Konstantinov, V. M., Korchagin, V. Y., Kremnev, V. I., Kremnev, N. S., Muratkoziev, P. E., еще 18Pavlenko, A. V., Panasyuk, V. M., Parkhomchuk, V. V., Petrozhitskiy, A. V., Polukhin, V. A., Pospolita, L. S., Pospolita, S. P., Pureskin, D. N., Put’makov, A. A., Ruvinsky, S. I., Sen’kov, D. V., Skorobogatov, D. N., Urazov, E. R., Chekavinskiy, V. A., Cheskidov, V. G., Shiyankov, S. V., Shtro, K. S. & Schegolev, L. M., 11 авг. 2025, в: Physics of Particles and Nuclei Letters. 22, 4, стр. 769-774 6 стр.

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

  10. Influence of Space Charge Waves on Measurements with Pickups

    Urazov, E. R., Bekhtenev, E. A., Bryzgunov, M. I., Parkhomchuk, V. V. & Reva, V. B., 11 авг. 2025, в: Physics of Particles and Nuclei Letters. 22, 4, стр. 825-827 3 стр.

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

  11. Longitudinal Phase Space Tomography at NICA Booster Electron Cooling Experiments

    Urazov, E. R., Bryzgunov, M. I., Parkhomchuk, V. V. & Reva, V. B., 11 авг. 2025, в: Physics of Particles and Nuclei Letters. 22, 4, стр. 821-824 4 стр.

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