• 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

Тема «дискуссии» – Новости

Состоялась ежегодная конференция «Искусственный интеллект и общество»

Состоялась ежегодная конференция «Искусственный интеллект и общество»
30 июня – 2 июля в кампусе ВШЭ на Покровском бульваре прошла четвертая конференция «Искусственный интеллект и общество», организованная департаментом анализа данных и искусственного интеллекта факультета компьютерных наук.

Состоялась вторая конференция «Искусственный интеллект и общество»

Состоялась вторая конференция «Искусственный интеллект и общество»
29 и 30 июня в кампусе ВШЭ на Покровском бульваре прошла конференция «Искусственный интеллект и общество», которая была организована факультетом компьютерных наук.

Состоялся семинар на тему математического и естественно-научного образования

НИУ ВШЭ

Сергей Кузнецов принял участие в телепередаче «Тем временем»

Руководитель департамента анализа данных и искусственного интеллекта факультета компьютерных наук НИУ ВШЭ Сергей Кузнецов принял участие в передаче «Тем временем» на телеканале «Россия К» 
Тема передачи: «Между голливудским образом и реальной наукой: что может и чего не может искусственный интеллект»


Международная научно-практическая конференция «АИСТ 2015»

В Екатеринбурге завершилась очередная конференция «АИСТ», посвященная анализу изображений, социальных сетей и текстов.