Общеинститутский семинар ИПС им. А.К. Айламазяна РАН

Заявки на доклады направляйте по электронной почте

2018

15th February, 16:00
Павел Велихов и Сергей Виноградов из компании Prolabs., Заседание No. 60, Fabrique: система подготовки и эксплуатации моделей машинного обучения для автоматизации бизнес процессов

2017

30th November, 14:00
Антонина Николаевна Непейвода (ИПС им. А.К. Айламазяна РАН), Заседание No. 59, Применение уравнений в словах при преобразовании программ, оперирующих строками символов
16th November, 14:00
Андрей Петрович Немытых (ИПС им. А.К. Айламазяна РАН), Заседание No. 58, Уравнения в словах: некоторые понятия теории, примеры решения конкретных уравнений, простые алгоритмы решения некоторых классов уравнений.
30th October, 14:00
Ибрагимов Данис Наилевич (Московский авиационный институт), Заседание No. 57, Математическое моделирование и оптимизация по быстродействию линейных дискретных систем с ограничениями
26th October, 14:00
Даниил Андреевич Березун (Санкт-петербургский гос. университет, математико-механический факультет, кафедра системного программирования; Лаборатория языковых преобразований компании JetBrains), Заседание No. 56, Трассирующая нормализация
5th October, 14:00
Сергей Витальевич Знаменский (ИПС им. А.К. Айламазяна РАН), Заседание No. 55, Альтернативная модель сходства символьных строк
14th September, 14:00
Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН), Заседание No. 54, Системы с переполнениями и управление по переполнениям
7th September, 14:00
Сергей Давидович Мешвелиани (ИПС им. А.К. Айламазяна РАН), Заседание No. 53, О доказательной программе арифметики дробей для общего случая
26th April, 14:00
Сулимов Валерий Дмитриевич (МГТУ им. Н.Э. Баумана), Заседание No. 52, Разработка гибридных методов оптимизации собственных значений динамических систем
20th April, 14:00
Алексей Владимирович Подобряев (ИПС им. А.К. Айламазяна РАН), Заседание No. 51, Римановы задачи на группах движений поверхностей постоянной кривизны
23rd March, 14:00
Царьков Кирилл Александрович (ИПУ им. В.А. Трапезникова РАН), Заседание No. 50, Математическое моделирование и оптимизация квазилинейных динамических стохастических систем диффузионного типа, нелинейных по управлению
19th January, 14:00
Вера Алексеевна Маркашева (Италия, Болонский Университет, факультет математики), Заседание No. 49, Уравнения Гамильтона-Якоби и уравнения диффузии на группах Ли, в метрических пространствах и однородных пространствах и их применение в нейровидении

2016

6th December, 14:00
Сергей Давидович Мешвелиани (ИПС им. А.К. Айламазяна РАН), Заседание No. 48, Опытная проверка возможностей эволюции на примере машин Тьюринга
25th November, 11:00
Анастасия Сергеевна Халина (ИПУ РАН), Заседание No. 47, Обработка и анализ последовательностей видеоизображений в задаче навигации беспилотных летательных аппаратов
10th November, 13:00
Дмитрий Николаевич Степанов (ИПС им. А.К. Айламазяна РАН), Заседание No. 46, Обработка и анализ последовательностей видеоизображений в задаче навигации беспилотных летательных аппаратов
9th September, 13:00
Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН), Заседание No. 45, О взаимосвязи между локальностью в системах и прямоточными вычислениями
2nd September, 9:00
Понизовкин Денис Михайлович (ИПС им. А.К. Айламазяна РАН), Заседание No. 44, Исследование двумерных моделей рекомендательных систем и разработка контентной модели как эффективного расширения двумерной
10th June, 13:00
Валерий Афтахович Юмагужин (ИПС им. А.К. Айламазяна РАН), Заседание No. 43, Дифференциальные инварианты и точные решения систем уравнений Эйнштейна и Эйнштейна-Максвелла
27th May, 14:00
Алексей Павлович Маштаков (ИПС им. А.К. Айламазяна РАН), Заседание No. 42, Субримановы геодезические на группах Ли в обработке изображений
20th May, 13:00
Сергей Александрович Гречаник (ИПМ им. М.В. Келдыша РАН), Заседание No. 41, Доказательство свойств функциональных программ методом насыщения равенствами
21st April, 14:00
Иван Андреевич Сукин (ИПС им. А.К. Айламазяна РАН), Заседание No. 40, Множества реализуемых режимов термодинамических систем разделения и теплообмена

