• 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