Методологический семинар
12 ноября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: заместитель директора ИВМиМГ СО РАН по научной работе,
д.ф.-м.н. Алексей Владимирович Пененко
Тема доклада: «Методы математического моделирования для цифрового
мониторинга и прогнозирования экологической обстановки Байкальской природной
территории»
Задачи исследования Байкальского региона требуют разработки эффективных систем математического моделирования, совмещающих разнообразные математически модели и разнородные данные наблюдений. В работе представлены алгоритмы, позволяющие решать задачи обратного моделирования, включая задачи идентификации источников загрязнений и задачи усвоения данных. Особый интерес представляют алгоритмы, совмещающие более традиционные модель-ориентированные подходы с методами машинного обучения.
Ссылка на трансляцию: https://meet.google.com/uwq-wpeh-osb
29 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.и.н. Ирина Александровна Крайнева, ИСИ СО РАН
Тема доклада: «Озеро, люди и государство: судьба Байкала»
Озеру Байкал 25 миллионов лет. Это самое глубокое озеро на Земле хранит 80% от запасов пресной воды бывшего СССР и 20% ее запасов всего мира. За миллионы лет изоляции в Байкале сформировалась уникальная экосистема. В 1996 году Байкал включен в список объектов всемирного природного наследия ЮНЕСКО. В озере и его окрестностях обитает более 1800 эндемичных животных и растений. Сегодня озеро в опасности из-за недостаточной изученности, браконьерства, загрязнения окружающей среды, изменения климата и законодательства.
Ссылка на трансляцию: https://meet.google.com/hht-ftic-uwt
15 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Объектно-ориентированные данные как префиксные переписывающие системы»
Излагается подход к представлению и анализу объектно-ориентированных данных посредством детерминированных переписывающих систем — таких систем, в которых нет правил вида X→Y и X→Z с разными Y и Z и, кроме того, переписыванию подлежат только самые длинные префиксы слов. Посредством таких систем определяются и исследуются аналоги основных понятий, связанных с объектно-ориентированными системами данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и согласованность, концептуальные схемы, типы и подтипы и др. Это уже довольно развитая теория (включающая десятки теорем и алгоритмов), но очень молодая, нуждающаяся в развитии и предлагающая естественные открытые вопросы.
Ссылка на трансляцию: https://meet.google.com/xkv-bcyn-omp
1 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Нестандартная теория множеств» или «Анализ бесконечно малых возвращается»
Интеллектуально насыщенный рассказ о математических злоключениях на пути к современной формализации понятия бесконечно малого числа.
Ссылка на трансляцию: https://meet.google.com/iqv-wmpy-eoy
17 сентября в 11:00 в каб. 239 состоится заседание Методологического семинара ИСИ СО РАН.
Докладчик: Ирина Аманжоловна Травина, президент ассоциации "СибАкадемСофт" , генеральный директор компании "Софтлаб-НСК"
Тема доклада: О проектах развития Академгородка: история успеха и перспективы
Реализация проектов развития Академгородка осуществляется успешно и неуспешно. В чем причины, можно увидеть на конкретных примерах развития науки и технологий переднего края современности - отрасли IT. В чем состоит миссия Ассоциации "СибАкадемСофт" по содействию отрасли? Каково сегодня содержание работы Академпарка? Ответы представит компетентный специалист из центра событий.
Ссылка на дистанционное подключение
https://meet.google.com/gcx-dfbb-non
11 июня в 11:00 в каб. 239 состоится внеочередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Андрей Юрьевич Пальянов
Тема доклада: Об участии в конференции в г. Харбине (Китай) 17-20 мая 2024 г. и потенциальных возможностях сотрудничества с Харбинским Политехническим Университетом (Harbin Institute of Technology)
Ссылка на дистанционное подключение
https://meet.google.com/zoe-tdzi-rcy
28 мая в 11:00 в каб. 239 состоится заседание Методологического семинара ИСИ СО РАН.
Докладчик: Нестеренко Татьяна Викторовна, научный сотрудник лаборатории смешанных вычислений ИСИ СО РАН
Тема доклада: Олимпиады по программированию
Ссылка на дистанционное подключение
https://meet.google.com/evp-dziz-xoh
7 мая в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: Татьяна Ивановна Тихонова, координатор ЛШЮП
Тема доклада: Летние школы юных программистов им. академика А.П. Ершова
Ссылка на дистанционное подключение
https://meet.google.com/heu-wqcb-bmw
16 апреля в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: к.ф.-м.н. Каминский Вячеслав Викторович, с.н.с. ИЯФ СО РАН
Тема доклада: СКИФы в Сибири или синхротронное излучение на службе человечества
В Новосибирске строится масштабная научная установка, мощнейший источник синхротронного излучения — Сибирский кольцевой источник фотонов (ЦКП СКИФ). Что такое синхротронное излучение и почему страны готовы тратить на установки СИ миллиарды? Вячеслав Каминский рассказывает, как СИ позволяет понимать космос, исследовать структуру мельчайших биологических объектов, узнавать химический состав веществ, разгадывать загадки археологии и излечивать людей от рака.
Ссылка на дистанционное подключение
https://meet.google.com/mtr-vkxx-djq
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
19 марта в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева СО РАН
Тема доклада: «Как была решена самая знаменитая математическая задача XX века (проблема континуума)»
Речь пойдет о булевозначной модели теории множеств. Это очень необычная модель с очень необычной логикой. В ней утверждение не обязано быть истинным или ложными может оказаться слегка истинным, изрядно ложным и т.п. Именно с помощью этой науки в свое время была успешно решена самая знаменитая математическая задача XX века - «Проблема континуума».
Ссылка на дистанционное подключение
https://meet.google.com/vue-ktxd-aam
5 марта в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчик: к.ф.-м.н. Дмитрий Николаевич Штокало
Тема доклада: «Использование подходов машинного обучения для воссоздания утраченной части костей черепа»
Исследования применения нейронных сетей в медицине значительно увеличились за последние пять лет, получив существенный скачок в пандемию коронавируса. Это было обусловлено необходимостью анализа большого числа данных о пациентах. Подходы машинного обучения используют как с целью поиска предсказания событий на основе анализа так называемых «больших данных», так и в сфере распознавание медицинских DICOM изображений. Нами был выбран гибридный подход по использованию обоих методов для восстановления утраченной поверхности костей черепа на трехмерной модели, основываясь на МСКТ данных головы пациента.
Ссылка на дистанционное подключение
https://meet.google.com/thu-fsbd-nfp
20 февраля в 11:00 в каб. 239 состоится деcятый методологический семинар ИСИ СО РАН.
Докладчик: Владимир Иванович Шелехов (Институт систем информатики СО РАН, Новосибирский государственный университет)
Тема доклада: «Автоматная модель научной деятельности»
Автоматная модель научной деятельности ориентирована на оптимизацию управления наукой и определяется как расширение автоматной модели произвольной деятельности. Рассматриваются связи по использованию результатов одной деятельности в другой. Для каждого вида деятельности определяется карта компетенций. Используется аппарат инженерии требований. Вводится новый тип данных: древесное множество. Анализируются особенности автономного вертикального управления наукой на базе лидерских групп в каждом направлении науки. Модель частично формализована.
Ключевые слова: наука, науковедение, автоматное программирование, система управления, инженерия требований, системная инженерия.
Ссылка на дистанционное подключение
https://meet.google.com/snk-tznr-gyr
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
5 декабря в 11:00 в каб. 239 состоится методологический семинар ИСИ СО РАН.
Докладчики: Серый Алексей Сергеевич, Чагина Полина Максимовна (лаб. ИИ)
Тема доклада: Создание датасетов для решения задач анализа аргументации на основе аннотированных текстов
Ссылка на дистанционное подключение
https://meet.google.com/wok-gcno-qyt
28 ноября в 11:00 в каб. 239 состоится четвертый методологический семинар ИСИ СО РАН.
Докладчик: к.и.н. Николай Алексеевич Старухин (научный сотрудник сектора археографии и источниковедения Института истории СО РАН)
Тема доклада: Полевые археографические исследования Института истории СО РАН во второй половине XX - начале XXI вв. (из истории организации и опыта работы).
С середины 1960-х годов на территории Сибири, Урала, Средней Азии были обнаружены ценные источники (всего на государственное хранение поставлено свыше 1,5 тысяч старопечатных и других малоизвестных изданий). Среди них — рукописный сборник XVI в. (Сибирский список), который содержит, в частности, наиболее полный комплекс источников по следственному делу Максима Грека; догматико-политические сочинения крестьян-старообрядцев XVIII—XIX вв. (значительная часть опубликована в издании «Духовная литература староверов Востока России XVIII–XX вв. и других.
Ссылка на дистанционное подключение
https://meet.google.com/vdv-vxjq-aar
21 ноября в 11:00 в каб. 239 состоится третий методологический семинар ИСИ СО РАН.
Докладчики: Н.О. Гаранина, И.С. Ануреев, Д.А. Кондратьев.
Тема доклада: Обзор международного четырнадцатого семинара "Семантика, спецификация и верификация программ: Теория и приложения" (PSSV-2023) и первого всероссийского соревнования по верификации моделей и дедуктивной верификации "VeHa-2023".
Аннотация: В докладе мы представим общее впечатление о семинаре PSSV и более подробно разберём несколько докладов, а также поделимся приобретённым опытом проведения онлайн-соревнований по формальной верификации.
Ссылка на дистанционное подключение
https://meet.google.com/zhx-gewk-mrc
14 ноября в 11:00 в каб. 239 состоится второй методологический семинар ИСИ СО РАН.
Докладчик: Пальянов Андрей Юрьевич, ИO зав. лабораторией системной динамики.
Тема доклада: "О сотрудничестве с Федеральным исследовательским центром фундаментальной и трансляционной медицины (ФИЦ ФТМ) в области биоинформатики: текущее состояние дел и перспективы".
Ссылка на дистанционное подключение
https://meet.google.com/edv-wish-xvz
На Учёном Совете 17.10.2023 было принято решение организовать общеинститутский семинар, который будет проходить по вторникам.
Первый семинар состоится 31 октября в 11.00, каб. 239.
Докладчик: Крайнева Ирина Александровна, лаборатория ИС.
Тема доклада: "Итоги VI Международной конференции «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ» SoRuCom-23".
Контактная информация для встречи в Google Meet https://meet.google.com/wzr-xarz-amd.