|
|
Программа работы секций на 20-21 июня будет опубликована во вторник 19 июня после 20.00
СЕКЦИЯ "СИНТЕЗ, СЛОЖНОСТЬ И НАДЕЖНОСТЬ УПРАВЛЯЮЩИХ СИСТEM"
19 июня (вторник), 16.30, ауд. 16-10
Шоломов Лев Абрамович (Москва)
Качественные условия оптимальности метода последовательной реализации
Алехина Марина Анатольевна, Клянчина Дарья Михайловна
(Пенза)
О надежности схем в одном базисе
Чугунова Варвара Валерьевна (Пенза)
О надежности схем в некоторых приводимых полных базисах
Аксенов Сергей Иванович, Алехина Марина Анатольевна (Пенза)
О сложности схем при инверсных неисправностях
Васин Алексей Валерьевич (Пенза)
О функциях, используемых для повышения надежности схем
Шилов Андрей Валерьевич (Пенза)
Верхние оценки ненадежности схем в некоторых полных неприводимых базисах
Аксенов Сергей Иванович (Пенза)
О надежности схем в широком классе полных базисов
Яхонтов Сергей Викторович (С-Петербург)
Вычисление логарифмической функции в пределах LINSPACE для конструктивных вещественных
Сергеев Игорь Сергеевич (Москва)
Быстрые алгоритмы для некоторых операций с комплексными степенными рядами
Романов Дмитрий Сергеевич, Вороненко Андрей Анатольевич (Москва)
Об абсолютно несамокорректирующихся контактных схемах
Шалагин Сергей Викторович (Казань)
Операция умножения элементов полей Галуа GF((2n)l)
Шалагин Сергей Викторович, Найбушев Фарид Хамидович
(Казань)
Реализация схем умножения элементов поля GF(2n) в базисе ПЛИС класса FPGA
Эминов Булат Фаридович (Казань)
Метод вероятностного анализа полиномиальных моделей порождающих функций цепей Маркова над полем GF(2n)
20 июня (среда), 15.30, ауд. 16-10
Косовский Николай Кириллович (С-Петербург)
Об эффективности получения булевого решения у полиномиальных сравнений и систем из них
Косовская Татьяна Матвеевна (С-Петербург)
Оценки числа шагов решения некоторых задач распознавания образов с логическими описаниями
Шевченко Владимир Иванович (Нижний Новгород)
О сложности диагностики некоторых неисправностей в схемах
Вегнер Ярослав Владимирович, Гашков Сергей Борисович (Москва)
Неулучшаемость нижних оценок формульной реализации булевых функций вещественными формулами
Вегнер Ярослав Владимирович (Москва)
Достижимость нижней оценки сложности при реализации липшицевых функций
Золотых Николай Юрьевич, Илюшина Маргарита Анатольевна (Нижний Новгород)
Алгоритм построения разрешающего множества пороговой функции многозначной логики
Мубаракзянов Рустам Гамирович (Казань) Нелинейное преобразование диаграмм решений
Мехтиева Галина Юрьевна, Шарифов Ягуб Амияр (Баку)
Условия оптимальности для дискретных управляемых систем с нелокальным условием
Чебурахин Игорь Федорович (Москва)
Преобразования функциональных уравнений и сложность булевых функций
Дагаев Дмитрий Александрович (Москва)
О глубине формул, реализующих функции из некоторых классов трехзначной логики
Бойков Илья Владимирович (Пенза)
Об оценках сложности решения операторных уравнений
Шуткин Юрий Сергеевич (Москва)
О реализации булевых функций информационными графами
Мощенский Владимир Андреевич (Минск)
Эффективное решение проблемы выполнимости
21 июня (четверг), 15.30, ауд. 16-10
Мошков Михаил Юрьевич (Сосновец)
Градиентный алгоритм с весами для построения условных тестов
Зыков Константин Анатольевич (Москва)
О сложности реализации систем функций
k-значной логики, соответствующих некоторой циклической матрице
Кочергин Вадим Васильевич (Москва)
Об аддитивной сложности целочисленных матриц размера 3 х 2
Ройтенберг Евгений Яковлевич (Москва)
О моделировании дискретных динамических систем в условиях неопределенности.
Васильев Александр Валерьевич (Казань)
Соотношение классов NC1 и poly(n)-OBDD5
Бородина Юлия Владиславовна (Москва)
О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов
Михайлец Екатерина Викторовна (Москва)
О ранге неявных представлений над одним классом функций трехзначной логики
Бурцев Алексей Анатольевич (Москва)
О схемах для арифметики в композитных полях большой характеристики
Ложкин Сергей Андреевич, Власов Никита Владимирович (Москва)
О глубине мультиплексорных функций
Готманов А. Н. (Москва)
Алгоритм распознавания реализуемости булевых функций бесповторными контактными схемами
Седелев Олег Борисович (Москва)
О реализации функций алгебры логики схемами из функциональных элементов, вложенными в единичные кубы
Попов Евгений Александрович (Москва)
Оценки сложности элементарных симметрических функций в некоторых классах контактных схем
Евдокимова Татьяна Николаевна (Москва)
Об одном подходе к синтезу клеточных схем
Черухин Дмитрий Юрьевич (Москва)
Теоретико-информационный подход к получению нижних оценок сложности
Черухина Светлана Евгеньевна (Москва)
О сложности одной "почти симметрической" функции в классе & ДНФ
Шкаликова Надежда Асановна (Москва)
Об одном подходе к оценкам сложности схем
СЕКЦИЯ "ТЕОРИЯ КОДИРОВАНИЯ"
19 июня (вторник), 16.30, ауд. 15-04
Галибус Татьяна Васильевна,
Матвеев Геннадий Васильевич (Минск)
Комбинаторика нульмерных идеалов и модулярное разделение секрета
Мусин Олег Рустумович (Москва)
Границы для кодов и упаковок шаров с помощью выпуклого программирования
Жильцова Лариса Павловна, Корокозов Михаил Николаевич (Нижний Новгород)
Свойства деревьев вывода слов в стохастической КС-грамматике с несколькими классами нет
Логачев Антон Александрович (Москва)
Оценка решений сравнения Rx=x (mod pn)
Никонов Николай Владимирович (Москва)
О верхней оценке длины запрета k-значной функции
20 июня (среда), 15.30, ауд. 15-04
Черемушкин Александр Васильевич (Москва)
Почти все латинские квадраты имеют тривиальную группу автострофий
Кротов Денис Станиславович, Потапов Владимир Николаевич (Новосибирск)
О приводимости n-арных квазигрупп и свитчинговой разделимости графов
Алексеев Евгений Константинович (Москва)
О некоторых алгебраических и комбинаторных свойствах множества корреляционно-иммунных функций
Смирнова Татьяна Геннадьевна (Нижний Новгород)
Оптимальное кодирование в классе локально-префиксных кодов
Денисенко Михаил Павлович (Москва)
О весовой функции кода, ассоциированного с платовидной функцией
Мануилов Николай Федосович (Смоленск)
Системы счисления с алгебраическими основаниями
Ярыкина Мария Сергеевна (Москва)
Двоичные коды почти всех мощностей не могут быть равномерно распределенными по шарам.
Захарова Юлия Фридриховна (Пенза)
Об одном методе решения систем булевых функций
21 июня (четверг), 15.30, ауд. 15-04
Логачев Олег Алексеевич (Москва)
Об одном классе совершенно уравновешенных булевых функций
Баев Владимир Валерьевич (Москва)
Алгебраическая иммунность фильтрующей функции генератора WG
Чижов Иван Владимирович (Москва)
Ключевое пространство одной криптосистемы
Буряков Михаил Леонидович (Москва)
Об уровне аффинности симметрических булевых функций
Карпунин Григорий Анатольевич, Нгуен Тхань Хай (Москва)
Сравнение функций "исключающее или" и "голосование" с криптографической точки зрения
Пудовкина Марина Александровна (Москва)
Метрические свойства полной аффинной группы
СЕКЦИЯ "КОМБИНАТОРНЫЙ АНАЛИЗ И ТЕОРИЯ ГРАФОВ"
19 июня (вторник), 16.30
20 июня (среда), 15.30
21 июня (четверг), 15.30
СЕКЦИЯ "ДИСКРЕТНАЯ ГЕОМЕТРИЯ"
19 июня (вторник), 16.30, ауд. 16-13
Райгородский Андрей Михайлович, Китяев Мингиян Михайлович (Москва)
Об одной серии задач, связанных с проблемами Борсука и Нелсона-Эрдеша-Хадвигера
Иванов Леонид Львович (Москва)
Хроматические числа пространств R2 и R3 с интервалами запрещенных расстояний
Рубанов Олег Игоревич (Москва)
Хроматические числа графов расстояний, не содержащих симплексов
Барыкинский Роман Геннадьевич (Москва)
О решетках E6, E7 и E8
Кучеринеко Ярослав Викторович (Москва)
Задача о симметрии двух тел
Коломейкина Екатерина Викторовна (Москва)
О локальных условиях биправильных триангуляций плоскости
Субботин Владимир Иванович (Новочеркасск)
Локальный критерий симметричности плоской системы точек
Бучок Лариса Владимировна (Москва)
Остроугольные треугольники Данцера-Грюнбаума
20 июня (среда), 15.30, ауд. 16-16
Твердохлебов Владимир Александрович (Саратов)
Спектры для геометрических образов автоматов и их связь с последовательностями и фигурами
Елисеев Кирилл Васильевич (Саратов)
Интерполяция в диагностировании автоматов
Белянков Анатолий Яковлевич (Москва)
Перебор всех штрассеновских алгоритмов для 2х2-матриц
Кошелев Виталий Анатольевич (Москва)
О проблеме Эрдеша-Секереша
Макаров Виталий Сергеевич (Москва)
О некоторых обобщенных правильных многогранниках пространства Лобачевского
Макаров Петр Витальевич (Москва)
Трехмерные эквидистантные правильные звездные многогранники пространства Лобачевского
Глазырин Алексей Александрович, Тарасов Алексей Сергеевич (Москва)
Анти-дюрер гипотеза для невыпуклых многогранников
Глазырин Алексей Александрович (Москва)
О новом свойстве полиэдральных разбиений
Акопян Арсений Владимирович, Тарасов Алексей Сергеевич (Москва)
О складываниях бумаги, переводящих одно заданное множество точек в другое
Гарбер Алексей Игоревич (Москва)
О сложности по Арнольду p-ичных последовательностей
21 июня (четверг), 15.30, ауд. 16-16
Бучок Лариса Владимировна (Москва)
Остроугольные треугольники Данцера-Грюнбаума
Шитова Ирина Михайловна (Москва)
Хроматические числа метрических пространств с несколькими запрещенными расстояниями и их связь с проблемой Борсука
Нагаева Светлана Вячеславовна (Москва)
О вложимости конечных графов расстояний с большим хроматическим числом в случайные граф
Алексенцева Светлана Алексеевна (Москва)
О моноэдральных разбиениях двумерной сферы
Самарин Гурий Амиранович (Москва)
Изометрические деформации многогранников, увеличивающие содержащийся в них объем
Панов Михаил Сергеевич (Москва)
О некоторых классах центрально-симметричных многогранников
Бауман Константин Евгеньевич (Москва)
О центрально-симметричных многогранниках с минимальным числом граней
СЕКЦИЯ "ТЕОРИЯ ФУНКЦИОНАЛЬНЫХ СИСТЕМ"
19 июня (вторник), 16.30, ауд. 15-03
Перязев Николай Алексеевич (Иркутск)
Функциональные системы недоопределенных частичных функций
Парватов Николай Георгиевич (Томск)
О формах представления монотонных функций на трехэлементной полурешетке
Герасимов Михаил Александрович (С-Петербург)
Синтаксическая классификация функций, вычислимых за линейное время
Селезнева Светлана Николаевна, Дайняк Александр Борисович (Москва)
О сложности обобщенных полиномов функций k-значных логик
Щербина В. Л.,
Захаров Владимир Анатольевич (Москва)
О проблеме эквивалентности программ в композиционных семантиках
Николаев Александр Георгиевич, Нурутдинов Шамиль Рамилович (Казань)
Полиномиальное моделирование конечного детерминированного автомата на основе избыточности представления в поле GF(2p)
Громов Максим Леонидович (Томск)
О распознавании недетерминированного автомата в заданном классе
Скобелев Владимир Геннадиевич (Донецк)
Построение нижних экспоненциальных оценок на основе перестановок
Скобелев Владимир Владимирович (Донецк)
Перечисление линейных автоматов над конечным кольцом
20 июня (среда), 15.30, ауд. 15-03
Буевич Вячеслав Александрович, Подколзина Мария Александровна (Москва)
Критерий полноты в функциональной системе Prk
Подколзина Мария Александровна (Москва)
Некоторые случаи разрешимости задачи об A-полноте для автоматов
Черепов Анатолий Николаевич (Смоленск)
Классы недетерминированных функций
Дудакова Ольга Сергеевна (Москва)
О классах функций k-значной логики, монотонных относительно частично упорядоченных множеств
Хелемендик Роман Викторович (Москва)
О соотношении задачи синтеза игровых программ и распознавания выполнимости формул логики ветвящегося времени
Федосеев Алексей Игоревич (Москва)
О конечно порожденных структурах и полуструктурах
Михайлович Анна Витальевна (Москва)
О некоторых свойствах симметрических функций трехзначной логики
Михеева Елизавета Алексеевна (Ульяновск)
Программная реализация объектов дискретной математики
Ефремова Наталия Алексеевна (Москва)
Функции алгебры логики в задачах оценки качества
СЕКЦИЯ "МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ"
19 июня (вторник), 16.30, ауд. 12-08
Козин Игорь Викторович (Запорожье)
Экстремальные задачи с критерием симметрии на конечных множествах
Козловский Валерий Анатольевич, Копытова Ольга Михайловна (Донецк)
Контрольные эксперименты в локально определенных классах
Козловский Валерий Анатольевич, Мучникова Лилия Анатольевна (Донецк)
О 2-размеченных экспериментах групповых автоматов
Грунский Игорь Сергеевич, Сапунов Сергей Валерьевич (Донецк)
Минимальные идентификаторы вершин помеченных графов
Волков Николай Юрьевич (Москва)
Об автоматной модели преследования
Рублев Вадим Сергеевич, Писаренко Дмитрий Сергеевич, Чехранов Дмитрий Викторович (Ярославль)
Проблема вычислительной полноты объектного языка запросов ODQL динамической информационной модели DIM
Рублев Вадим Сергеевич, Смирнов Александр Валерьевич (Ярославль)
Послойный алгоритм целочисленного сбалансирования 3-мерной матрицы
Груздов Адрей Александрович, Рублев Вадим Сергеевич (Ярославль)
Об особенностях динамики и отношения истории в динамической информационной модели (DIM)
Лашева М. И. (Москва)
Об алгебраических операциях на графах, сохраняющих степенную последовательность вершин
20 июня (среда), 15.30, ауд. 14-15
Подловченко Римма Ивановна (Москва), Хачатрян Владимир Ервандович (Белгород)
Минимальность и тупиковость многоленточных автоматов
Глазунов Николай Михайлович (Киев)
Семантический Веб (Интернет) и теоретико-категорные модели
Холоденко Александр Борисович (Москва)
О марковских регулярных языках
Костенко Константин Иванович (Краснодар)
О свойствах конфигураций абстрактного пространства знаний
Лернер Эдуард Юльевич (Казань)
Приближенный алгоритм решения задачи Штейнера воссоздания эволюции языков
Осокин Виктор Владимирович (Москва)
О расшифровке разбиения булевого куба на грани
Жук Дмитрий Николаевич (Москва)
Об условиях полноты в классе автоматов без обратной связи
21 июня (четверг), 15.30, ауд. 14-15
Соловьев Валерий Дмитриевич (Казань)
Дискретные модели языковой эволюции
Самоненко Илья Юрьевич (Москва)
О предсказуемости поведения однородных автоматных сетей
Кучеренко Наталья Сергеевна (Москва)
О сложности поиска идентичных объектов для случайных баз данных
Кучеренко Игорь Викторович (Москва)
О моделировании дискретных процессов в обратимых бинарных клеточных автоматах
Николаев Александр Викторович (Ставрополь)
Обнаружение долговременной зависимости во временных рядах нагрузки на вычислительную систему
|
|