Программа конференции

8 октября

10.00 - 10.15	Открытие
10.15 - 10.55	Математическая онтология Целищев В. В.
10.55 - 11.15	Применение методов машинного обучения для автоматического доказательства теорем Власов Д. Ю.
11.15 - 11.35	Онтология электронных документов как основа для извлечения знаний о предметной области при ее моделировании Ланин В. В., Лядова Л. Н.
11.35 - 11.45	Кофе-брейк
11.45 - 12.25	Методы и средства контекстного анализа в интересах обеспечения безопасности Васенин В. А., Афонин С. А., Голомазов Д. Д., Козицын А. С.
12.25 - 12.45	Использование контекстов в аналитической обработке данных Зыкин С. В.
12.45 - 13.05	Представление знания и вторая теорема Гёделя о неполноте: арифметика может доказать свою непротиворечивость Бессонов А. В.
13.05 - 13.25	Об адекватности математической статистики Резников В. М.
13.25 - 15.00	Обед
15.00 - 15.40	Big data - мода или что-то в этом есть Марчук А. Г.
15.40 - 16.00	Подходы к использованию данных из облака LOD для обогащения контента научных баз данных и знаний Апанович З. В., Марчук А. Г.
16.00 - 16.20	Application of the reflexive analysis for formalization of situations of the estimation and the choice Filimonov V. A.
16.20 - 16.40	Специфика коллективной разработки онтологий Гаврилова Т. А., Лещева И. А., Болотникова Е. С., Благов Е. Ю.
16.40 - 16.50	Кофе-брейк
16.50 - 17.30	Методика построения онтологий предметных областей в универсуме, представленном реляционной базой данных Смирнов С. В.
17.30 - 17.50	Онтологический подход к извлечению знаний из информационных писем о программных продуктах системы «1С:Предприятие 8» Ахаев А. В., Ходашинский И. А.
17.50 - 18.10	О мерах сходства разноязычных текстов с одинаковым содержанием Волчкова И. А., Гуменюк А. С.
18.10 - 18.20	Анализ строя нуклеотидных последовательностей Поздниченко Н. Н., Гуменюк А. С.
18.20 - 18.30	Магистерская программа НГУ на английском языке по аналитике больших данных Павловский Е. Н.
	Стендовые доклады

9 октября

9.30 - 10.10	О проблемах Σ-вычислимости Гончаров С. С.
10.10 - 10.30	Онтологии в системе интеллектуального анализа данных научно-технического содержания Васенин В. А., Афонин С. А., Голомазов Д. Д., Козицын А. С.
10.30 - 10.50	Анализ и сравнение символьных последовательностей на разных иерархических уровнях (сложностной подход) Гусев В. Д., Мирошниченко Л. А.
10.50 - 11.10	Выявление инвариантов и квазиинвариантов знаменного распева с помощью билингв типа "знамя-нота" Бахмутова И. В., Гусев В. Д., Титкова Т. Н.
11.10 - 11.20	Кофе-брейк
11.20 - 12.00	Проблемы и методы извлечения онтологического знания Пальчунов Д. Е.
12.00 - 12.20	Язык описания лингвистических шаблонов Степанов П. А.
12.20 - 12.40	Формальные модели спецификаций Стукушин Н. О.
12.40 - 13.00	Нечёткие модели оценки состояния слабоформализуемого процесса Мингликулов З. Б.
13.00 - 14.30	Обед
14.30 - 15.10	Применение онтологий в исследованиях и поддержке принятия решений в энергетике Массель Л. В.
15.10 - 15.30	Разработка модели управления процессом обучения с применением когнитивных технологий Лупенцов О. С., Лучко О. Н., Маренко В. А.
15.40 - 16.00	Подход к коллективной разработке онтологий и баз знаний Дяченко О. О., Загорулько Ю. А.
16.00 - 16.10	Прогнозирование временных рядов: поиск паттернов, алгоритм BrAD и критерий когерентности Шевченко И. В.
16.10 - 16.20	Кофе-брейк
16.20 - 17.00	Разработка информационных систем организаций на основе технологий Semantic Web Тузовский А. Ф.
17.00 - 17.20	Решение задач создания семантических электронных библиотек Ле Хоай, Тузовский А. Ф.
17.20 - 17.40	Разработка модели и методов обеспечения безопасности семантических баз данных Хоанг Ван Кует, Тузовский А. Ф.
17.40 - 17.50	Интеграция технологии ГИС и математических методов для анализа автотранспортных сетей Пуртов А. М.
17.50 - 18.00	Конструирование структурированных продуктов на основе предпочтений инвестора Фатьянова М. Э., Семёнов М. Е.
18.30	Банкет

10 октября

9.30 - 10.10	Электронные библиотеки по научному наследию: создание онтологии и выбор метаданных Федотов А. М., Барахнин В. Б., Федотова О. А.
10.10 - 10.30	Модели и методы извлечения фактов из текстов диссертаций и авторефератов Леонова Ю. В., Федотов А. М.
10.30 - 10.50	High-performance automatic categorization and attribution of inventory catalogs Kolonin A. G.
10.50 - 11.10	Автоматическое иллюстрирование текстов на основе шаблонов Крайванова В. А., Крючкова Е. Н.
11.10 - 11.20	Кофе-брейк
11.20 - 12.00	Семантические модели и технологии разработки прикладных интеллектуальных систем, ориентированные на экспертов Загорулько Ю. А.
12.00 - 12.20	Онтологический подход к разработке интеллектуальных СППР на основе прецедентов Загорулько Г. Б., Шмаков Е. С.
12.20 - 12.40	Интеллектуальная поддержка пользователей информационной системы на основе Байесовского подхода Полковников А. М.
12.40 - 13.00	Организация работы информационной системы в условиях неполной достоверности информации и ненадежных источников Серый А. С., Сидорова Е. А.
13.00 - 14.30	Обед
14.30 - 15.10	Реляционный подход и его применения Витяев Е. Е., Демин А. В.
15.10 - 15.30	Аналитическая модель адаптивной медицинской диагностики Колонин А. Г., Волнухин А. В.
15.30 - 15.50	Сравнение системы «Discovery» с базовыми алгоритмами, встроенными в Microsoft SQL Server Analysis Services Фирсов Н. И.
15.50 - 16.10	Разработка анимата для скальпинга Мартынович В. В., Витяев Е. Е.
16.10 - 16.20	Кофе-брейк
16.20 - 17.00	Функция конкурентного сходства в системах анализа Big Data Загоруйко Н. Г.
17.00 - 17.20	Выделение ключевых характеристик ЭКГ с использованием динамического программирования Борисова И. А., Ворончихин С. С., Загоруйко Н. Г.
17.20 - 17.30	Специфика реализации многоуровневых баз знаний проектирования сложных технических систем на примере космической отрасли Углев В. А.
17.30 - 17.40	Обучение локомоции и хемотаксису виртуальной модели нематоды C.Elegans Демин А. В.
17.40 - 17.55	Модификация алгоритма кластеризации FRiS Cluster для обработки больших данных Зырянов А. О.
17.55 - 18.05	Storing ontologies by nl-addressing Ivanova K., Vanhoof K., Markov K., Velychko V.
18.05	Круглый стол, закрытие

zont@math.nsc.ru