Информационное письмо

Работа Школы будет проходить в Конференц-зале ИПМ (Главный корпус 3-й этаж)
Регистрация участников произвоится в корпусе В комната 39 (Путь к корпусу В от м. Новослободская )

ПРОГРАММА

Вторник 17 апреля

10.00 - 10.30
Регистрация

10.30 - 10.45
Открытие

10.45 - 11.45
Сапоженко А. А.
Метод контейнеров

12.15 - 13.15
Кочергин В. В.
О сложности вычисления систем одночленов и систем целочисленных линейных форм

14.45 - 15.00
Баев В. В.
Эффективная проверка нижней границы алгебраической иммунности многочлена Жегалкина и ДНФ

15.00 - 15.15
Рудской В. И.
Оценка трудоемкости алгоритма Копперсмита-Томе построения линейных генераторов последовательностей матриц над конечными полями для случая поля GF(2)

15.15 - 15.30
Еникеев М. Н.
О специальном представлении графов в трехмерном евклидовом пространстве

15.30 - 15.45
Готманов А. Н.
Алгоритм линейной сложности для распознавания контактной бесповторности булевых функций по вектору значений.

15.45 - 16.00
Степанов П. С.
Средняя мощность схем из функциональных элементов

16.30 - 16.45
Вегнер Я. В.
Глубина приближенного вычисления гладких функций

16.45 - 17.00
Дайняк А. Б.
Некоторые вопросы, связанные с гипотезой Алона о числе независимых множеств

17.00 - 17.15
Воробьев Ф. Ю.
Улучшение нижних оценок порога k-выполнимости для небольших k.

17.15 - 17.30
Михайлец Е.В.
О ранге неявных представлений над классами монотонных функций k-значной логики

17.30 - 17.45
Ковалев Ф. М.
О подмножествах вершин булева куба, универсальных относительно проекций

Среда 18 апреля

10.00 - 11.30
Шевченко В. Н.
Триангуляции политопов, f-векторы и булевы функции

12.00 - 13.00
Косовский Н. К.
Итеративно укорачивающие алгоритмы, обеспечивающие верхние оценки сложности вычислений

14.30 - 14.45
Сидоров С. В.
Разбиение классов подобия матриц над полем рациональных чисел на классы подобия над кольцом целых чисел

14.45 - 15.00
Малышев Д. С.
Граничные классы для задачи о независимом множестве в классе планарных графов

15.00 - 15.15
Токарева Н. Н.
О верхней оценке числа равномерно упакованных двоичных кодов

15.15 - 15.30
Пузынина С. А.
Периодичность совершенных раскрасок радиуса r бесконечной прямоугольной решетки

16.00 - 16.15
Федорова В. С.
Сложность проблемы выполнимости для одного языка с функциональными булевыми переменными

16.15 - 16.30
Хадиев К. Р.
Приставимость языков двусторонними конечными автоматами.

16.30 - 16.45
Большакова Е. А.
О символах зоноэдральных параллелоэдров первого типа

16.45 - 17.00
Ильин И. А.
О единичных диагностических тестах для блочных контактных схем некоторого класса

Четверг 19 апреля

10.00 - 11.30
Шоломов Л. А.
Информационные свойства частично определенных и нечетких данных

12.00 - 13.00
Голубев Ю. Ф.
Нейронные сети в мехатронике

13.05 - 14.05
Вороненко А. А.
Метод жирных точек

15.30 - 15.45
Токарева Н. Н.
Иерархия классов бент-функций кратной нелинейности

15.45 - 16.00
Шипунов С. Г.
Об эффективной реализации функций, построенных по рекурсивной конструкции специального вида

16.00 - 16.15
Денисенко М. П.
О весовой функции бент-кодов

16.15 - 16.30
Ярыкина М. С.
Несуществование двоичных кодов, равномерно распределенных по шарам, почти всех мощностей

17.00 - 17.15
Алексеев Е. К.
О некоторых криптографических свойствах множества четных функций.

17.15 - 17.30
Мелузов А. С.
Оценка сложности применения символьных методов в криптоанализе алгоритма ГОСТ 28147-89

17.30 - 17.45
Лобанов М. С.
Нижняя оценка на нелинейность высокого порядка функции через значение ее алгебраической иммунности

17.45 - 18.00
Свинцицкий А. И.
Построение скрытого канала с помощью протокола маршрутизации RIP

Пятница 20 апреля

10.00 - 11.30
Романов А. М.
Методы построения нелинейных совершенных двоичных кодов

12.00 - 13.00
Зыков К. А.
О сложности схем из функциональных элементов в базисах, содержащих линейную функцию.

14.30 - 14.45
Черухина С. Е.
О сложности функций с "малым числом единиц" в классе КНФ

14.45 - 15.00
Черухин Д. Ю.
О многоярусных формулах

15.00 - 15.15
Сергеев И. С.
О глубине схем для многократного сложения и умножения чисел

15.15 - 15.30
Хелемендик Р. В.
О расширении типов игрового взаимодействия в языке игровых программ

15.30 - 15.45
Бурцев А. А.
О булевых схемах умножения многочленов в конечных полях нечетной характеристики

16.15 - 16.30
Ларионов В. Б.
О некоторых свойствах алгебр, содержащих подалгебру, изоморфную алгебре матриц

16.30 - 16.45
Кочкаров А. А.
Структурная динамика. Фрактальные графы и их свойства

16.45 - 17.00
Щербина В. Л.
Общий подход к проблеме эквивалентности программ на шкалах, связанных с обработкой прерываний

17.00 - 17.15
Бородина Ю. В.
О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов