Все семинары
Во вторник 3 марта пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчик: Кондратьев Д.А.
Тема: На пути к автоматизации дедуктивной верификации С-программ с вложенными циклами.
20 февраля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Александр Найденов (ФИТ НГУ)
Тема: Разработка биологически подобной нейронной сети для выявления и анализа движения.
19 декабря пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчики: Загорулько Ю.А., Гаранина Н.О., Сидорова Е.А.
Тема: Сообщение о XVII национальной конференции по искусственному интеллекту с международным участием (КИИ-2019) (г. Ульяновск, 21 – 25 октября 2019 г.)
12 декабря пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Боровикова О.И.
Тема: Построение онтологий научных предметных областей на основе системы разнородных паттернов онтологического проектирования.
5 декабря пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.ф.-м.н. Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Хайрулин Сергей Сергеевич, ИСИ СО РАН
Тема: Алгоритмы и программный инструментарий обработки данных на гетерогенных вычислительных системах применительно к задачам гидродинамики и биомеханики (по материалам кандидатской диссертации).
28 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Муртазина М.Ш. (НГТУ)
Тема: Интеллектуальная поддержка принятия решений в области инженерии требований на основе онтологических моделей представления знаний (кандидатская диссертация).
28 ноября пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.ф.-м.н. Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Аркашов Н.С.
Тема: Анализ структурных данных аномальных процессов переноса (по материалам докторской диссертации).
21 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Кознов Д.В. (СПбГУ)
Тема: Об управлении избыточной информацией в текстах и данных программных проектов.
7 ноября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 239 ИСИ.
Докладчик: Ахмадеева И.Р. (ИСИ СО РАН)
Тема: Сообщение о XXI Международной конференции DAMDID/RCDL′2019 «Аналитика и управление данными в областях с интенсивным использованием данных» (Казань, 15 - 18 октября).
31 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 239 ИСИ.
Докладчик: Журавлев С.С. (ИВТ СО РАН)
Тема: Имитационный программно-аппаратный комплекс для тестирования АСУ ТП предприятий горнодобывающей промышленности (кандидатская диссертация).
17 октября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Нагорных Д.Ю.
Тема: Обучение гибридных нейронных сетей для прогнозирования временных рядов.
Во вторник 8 октября пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчики: Кондратьев Д.А., Промский А.В.
Тема: Комплексный подход к автоматизированной локализации ошибок в С-программах (продолжение).
Во вторник 3 октября пройдет объединенный семинар ИСИ СО РАН и кафедры программирования НГУ «Системное программирование» (руководители: проф. А.Г. Марчук, доцент М.А. Бульонков).
Начало в 11:00, ком. 254 ИСИ.
Докладчик: Загорулько Г.Б.
Тема: Модель, методы и средства комплексной поддержки разработки СППР в слабоформализованных предметных областях
(по материалам кандидатской диссертации).
Во вторник 1 октября пройдет объединенный семинар «Конструирование и оптимизация программ» ИСИ СО РАН и НГУ (руководитель - проф. В.Н. Касьянов). Начало в 14:30, ком. 254 ИСИ.
Докладчик: Л.В. Городняя.
Тема: Методика парадигмального анализа языков и систем программирования.
Во вторник 1 октября пройдет объединенный семинар «Теоретическое и экспериментальное программирование» ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.
Докладчики: Кондратьев Д.А., Промский А.В.
Тема: Комплексный подход к автоматизированной локализации ошибок в С-программах.
19 сентября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Еримбетова Айгерим
Тема: Лингвистическое и алгоритмическое обеспечение процесса информационного поиска на основе грамматики связей, в том числе для тюркских языков (по материалам кандидатской диссертации)
12 сентября пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Загорулько Г.Б. (ИСИ СО РАН)
Тема: Модель, методы и средства комплексной поддержки разработки СППР в слабоформализованных предметных областях (по материалам кандидатской диссертации)
23 мая пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 11:00, ком. 239 ИСИ.
На семинаре будут представлены выпускные аспирантские квалификационные работы:
- Ахмадеева Ирина. Методы поиска и извлечения информации о научной деятельности для интеллектуальных научных интернет-ресурсов.
- Тимофеев Петр. Методы и программные средства коллективной разработки, поддержки и отладки лексико-семантических словарей и их применения для извлечения информации из текстовых источников.
11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 09:30, ком. 254 ИСИ.
На семинаре будут представлены бакалаврские и магистерские работы ММФ НГУ:
- Гапенко Маргарита. Разработка программного обеспечения для рационального дизайна искусственных полиэпитопных антигенов.
- Тихонов Николай. Поддержка разработки СППР в слабоформализованных предметных областях.
- Яшкин Андрей. Разработка библиотеки компонентов пользовательских интерфейсов для интеллектуальных систем.
11 апреля пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 11:00, ком. 239 ИСИ.
Докладчик: Малых В.А. (МФТИ)
Тема: Методы сравнения и построения устойчивых к шуму программных систем в задачах обработки естественного языка (кандидатская диссертация).
Срок подачи докладов на семинар Наукоемкое программное обеспечение (НПО), который пройдет в рамках 12-й международной Ершовской конференции по информатике (PSI’19), продлен до 15 апреля.
В четверг, 4 апреля состоится заседание Объединенного семинара "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ СО РАН.
На семинаре будут представлены магистерские диссертации:
- Тусупова Мадина. Определение грамматических категорий с использованием машинного обучения.
- Рубцова Юлия. Методы сбора и автоматической тоновой классификации отзывов, представленных в социальных сетях, для задачи репутационного анализа.
28 марта пройдет объединенный семинар "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководители - профессор Марчук А.Г., доцент Бульонков М.А.). Начало в 11:00, ком. 254 ИСИ.
Докладчик: Бульонков М.А., к.ф.-м.н.
Тема: Система поддержки прогнозирования развития опорной транспортной сети России.
21 марта пройдет объединенный семинар "Интеллектуальные системы" ИСИ СО РАН и кафедры программирования НГУ (руководитель - к.т.н. Загорулько Ю.А.). Начало в 9:30, ком. 254 ИСИ.
Докладчик: Загорулько Ю.А.
Тема: Краткий обзор докладов 7 Всероссийской научной конференции "Информационные технологии и системы" (ИТиС-2019) г. Ханты-Мансийск, 12-16 марта 2019 г.