Verification of a Beam of Epithermal Neutrons for Boron-Neutron Capture Therapy

Verkhovod, G. D., Kasatov, D. A., Kolesnikov, I. A., Koshkarev, A., Makarov, A. N., Shchudlo, I. M., Sycheva, T. V., Savinov, S. S. & Taskaev, S. Y., 2021, 27th Russian Particle Accelerator Conference, RuPAC 2021. Kuzin, M. & Schaa, V. R. W. (eds.). CERN, p. 199-201 3 p. MOPSA47. (CERN-Proceedings; vol. 2021-September).

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

Verification Method of Hypothesis Based on Different EEG Data Statistical Processing

Merkulova, E. A., Ladonovskaya, K. V., Bocharov, A. V. & Kozulin, I. A., 2022, Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, p. 525-529 5 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; vol. 2022-June).

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

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

VEPP-5 injection complex: Two colliders operation experience

Berkaev, D., Andrianov, A., Astrelina, K., Balakin, V., Batrakov, A., Belikov, O., Blinov, M., Bolkhovityanov, D., Butakov, A., Bykov, E., Dikansky, N., Emanov, F., Frolov, A., Gambaryan, V., Gorchakov, K., Gusev, E., Karnaev, S., Karpov, G., Kasaev, A., Kenzhbulatov, E., & 39 othersKiselev, V., Kluschev, S., Kondakov, A., Koop, I., Korenev, I., Kot, N., Kozak, V., Krasnov, A., Krutikhin, S., Kuptsov, I., Kurkin, G., Lebedev, N., Levichev, A., Logatchov, P., Maltseva, Y., Mikailov, A., Murasev, A., Muslivets, V., Nikiforov, D., Novikov, A., Ottmar, A., Pavllenko, A., Pivovarov, I., Rashchenko, V., Rogovsky, Y., Samoilov, S., Sazonov, N., Semenov, A., Shwartz, D., Skrinsky, A., Starostenko, A., Starostenko, D., Tribendis, A., Tsyganov, A., Vasichev, S., Vasiliev, S., Yudin, V., Zemlyansky, I. & Zhuravlev, A., Jul 2017, IPAC 2017 - Proceedings of the 8th International Particle Accelerator Conference. Joint Accelerator Conferences Website (JACoW), p. 2982-2984 3 p. (IPAC 2017 - Proceedings of the 8th International Particle Accelerator Conference).

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

VEPP-5 Injection complex performance improvement for two collider operation

Maltseva, Y. I., Andrianov, A., Astrelina, K., Balakin, V., Batrakov, A., Belikov, O., Berkaev, D., Blinov, M., Bolkhovityanov, D., Butakov, A., Bykov, E., Dikansky, N., Emanov, F., Frolov, A., Gambaryan, V., Gorchakov, K., Gusev, Y., Karnaev, S., Karpov, G., Kasaev, A., & 38 othersKenzhbulatov, E., Kiselev, V., Kluschev, S., Kondakov, A., Koop, I., Korenev, I., Kot, N., Kozak, V., Krasnov, A., Krutikhin, S., Kuptsov, I., Kurkin, G., Lebedev, N., Levichev, A., Logatchov, P., Mickailov, A., Murasev, A., Muslivets, V., Nikiforov, D., Novikov, A., Ottmar, A., Pavlenko, A., Pivovarov, I., Rashchenko, V., Rogovsky, Y., Samoylov, S., Sazonov, N., Shwartz, D., Skrinsky, A., Starostenko, A., Starostenko, D., Tribendis, A., Tsyganov, A., Vasichev, S., Vasiliev, S., Yudin, V., Zemlyansky, I. & Zhuravlev, A., 1 Oct 2018, RuPAC 2018 - 26th Russian Particle Accelerator Conference. INSPIRE, p. 39-43 5 p. (RuPAC 2018 - 26th Russian Particle Accelerator Conference).

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