Заседания семинаров
Захарова Юлия Викторовна
Задачи теории расписаний с альтернативами выполнения работ: вычислительная сложность и методы решения.
Специальность 1.2.3 Теоретическая информатика, кибернетика
Диссертация на соискание учёной степени доктора физико-математических наук
Petr Vilím: OptalCP и Vilém Heinz: CTU in Prague, CIIRC
OptalCP: Constraint Programming with Parallel Search and Reinforcement Learning-Based Acceleration.
М. А. Зинченко
Некоторые замечания об интегральных категориях.
С. Б. Медведев (ФИЦ ИВТ)
Об интегральных инвариантах для неканонических гамильтоновых систем.
Аннотация
Будет рассказано об интегральных инвариантах неканонических скобок Пуассона для уравнений гидродинамического типа. Один класс инвариантов получается при применении теоремы Нетер для полевых гамильтоновых систем с неканонической скобкой Пуассона. Эти инварианты существуют для определенного вида гамильтонианов. Второй класс инвариантов (функционалы Казимира) полностью независим от вида гамильтониана и определяется только структурой скобки Пуассона. Будет показана связь законов сохранения со структурой скобки Пуассона, показан алгоритм для построения лагранжевых инвариантов.Денисюк В. А. (Новосибирский государственный университет)
О поведении решений некоторых классов систем нелинейных обыкновенных дифференциальных уравнений.
П. Е. Алаев
Абелевы группы, вычислимые за полиномиальное время. Часть 2.
М. Э. Иванов
Функторы со свойством подъема и группы виртуальных узлов (продолжение).
Аннотация
В докладе будет рассмотрена связь линейной и циклической упорядочиваемости групп с центральными расширениями. Мы обсудим группу виртуального узла, её периферическую подгруппу и роль второй группы гомологий. Основное внимание будет уделено доказательству того, что циклическая упорядочиваемость группы виртуального узла влечёт её линейную упорядочиваемость.Кузнецов Иван Владимирович (ИГиЛ, г. Новосибирск)
Обратные задачи для двумерной системы Буссинеска для несжимаемой вязкой жидкости с условиями, разрывными по времени.

