• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Suvorov N. M.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 3(2). P. 49-66.

Book chapter
Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI

Khnkoian G., Galigerov V., Grishichkin Y. et al.

In bk.: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891). Vol. 2891. Springer, 2026. P. 532-545.

Working paper
Approach to Designing CV Systems for Medical Applications: Data, Architecture and AI
In press

Ryabtsev D., Vasilyev Boris, Shershakov S.

Computer Science ::Computer Vision and Pattern Recognition. 2501.14689. arXiv, 2025

Staff

Natalya S. Belova

Associate Professor

Elena Y. Pesotskaya

Associate Professor

Dmitry Ryabtsev

Associate Professor

Hadi Saleh

Associate Professor

Denis Silakov

Associate Professor

Scientific interests:
Antonina Begicheva

Senior Lecturer

Valerii Belaventsev

Visiting Lecturer

Scientific interests:
Ilya Derezovskiy

Visiting Lecturer

Scientific interests:
Vyacheslav Ivanov

Senior Lecturer

Ilya Munerman

Visiting Lecturer

Scientific interests:
Denis Pozdnyakov

Senior Lecturer

Ilia Semenkov

Visiting Lecturer

Grigory Sosnovskiy

Visiting Lecturer

Scientific interests:
Madhwal Yash

Visiting Lecturer

Scientific interests:

Joint Department with 1C

Igor Egorov

Deputy Department Head, Senior Lecturer

Scientific interests: