• 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
Monocular Depth Estimation Based on Active Learning

Saleh H., Goncharov D., Shadi S. et al.

In bk.: Proceedings 2026 IEEE 11th International Conference on Smart Cloud SmartCloud 2026 8-10 May 2026. Los Alamitos: IEEE Computer Society, 2026. P. 78-85.

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

Tag "winter schools" – News

‘When I Learned to Implement My Ideas in a Program, I Understood Why It Was Worth Coming to University’

‘When I Learned to Implement My Ideas in a Program, I Understood Why It Was Worth Coming to University’
On February 15–17, the HSE University Faculty of Computer Science will hold a winter software engineering school aimed at sharing and exchanging knowledge about modern tools and methods in software development. Those interested in taking part must register by February 12. The HSE News Service spoke to students of the Faculty of Computer Science about their studies on the Bachelor’s programme in Software Engineering.

HSE Faculty of Computer Science Organises Its First Software Engineering Winter School

HSE Faculty of Computer Science Organises Its First Software Engineering Winter School
From February 14–18, the HSE Faculty of Computer Science organised its first international winter school dedicated to software engineering. The event was supported by JetBrains, Innopolis University, and Schaffhausen Institute of Technology.