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

The School Head —Sergei Kuznetsov presented an invited talk at the conference on Technologies of Machine Learning 2018

The successes in the field of artificial intelligence in recent years are impressive - how do they manifest themselves, how do people’s worldviews and society as a whole change, what threats do they have and what to expect in the future?

School Head —Sergei Kuznetsov at the CORE 2018 Conference

School Head —Sergei Kuznetsov at the CORE 2018 Conference
School Head —Sergei Kuznetsov gave a keynote speech "Knowledge Discovery in Complex Data with Pattern Structures" at  CORE 2018

New Tenured Professors at HSE

On April 29, 2016 at the Academic Council meeting 25 HSE Professors were conferred the status of Tenured Professor.