• 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 "ideas & experience" – News

‘Working in Academia Is My Lifelong Desire’

‘Working in Academia Is My Lifelong Desire’
Majid Sohrabi is a 28 year-old student from Iran currently enrolled in a doctoral programme at the HSE University Faculty of Computer Science. Before starting his PhD, he graduated with honours from the university’s Master of Data Science programme. In addition to studying, he also works as an assistant at the School of Data Analysis and Artificial Intelligence and a research assistant at the Laboratory for Models and Methods of Computational Pragmatics.