1 - 20 из 63Размер страницы: 20
Сортировать по:: Заголовок

  1. 20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

    Churina, T. & Nesterenko, T., 6 окт. 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 139-144 6 стр. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  2. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., авг. 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., стр. 73-77 5 стр. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  3. 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 стр.

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

  4. 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 стр.

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

  5. Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

    Tikhonova, T., 28 июн. 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 147-149 3 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  6. 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 стр.

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

  7. Analysis and visualization algorithm for cross-language author names disambiguation

    Apanovich, Z. & Isachenko, V., 1 янв. 2018, в: CEUR Workshop Proceedings. 2277, стр. 193-199 7 стр.

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

  8. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 янв. 2017, в: CEUR Workshop Proceedings. 2022, стр. 64-71 8 стр.

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

  9. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  10. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 янв. 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer-Verlag GmbH and Co. KG, Том 9602. стр. 164-175 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9602).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  11. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  12. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 янв. 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 325-336 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  13. Application of ontology design patterns in the development of the ontologies of scientific subject domains

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 1 янв. 2017, в: CEUR Workshop Proceedings. 2022, стр. 258-265 8 стр.

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

  14. 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 стр.

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

  15. 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 стр.

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

  16. Automata-Based Software Engineering with Event-B

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

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

  17. Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 янв. 2020, в: CEUR Workshop Proceedings. 2570

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

  18. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 55-60 6 стр. 8071964

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  19. 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 стр.

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

  20. Compact Interface Method Table Layout

    Trepakov, I. & Pavlov, P., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 62-68 7 стр. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1 2 3 4 Далее

ID: 3089109