91 - 100 из 27 006Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. Towards Verification Reflex Programs in the Rodin Platform

    Shabanova, M. & Garanina, N., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1490-1495 6 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  3. Using Algorithmic Complexity Metrics for Process-Oriented Specifications

    Abramenko, A. & Zyubin, V., 8 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1430-1434 5 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  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 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1790-1793 4 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

  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 авг. 2025, International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM. IEEE Computer Society, стр. 1770-1773 4 стр. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

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

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

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

  7. EPR spectroscopy in the study of ribosomal complexes

    Krumkacheva, O., Malygin, A., Graifer, D., Kolokolov, M. & Bagryanskaya, E., 6 авг. 2025, в: Biophysical Reviews.

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

  8. Mittag-Leffler Restoration Formula for Discrete Analytic Functions

    Danilov, O. A., Lu, X., Liu, L. & Lu, X., 6 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 99-112 14 стр.

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

  9. Ternary Kulakov Algebras With an Elementary Identity

    Neshchadim, M. V. & Simonov, A. A., 6 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 156-166 11 стр.

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

  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 авг. 2025, в: Siberian Advances in Mathematics. 35, 2, стр. 146-155 10 стр.

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

  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 авг. 2025, в: International Journal of Molecular Sciences. 26, 15, 7550.

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

Назад 1...6 7 8 9 10 11 12 13 ...2701 Далее