Все семинары
Во вторник 14 января в 14.30 состоится заседание N 1008 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Метелица Елена Анатольевна
Тема: Автоматизация распараллеливания программ со сложными информационными зависимостями (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В работе представлены методы ускорения гнезд программных циклов итерационного типа. Используются сочетания сложных преобразований программ, включая скашивание, тайлинг, волновой фронт, вынос инвариантов, линеаризация выражений, перестановка неканонических циклов и др. На некоторых прикладных задачах достигается ускорение в 20 раз. Предложен метод определения оптимальных размеров тайла, который отличается от методов разработчиков известной распараллеливающей системы PLUTO и дает ускорение до 40%. Предлагается диалоговый режим оптимизации и распараллеливания програм, который может позволить распараллеливать такие программы, которые нельзя распараллелить автоматически.
24 декабря в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: Дарья Сергеевна Иванова (Шитина), магистрант НГУ, сотрудник Института
экономики и организации промышленного производства СО РАН
Тема доклада: «Публичные конфликты в Новосибирском Академгородке: представления
участников о справедливости и перспективы их сближения»
Доклад посвящен изучению текстов, порожденных в ходе или после публично обсуждаемых в СМИ конфликтов на территории Новосибирского Академгородка. СМИ освещали повестки этих социальных столкновений, состав участников, их критику и оправдание. Автор оценил позиции участников конфликтов, выявляя, какие представления о справедливости они декларируют. В исследовании использован инструментарий социологии критической способности (концепты триггеров, триггерных ситуаций и критического эпизода). Произведена оценка потенциала этого инструментария в раскрытии публичных конфликтов.
Ссылка на трансляцию: https://meet.google.com/vsn-yyjm-axo
Во вторник 24 декабря в 14.30 состоится заседание N 1007 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Т.М. Кравченко
Тема: Исследование методов формирования корпусов данных и обнаружения фейков на основе аргументации
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 19 декабря 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Екатерина Тотмина (НГУ)
Тема: Создание многозадачной унифицированной нейронной сети типа ERNIE 3 для анализа и генерации русскоязычных текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 5 декабря 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Лидия Васильевна Городняя
Тема: Как повысить продуктивность анализа и реализации языков программирования
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 10 декабря в 14.30 состоится заседание N 1006 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов).
Докладчик: Д.В. Андреев
Тема: Поиск рекомбинантных последовательностей в наборе вирусных геномов: алгоритм 3SEQ
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
10 декабря в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: с.н.с. Лаборатории информационных систем ИСИ СО РАН к.ф.-м.н. Лидия Васильевна Городняя
Тема доклада: «Сравнение языков программирования»
Мощность непрерывно развивающегося пространства языков программирования давно перевалила за десятки тысяч. Для успешной навигации в таком пространстве нужны ясные методы анализа и сравнения языков программирования, позволяющие для решения конкретных задач выбирать наиболее подходящие языки, оценивать их сильные и слабые стороны, прогнозировать их продуктивность и производительность. Если рассматривать языки программирования как представление знаний о практике программирования, то это удобный материал для исследования закономерностей динамики знания и профессиональной деятельности. Исследование отличий между языками поможет формализовать свойства разрабатываемых с их помощью программ, обосновывать поиск новых языков, отвечающих вызовам современных сфер применения ИТ. Результаты таких исследований могут дать понимание текущих трендов в разработке и применении программного обеспечения, предсказать, какие, возможно мало известные или вновь создаваемые, языки будут популярны в будущем, принимать более обоснованные решения по созданию новых языков.
В последние годы резко возрос интерес к сравнению языков программирования, появилось много статей на эту тему. Доступны ресурсы со списками или графами, структурированными по разным критериям, таким как история, наследование, категории, особенности синтаксиса, наличие компиляторов, сфера применения, опорная лексика и другое. Всё это показывает результаты выделения основных проекций из пространства языков программирования на примере небольшого подмножества наиболее известных языков, обычно 100-200. В онтологии истории программирования представлены языки АЛЬФА, СИГМА, система БЕТА и ещё примерно 70 языков, созданных в нашей стране. В списках учебных языков и неанглийских языков упоминаются РОБИК и РАПИРА.
Основные методы сравнения языков программирования пока сводятся к анализу синтаксиса и семантики языков, включая правила написания кода, структуры данных и использования операторов, функций или выражений. Такое сравнение обычно дополняется непосредственно измеримыми характеристиками типа скорость выполнения программ или объем памяти и других ресурсов. Нередко оценивается сложность языка для изучения новичками, наличие документации, часто слишком объёмной, и доступность обучающих материалов и бенчмарков для программистских экспериментов. Далее идёт неформальный учёт поддержанных парадигм программирования (примерно 3-10 из 20-70, упоминаемых в разных источниках), наследования идей из других языков, сферы влияния и применения языка, обычно без конкретных данных, показывающих достоверность деклараций такого рода. Кроме того, отмечается ряд важных классификационных критериев, отражающих особенности прагматики языка, способы обработки и хранения данных, их влияние на разработку программ, уровень абстракции понятий языка, особенности тестирования и отладки программ и достижимость надежности и безопасности эксплуатации программ. Проблемой является выбор параметров и формализмов, допускающих ясную классификацию языков программирования, достаточную для навигации в полном пространстве языков и систем программирования.
Ссылка на трансляцию: https://meet.google.com/qud-gfje-nyx
В четверг 28 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Николаев Иван Евгеньевич (Челябинский государственный университет)
Тема: Методы и алгоритмы интеллектуальной поддержки формирования требований вакансии на основе нейросетевых моделей языка и актуальных требований рынка труда (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
26 ноября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: зав. Лабораторией искусственного интеллекта ИСИ СО РАН к.т.н. Юрий
Алексеевич Загорулько
Тема доклада: «Феномен А.С. Нариньяни. Страницы научной биографии»»
Ссылка на подключение к семинару
Александр Семенович Нариньяни (02.11.1937 – 26.04.2010) – один из ведущих советских и российских учёных в области искусственного интеллекта, действительный член Российской Академии Естественных Наук, автор более 200 научных работ. Область научных интересов А.С. Нариньяни была весьма обширной – параллельные вычисления, представление знаний, интеллектуальные технологии, компьютерная лингвистика, программирование в ограничениях.
В 1973 г. в ВЦ СО АН СССР под руководством А.С. Нариньяни была создана научно-исследовательская группа по искусственному интеллекту, преобразованная в 1978 г. в лабораторию. С 1988 г. – он стал генеральным директором государственной научной фирмы «Интеллектуальные Технологии» (Москва — Новосибирск). С 1992 г. по 2002 г. возглавлял созданный по его инициативе Российский НИИ искусственного интеллекта в Москве. С 2003 г. по 2010 г. был генеральным директором научной фирмы "ИнтеллиТек", которая занималась разработкой и внедрением интеллектуальных технологий.
Александр Семёнович Нариньяни — необыкновенно харизматичный, творческий и обаятельный человек, человек энциклопедических знаний, патриот, прекрасный собеседник, оратор, способный увлечь своими идеями и повести людей за собой, юморист и душа компании.
Во вторник 26 ноября в 14.30 состоится заседание N 1005 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Д.В. Андреев
Тема: Сложность задачи на построение расписаний для выполнения параллельных программ с условными конструкциями
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 21 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Гафурова Полина Олеговна (Научно исследовательский центр «Курчатовский институт»)
Тема: Семантические методы и инструменты фабрики метаданных цифровой математической библиотеки (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 14 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Прокопьев Николай Аркадиевич (Казанский (Приволжский) федеральный университет)
Тема: Прагматически-ориентированные модели и методы обработки естественно-языковых вопросно-ответных текстов (кандидатская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
12 ноября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: заместитель директора ИВМиМГ СО РАН по научной работе,
д.ф.-м.н. Алексей Владимирович Пененко
Тема доклада: «Методы математического моделирования для цифрового
мониторинга и прогнозирования экологической обстановки Байкальской природной
территории»
Задачи исследования Байкальского региона требуют разработки эффективных систем математического моделирования, совмещающих разнообразные математически модели и разнородные данные наблюдений. В работе представлены алгоритмы, позволяющие решать задачи обратного моделирования, включая задачи идентификации источников загрязнений и задачи усвоения данных. Особый интерес представляют алгоритмы, совмещающие более традиционные модель-ориентированные подходы с методами машинного обучения.
Ссылка на трансляцию: https://meet.google.com/uwq-wpeh-osb
В четверг 7 ноября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Кондратьев Дмитрий
Тема: Формальная верификация нейронных сетей
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
Во вторник 12 ноября в 14.30 состоится заседание N 1004 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: А.А. Линке
Тема: Разработка 3D модели виртуального организма в среде Unigine и её
обучение перемещению при помощи искусственных нейронных сетей.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 31 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Сидорова Елена Анатольевна
Тема: Экспертное сопровождение систем интеллектуального анализа текстов
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
29 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.и.н. Ирина Александровна Крайнева, ИСИ СО РАН
Тема доклада: «Озеро, люди и государство: судьба Байкала»
Озеру Байкал 25 миллионов лет. Это самое глубокое озеро на Земле хранит 80% от запасов пресной воды бывшего СССР и 20% ее запасов всего мира. За миллионы лет изоляции в Байкале сформировалась уникальная экосистема. В 1996 году Байкал включен в список объектов всемирного природного наследия ЮНЕСКО. В озере и его окрестностях обитает более 1800 эндемичных животных и растений. Сегодня озеро в опасности из-за недостаточной изученности, браконьерства, загрязнения окружающей среды, изменения климата и законодательства.
Ссылка на трансляцию: https://meet.google.com/hht-ftic-uwt
Во вторник 29 октября в 14.30 состоится заседание N 1003 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: В.В. Титова
Тема: Редуцирующие конкретизации в кроссплатформенном компиляторе Cloud Sisal.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 17 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Серый Алексей Сергеевич
Тема: Применение генеративных нейронных сетей для извлечения аргументативных отношений из текстов научной коммуникации
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
15 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Объектно-ориентированные данные как префиксные переписывающие системы»
Излагается подход к представлению и анализу объектно-ориентированных данных посредством детерминированных переписывающих систем — таких систем, в которых нет правил вида X→Y и X→Z с разными Y и Z и, кроме того, переписыванию подлежат только самые длинные префиксы слов. Посредством таких систем определяются и исследуются аналоги основных понятий, связанных с объектно-ориентированными системами данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и согласованность, концептуальные схемы, типы и подтипы и др. Это уже довольно развитая теория (включающая десятки теорем и алгоритмов), но очень молодая, нуждающаяся в развитии и предлагающая естественные открытые вопросы.
Ссылка на трансляцию: https://meet.google.com/xkv-bcyn-omp
Во вторник 15 октября в 14.30 состоится заседание N 1002 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н.Касьянов).
Докладчик: Ф.Н. Жарков
Тема: Разработка программного обеспечения МООК «Тренажер по углубленному изучению языка SQL»: серверная часть
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
В четверг 10 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Рамазанова Валия Сапкиреевна (Евразийский национальный университет им. Л.Н. Гумилева, г. Астана, РК)
Тема: Улучшение качества кластеризации навыков ИТ-вакансий с помощью тонкой настройки модели sentence transformer
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
В четверг 3 октября 2024 г. пройдет Объединенный семинар "Интеллектуальные системы" и "Системное программирование" ИСИ СО РАН и кафедры программирования НГУ (Руководители: д.ф.-м.н. Марчук А.Г., к.т.н. Загорулько Ю.А., к.ф.-м.н. Бульонков М.А.). Начало в 10:00. Место проведения: к. 254 ИСИ СО РАН.
Докладчик: Коробко Анна Владимировна
Тема: Технология информационно-аналитической поддержки принятия решений на основе федерализации разнородной информации в концепции многомерного представления данных (докторская диссертация)
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Внимание! Выставление зачета аспирантам и студентам - на основании ОЧНОГО посещения семинара.
1 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Нестандартная теория множеств» или «Анализ бесконечно малых возвращается»
Интеллектуально насыщенный рассказ о математических злоключениях на пути к современной формализации понятия бесконечно малого числа.
Ссылка на трансляцию: https://meet.google.com/iqv-wmpy-eoy