1 - 10 из 63Размер страницы: 10
Сортировать по:: Тип
  1. статья › научная › Прошло рецензирование

  2. Acute ischemic stroke lesion segmentation in non-contrast CT images using 3D convolutional neural networks

    Dobshik, A. V., Verbitskiy, S. K., Pestunov, I. A., Sherman, K. M., Sinyavskiy, Y. N., Tulupov, A. A. & Berikov, V. B., сент. 2023, в: Computer Optics. 47, 5, стр. 770-777 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. A formalization of document models with semantic modelling

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 27, стр. 36-54 19 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 мая 2015, в: Programming and Computer Software. 41, 3, стр. 162-169 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Application of the Fuzzy Model Theory for Modeling QA-Systems

    Yakhyaeva, G., Karmanova, A. & Ershov, A., 2021, в: Computing and Informatics. 40, 6, стр. 1197-1216 20 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. A system for visualization of big attributed hierarchical graphs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 мар. 2018, в: International Journal of Computer Networks and Communications. 10, 2, стр. 55-67 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., окт. 2023, в: Programming and Computer Software. 49, 5, стр. 470-483 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. Classification by Compression: Application of Information-Theory Methods for the Identification of Themes of Scientific Texts

    Selivanova, I. V., Ryabko, B. Y. A. & Guskov, A. E., 1 июн. 2017, в: Automatic documentation and mathematical linguistics. 51, 3, стр. 120-126 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., мар. 2021, в: Programming and Computer Software. 47, 2, стр. 108-118 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2020, в: Bulletin of Irkutsk State University, Series Mathematics. 31, стр. 111-131 21 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1 2 3 4 5 6 7 Далее

ID: 3089109