• 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

Тема «Научно-учебная лаборатория искусственного интеллекта для вычислительной биологии» – Новости

Доклад Аттилы Кертес-Фаркаш стал лучшим на конференции ICMLC 2023

Доклад Аттилы Кертес-Фаркаш стал лучшим на конференции ICMLC 2023
Заведующий лабораторией Аттила Кертес-Фаркаш был награждён за лучший доклад на конференции ICMLC 2023.

Поздравляем Аттилу Кертес-Фаркаш с успешной защитой докторской диссертации

Поздравляем Аттилу Кертес-Фаркаш с успешной защитой докторской диссертации
19 мая 2022 г. состоялась защита докторской диссертации Аттилы Кертес-Фаркаш.

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

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