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

  2. PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine

    Григорьев, С. В., Чистякова, А. А., Шеметова, Е. Н., Нигматулин, М. В., Парфенов, Д. И. & Ахмедов, Д. Х., 29 апр 2025, 2025 IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC). Institute of Electrical and Electronics Engineers Inc., стр. 13-16 4 стр.

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

  3. 2022

  4. Программа для анализа поведения danio rerio с помощью компьютерного зрения

    Нигматулин, М. В., 4 июл 2022, Патент № 2022662453, 9 июн 2022

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

  5. 2021

  6. Программа для определения контура микрораны с помощью компьютерного зрения

    Каплун, Д., Синица, А., Нигматулин, М. В. & Ефимчик, Н., 2 ноя 2021, Патент № 2021667717, 29 окт 2021

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

ID: 97965034