21 - 40 out of 74Page size: 20
  1. 2021

  2. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., Dec 2021, In: Lobachevskii Journal of Mathematics. 42, 12, p. 2905-2912 8 p., 24.

    Research output: Contribution to journal › Article › peer-review

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

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., Mar 2021, In: Programming and Computer Software. 47, 2, p. 108-118 11 p.

    Research output: Contribution to journal › Article › peer-review

  4. Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 Jan 2021, In: Journal of Physics: Conference Series. 1715, 1, 012005.

    Research output: Contribution to journal › Conference article › peer-review

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

    Yakhyaeva, G., Karmanova, A. & Ershov, A., 2021, In: Computing and Informatics. 40, 6, p. 1197-1216 20 p.

    Research output: Contribution to journal › Article › peer-review

  6. Development of a technology for collecting and analyzing data for monitoring based on an ontological approach

    Molorodov, Y. I. & Kasatkin, O. V., 2021, In: CEUR Workshop Proceedings. 3006, p. 212-221 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  7. Modelling purposeful processes based on the geometric representation of their trajectories

    Skopin, I., 2021, In: CEUR Workshop Proceedings. 2913, p. 164-181 18 p.

    Research output: Contribution to journal › Conference article › peer-review

  8. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, In: CEUR Workshop Proceedings. 3006, p. 203-211 9 p.

    Research output: Contribution to journal › Conference article › peer-review

  9. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 p. (Высшее образование)

    Research output: Book/Report › Teaching manual › peer-review

  10. 2020

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

    Churina, T. & Nesterenko, T., 6 Oct 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. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 139-144 6 p. 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 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. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  13. Compact Interface Method Table Layout

    Trepakov, I. & Pavlov, P., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 62-68 7 p. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  14. Evaluation of thread-local garbage collection

    Filatov, A. & Mikheev, V., Sept 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 15-21 7 p. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  15. The complexity of AND—decomposition of Boolean functions

    Emelyanov, P. & Ponomaryov, D., 15 Jun 2020, In: Discrete Applied Mathematics. 280, p. 113-132 20 p.

    Research output: Contribution to journal › Article › peer-review

  16. Automatic text summarization based on syntactic links

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

    Research output: Contribution to journal › Conference article › peer-review

  17. Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 Jan 2020, In: CEUR Workshop Proceedings. 2543, p. 26-37 12 p.

    Research output: Contribution to journal › Conference article › peer-review

  18. Method of paradigmatic analysis of programming languages and systems

    Gorodnyaya, L., 1 Jan 2020, In: CEUR Workshop Proceedings. 2543, p. 149-158 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  19. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 Jan 2020, In: Bulletin of Irkutsk State University, Series Mathematics. 31, p. 111-131 21 p.

    Research output: Contribution to journal › Article › peer-review

  20. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

    Research output: Contribution to journal › Article › peer-review

  21. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ed.). Новосибирск: ИПЦ НГУ, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  22. 2019

  23. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., Aug 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 73-77 5 p. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1 2 3 4 Next

ID: 3089109