Объединенный семинар
В четверг 16 марта 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Загорулько Ю.А. (ИСИ СО РАН, Новосибирск)
Тема: XX национальная конференция по искусственному интеллекту с международным участием (КИИ-2022), 21–23 декабря 2022 г., г. Москва (продолжение)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 9 марта 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Загорулько Ю.А. (ИСИ СО РАН, Новосибирск)
Тема: XX национальная конференция по искусственному интеллекту с международным участием (КИИ-2022), 21–23 декабря 2022 г., г. Москва
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 2 марта 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Михайлапов Денис (ФИТ НГУ, Новосибирск)
Тема: Knowledge Distillation для Antialiasing эффекта
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 15 декабря 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Афонников Дмитрий Аркадьевич (ИЦиГ СО РАН, Новосибирск)
Тема: Компьютерные методы высокопроизводительного фенотипирования растений (Диссертация на соискание ученой степени доктора биологических наук по специальности 03.01.09 – математическая биология, биоинформатика)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 8 декабря 2022 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00.
Докладчик: Емельянов Павел Геннадьевич (ИСИ СО РАН, НГУ, Новосибирск)
Тема: О некоторых методах декомпозиции систем, моделируемых булевыми функциями
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание!
Заседание Объединенного семинара "Интеллектуальные системы" и "Системное программирование" 1 декабря 2022 г. не состоится.
Дата и тема следующего заседания семинара будет объявлена позднее.
В четверг 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.
Докладчик: Ушакова Мария Сергеевна (СФУ, г. Красноярск)
Тема: Методы и инструментальные средства формальной верификации функционально-потоковых параллельных программ (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.