2015

27th November, 13:00
Сметанин Юрий Михайлович (Ижевск, УдГУ), Заседание No. 39, Неклассическое непарадоксальное логическое следствие как инструмент анализа надёжности устройств и аристотелевой силлогистики
6th November, 13:00
Анатолий Михайлович Цирлин (ИПС им. А.К. Айламазяна РАН), Заседание No. 38, Скользящие режимы для обыкновенных дифференциальных уравнений и методы усредненной оптимизации
16th October, 13:00
Сергей Давидович Мешвелиани (ИПС им. А.К. Айламазяна РАН), Заседание No. 37, Подход конструктивной математики и зависимых типов в программировании алгебры
9th October, 13:00
Знаменский Сергей Витальевич (ИПС им. А.К. Айламазяна РАН), Заседание No. 36, Фреймворк доверия в задаче близости символьных строк
2nd October, 13:00
Андрей Петрович Немытых (ИПС им. А.К. Айламазяна РАН), Заседание No. 35, P vs. NP (элементарные понятия проблемы перебора)
24th July, 14:00
Артем Олегович Шелманов (ИСА ФИЦ ИУ РАН), Заседание No. 34, Исследование методов автоматического анализа текстов и разработка интегрированной системы семантико-синтаксического анализа
26th June, 9:00
Ровнягин Михаил Михайлович (НИЯУ МИФИ), Заседание No. 33, Методы и средства решения задач поиска и защищенного хранения данных с применением гибридных вычислительных технологий
19th June, 13:00
Иван Юрьевич Бесчастный (ИПС им. А.К. Айламазяна РАН), Заседание No. 32, Субриманова геометрия на группе SO(3) и её приложения
19th June, 8:00
Андрей Андреевич Ардентов (ИПС им. А.К. Айламазяна РАН), Заседание No. 31, Моделирование управления колёсными роботами
13th May, 14:00
Алексей Владимирович Подобряев (ИПС им. А.К. Айламазяна РАН), Заседание No. 30, Риманова задача на группе SO(3) в случае Лагранжа
21st April, 14:00
Бритвина Екатерина Васильевна, Заседание No. 29, Исследование и разработка алгоритмов рекомендательных систем на основе графовых моделей данных
10th March, 14:00
Алексей Павлович Маштаков (Eindhoven University of Technology, Netherlands), Заседание No. 28, Субримановы задачи на трехмерных группах Ли с приложением к обработке фотографий сетчатки глаза
30th January, 13:00
Анатолий Михайлович Цирлин (ИПС им. А.К. Айламазяна РАН), Заседание No. 27, Оптимизационная термодинамика. Задачи, методология, результаты

2014

