391 - 400 из 27 602Размер страницы: 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. Программа-рискометр на языке C для определения риска возникновения фибрилляции предсердий у больных ишемической болезнью сердца

    Ложкина, Н. Г., Кудлай, Д. А., Кузин, С. В., Артеменко, С. Н. & Ложкин, П. П., 8 авг. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2025680759, 27 июн. 2025, Дата приоритета 27 июн. 2025, № приоритета 2025668941

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

  8. EPR spectroscopy in the study of ribosomal complexes

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

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

  9. 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 стр.

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

  10. Ternary Kulakov Algebras With an Elementary Identity

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

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

  11. 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 стр.

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

Назад 1...36 37 38 39 40 41 42 43 ...2761 Далее