Объединенный семинар
В четверг 24 ноября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Помелов Сергей Валерьевич (ИВМ и МГ СО РАН, Новосибирск)
Тема: Инструментальная поддержка оценки ресурсоемкости и масштабируемости алгоритмов с учётом архитектур ЭВМ (кандидатская диссертация по специальности 05.13.11)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 17 ноября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Кондратьев Дмитрий (ИСИ СО РАН, Новосибирск)
Тема: Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 10 ноября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: д.и.н. Крайнева Ирина Александровна (ИСИ СО РАН, Новосибирск)
Тема: Ученые в “ящиках”: биографии в советских НИИ
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 3 ноября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Кашменский Евгений Никитович (ООО "Финансовые информационные системы", Новосибирск)
Тема: Субъектно-организованная среда исполнения (деятельностная методология А.А. Берса и ее практические приложения)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 27 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Игорь Николаевич Скопин (ИВМ и МГ СО РАН, Новосибирск)
Тема: Моделирование развивающихся систем: концепция времени
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 13 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Саломатина Н.В., Пименов И.С. (ИМ СО РАН)
Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 2. Построение и анализ графов аргументации для научных текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 6 октября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Сидорова Елена Анатольевна
Тема: Анализ аргументации: современный вызов искусственному интеллекту. Часть 1. Введение в проблематику
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание!
Заседание Объединенного семинара ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ 29 сентября 2022 г. не состоится.
Дата и тема следующего заседания семинара будет объявлена позже.
В четверг, 22 сентября 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Выступление аспирантов ИСИ СО РАН:
- Зубарев Алексей Юрьевич
Исследование взаимосвязей семантик и эквивалентностей временных расширений сетей Петри
- Фирсов Артемий Борисович
Выявление скрытых связей в базах данных научных публикаций
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В объединенном диссертационном совете Д 999.082.03 на базе ИСИ СО РАН, ИМ СО РАН и ИВМиМГ СО РАН к предварительному рассмотрению принята кандидатская диссертация Дмитрия Александровича Кондратьева (м.н.с. ИСИ СО РАН) на тему "Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями".
Чтобы познакомить коллег из ИМ и ИВМиМГ с содержанием работы, в понедельник 11 июля в 14:00 в онлайн-режиме пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ. Приглашаем всех желающих.
Запись трансляции семинара доступна на канале ИСИ СО РАН в Youtube.
В четверг, 12 мая 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики:
- Запанов Ринчин, ММФ НГУ
Тема: Эффективная реализация легковесных потоков в управляемой среде исполнения - Трушин Александр, ММФ НГУ
Тема: Реализация алгоритма клампинга однонуклеотидных полиморфизмов с учётом неравновесия по сцеплению на платформе GWAS-MAP - Бояршин Андрей, ММФ НГУ
Тема: Реализация обобщенных типов в управляемой среде с динамической генерацией метаданных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 5 мая 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Гуськов Андрей Евгеньевич
Тема: Наукометрические методы и модели мониторинга результативности научной деятельности (Диссертация на соискание ученой степени доктора технических наук)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 21 апреля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Татьяна Валентиновна Снытникова (Институт вычислительной математики и математической геофизики СО РАН, Новосибирск)
Тема: Эффективная реализация модели ассоциативных вычислений на графических ускорителях (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 14 апреля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Трошков Сергей (аспирант ИСИ СО РАН)
Тема: Оптимизация плана выполнения SQL запросов в потоковой системе обработки данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 31 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Потапов Иван (НГУ)
Тема: Измерение диаграммы направленности антенн облетным методом с использованием БПЛА
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 24 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Д.А. Кондратьев, Л.В. Городняя
Тема: Путь обучения функциональному программированию (по мотивам конференции TFPIE 2022)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 3 марта 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Черепова Юлия Вадимовна (НГУЭУ, ООО СДЭК Глобал)
Тема: Менеджмент научных знаний на основе онтологической модели с использованием классификационных языков (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 17 февраля 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)
Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 16 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Старцев Павел (аспирант ИСИ СО РАН)
Тема: Построение механизма расширенного поиска на основе интерактивного механизма ссылочных рекомендаций для работы научного сотрудника с текстовым контентом
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 9 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Марчук Александр Гурьевич (д.ф.-м.н., г.н.с. ИСИ СО РАН)
Тема: Последовательность как абстракция структурированного построения баз данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 2 декабря 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Городняя Лидия Васильевна (ИСИ СО РАН)
Тема: О функциональном программировании: сомнения и выводы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Объединенный семинар "Интеллектуальные системы" и "Системное программирование" 25 ноября 2021 г. проводиться не будет.
Плей-лист семинара в YouTube-канале ИСИ СО РАН
В четверг, 18 ноября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 11:00.
Докладчики: Рыцарев Игорь Андреевич (Самарский национальный исследовательский университет имени академика С.П. Королева)
Тема: Метод конверсационного анализа неструктурированных текстов социальных сетей (диссертация на соискание степени кандидата технических наук )
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг, 11 ноября 2021 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчики: Садирмекова Жанна (Евразийский национальный университет имени Л.Н. Гумилева, Республика Казахстан, Нур-Султан)
Тема: Разработка технологии интеграции информационных систем поддержки научной и образовательной деятельности на основе метаданных и онтологической модели предметной области (диссертация на соискание степени доктора философии)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.