17th December, 14:00
Артур Юрьевич Евстефеев (МГУ им. М.В. Ломоносова, механико-математический факультет), Заседание No. 26, Свойство сферы в нильпотентной субримановой задаче
7th November, 14:00
Чернов Евгений Александрович (Московский государственный университет пищевой промышленности), Заседание No. 25, Методы сжатия информации в пищевой и химической промышленности
31st October, 13:00
Сергей Витальевич Знаменский (ИПС им. А.К. Айламазяна РАН), Заседание No. 24, Проблема повышения качества алгоритмов выделения различий в текстовых файлах
23rd October, 14:00
Рогожников Алексей Михайлович (МГУ им. М.В. Ломоносова, факультет вычислительной математики и кибернетики), Заседание No. 23, Решение смешанных задач и оптимизация граничных управлений для продольных колебаний составного стержня
10th October, 13:00
Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН), Заседание No. 22, Брауэровы системы представления чисел: алгоритмические и сложностные аспекты
7th October, 14:00
Николай Станиславович Курдюков (Рязанский государственный радиотехнический университет), Заседание No. 21, Математическое и программное обеспечение интеллектуальных сервис-ориентированных систем на основе использования языков дескриптивной логики
19th September, 13:00
Александр Валерьевич Медведев (Университет Масарика, Брно, Чехия), Заседание No. 20, Применение связностей Картана для решения проблемы классификации геометрических структур
10th September, 14:00
Zhengmeng Jin (Нанкинский университет почты и телекоммуникаций, Нанкин, Китай), Image Processing Based on Calculus of Variation and Partial Differential Equations
9th September, 14:00
Xiaoping Yang (Нанкинский университет науки и технологии, Нанкин, Китай), The sub-Riemnanian objects: from geodesics to minimal surfaces
22nd July, 14:00
Ю. Л. Сачков (ИПС им. А.К. Айламазяна РАН), Заседание No. 17, Интегрируемость свободных нильпотентных субримановых геометрий
30th June, 14:00
Д. В. Алексеевский, Заседание No. 16, Конформная геометрия, группа Mебиуса и гиперколонки примарной зрительной коры V1
25th June, 14:00
Ю. Л. Сачков, В. П. Фраленко (ИПС им. А.К. Айламазяна РАН), Заседание No. 15, Восстановление поврежденных изображений
20th June, 13:00
Piotr Mormul (University of Warsaw, Warsaw, Poland) , Local nilpotentizability of vector distributions. The case study of car+trailers' kinematical systems
16th May, 13:00
А. О. Ремизов (Эколь Политекник, Франция), Заседание No. 13, Восстановление изображений с помощью гипоэллиптической диффузии и других методов
25th April, 10:00
Л. В. Локуциевский (МГУ, механико-математический факультет), Заседание No. 12, Хаотическая структура оптимального синтеза в задачах, аффинных по многомерному управлению
9th April, 14:00
К. В. Швачко (Chief Architect at WANDisco. Big Data products. Working on Hadoop and Giraffa), Заседание No. 11, Обзор масштабируемой системы распределенных вычислений Hadoop.
14th March, 13:00
А. А. Дегтярев (Южный федеральный университет, г. Таганрог), Заседание No. 10, Разработка метода построения программных средств гидроакустических информационных систем на основе конфигурирования функциональности
28th February, 13:00
С. П. Ковалёв (ИПУ РАН) , Заседание No. 9, Теоретико-категорные модели и методы проектирования больших информационно-управляющих систем
24th January, 13:00
А. Ю. Сапаров (УдГУ, Ижевск) , Заседание No. 8, Распознавание рукописных математических формул

2013

6th December, 14:00
П. Г. Айткулов (Huawei Research), Заседание No. 7, О динамических суффиксных структурах данных
22nd November, 14:00
К. С. Пан (ЮУрГУ), Заседание No. 6, Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом
1st November, 14:00
А.А. Егорычев , Заседание No. 5, Математическое и программное обеспечение информационных технологий мониторинга качества образовательного процесса
1st November, 14:00
Е.М. Патрикеев, Заседание No. 5, Алгоритмы построения соответствия изображений
4th October, 13:00
М.Н. Вялый (ВЦ РАН, Москва) , Заседание No. 4, Эффективные квантовые алгоритмы: краткое введение
10th September, 14:00
С. А. Кучеров (аспирант каф. САиТ ЮФУ) , Заседание No. 3, Разработка и исследование моделей и метода проектирования структурно- независимых баз данных для конфигурируемых информационных систем
3rd September, 14:00
Philippe Jouan (LMRS, CNRS UMR 6085, Universite de Rouen, Rouen, France), Linear Systems on Lie Groups and Homogeneous Spaces
12th August, 14:00
А.Н. Печень (Математический институт им. В.А. Стеклова РАН, Москва) , Заседание No. 1, Управление квантовыми системами