• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Book chapter
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.

Working paper
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

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

Statistical mechanics. arXie. arXive, 2025

Tag "IDAO Data Analysis Olympiad" – News

Winners of the International Data Analysis Olympiad (IDAO) Announced

Winners of the International Data Analysis Olympiad (IDAO) Announced
The Faculty of Computer Science at HSE University, Yandex, and this year’s platinum partner, Otkritie Bank, held the International Data Analysis Olympiad (IDAO) for the fourth time.  This year’s first-place winner was the ‘random team’, Ilya Kornakov and Kirill Borozdin, from Switzerland. Second and third places went to the Russian teams ‘Mylene Farmer’ (Vasiliy Rubtsov, Anvar Kurmukov) and ‘Shizika’ (Dmitry Simakov, Nikita Churkin).