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

Заседания семинара проходят в Зале заседаний Ученого совета ИПС им. А.К. Айламазяна РАН. Приглашаются все желающие.

Заявки на доклады направляйте по электронной почте moc.l1714143996iamg@1714143996ranem1714143996isp1714143996

2018

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

2017

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

2016

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

2015

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

2014

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

2013

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