Все семинары
В четверг 4 апреля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчики: Иванов Александр Иванович, Овчинникова Кристина Алексеевна (НГУ)
Тема: Пополнение онтологии: Извлечение информации из текстов научно-популярных статей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
2 апреля в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН. Доклад будет на английском языке.
Докладчик: Jerald D. Kralik, Ph.D. Visiting Professor, Department of Brain and Cognitive Sciences KAIST - Korea Advanced Institute of Science and Technology
Тема доклада: Toward Human-Like Artificial General Intelligence: Identifying the
Fundamental Features of Human Higher Cognition Still Lacking in
Artificial Systems
The recent revolutionary successes of the large-language models in AI suggest that we are well on the way to understanding human intelligence and representing it computationally in artificial systems. And yet these systems remain far from capturing true human-like understanding. By taking a normative evolutionary approach, with the premise that an examination of the key earliest hunter-gatherer activities – e.g., food preparation, shelter-building, tool manufacture – will help uncover the fundamental cognitive architecture of the human brain, my analysis has identified a core set of abilities, including causal reasoning, metacognition, affect, metaphor, and a substitution mechanism not unlike the mirror or empathy mechanisms. I will sketch out how they were derived and how they all appear to work together to underpin human higher cognition. Importantly, these abilities remain lacking in artificial systems – and yet, it is argued, will be required to reach human-like general intelligence. Thus, the findings can be considered a roadmap and target destination for future-generation human-like artificial general intelligence.
Ссылка на дистанционное подключение
https://meet.google.com/ikb-aeko-wyp
Во вторник 2 апреля в 14.30 состоится заседание № 995 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Р.О. Запанов
Тема:«Оптимизация емкостных и временных характеристик системы управления легковесными потоками»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 28 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:30. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Семенова Валентина Андреевна (СГТУ и ИПУСС РАН, г. Самара)
Тема: Методическое и алгоритмическое обеспечение подготовки контекста для вывода формальных понятий в онтологическом анализе данных
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 26 марта 2024 г. состоится заседание № 994 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Титова В.В.
Тема: Реферат статьи "Б.Я. Штейнберг, О.Б. Штейнберг. Преобразования программ - фундаментальная основа создания оптимизирующих распараллеливающих компиляторов"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 21 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:30. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Ариж Аль Адел (МФТИ)
Тема: Исследование вариантов трансформера для различных задач обработки длинных документов
Язык выступления: английский. Рекомендуется заранее ознакомиться с авторефератом на английском языке.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
19 марта в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева СО РАН
Тема доклада: «Как была решена самая знаменитая математическая задача XX века (проблема континуума)»
Речь пойдет о булевозначной модели теории множеств. Это очень необычная модель с очень необычной логикой. В ней утверждение не обязано быть истинным или ложными может оказаться слегка истинным, изрядно ложным и т.п. Именно с помощью этой науки в свое время была успешно решена самая знаменитая математическая задача XX века - «Проблема континуума».
Ссылка на дистанционное подключение
https://meet.google.com/vue-ktxd-aam
Во вторник 19 марта 2024 г. состоится заседание № 993 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Павлов М.В.
Тема: Что такое YOLO, принцип его работы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 14 марта 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Красинский В.И.
Тема: Теория нечетких множеств как инструмент разработки систем искусственного интеллекта
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 12 марта 2024 г. состоится заседание № 992 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Осицын Д.А.
Тема: Семантическая сегментация, основные принципы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
5 марта в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: к.ф.-м.н. Дмитрий Николаевич Штокало
Тема доклада: «Использование подходов машинного обучения для воссоздания утраченной части костей черепа»
Исследования применения нейронных сетей в медицине значительно увеличились за последние пять лет, получив существенный скачок в пандемию коронавируса. Это было обусловлено необходимостью анализа большого числа данных о пациентах. Подходы машинного обучения используют как с целью поиска предсказания событий на основе анализа так называемых «больших данных», так и в сфере распознавание медицинских DICOM изображений. Нами был выбран гибридный подход по использованию обоих методов для восстановления утраченной поверхности костей черепа на трехмерной модели, основываясь на МСКТ данных головы пациента.
Ссылка на дистанционное подключение
https://meet.google.com/thu-fsbd-nfp
Во вторник 5 марта 2024 г. состоится заседание № 991 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Артемьев А.М.
Тема: Технология eBPF
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 29 февраля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Ильина Д.В. (ИСИ СО РАН)
Тема: Референция в лингвистике и машинном обучении: проблемы и методы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 27 февраля 2024 г. состоится заседание № 990 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Грасмик Р.А.
Тема: Реферат статьи "Rui Zhang,Bayu Distiawan Trisedya, Miao Li,Yong Jiang, Jianzhong Qi. A Comprehensive Survey on Knowledge Graph Entity Alignment via Representation Learning, 2021"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
20 февраля в 11:00 в каб. 239 состоится деcятый методологический семинар ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов (Институт систем информатики СО РАН, Новосибирский государственный университет)
Тема доклада: «Автоматная модель научной деятельности»
Автоматная модель научной деятельности ориентирована на оптимизацию управления наукой и определяется как расширение автоматной модели произвольной деятельности. Рассматриваются связи по использованию результатов одной деятельности в другой. Для каждого вида деятельности определяется карта компетенций. Используется аппарат инженерии требований. Вводится новый тип данных: древесное множество. Анализируются особенности автономного вертикального управления наукой на базе лидерских групп в каждом направлении науки. Модель частично формализована.
Ключевые слова: наука, науковедение, автоматное программирование, система управления, инженерия требований, системная инженерия.
Ссылка на дистанционное подключение
https://meet.google.com/snk-tznr-gyr
В четверг 15 февраля 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Д.А. (ИСИ СО РАН)
Тема: VeHa-2023: первые в России соревнования по формальной верификации программ
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
6 февраля в 11:00 в каб. 239 состоится девятый методологический семинар ИСИ СО РАН.
Докладчик: Елена Анатольевна Ерохина, д. филос. наук, в.н.с. Института философии и права СО РАН
Тема доклада: «Сибирская этносоциология в Открытом архиве СО РАН: академические практики и биографический нарратив»
Ссылка на дистанционное подключение
meet.google.com/gan-cyca-myh
30 января в 11:00 в каб. 239 состоится восьмой методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Сергей Павлович Одинцов, Институт математики им. С.Л. Соболева СО РАН
Тема доклада: Верификация, фальсификация, сильное отрицание, FDE.
Ссылка на дистанционное подключение
meet.google.com/gan-cyca-myh
26 декабря в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: Оспичев Сергей Сергеевич, начальник отдела по связям с индустриальными партнерами Математического центра в Академгородке
Тема доклада: Математический центр в Академгородке: опыт проведения заказных исследований.
Ссылка на дистанционное подключение
https://meet.google.com/vxn-rykz-zwj
В четверг 14 декабря 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Крайнева Ирина Александровна (ИСИ СО РАН)
Тема: Игорь Васильевич Поттосин (1933-2001) - один из основателей новосибирской школы программирования
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 7 декабря 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Ильина Дарья Владимировна (ИСИ СО РАН)
Тема: Типы авторов научно-популярной статьи и их аргументативные предпочтения
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
5 декабря в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчики: Серый Алексей Сергеевич, Чагина Полина Максимовна (лаб. ИИ)
Тема доклада: Создание датасетов для решения задач анализа аргументации на основе аннотированных текстов
Ссылка на дистанционное подключение
https://meet.google.com/wok-gcno-qyt
В четверг 30 ноября 2023 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Сидорова Елена Анатольевна (ИСИ СО РАН)
Тема: Особенности применения нейросетевых подходов для поиска и извлечения аргументативных отношений из текстов на русском языке
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
28 ноября в 11:00 в каб. 239 состоится четвертый методологический семинар ИСИ СО РАН.
Докладчик: к.и.н. Николай Алексеевич Старухин (научный сотрудник сектора археографии и источниковедения Института истории СО РАН)
Тема доклада: Полевые археографические исследования Института истории СО РАН во второй половине XX - начале XXI вв. (из истории организации и опыта работы).
С середины 1960-х годов на территории Сибири, Урала, Средней Азии были обнаружены ценные источники (всего на государственное хранение поставлено свыше 1,5 тысяч старопечатных и других малоизвестных изданий). Среди них — рукописный сборник XVI в. (Сибирский список), который содержит, в частности, наиболее полный комплекс источников по следственному делу Максима Грека; догматико-политические сочинения крестьян-старообрядцев XVIII—XIX вв. (значительная часть опубликована в издании «Духовная литература староверов Востока России XVIII–XX вв. и других.
Ссылка на дистанционное подключение
https://meet.google.com/vdv-vxjq-aar