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

HSE Participates in Conference on International Exchange of Professionals in China

HSE Participates in Conference on International Exchange of Professionals in China
From October 21 to 24, 2025, the 23rd Conference on International Exchange of Professionals took place in Shanghai and Beijing, bringing together more than 7,000 scientists and experts from around the world. HSE University was represented by Ivan Arzhantsev, Dean of the Faculty of Computer Science, and Vasily Gromov, Head of the Laboratory for Semantic Analysis of the Centre for Language and Semantic Technologies.

“I got the opportunity to see the computer science principles applied in a different domain. It’s one thing knowing that they can be applied in multiple domains but it’s another seeing it up close.”

“I got the opportunity to see the computer science principles applied in a different domain. It’s one thing knowing that they can be applied in multiple domains but it’s another seeing it up close.”
Frank Acquaye is a PhD student atthe Department of Data Analysis and Artificial Intelligence, Faculty of Computer Science, National Research University Higher School of Economics. As part of his postgraduate studies, Frank spent several months inthe Noble Research Lab at the University of Washington, USA, where he did research.