21 - 30 out of 38Page size: 10
  1. 2019

  2. Logical methods for smart contract development

    Galieva, A. G. & Palchunov, D. E., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 881-885 5 p. 8958340. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  3. Semantic domain-specific languages

    Gumirov, V. S., Matyukov, P. Y. & Palchunov, D. E., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 955-960 6 p. 8958237. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  4. Разработка автоматизированных методов представления знаний о действиях и ситуациях

    Ненашева, Е. О. & Пальчунов, Д. Е., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, p. 61-72 12 p.

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

  5. Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели

    Капустина, А. И. & Пальчунов, Д. Е., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, p. 29-42 14 p.

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

  6. Разработка методов семантического поиска в Интернете, основанных на древовидных лингвистических шаблонах

    Филиппов, И. И., Пальчунов, Д. Е. & Степанов, П. А., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, p. 111-122 12 p.

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

  7. 2018

  8. Программная система OntoDef

    Пальчунов, Д. Е. & Корсун, И. А., 25 Dec 2018, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2018666936, Priority date 14 Dec 2018, Priority No. 2018664450

    Research output: Patent › Software registration

  9. 2017

  10. Combining logical and statistical rule reasoning and verification for medical applications

    Palchunov, D. E., Tishkovsky, D. E., Tishkovskaya, S. V. & Yakhyaeva, G. E., 14 Nov 2017, Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017. Institute of Electrical and Electronics Engineers Inc., p. 309-313 5 p. 8109895

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

  11. Application of boolean-valued models and FCA for the development of ontological models

    Palchunov, D. & Yakhyaeva, G., 2017, In: CEUR Workshop Proceedings. 1921, p. 77-87 11 p.

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

  12. 2016

  13. Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

    Pal’chunov, D. E. & Trofimov, A. V., 1 Nov 2016, In: Siberian Mathematical Journal. 57, 6, p. 1066-1076 11 p.

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

  14. Программная система «Diagnostic Panel»

    Пальчунов, Д. Е., Яхъяева, Г. Э. & Ясинская, О. В., 9 Aug 2016, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2016618876, Priority date 17 Jun 2016, Priority No. 2016616340

    Research output: Patent › Software registration

Previous 1 2 3 4 Next

ID: 3438390