Issue 7/2023
Content (5 Articles)
Kotlin from the Point of View of Static Analysis Developer
V. O. Afanasyev, S. A. Polyakov, A. E. Borodin, A. A. Belevantsev
Runtime Verification of Operating Systems Based on Abstract Models
D. V. Efremov, V. V. Kopach, E. V. Kornykhin, V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov
Active Learning and Transfer Learning for Document Segmentation
D. M. Kiranov, M. A. Ryndin, I. S. Kozlov
Loss Function for Training Models of Segmentation of Document Images
A. I. Perminov, D. Yu. Turdakov, O. V. Belyaeva
Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts
A. S. Sakhovskiy, E. V. Tutubalina