 |
16 июня, понедельник
| 09.00-18:00 | Ауд. 902 | Регистрация участников |
17 июня, вторник
| 09.00-10:00 | Ауд. 109 | Регистрация участников | | 09.50-10:00 | Ауд. 109 | Открытие конференции |
Пленарные доклады (аудитория 109)
| 10:00-11:00 | Евдокимов А.А. Проблема "Змея в ящике": современное состояние, обобщения, приложения | | 11:00-12:00 | Алексеев В.Б. О некоторых результатах в алгебраической теории сложности | | 12:00-13:00 | Латыпов Р.Х. Исследования по информационной безопасности в Казанском университете | | 13:00-14:30 | Обед |
Секция "Синтез, надежность, контроль управляющих систем, сложность алгоритмов" (ауд. 109, председатель Ложкин С.А.)
Секция посвящается памяти Нигматуллина Р.Г.
| 14:30-14:45 | Алехина Марина Анатольевна, Барсукова Оксана Юрьевна
Синтез надежных схем в Р3 | | 14:45-15:00 | Васильев Александр Валерьевич.
Квантовые коммуникационные вычисления на основе квантового хеширования | | 15:00-15:15 | Габбасов Булат Нилович.
О сравнительных характеристиках моделей квантовых алгоритмов Гровера -- алгоритма точного и алгоритма с ошибками | | 15:15-15:30 | Зиятдинов Мансур Тагирович.
Об одной конструкции квантовой хеш-функции. Алгебраический подход | | 15:30-15:45 | Лещёв Алексей Николаевич.
Вычислительные возможности односторонних машин Тюринга с сублогарифмическими ограничениями на память | | 15:45-16:00 | Селезнева Светлана Николаевна.
О мультипликативной сложности некоторых булевых функций | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Селезнева Светлана Николаевна, Башов Максим Александрович.
Порядок функции Шеннона длины функций k-значной логики в классе полиномиальных нормальных форм по модулю k | | 16:45-17:00 | Морозов Евгений Валерьевич.
О тестах для булевых функциях относительно монотонных симметрических слипаний переменных | | 17:00-17:15 | Федичкин Л.Е., Мельников А.А.
Влияние шума на квантовые блуждания по графам | | 17:15-17:30 | Хадиев Камиль Равилевич.
Иерархия классов булевых функций, представимых в детерминированных и недетерминированный моделях OBDD ветвящихся программ по параметру ширины | | 17:30-17:45 | Гайнутдинова А.Ф.
Вычислительные возможности квантовых и классических OBDD | | 17:45-18:00 | Марченко А.А.
Сложность реализации некоторых классов бент-функций в модели упорядоченных один раз читающих ветвящихся программ |
Секция "Теория графов, комбинаторика, теория кодирования. Функциональные системы, автоматы, языки" (ауд. 216, председатель Евдокимов А.А.)
| 14:30-14:45 | Шевченко Валерий Николаевич
Мебиусовы алгебры, связанные с задачами линейного программирования | | 14:45-15:00 | Бондаренко Леонид Николаевич, Шарапова Марина Леонидовна.
Статистики спусков и средних на множествах слов | | 15:00-15:15 | Захарова Дарья Владимировна.
Задача редактирования для симметрических линейных пространств графов | | 15:15-15:30 | Колпаков Роман Максимович.
О числе максимальных повторов и субпериодичностей в формальных словах | | 15:30-15:45 | Колчин Андрей Валентинович.
Применение вероятностного метода к изучению разбиений целого числа на слагаемые | | 15:45-16:00 | Лавренченко Сергей Александрович, Щиканов Алексей Юрьевич.
Оценки числа неизоморфных комплексов заданного вида | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Саргсян Ваге Гнелович.
Асимптотика логарифма числа множеств, свободных от решений линейных уравнений, в абелевой группе | | 16:45-17:00 | Магомедов Абдулкарим Магомедович.
(6,3)-бирегулярные графы, не раскрашиваемые интервально 6 цветами | | 17:00-17:15 | Дудакова Ольга Сергеевна.
О порождающих системах в классах монотонных функций | | 17:15-17:30 | Захаров Владимир Анатольевич.
Об эквивалентности ограниченно недетерминированных автоматов-преобразователей над полугруппами | | 17:30-17:45 | Подымов Владислав Васильевич.
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами | | 17:45-18:00 | Подолько Дмитрий Константинович.
О мощности некоторых семейств классов функций многозначной логики, замкнутых относительно расширенной суперпозиции | | 18:00-18:15 | Новикова Татьяна Анатольевна.
О сложности задачи решения линейных уравнений над конечными подстановками | | 18:15-18:30 | Костенко Константин Иванович.
Сравнение формализмов знаний |
Секция "Интеллектуальный анализ данных, исследование операций, оптимальное управление" (ауд. 218, председатель Майсурадзе А.И.)
| 14:30-14:45 | Семенов Владимир Ильич, Шурбин А.К., Желтов П.В.
Применение вейвлет-преобразования для определения средних размеров объектов на изображении | | 14:45-15:00 | Андрианова Анастасия Александровна, Коннов Игорь Васильевич.
Метод ветвей и границ для задачи вогнутого программирования | | 15:00-15:15 | Гостев Максимилиан Вадимович, Хабибуллин Рустем Фарукович.
Об одной задаче оптимального выбора пропускных способностей каналов транспортных сетей | | 15:15-15:30 | Заботин Игорь Ярославич, Яруллин Рашид Саматович.
Метод отсечений с аппроксимацией надграфика и оценка точности решения | | 15:30-15:45 | Зорин Андрей Владимирович.
Кибернетическая модель циклического управления конфликтными потоками с последействием. | | 15:45-16:00 | Коннов Игорь Васильевич.
Аукционный принцип распределения сетевых ресурсов | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Кудрявцев Евгений Владимирович, Федоткин Михаил Андреевич.
Кибернетический подход к изучению вероятностной модели адаптивного управления конфликтными потоками | | 16:45-17:00 | Фазылов Валерий Рауфович, Андрианова А.А., Мухтарова Т.М.
Модель задачи негильотинного размещения набора прямоугольников на полуполосе. | | 17:00-17:15 | Федоткин Михаил Андреевич, Рачинская Мария Анатольевна.
Подход Ляпунова-Яблонского при построении и исследовании модели управляющих систем обслуживания конфликтных потоков | | 17:15-17:30 | Кашуба Алексей Юрьевич.
Оценка алгоритмов распределения ресурсов в когнитивных системах связи с зональными аукционами |
18 июня, среда
Пленарные доклады (аудитория 109, председатель Алексеев В.Б.)
| 10:00-11:00 | Ложкин С.А., Власов Н.В. О сложности реализации функций мультиплексорного типа в некоторых классах схем | | 11:00-12:00 | Чашкин А.В. Линейное хеширование | | 12:00-13:00 | Аблаев Ф.М. Квантовое хеширование | | 13:00-14:30 | Обед |
Секция "Синтез, надежность, контроль управляющих систем, сложность алгоритмов" (ауд. 109, председатель Алехина М.А.)
| 14:30-14:45 | Лысиков Владимир Владимирович.
О билинейных отображениях малого ранга | | 14:45-15:00 | Алексеев Валерий Борисович.
О билинейной сложности умножения матриц размеров 5х2 и 2х2 | | 15:00-15:15 | Ложкин Сергей Андреевич, Шуплецов Михаил Сергеевич.
О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью | | 15:15-15:30 | Чашкин Александр Викторович.
Вычисление булевых функций с распределением Бернулли на области определения | | 15:30-15:45 | Шуплецов Михаил Сергеевич, Кулешов О.В.
О динамической активности схем из функциональных элементов, реализующих мультиплексорную функцию | | 15:45-16:00 | Бородина Юлия Владиславовна.
Нижняя оценка длины полного проверяющего теста в базисе {|} | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Попков Кирилл Андреевич.
О проверяющих и диагностических тестах для функциональных элементов | | 16:45-17:00 | Коноводов Владимир Александрович.
Некоторые особенности задачи синтеза булевых формул в полных базисах с прямыми и итеративными переменными |
Секция "Теория графов, комбинаторика, теория кодирования. Функциональные системы, автоматы, языки" (ауд. 216, председатель Захаров В.А.)
| 14:30-14:45 | Евдокимов Александр Андреевич, Федоряева Татьяна Ивановна.
О графическом разнообразии шаров | | 14:45-15:00 | Замараева Елена Михайловна.
О мощности и структуре разрешающих множеств k-пороговых функций | | 15:00-15:15 | Иорданский Михаил Анатольевич.
Избыточность конструктивных описаний графов | | 15:15-15:30 | Мартынов Игорь Михайлович.
О распределении нетерминалов в словах, порождаемых деревьями вывода фиксированной высоты | | 15:30-15:45 | Мокеев Дмитрий Борисович.
Кёниговы графы относительно 4-пути | | 15:45-16:00 | Малышев Дмитрий Сергеевич.
О сложности задач о раскраске для наследственных классов с запретами небольшого размера | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Семенов Александр Анатольевич, Кочемазов Степан Евгеньевич, Фисенко Дмитрий Леонидович.
Вычислительное исследование дискретных моделей конформного поведения | | 16:45-17:00 | Молчанов Андрей Эрикович.
Сводимость проблемы эквивалентности в специального вида алгебраических моделях программ с процедурами | | 17:00-17:15 | Рубцов Александр Александрович.
Исследование задачи регулярной реализуемости для контекстно-свободных языков | | 17:15-17:30 | Казимиров Алексей Сергеевич, Пантелеев Владимир Иннокентьевич, Токарева Л.В.
О базисах клона всех гиперфункций ранга 2 | | 17:30-17:45 | Подловченко Римма Ивановна (предст. Захаров Владимир Анатольевич).
О проблеме эквивалентности и проблеме эквивалентных преобразований в двухпараметрических алгебраических моделях программ | | 17:45-18:00 | Эминов Булат Фаридович.
Представление автоматных марковских моделей на основе укрупнения цепей Маркова. | | 18:00-18:15 | Мещанинов Дмитрий Германович, Мамонтов Андрей Игоревич.
Алгоритмические задачи, связанные с полнотой в функциональной системе L(Z) |
Секция "Интеллектуальный анализ данных, исследование операций, оптимальное управление" (ауд. 218, председатель Федоткин М.А.)
| 14:30-14:45 | Майсурадзе Арчил Ивериевич.
Обучение линейной комбинации метрик на конечной выборке | | 14:45-15:00 | Melnikov A. (Мельников Алексей Андреевич), Makmal A., Briegel H.-J.
Proective simulation agent in real world task | | 15:00-15:15 | Рублев Вадим Сергеевич.
Теорема о статической полноте СУБД DIM | | 15:15-15:30 | Фофанов Вячеслав Борисович, Жизневсий А.Н.
Поиск объектов как задача распознавания образов | | 15:30-15:45 | Сморякова Валентина Михайловна.
Об одном классе задач, имеющих многоэтапный характер | | 15:45-16:00 | Булгакова Александра Сергеевна, Зосимов Вячеслав Валериевич.
Интеллектуальный подход к извлечению знаний из данных с помощью алгоритмов индуктивного моделирования | | 16:00-16:30 | Перерыв | | 16:30-16:45 | Костенко Константин Иванович.
Вложения формализмов знаний | | 16:45-17:00 | Буй Дмитрий Борисович, В.Г. Скобелев.
Модели и методы обеспечения безопасности программных средств (обзор) | | 17:00-17:15 | Буй Дмитрий Борисович, Пузикова Анна Валентиновна.
Обзор современной теории нормализации |
19 июня, четверг
| 10:00-18:00 | Выездное заседание конференции |
20 июня, пятница
Пленарные доклады (аудитория 109, председатель Аблаев Ф.М.)
| 10:00-11:00 | Колпаков Р.М. О вычислении регулярных фрагментов символьных последовательностей | | 11:00-12:00 | Алексеев В.Б. О научных работах Сергея Всеволодовича Яблонского |
Секционные доклады (аудитория 109, председатель Аблаев Ф.М.)
| 12:00-12:15 | Колесникова Светлана Ивановна.
Метод скользящего управления на многообразиях с компенсацией возмущений | | 12:15-12:30 | Мубаракзянов Рустам Гамирович.
Оценка количества состояний последовательности, порожденной вероятностным автоматом | | 12:30-12:45 | Сысоева Любовь Николаевна.
О реализации булевых функций обобщенными формулами | | 12:45-13:00 | Тарасов Павел Борисович.
О некоторых необходимых условиях равномерности систем функций многозначной логики |
|
 |
