11 - 20 out of 331Page size: 10
  1. 2025

  2. Semi-Automated Framework for Feature Engineering in Machine Learning and Data Analysis

    Radeev, N. & Vinogradova, K., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1520-1525 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

  3. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1490-1495 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

  4. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1430-1434 5 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

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

  6. Transcriptomic Profile of the Trastuzumab-Resistant Breast Cancer Cell Line BT-474

    Shifon, S. A., Karpets, I. O., Chesnokova, A. S., Karitskaya, P. E., Ukladov, E. O., Evgenov, I. V., Sidorov, S. V. & Gulyaeva, L. F., Aug 2025, In: Molecular Biology. 59, 4, p. 508-521 14 p., 4.

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

  7. Potential Locations for Deploying the Full-Scale TAIGA-100 Gamma Ray Observatory

    the TAIGA Collaboration, 15 Jul 2025, In: Bulletin of the Russian Academy of Sciences: Physics. 89, 6, p. 884-888 5 p.

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

  8. Планирование траектории полета БПЛА при мониторинге большой области

    Rodionov, A. & Matkurbanov, T., 25 Jun 2025, In: Informatics and Automation. 24, 3, p. 791-827 37 p., 3.

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

  9. Nonlinear Elasticity Problems on Carnot Groups and Quasiconformal Analysis

    Vodopyanov, S. K. & Pavlov, S. V., 2 Jun 2025, In: Siberian Mathematical Journal. 66, 3, p. 672-690 19 p.

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

  10. Studies of Nuclear Reactions of Light Nuclei in the Energy Range up to 2.2 MeV at the VITA Tandem Accelerator

    Bikchurina, M. I., Bykov, T. A., Kasatov, D. A., Kolesnikov, Y. A., Koshkarev, A. M., Ostreinov, G. M., Savinov, S. S., Sokolova, E. O., Shuklina, A. A. & Taskaev, S. Y., 20 May 2025, In: Physics of Particles and Nuclei. 56, 2, p. 355-362 8 p.

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

  11. Comparison of vacuum insulated tandem accelerators and suggestion for its improvement

    Bykov, T., Kolesnikov, Y., Koshkarev, A., Ostreinov, G., Savinov, S., Shchudlo, I. & Taskaev, S., 5 May 2025, (E-pub ahead of print) In: Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 1077, 170587.

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

Previous 1 2 3 4 5 6 7 8 ...34 Next

ID: 3086172