21 - 30 из 38Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Logical methods for smart contract development

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  3. Semantic domain-specific languages

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

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

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 2018

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

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

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

  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 нояб. 2017, Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017. Institute of Electrical and Electronics Engineers Inc., стр. 309-313 5 стр. 8109895

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

    Palchunov, D. & Yakhyaeva, G., 2017, в: CEUR Workshop Proceedings. 1921, стр. 77-87 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  12. 2016

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

    Pal’chunov, D. E. & Trofimov, A. V., 1 нояб. 2016, в: Siberian Mathematical Journal. 57, 6, стр. 1066-1076 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Пальчунов, Д. Е., Яхъяева, Г. Э. & Ясинская, О. В., 9 авг. 2016, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2016618876, Дата приоритета 17 июн. 2016, № приоритета 2016616340

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

Назад 1 2 3 4 Далее

ID: 3438390