• 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 " South Korea" – News

Speed, Precision, and Self-Correction: HSE Faculty of Computer Science Researchers at ICML-2026

Mishan Aliev, Oleg Desheulin, Denis Rakitin, Anna Karpova
Researchers from the HSE Faculty of Computer Science (FCS) presented their work at theInternational Conference on Machine Learning (ICML 2026) in Seoul, South Korea, one of the leading scientific events in the field. Several projects by the faculty’s researchers received the prestigious Spotlight distinction.