1. Kotlin from the Point of View of Static Analysis Developer

   • V. O. Afanasyev
   • S. A. Polyakov
   • A. A. Belevantsev

   OriginalPaper 07 December 2023 Pages: 549 - 558

   

2. Runtime Verification of Operating Systems Based on Abstract Models

   • D. V. Efremov
   • V. V. Kopach
   • I. V. Shchepetkov

   OriginalPaper 07 December 2023 Pages: 559 - 565

   

3. Active Learning and Transfer Learning for Document Segmentation

   • D. M. Kiranov
   • M. A. Ryndin
   • I. S. Kozlov

   OriginalPaper 07 December 2023 Pages: 566 - 573

   

4. Loss Function for Training Models of Segmentation of Document Images

   • A. I. Perminov
   • D. Yu. Turdakov
   • O. V. Belyaeva

   OriginalPaper 07 December 2023 Pages: 574 - 589

   

5. Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts

   • A. S. Sakhovskiy
   • E. V. Tutubalina

   OriginalPaper 07 December 2023 Pages: 590 - 595