Объединенный семинар
Во вторник 6 мая в 14.30 состоится заседание N 1015 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи"Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason
Sobel, Peter Vajgel. Finding a needle in Haystack: Facebook’s photo storage"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 22 апреля в 14.30 состоится заседание N 1014 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Применение бинарных диаграмм решений (БДР) в задаче поиска ключей в key-value базах данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В связи с проведением Международной научной студенческой конференции (МНСК-2025) 17 апреля семинара не будет.
Студентов и преподавателей приглашаем посетить секцию "Информационные технологии. Технология искусственного интеллекта" онлайн.
Она состоится 17 апреля, начало в 10:00,
ссылка для подключения: https://meet.google.com/bux-bdjz-zdk
Программа секции в приложении.
В четверг 10 апреля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Пименов И.С., Саломатина Н.В. (ИСИ СО РАН)
Тема: Методика многоаспектной разметки аргументации в научных статьях и ее применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 8 апреля в 14.30 состоится заседание N 1013 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Ю.Ю. Разбитнова
Тема: Реферат статьи "Lahcen El Fatimi, Elhoucine Elfatimi and Hanifa Bouchaneb. A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 27 марта 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Никита Шварц (ИСИ СО РАН)
Тема: Методы и алгоритмы распознавания отношений между именованными сущностями в условиях обучения без примеров для извлечения информации из текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 25 марта в 14.30 состоится заседание N 1012 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка библиотеки динамического перераспределения потоков данных на основе SRT протокола - исследование корреляции параметров SRT.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 13 марта 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Загорулько Ю.А., Загорулько Г.Б. (ИСИ СО РАН)
Тема: Как могут помочь карты знаний в создании доверенных языковых моделей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 11 марта в 14.30 состоится заседание N 1011 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: А.А. Железняк
Тема: Автоматическое обнаружение иронии в комментариях на русском языке
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 27 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Обершт София Дмитриевна (НГУ), Гавенко Ольга Юрьевна (ФИЦ ИВТ и ИДСТУ СО РАН)
Тема: Оценка сложности текста: подходы, методы, эксперименты
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 25 февраля в 14.30 состоится заседание N 1010 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Р.О. Запанов
Тема: Реферат статьи Nikita Koval, Dan Alistarh, Roman Elizarov «Fast and scalable channels in kotlin coroutines» 2023
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 20 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Антон Власенко (ФИТ НГУ)
Тема: Разработка интеллектуальной системы контроля управления шлагбаумом для автомобильных парковок
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 13 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Московский Антон Дмитриевич (Научно исследовательский центр «Курчатовский институт»)
Тема: Исследование и разработка методов распознавания сцен для задач локализации мобильных роботов (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 11 февраля в 14.30 состоится заседание N 1009 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи Wei Zhu et al. «Text2MDT: Extracting Medical Decision Trees from Medical Text»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 14 января в 14.30 состоится заседание N 1008 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Метелица Елена Анатольевна
Тема: Автоматизация распараллеливания программ со сложными информационными зависимостями (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В работе представлены методы ускорения гнезд программных циклов итерационного типа. Используются сочетания сложных преобразований программ, включая скашивание, тайлинг, волновой фронт, вынос инвариантов, линеаризация выражений, перестановка неканонических циклов и др. На некоторых прикладных задачах достигается ускорение в 20 раз. Предложен метод определения оптимальных размеров тайла, который отличается от методов разработчиков известной распараллеливающей системы PLUTO и дает ускорение до 40%. Предлагается диалоговый режим оптимизации и распараллеливания програм, который может позволить распараллеливать такие программы, которые нельзя распараллелить автоматически.
Во вторник 24 декабря в 14.30 состоится заседание N 1007 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Т.М. Кравченко
Тема: Исследование методов формирования корпусов данных и обнаружения фейков на основе аргументации
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 19 декабря 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Екатерина Тотмина (НГУ)
Тема: Создание многозадачной унифицированной нейронной сети типа ERNIE 3 для анализа и генерации русскоязычных текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 5 декабря 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лидия Васильевна Городняя
Тема: Как повысить продуктивность анализа и реализации языков программирования
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 10 декабря в 14.30 состоится заседание N 1006 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Поиск рекомбинантных последовательностей в наборе вирусных геномов: алгоритм 3SEQ
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 28 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Николаев Иван Евгеньевич (Челябинский государственный университет)
Тема: Методы и алгоритмы интеллектуальной поддержки формирования требований вакансии на основе нейросетевых моделей языка и актуальных требований рынка труда (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 26 ноября в 14.30 состоится заседание N 1005 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Д.В. Андреев
Тема: Сложность задачи на построение расписаний для выполнения параллельных программ с условными конструкциями
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 21 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Гафурова Полина Олеговна (Научно исследовательский центр «Курчатовский институт»)
Тема: Семантические методы и инструменты фабрики метаданных цифровой математической библиотеки (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 14 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Прокопьев Николай Аркадиевич (Казанский (Приволжский) федеральный университет)
Тема: Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 7 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Дмитрий
Тема: Формальная верификация нейронных сетей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.