Объединенный семинар
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_72.png?itok=G71M28c8)
В четверг, 27 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Игорь Николаевич Скопин (ИВМ и МГ СО РАН, Новосибирск)
Тема: Моделирование развивающихся систем: концепция времени
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_71.png?itok=o94rzYF3)
В четверг, 13 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Саломатина Н.В., Пименов И.С. (ИМ СО РАН)
Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 2. Построение и анализ графов аргументации для научных текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_70.png?itok=t6tzJq6s)
В четверг, 6 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Сидорова Елена Анатольевна
Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 1. Введение в проблематику
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ Объединенный семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ](/files/styles/news/public/news/image/seminar_isi_ngu_69.png?itok=RcRP3B3u)
Внимание!
Заседание Объединенного семинара ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ 29 сентября 2022 г. не состоится.
Дата и тема следующего заседания семинара будет объявлена позже.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_68.png?itok=xUjpha0W)
В четверг, 22 сентября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Выступление аспирантов ИСИ СО РАН:
- Зубарев Алексей Юрьевич
Исследование взаимосвязей семантик и эквивалентностей временных расширений сетей Петри
- Фирсов Артемий Борисович
Выявление скрытых связей в базах данных научных публикаций
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Институт систем информатики им. А.П. Ершова СО РАН Институт систем информатики им. А.П. Ершова СО РАН](/files/styles/news/public/news/image/iis_logo_100x100_99.png?itok=4Yfsk0MD)
В объединенном диссертационном совете Д 999.082.03 на базе ИСИ СО РАН, ИМ СО РАН и ИВМиМГ СО РАН к предварительному рассмотрению принята кандидатская диссертация Дмитрия Александровича Кондратьева (м.н.с. ИСИ СО РАН) на тему "Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями".
Чтобы познакомить коллег из ИМ и ИВМиМГ с содержанием работы, в понедельник 11 июля в 14:00 в онлайн-режиме пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ. Приглашаем всех желающих.
Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_67.png?itok=z6L85KKy)
В четверг, 12 мая 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики:
- Запанов Ринчин, ММФ НГУ
Тема: Эффективная реализация легковесных потоков в управляемой среде исполнения - Трушин Александр, ММФ НГУ
Тема: Реализация алгоритма клампинга однонуклеотидных полиморфизмов с учётом неравновесия по сцеплению на платформе GWAS-MAP - Бояршин Андрей, ММФ НГУ
Тема: Реализация обобщенных типов в управляемой среде с динамической генерацией метаданных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_66.png?itok=kwgz7hkU)
В четверг, 5 мая 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Гуськов Андрей Евгеньевич
Тема: Наукометрические методы и модели мониторинга результативности научной деятельности (Диссертация на соискание ученой степени доктора технических наук)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_65.png?itok=z_qVLvPz)
В четверг, 21 апреля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Татьяна Валентиновна Снытникова (Институт вычислительной математики и математической геофизики СО РАН, Новосибирск)
Тема: Эффективная реализация модели ассоциативных вычислений на графических ускорителях (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_64.png?itok=4_MUfMSg)
В четверг, 14 апреля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Трошков Сергей (аспирант ИСИ СО РАН)
Тема: Оптимизация плана выполнения SQL запросов в потоковой системе обработки данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_63.png?itok=EX854jEh)
В четверг, 31 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Потапов Иван (НГУ)
Тема: Измерение диаграммы направленности антенн облетным методом с использованием БПЛА
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_62.png?itok=UBkggWMK)
В четверг, 24 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Д.А. Кондратьев, Л.В. Городняя
Тема: Путь обучения функциональному программированию (по мотивам конференции TFPIE 2022)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_61.png?itok=S995mZKh)
В четверг, 3 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Черепова Юлия Вадимовна (НГУЭУ, ООО СДЭК Глобал)
Тема: Менеджмент научных знаний на основе онтологической модели с использованием классификационных языков (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_60.png?itok=OzqrXSmo)
В четверг, 17 февраля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)
Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_59.png?itok=3H3oyudt)
В четверг, 16 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Старцев Павел (аспирант ИСИ СО РАН)
Тема: Построение механизма расширенного поиска на основе интерактивного механизма ссылочных рекомендаций для работы научного сотрудника с текстовым контентом
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_58.png?itok=TEaN8R2U)
В четверг, 9 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Марчук Александр Гурьевич (д.ф.-м.н., г.н.с. ИСИ СО РАН)
Тема: Последовательность как абстракция структурированного построения баз данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_57.png?itok=aD0mckCX)
В четверг, 2 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Городняя Лидия Васильевна (ИСИ СО РАН)
Тема: О функциональном программировании: сомнения и выводы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_56.png?itok=bjl0YkS1)
Внимание! Объединенный семинар "Интеллектуальные системы" и "Системное программирование" 25 ноября 2021 г. проводиться не будет.
Плей-лист семинара в YouTube-канале ИСИ СО РАН
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_55.png?itok=r1MiFW8z)
В четверг, 18 ноября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 11:00.
Докладчики: Рыцарев Игорь Андреевич (Самарский национальный исследовательский университет имени академика С.П. Королева)
Тема: Метод конверсационного анализа неструктурированных текстов социальных сетей (диссертация на соискание степени кандидата технических наук )
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_54.png?itok=PyhnExd5)
В четверг, 11 ноября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Садирмекова Жанна (Евразийский национальный университет имени Л.Н. Гумилева, Республика Казахстан, Нур-Султан)
Тема: Разработка технологии интеграции информационных систем поддержки научной и образовательной деятельности на основе метаданных и онтологической модели предметной области (диссертация на соискание степени доктора философии)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_53.png?itok=KCEbRpaS)
Внимание! В связи с объявлением нерабочей недели Объединенный семинар ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ 4 ноября 2021 г. проводиться не будет.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_52.png?itok=OW82oQ57)
В четверг, 28 октября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 11:00.
Докладчики: Смирнов Сергей Викторович, Семенова Валентина Андреевна (ИПУСС РАН — СамНЦ РАН, г. Самара)
Тема: Расширенная методология вывода формальных понятий — онтологический анализ данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_51.png?itok=xB-543SJ)
В четверг, 21 октября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Елена Бручес (ИСИ СО РАН)
Тема: Методы и алгоритмы распознавания и связывания сущностей для построения систем автоматического извлечения информации из научных текстов кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
![Объединенный семинар "Интеллектуальные системы" и "Системное программирование" Объединенный семинар "Интеллектуальные системы" и "Системное программирование"](/files/styles/news/public/news/image/seminar_isi_ngu_50.png?itok=FUmE5pgX)
В четверг, 14 октября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 9:30.
Докладчик: Кристина Овчинникова (НГУ)
Тема: Разработка лексико-синтаксических паттернов онтологического проектирования для извлечения информации из научных текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.