91 - 100 out of 27,006Page size: 10
  1. 2025

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

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

  4. 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 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1790-1793 4 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. 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 Aug 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, p. 1770-1773 4 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. 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

  7. EPR spectroscopy in the study of ribosomal complexes

    Krumkacheva, O., Malygin, A., Graifer, D., Kolokolov, M. & Bagryanskaya, E., 6 Aug 2025, In: Biophysical Reviews.

    Research output: Contribution to journal › Review article › peer-review

  8. Mittag-Leffler Restoration Formula for Discrete Analytic Functions

    Danilov, O. A., Lu, X., Liu, L. & Lu, X., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 99-112 14 p.

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

  9. Ternary Kulakov Algebras With an Elementary Identity

    Neshchadim, M. V. & Simonov, A. A., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 156-166 11 p.

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

  10. The Structure of the Characteristic Polynomial of the Laplacian Matrix for a Circulant Graph with Non-Fixed Jumps

    Mednykh, A. D., Mednykh, I. A. & Sokolova, G. K., 6 Aug 2025, In: Siberian Advances in Mathematics. 35, 2, p. 146-155 10 p.

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

  11. Visible-Light-Driven Degradation of Biological Contaminants on the Surface of Textile Fabric Modified with TiO2-N Photocatalyst

    Solovyeva, M., Zhuravlev, E., Kozlova, Y., Bardasheva, A., Morozova, V., Stepanov, G., Kozlov, D., Lyulyukin, M. & Selishchev, D., 5 Aug 2025, In: International Journal of Molecular Sciences. 26, 15, 7550.

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

Previous 1...6 7 8 9 10 11 12 13 ...2701 Next