• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Complexity of reasoning in Kleene algebra with sum-of-letters hypotheses

Stepan L. Kuznetsov.

In bk.: Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II. (LNCS, volume 16689). Vol. 16689. Cham: Springer, 2026. P. 161-177.

Препринт
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Elvimov N. S.

Statistical mechanics. arXie. arXive, 2025

Выступление профессора С.О.Кузнецова с докладом на VI Всероссийской конференции «Знания – Онтологии – Теории»

2 – 6 октября 2017 г. в Новосибирске состоялась VI Всероссийская конференция «Знания – Онтологии – Теории» (ЗОНT-17). Конференция была посвящена математическим методам представления данных, извлечения знаний и построения теорий предметных областей, анализу формальных понятий, а также методам извлечения информации из текстов естественного языка. Доклады будут опубликованы в сборнике трудов Конференции, который будет проиндексирован в РИНЦ. 
Тематика Конференции отразила основные стадии процесса познания:

  • Обнаружение закономерностей и извлечение знаний, скрытых в структурированных и неструктурированных данных. Машинное обучение. Распознавание образов. Прогнозирование. Индуктивный вывод. 
  • Систематизация знаний. Инженерия знаний. Управление знаниями. Разработка онтологий предметных областей: технологии создания и применения онтологий. 
  • Построение теорий предметных областей. Анализ формальных понятий. Логическая семантика естественного языка. Нечеткие логики.

Ординарный профессор С.О.Кузнецов выступил с приглашенным докладом: "Узорные структуры как математическая основа методов обнаружения знаний в предметных областях".