• 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 "master's programmes " – News

Open Day: The Future Begins Here

Open Day: The Future Begins Here
On March 2, an HSE Open Day for prospective undergraduates and specialist students will take place — one of the largest and most significant events for applicants, their parents, and the entire university. Visitors will have the opportunity to speak with students and representatives of educational programmes, plan their admission process, and immerse themselves in the HSE University atmosphere for a day. The event will be held in Russian.

Exchange Program: an Interview with a Student from South Africa

Exchange Program: an Interview with a Student from South Africa
Helena Wiehahn, postgraduate student of Stellenbosch University, spent the last Fall semester at the HSE Faculty of Computer Science. She told us about the exchange program, differences between the two countries and "Ded Moroz”.