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

Golden HSE 2017: New Way to Choose Winners

Golden HSE 2017: New Way to Choose Winners
On October 23, the first round of the annual Golden HSE competition got underway. This prize will be awarded in December for the seventeenth time. See what’s new on the ‘anti-versary’ award, and nominate your candidates.

Golden HSE 2016: Something New is Coming!

Nominations of candidates for the Golden HSE Awards open on November 21, 2016. This year, the contest has undergone major changes. There are now more nominations, they are a little different, and there’s even a new prize!