51 - 70 out of 70Page size: 50
  1. 2018

  2. 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

  3. 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

  4. 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

  5. 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

  6. 2017

  7. Methodology for the development of ontologies for thematic intelligent scientific internet resources

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 5 Dec 2017, RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-December. p. 194-198 5 p. (RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications; vol. 2017-December).

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

  8. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 55-60 6 p. 8071964. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

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

  9. 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 Jun 2017, In: Automatic documentation and mathematical linguistics. 51, 3, p. 120-126 7 p.

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

  10. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 Jun 2017, In: ACM Transactions on Computational Logic. 18, 2, 41 p., 16.

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

  11. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 64-71 8 p.

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

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

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

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

  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 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 258-265 8 p.

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

  14. Early learning in parallel programming

    Skopin, I. N., 1 Jan 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Vol. 2. 1 p.

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

  15. Methods and tools of parallel programming

    Kasyanov, V. & Kasyanova, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 141-154 14 p.

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

  16. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 Jan 2017, In: CEUR Workshop Proceedings. 1879

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

  17. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 196-207 12 p.

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

  18. 2016

  19. Link Grammar Parser for Turkic languages and algorithms for estimation the relevance of documents

    Victorovna, B. T., Zhaksylykbayevna, T. S., Alexandrovich, M. F., Sembekovna, Y. A., Kairolliyevna, S. S. & Muratovna, B. A., 25 Jul 2016, Application of Information and Communication Technologies, AICT 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 7991663

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

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

    Emelyanov, P., 1 Jan 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer, Vol. 9602. p. 164-175 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9602).

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

  21. 2015

  22. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 May 2015, In: Programming and Computer Software. 41, 3, p. 162-169 8 p.

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

  23. 2014

  24. Path Reconstruction in the Barning–Hall Tree

    Emelyanov, P. G., Oct 2014, In: Journal of Mathematical Sciences (United States). 202, 1, p. 72-79 8 p.

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

  25. 2013

  26. Программный комплекс ПРОСТОР для моделирования и прогнозирования опорной транспортной сети России

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 Jun 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2013614125, Priority date 12 Mar 2013, Priority No. 2013611781

    Research output: Patent › Software registration

Previous 1 2 Next

ID: 3089109