11 - 20 из 47Размер страницы: 10
Сортировать по:: Заголовок

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

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

  2. Using PCA Machine Learning Approach Based on Psychological Questionnaires and Spectral Characteristics of the EEG to Separate the Healthy Participants and Participants with Major Depressive Disorder

    Merkulova, E. A., Kozulin, I. A., Savostyanov, A. N., Bocharov, A. V. & Privodnova, E. Y., 29 июн. 2023, стр. 1740-1745. 6 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  3. Using PCA Machine Learning Approach Based on Psychological Questionnaires and Spectral Characteristics of the EEG to Separate the Healthy Participants and Participants with Major Depressive Disorder

    Merkulova, E. A., Kozulin, I. A., Savostyanov, A. N., Bocharov, A. V. & Privodnova, E. Y., 2023, 24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023; Novosibirsk; Russian Federation; 29 June 2023 до 3 July 2023. Institute of Electrical and Electronics Engineers Inc., стр. 1740-1745 6 стр.

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

  4. Two-Photon Laser Excitation of Rb Rydberg Atoms in the Magneto-Optical Trap and Vapor Cell

    Tretyakov, D. B., Entin, V. M., Beterov, I. I., Yakshina, E. A., Pechersky, Y. Y., Gol’dort, V. G. & Ryabtsev, I. I., нояб. 2023, в: Photonics. 10, 11, 1201.

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

  5. Towards the Impact of Pruning Criteria and Tuning Approach on Model Interpretability and Quality

    Shcherbin, A., 2024, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1800-1805 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  6. Three-Photon Laser Excitation of Single Rydberg Rubidium Atoms in an Optical Dipole Trap

    Beterov, I. I., Yakshina, E. A., Tret’yakov, D. B., Al’yanova, N. V., Skvortsova, D. A., Suliman, G., Zagirov, T. R., Entin, V. M. & Ryabtsev, I. I., авг. 2023, в: Journal of Experimental and Theoretical Physics. 137, 2, стр. 246-253 8 стр.

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

  7. The study of electrochemical Li-ion (de)insertion in the lithium tantalum phosphate bronze LiTa2 PO8 structure

    Skachilova, M. G., Morkhova, Y. A. & Shindrov, A. A., 2 дек. 2025, в: Dalton Transactions.

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

  8. The chronology of the Early Neolithic Baraba culture, southwestern Siberia: New radiocarbon evidence

    Molodin, V. I., Mylnikova, L. N., Nenakhov, D. A., Menshanov, P. N. & Parkhomchuk, E. V., 22 авг. 2025, в: Radiocarbon. 67, 4, стр. 803-818 16 стр.

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

  9. Technological Means for Automatic Programs Construction in LuNA System

    Malyshkin, V., Perepelkin, V., Parfenov, D., Sinyukov, V., Spirin, V., Ivanchenko, D. & Nushtaev, Y., 2026, Parallel Computing Technologies. Malyshkin, V. (ред.). Springer, стр. 105-123 19 стр. 8. (Lecture Notes in Computer Science; том 16185).

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

  10. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics

    Penzina, U. & Stukachev, A., 11 мар. 2025, Lecture Notes in Networks and Systems. Springer, стр. 123-132 10 стр. (Lecture Notes in Networks and Systems; том 1198 LNNS).

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

Назад 1 2 3 4 5 Далее

ID: 41345111