Объединенный семинар "Конструирование и оптимизация программ"
Во вторник 23 апреля в 14.30 состоится заседание № 998 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: А.С. Матвеева
Тема: Графы знаний. RDF представление графов знаний
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 16 апреля в 14.30 состоится заседание № 997 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Д.С. Пушкарев
Тема: Реферат статьи M. Fox.«On Formally Undecidable Traits of Intelligent Machines»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 9 апреля в 14.30 состоится заседание № 996 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: С.Е. Зинченко
Тема:«Оптимизация запросов в СУБД с помощью подсказок»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 2 апреля в 14.30 состоится заседание № 995 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Р.О. Запанов
Тема:«Оптимизация емкостных и временных характеристик системы управления легковесными потоками»
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 26 марта 2024 г. состоится заседание № 994 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Титова В.В.
Тема: Реферат статьи "Б.Я. Штейнберг, О.Б. Штейнберг. Преобразования программ - фундаментальная основа создания оптимизирующих распараллеливающих компиляторов"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 19 марта 2024 г. состоится заседание № 993 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Павлов М.В.
Тема: Что такое YOLO, принцип его работы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 12 марта 2024 г. состоится заседание № 992 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Осицын Д.А.
Тема: Семантическая сегментация, основные принципы
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 5 марта 2024 г. состоится заседание № 991 Объединенного семинара "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (Руководитель: д.ф.-м.н, профессор В.Н. Касьянов). Начало в 14:30.
Докладчик: Артемьев А.М.
Тема: Технология eBPF
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Во вторник 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"
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
16 февраля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30
Докладчик: Т.А. Золотухин
Тема: "Автоматизация тестирования для клиент-серверных приложений"
Чтобы принять участие в семинаре, необходимо перейти по ссылке https://zoom.us/j/94798663794?pwd=S1o5K1JOczVIRFFjcFJLY1dnbzFEUT09
Идентификатор конференции Zoom: 947 9866 3794 Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
6 октября пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.
Докладчик: Д.А. Кондратьев
Тема: "Обзор языков спецификаций, применимых для аннотирования Cloud Sisal программ"
Чтобы принять участие в семинаре, необходимо перейти по ссылке https://zoom.us/j/95572827842?pwd=SHk5eEFMV2Zmd3lnZ3luZkpPRUp3Zz09
Идентификатор конференции Zoom: 955 7282 7842. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
12 мая пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор В.Н.Касьянов). Начало в 14:30.
Докладчик: Л.Б. Анисютин
Тема: Усовершенствование модели для построения эмбеддингов слов на основе глубокого обучения ELMO.
Идентификатор конференции Zoom: 81-4003-1400. Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
28 апреля пройдет объединенный семинар "Конструирование и оптимизация программ" ИСИ СО РАН и НГУ (руководитель - д.ф.-м.н, профессор Касьянов В.Н.). Начало в 14:30.
Докладчик: Д.А. Кондратьев
Тема: Аксиоматическая семантика языка Cloud Sisal Kernel.
Чтобы принять участие в семинаре, необходимо перейти по ссылке.
Идентификатор конференции Zoom: 930 5296 3931
Пароль участники семинара могут получить у В.Н. Касьянова по электронной почте.
Во вторник 1 октября пройдет объединенный семинар «Конструирование и оптимизация программ» ИСИ СО РАН и НГУ (руководитель - проф. В.Н. Касьянов). Начало в 14:30, ком. 254 ИСИ.
Докладчик: Л.В. Городняя.
Тема: Методика парадигмального анализа языков и систем программирования.