11 - 20 out of 47Page size: 10
Sort by: Title

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

  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 Jun 2023, p. 1740-1745. 6 p.

    Research output: Contribution to conference › Paper › peer-review

  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., p. 1740-1745 6 p.

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

  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., Nov 2023, In: Photonics. 10, 11, 1201.

    Research output: Contribution to journal › Article › peer-review

  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, p. 1800-1805 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

  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., Aug 2023, In: Journal of Experimental and Theoretical Physics. 137, 2, p. 246-253 8 p.

    Research output: Contribution to journal › Article › peer-review

  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 Dec 2025, In: Dalton Transactions.

    Research output: Contribution to journal › Article › peer-review

  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 Aug 2025, In: Radiocarbon. 67, 4, p. 803-818 16 p.

    Research output: Contribution to journal › Article › peer-review

  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. (ed.). Springer, p. 105-123 19 p. 8. (Lecture Notes in Computer Science; vol. 16185).

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

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

    Penzina, U. & Stukachev, A., 11 Mar 2025, Lecture Notes in Networks and Systems. Springer, p. 123-132 10 p. (Lecture Notes in Networks and Systems; vol. 1198 LNNS).

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

Previous 1 2 3 4 5 Next

ID: 41345111