• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses

Stepan L. Kuznetsov.

In bk.: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689). Vol. 16689. Cham: Springer, 2026. P. 161-177.

Препринт
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Elvimov N. S.

Statistical mechanics. arXie. arXive, 2025

Профессор С.О.Кузнецов сделал доклад на конференции IJCAI 2017

Профессор С.О.Кузнецов сделал доклад на конференции IJCAI 2017

19-25 августа в Мельбурне (Австралия) состоялась 26-я международная объединенная конференция IJCAI 2017 (International Joint Conference on Artificial Intelligence) – один из важнейших мировых форумов по искусственному интеллекту (конференция уровня А* по классификации CORE). 

В мероприятии приняло участие около 2000 специалистов со всего мира. Одним из немногих участников, представлявших российские ВУЗы и исследовательские институты, стал руководитель Департамента анализа данных и искусственного интеллекта (ДАДИИ) и международной научно-учебной лаборатории интеллектуальных систем и структурного анализа (МНУЛ ИССА) НИУ ВШЭ профессор Сергей Кузнецов. Вместе с французскими коллегами из лионского института прикладных наук (INSA Lyon) Сергей Олегович представил доклад: "Mining Convex Polygon Patterns with Formal Concept Analysis", посвященный разработке шаблонов ИИ, для выявления гипотез из данных, который был принят в основную программу конференции по результатам рецензирования.