• 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

Наука – Новости

Прошла первая летняя школа «Искусственный интеллект и общество»

Прошла первая летняя школа «Искусственный интеллект и общество»
4 и 5 июля 2022 года в стенах Высшей школы экономики департамент анализа данных и искусственного интеллекта совместно с международной лабораторией интеллектуальных систем и структурного анализа провели летнюю школу «Искусственный интеллект и общество»

Максим Рачинский и Николай Арефьев заняли 1 место в дорожке LSCDiscover

Максим Рачинский и Николай Арефьев заняли 1 место в дорожке LSCDiscover
Сотрудники лаборатории заняли 1 место в дорожке LSCDiscovery.

Прошел международный семинар "HAO Intelligence for Big Wisdom"

Прошел международный семинар "HAO Intelligence for Big Wisdom"
26 мая 2022 г. состоялся международный семинар.

Состоялся 6-й Колмогоровский семинар по компьютерной лингвистике и наукам о языке

Состоялся 6-й Колмогоровский семинар по компьютерной лингвистике и наукам о языке
25 апреля 2022 г. состоялся Колмогоровский семинар по компьютерной лингвистике CLLS 2022.

Аттила Кертес-Фаркаш выступил на коллоквиуме ФКН

Аттила Кертес-Фаркаш выступил на коллоквиуме ФКН
Заведующий НУЛ ИИВБ выступил на коллоквиуме ФКН.

Дмитрий Игнатов выступил на коллоквиуме ФКН

Дмитрий Игнатов выступил на коллоквиуме ФКН
Заведующий лабораторией выступил на коллоквиуме ФКН.

Профессор С.О. Кузнецов выступил на конференции "FIRST INTERNATIONAL CONFERENCE ON AI-ML SYSTEMS"

Профессор С.О. Кузнецов выступил на конференции "FIRST INTERNATIONAL CONFERENCE ON AI-ML SYSTEMS"
Профессор департамента анализа данных и искусственного интеллекта факультета компьютерных наук Сергей Кузнецов представил свой доклад на международной конференции "FIRST INTERNATIONAL CONFERENCE ON AI-ML SYSTEMS". 

Ученые научились добывать «идеальные» 3D-клеточные культуры для исследования рака

Ученые научились добывать «идеальные» 3D-клеточные культуры для исследования рака
Группа ученых из Венгрии, России и Финляндии разработала систему SpheroidPicker, которая умеет выделять раковые клетки определенной формы и размера (сфероиды). Этот первый в своем роде прибор, работающий на основе искусственного интеллекта, позволит стандартизировать работу с образцами опухолей. Результаты исследования опубликованы в журнале  Scientific Reports. В работе над проектом принимал участие младший научный сотрудник Научно-учебной лаборатории искусственного интеллекта для вычислительной биологии НИУ ВШЭ Никита Мошков.

9-й международный семинар “What Can FCA Do for Artificial Intelligence?” (FCA4AI)

9-й международный семинар “What Can FCA Do for Artificial Intelligence?” (FCA4AI)
21 августа 2021 г. состоялся 9-й международный семинар “What Can FCA Do for Artificial Intelligence?”.

Логика имеет значение

29 декабря 2020 состоялся международный онлайн-семинар «Logic Matters» (Логика имеет значение)