21 - 38 из 38Размер страницы: 20
Сортировать по:: Год публикации
  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

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

  15. Conceptual methods for identifying needs of mobile network subscribers

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

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

  16. Conceptual methods for identifying needs of mobile network subscribers

    Palchunov, D., Yakhyaeva, G. & Dolgusheva, E., 2016, в: CEUR Workshop Proceedings. 1624, стр. 147-160 14 стр.

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

  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 дек. 2015, Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015. Institute of Electrical and Electronics Engineers Inc., стр. 33-38 6 стр. 7361845. (Proceedings - 2015 International Conference on Biomedical Engineering and Computational Technologies, SIBIRCON 2015).

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

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

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

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

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

    Pal’chunov, D. E., Trofimov, A. V. & Turko, A. I., 26 мая 2015, в: Siberian Mathematical Journal. 56, 3, стр. 490-498 9 стр.

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

  21. Fuzzy Logics and Fuzzy Model Theory

    Pal’chunov, D. E. & Yakhyaeva, G. E., 1 мар. 2015, в: Algebra and Logic. 54, 1, стр. 74-80 7 стр.

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

  22. 2014

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

    Махасоева, О. Г. & Пальчунов, Д. Е., 20 окт. 2014, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2014619198, Дата приоритета 11 июл. 2014, № приоритета 2014616748

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

  24. 2011

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

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

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

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

ID: 3438390