Проекты за года
Fingerprint
Узнайте самые подробные результаты анализа активности BM.5666.2019 Программная инженерия. Указанные в этом разделе метки относятся к работам этих участников организации. Вместе они формируют уникальную картину его активности.
Сотрудничество
Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
Профили
-
Костицын Михаил Павлович
- Кафедра системного программирования - инженер-исследователь
- BM.5666.2019 Программная инженерия
Лицо: научно-технический персонал
-
RFBR_a_2020 - 3: Рандомизированные алгоритмы многоагентной оптимизации, распознавания образов и оценивания в условиях существенных неопределенностей: 2022 г. этап 3
Граничин, О. Н., Амелина, Н. О., Проскурников, А. В., Иванский, Ю. В., Ерофеева, В. А. & Сергеенко, А. Н.
25/03/22 → 28/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RSF_SRG_2022 - 1: Автоматическая направленная генерации тестов на основе двунаправленного символьного исполнения: 2022 г. этап 1
Кознов, Д. В., Мордвинов, Д. А., Костюков, Ю. О. & Костицын, М. П.
1/01/22 → 31/12/22
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
-
RFBR_a_2020 - 2: Рандомизированные алгоритмы многоагентной оптимизации, распознавания образов и оценивания в условиях существенных неопределенностей: 2021 г. этап 2
Граничин, О. Н., Амелина, Н. О., Проскурников, А. В., Иванский, Ю. В., Ерофеева, В. А. & Сергеенко, А. Н.
23/03/21 → 28/12/21
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результат исследований
-
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
3 Цитирования (Scopus) -
Convergence analysis of weighted SPSA-based consensus algorithm in distributed parameter estimation problem
Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 июл 2021, В: IFAC-PapersOnLine. 54, 7, стр. 126-131 6 стр.Результат исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › рецензирование
Открытый доступ -
Distributed Stochastic Optimization with Heavy-Ball Momentum Term for Parameter Estimation
Erofeeva, V., Granichin, O. & Sergeenko, A., 13 сен 2021, Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021. Hramov, A., Kurkin, S., Andreev, A. & Shusharina, N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 69-72 4 стр. (Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
Виды деятельности
- 1 выступление с устной презентацией
-
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Юрий Олегович Костюков (Докладчик)
23 июн 2021Деятельность: выступление › выступление с устной презентацией