21 - 38 out of 38Page size: 20
  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

  15. Conceptual methods for identifying needs of mobile network subscribers

    Palchunov, D., Yakhyaeva, G. & Dolgusheva, E., 2016, In: International Conference on Concept Lattices and Their Applications. CLA2016, p. 147-158 12 p.

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

  16. Conceptual methods for identifying needs of mobile network subscribers

    Palchunov, D., Yakhyaeva, G. & Dolgusheva, E., 2016, In: CEUR Workshop Proceedings. 1624, p. 147-160 14 p.

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

  17. 2015

  18. Development of automated methods for the critical condition risk prevention, based on the analysis of the knowledge obtained from patient medical records

    Naydanov, C., Palchunov, D. & Sazonova, P., 21 Dec 2015, Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015. Institute of Electrical and Electronics Engineers Inc., p. 33-38 6 p. 7361845. (Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015).

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

  19. Software system for the diagnosis of the spine diseases using case-based reasoning

    Palchunov, D., Yakhyaeva, G. & Yasinskaya, O., 21 Dec 2015, Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015. Institute of Electrical and Electronics Engineers Inc., p. 205-210 6 p. 7361884. (Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015).

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

  20. Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

    Pal’chunov, D. E., Trofimov, A. V. & Turko, A. I., 26 May 2015, In: Siberian Mathematical Journal. 56, 3, p. 490-498 9 p.

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

  21. Fuzzy Logics and Fuzzy Model Theory

    Pal’chunov, D. E. & Yakhyaeva, G. E., 1 Mar 2015, In: Algebra and Logic. 54, 1, p. 74-80 7 p.

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

  22. 2014

  23. Программная система построения атомарной диаграммы модели по тексту естественного языка

    Махасоева, О. Г. & Пальчунов, Д. Е., 20 Oct 2014, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2014619198, Priority date 11 Jul 2014, Priority No. 2014616748

    Research output: Patent › Software registration

  24. 2011

  25. Программная система "Risk Panel"

    Пальчунов, Д. Е., Яхъяева, Г. Э., Ясинская, О. В., Мирзагитов, А. А. & Хамутская, А. А., 23 Sept 2011, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2011617412, Priority date 27 Jul 2011, Priority No. 2011615619

    Research output: Patent › Software registration

Previous 1 2 Next

ID: 3438390