61 - 73 out of 73Page size: 20
  1. 2017

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

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

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

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

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

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

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

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

  10. 2016

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

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

  13. 2015

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

  15. 2014

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

  17. 2013

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

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

    Research output: Patent › Software registration

Previous 1 2 3 4 Next

ID: 3089109