Заседания семинаров
Воронин А. Ф.
Усеченное уравнение Винера-Хопфа с вещественным символом.
Аннотация
В докладе будут представлены достаточные условия корректности (не известные ранее) усеченного уравнения Винера-Хопфа с вещественным символом. Эти условия были получены с помощью проведенного исследования задачи факторизации (векторной краевой задачи Римана-Гильберта), к которой свелось искомое уравнение.Даниил Русланович Лепетков (Тульский государственный университет)
Рассеяние звука телами сложной формы с полигональной поверхностью.
Аннотация
По материалам диссертации на соискание ученой степени кандидата физико-математических наукZoom
Г. К. Соколова (ИМ СО РАН, НГУ)
Аналитические методы исследования спектральных свойств циркулянтных графов (кандидатская диссертация).
Аннотация
В работе рассматриваются спектральные свойства семейств циркулянтных графов называемых графами с нефиксированными скачками сэндвич-графами и дискретными торами. В первой главе описывается структура характеристического полинома лапласиана циркулянтного графа с нефиксированными скачками в терминах полиномов Чебышёва исследуются его аналитические свойства. Для данных графов приводятся аналитические формулы подсчёта таких спектральных инвариантов как число корневых остовных лесов и индекс Кирхгофа указывается их асимптотическое поведение. Во второй главе приводится новая формула формы Смита сопровождающей матрицы суперпозиции двух полиномов над коммутативным кольцом. Данная форма применяется к установлению результата для конусов над сэндвич-графами аналогичного теореме Планса для узлов. Также в главе проводится конструктивное доказательство теоремы Плана для двухмостовых узлов. В третьей главе исследуется изоморфизм прямоугольных дискретных торов.И. Н. Юдин
Вычисление порядков точек в главном дереве самоподобного дендрита.
А. Ратушный, В. Акентьев, А. Турнаев, М. Водян
Recent progress in register allocation and instruction scheduling.
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами (продолжение).
А. М. Петренко
Реферат статьи: Maximilian P. L. Haslbeck, Tobias Nipkow "Hoare Logics for Time Bounds".
М. В. Подкорытов
Ассоциативные операторы Роты-Бакстера на алгебре Свидлера $H_4$.

