51 - 60 out of 76Page size: 10
  1. 2018

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

    Tikhonova, T., 28 Jun 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-149 3 p. (Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017).

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

  3. A system for visualization of big attributed hierarchical graphs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 Mar 2018, In: International Journal of Computer Networks and Communications. 10, 2, p. 55-67 13 p.

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

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

    Apanovich, Z. & Isachenko, V., 1 Jan 2018, In: CEUR Workshop Proceedings. 2277, p. 193-199 7 p.

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

  5. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Яковенко, С. Н., 1 Jan 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer, p. 235-243 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11341 LNCS).

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

  6. Mobile applications as tools of alternative communication, diagnostics and language development for children with language disorders

    Mozheikina, L. & Emelyanov, P., 1 Jan 2018, Social Informatics - 10th International Conference, SocInfo 2018, Proceedings. Staab, S., Koltsova, O. & Ignatov, DI. (eds.). Springer, p. 75-84 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11186 LNCS).

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

  7. On a Polytime Factorization Algorithm for Multilinear Polynomials over F2

    Emelyanov, P. & Ponomaryov, D., 1 Jan 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Gerdt, VP., Koepf, W., Seiler, WM. & Vorozhtsov, EV. (eds.). Springer, p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11077 LNCS).

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

  8. On the complexity of formulas in semantic programming

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

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

  9. On Two Kinds of Dataset Decomposition

    Emelyanov, P., 1 Jan 2018, Computational Science – ICCS 2018 - 18th International Conference, Proceedings. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, VV., Lees, MH., Dongarra, J. & Sloot, PMA. (eds.). Springer, p. 171-183 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10861 LNCS).

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

  10. Pattern-based methodology for building the ontologies of scientific subject domains

    Zagorulko, Y., Zagorulko, G. & Borovikova, O., 1 Jan 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (eds.). IOS Press, p. 529-542 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 303).

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

  11. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 Jan 2018, In: CEUR Workshop Proceedings. 2260, p. 511-524 14 p.

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

Previous 12 3 4 5 6 7 8 Next

ID: 3089109