Все семинары
Во вторник 20 мая в 14.30 состоится заседание N 1016 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Графовые нейронные сети и их применение
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
13 мая в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: к.ф.-м.н., уч. секр. ИСИ СО РАН Насибулов Егор Андреевич
Тема доклада: «Квантовая механика : от наблюдений к теории»
В начале 20 века большинство физиков не верило в существование атомов, потому что всё, что меньше длины волны света, невозможно увидеть. Физическая теория считалась полностью завершённой. Как получилось, что возникла необходимость в концептуально новой теории? Почему события из детерминированных стали вероятностными? Что легло в основу квантовой теории? Об этом в докладе «Квантовая механика : от наблюдений к теории».
Ссылка на дистанционное подключение
https://meet.google.com/cjs-axoh-izt
Во вторник 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"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
29 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Денис Сергеевич Мигинский, к.ф.-м.н., и.о. зав. лабораторией моделирования сложных систем Института систем информатики СО РАН имени А.П. Ершова
Тема доклада: «Реконструкция и очистка данных в любительской астрофотографии»
Получение астрономических изображений как художественной, так и научной направленности, представляет собой достаточно сложный многостадийный процесс, включая накопление сигнала и его постобработку. Сигнал подвергается искажениям различной природы, в т.ч. за счет ограничений аппаратуры, а также атмосферных искажений. Последние можно преодолеть только очень дорогими аппаратными решениями (телескопы космического базирования, либо системы адаптивной оптики), недоступными для любительской астрофотографии. Без этого же считается, что предельным разрешением, которого позволяет достичь атмосфера, является приблизительно одна угловая секунда. Вместе с тем, достаточно обширный опыт, накопленный сообществом астрономов-любителей, показывает, что порог этот можно снизить в несколько раз за счет постобработки сигнала. Существует богатый арсенал методов повышения разрешения, включая различные алгоритмы деконволюции и вейвлет-преобразования, а также множество рекомендаций (часто противоречащих друг другу), в каких случаях какие из них следует применять. Однако, остается открытым вопрос о систематизации этих знаний, обоснования применения тех или иных методов постобработки в соответствии с физической природой искажений, которые они призваны исправлять.
Ссылка на дистанционное подключение
https://meet.google.com/zhh-ytsq-dzm
Во вторник 22 апреля в 14.30 состоится заседание N 1014 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Применение бинарных диаграмм решений (БДР) в задаче поиска ключей в key-value базах данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В связи с проведением Международной научной студенческой конференции (МНСК-2025) 17 апреля семинара не будет.
Студентов и преподавателей приглашаем посетить секцию "Информационные технологии. Технология искусственного интеллекта" онлайн.
Она состоится 17 апреля, начало в 10:00,
ссылка для подключения: https://meet.google.com/bux-bdjz-zdk
Программа секции в приложении.
15 апреля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов, к.т.н., и.о. зав. лабораторией системного программирования Института систем информатики СО РАН имени А.П. Ершова; Новосибирский государственный университет
Тема доклада: «Процессная модель научной деятельности»
Процессная модель научной деятельности определяет структуру дерева научных дисциплин и множества научных проектов с ориентацией на решение задачи эффективного управления наукой. Построение модели базируется на методологии процессного программирования, инженерии требований и формальных методов для моделирования сложных систем. Верификация модели относительно реальной научной деятельности обнажила и позволила увидеть принципиальные недостатки организации современной научной деятельности, в особенности, существующую практику низкого качества экспертизы научных проектов. В соответствии с принципом максимальной компетентности лучшую оценку научного проекта способна дать элита – специалисты максимальной квалификации в дисциплине оцениваемого проекта.
Для появления элиты в некоторой дисциплине необходимо создать сообщество (ассоциацию) специалистов, для которых данная дисциплина является профильной. Предварительно требуется более четкая фиксация всех научных дисциплин и набора тем внутри каждой дисциплины, определение квалификации всех специалистов по разным научным дисциплинам; для профильных дисциплин нужно будет определять квалификацию по каждой теме дисциплины.
Движение к новой организации научной деятельности может происходить в инициативном порядке. Группы лидеров, осознавших преимущества новой организации, попытаются совместно создать ассоциацию в своей научной дисциплине или, возможно, только в рамках определенной темы дисциплины. Одним из стимулов является формирование качественного портфеля научных проектов в своей дисциплине для повышения шансов на поддержку проектов со стороны заказчика. Это достигается перекрестной экспертизой всех актуальных проектов, как новых, так и существующих: каждый специалист ассоциации оценивает проекты своих коллег. Целесообразно проводить коллективные обсуждения результатов экспертиз, в ходе которых они уточняются. Необходимо окончательно искоренить практикуемую тиранию игнорирования – каждый проект должен получить квалифицированную экспертизу. Другая цель ассоциации – коллективный анализ перспектив дальнейшего развития научной дисциплины. Ассоциация становится автономной самоуправляемой организацией. Ассоциация выбирает элиту для компетентной оценки проектов и формирования портфеля научных проектов для заказчика.
Ссылка на дистанционное подключение
https://meet.google.com/jgc-dbwf-xac
В четверг 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 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Галина Михайловна Запорожченко, доктор исторических наук, с.н.с. сектора
истории общественно-политического развития Института истории СО РАН
Тема доклада: «Изучение истории СО РАН: социокультурная и бытовая инфраструктура,
гендерные аспекты кадрового состава»
В обращении к истории Сибирского отделения СО АН СССР/РАН важна не только институциональная структура научных центров, но и социальная жизнь. Этой проблеме в последнее время уделяется особое внимание, что отражает человекоразмерность исторического процесса в целом. Все чаще мы обращаемся и к материалом Открытых архивов СО РАН, сопровождение которых ведет ИСИ им. А.П. Ершова. Повседневная жизнь ученых – не менее захватывающая тема исторических исследований.
Ссылка на трансляцию: https://meet.google.com/zij-fqgb-xeg
Во вторник 25 марта в 14.30 состоится заседание N 1012 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Г.Ю. Дедов
Тема: Разработка библиотеки динамического перераспределения потоков данных на основе SRT протокола - исследование корреляции параметров SRT.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 13 марта 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Загорулько Ю.А., Загорулько Г.Б. (ИСИ СО РАН)
Тема: Как могут помочь карты знаний в создании доверенных языковых моделей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
11 марта в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дмитрий Аркадьевич Афонников, доктор биологических наук, в.н.с.
Института цитологии и генетики СО РАН
Тема доклада: «Компьютерное фенотипирование пшеницы на основе анализа
изображений и глубокого машинного обучения»
Высокопроизводительное фенотипирование растений - новое направление в биоинформатике, которое позволяет получить большой объем данных в процессе проведения селекционно-генетических экспериментов у сельскохозяйственных растений. Сопоставление этих данных с вариациями генома позволяет выявлять его участки, которые содержат гены, контролирующие важные признаки растений. Для фенотипирования используются методы, основанные на анализе цифровых изображений, как с помощью алгоритмов машинного зрения, так и глубокого обучения. В докладе будут представлены результаты разработки и применения методов компьютерного фенотипирования для анализа пшеницы.
Ссылка на трансляцию: https://meet.google.com/ibq-hkir-kmh
Во вторник 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 ИСИ СО РАН.
Докладчик: Антон Власенко (ФИТ НГУ)
Тема: Разработка интеллектуальной системы контроля управления шлагбаумом для автомобильных парковок
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
18 февраля в 12:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Анатольевна Скалабан, д. социол. н., научный руководитель
Лаборатории городских исследований Института социальных технологий Новосибирского
государственного технического университета.
Тема доклада: «Современный городской конфликт: кейс Новосибирска»
Город – основное пространство где возникают и разворачиваются современные социальные, экономические и политические конфликты. Но любой ли конфликт в городе можно назвать городским? И почему горожане все чаще выбирают стратегию конфликта для защиты «присвоенных пространств»? Какова драматургия городских конфликтов? И почему сегодня мы скорее говорим о сложных городских конфликтах и городской конфликтности как новом явлении. Эти вопросы будут рассмотрены на материалах конфликтов города Новосибирска, накопленных в Геоинформационной базе данных конфликтов Новосибирской агломерации лаборатории городских исследований Института социальных технологий НГТУ и данных, накопленных в ходе научного проекта РНФ «Сложные городские конфликты: связанность и устойчивость».
Ссылка на трансляцию: https://meet.google.com/gfy-hmca-swq
В четверг 13 февраля 2025 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Московский Антон Дмитриевич (Научно исследовательский центр «Курчатовский институт»)
Тема: Исследование и разработка методов распознавания сцен для задач локализации мобильных роботов (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 11 февраля в 14.30 состоится заседание N 1009 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: К.О. Шадрин
Тема: Реферат статьи Wei Zhu et al. «Text2MDT: Extracting Medical Decision Trees from Medical Text»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
4 февраля в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Татьяна Анатольевна Андреева, младший научный сотрудник Лаборатории информационных систем ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Учебные языки программирования»
Учебное программирование - это особенная парадигма, нацеленная на "улучшение" не программ, а программистов. В зависимости от планируемых результатов обучения, а также от исходного уровня "улучшаемых", на роль учебного языка подходят далеко не все кандидаты. В докладе будет рассмотрено, какими свойствами должен обладать хороший учебный язык для каждого уровня обучаемых.
Ссылка на трансляцию: https://meet.google.com/wdc-fabm-xax
14 января в 11:00 в каб. 239 состоится первое заседание Методологического семинара ИСИ СО РАН в 2025 г.
Докладчик: Дмитрий Александрович Кондратьев, к.ф.-м.н., научный сотрудник Лаборатории теоретического программирования ИСИ им. А.П. Ершова СО РАН
Тема доклада: «Соревнование по формальной верификации программ VeHa-2024: два года большого пути»
В 2023 году было проведено первое в России соревнование по формальной верификации программ VeHa-2023. Данное соревнование позволило заложить основы для успешного проведения соревнования VeHa-2024 в 2024 году. В данном докладе будут рассмотрены развитие и перспективы серии соревнований VeHa.
Ссылка на трансляцию: https://meet.google.com/jxq-vbxv-mvd
Во вторник 14 января в 14.30 состоится заседание N 1008 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Метелица Елена Анатольевна
Тема: Автоматизация распараллеливания программ со сложными информационными зависимостями (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В работе представлены методы ускорения гнезд программных циклов итерационного типа. Используются сочетания сложных преобразований программ, включая скашивание, тайлинг, волновой фронт, вынос инвариантов, линеаризация выражений, перестановка неканонических циклов и др. На некоторых прикладных задачах достигается ускорение в 20 раз. Предложен метод определения оптимальных размеров тайла, который отличается от методов разработчиков известной распараллеливающей системы PLUTO и дает ускорение до 40%. Предлагается диалоговый режим оптимизации и распараллеливания програм, который может позволить распараллеливать такие программы, которые нельзя распараллелить автоматически.