• 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

Researchers Discover How to Obtain ‘Ideal’ 3D Cell Cultures for Cancer Research

Researchers Discover How to Obtain ‘Ideal’ 3D Cell Cultures for Cancer Research
A group of scientists from Hungary, Russia and Finland have developed a system capable of selecting cancer cells of a specific shape and size—spheroids. SpheroidPicker, the first AI device of its kind, enables a more standardized approach to working with tumour samples. The results of the research have been published in the journal Scientific Reports. One of researchers who worked on the project is Nikita Moshkov, Junior Research Fellow of the Laboratory on AI for Computational Biology.