|
Вторник, 25 октября
| 10:00 | Открытие школы | | 10:30 | Чирков А.Ю. (Нижний Новгород) Верхние оценки количества вершин целых полиэдров | | 12:00 | Перерыв | | 13:30 | Доклады участников | | | Лебедева О.Н. (Новосибирск) О вероятностном выборе слайдовых пар в корреляционном криптоанализе шифра KeeLoq | | | Трифонова Е.Е. (Москва) О представлении ограничений, записанных с помощью SQL, для построения восстановлений баз данных | | | Михайлец Е.В. (Москва) Об одном классе функций трехзначной логики с экспоненциальным порядком роста ранговой функции | | | Приходько А.В. (Новосибирск) Об одной динамической системе функционирования дискретной модели генной сети | | | Замараев В.А. (Нижний Новгород) Оценка числа графов в некоторых подклассах двудольных графов | | 15:00 | Кофе-брейк | | 15:15 | Мокеев Д.Б. (Нижний Новгород) Упаковки и покрытия графов относительно 3-пути | | | Бухман А.В. (Москва) Об эффективно функционально разрешимых классах в трехзначной логике | | | Панин Д.Ю. (Москва) О свойствах одноместных монотонных функций многозначной логики | | | Сидоров С.В. (Нижний Новгород) О размере элементов трансформирующих матриц при подобии матриц над кольцами целых чисел | | | Сергеев И.С. (Москва) О минимизации объёма памяти схемы, вычисляющей усечённое ДПФ | | 16:30 | Кофе-брейк | | 16:45 | Лысиков В.В. (Москва) О множестве всех оптимальных алгоритмов для одного класса билинейных отображений | | | Ложкин С.А., Данилов Б.Р. (Москва) Поведение функции Шеннона для глубины в модели схем, допускающей различие задержек функциональных элементов по входам |
Среда, 26 октября
| 10:00 | Марченков С.С. (Москва) Суперпозиции элементарных арифметических функций | | 11:30 | Чашкин А.В. (Москва) Сложность недоопределенных функций | | 13:00 | Перерыв | | 14:30 | Потапов В.Н. (Новосибирск) Совершенные раскраски и корреляционно-иммунные функции в q-значном гиперкубе | | 15:55 | Кофе-брейк | | 16:10 | Доклады участников | | | Михайлович А.В. (Москва) О некоторых свойствах замкнутых классов функций трехзначной логики, порожденных периодическими симметрическими функциями | | | Дагаев Д.А. (Москва) О сложности реализации формулами функций из Pk,2, k≥3 | | | Шушуев Г.И. (Новосибирск) Линейный криптоанализ девяти раундов блочного шифра SMS4 | | | Ларионов В.Б., Федорова В.С. (Москва) О надструктуре классов квазисамодвойственных функций | | | Коноводов В.А. (Москва) О синтезе схем ограниченной ширины | | 17:40 | Кофе-брейк | | 17:55 | Малышев Д.С. (Нижний Новгород) О влиянии некоторых числовых характеристик графов на сложность определения числа независимости |
Четверг, 27 октября
| 10:00 | Алехина М.А. (Пенза) О надежности схем в полном конечном базисе и о свойствах функций и схем, используемых для повышения надежности схем | | 11:30 | Вороненко А.А. (Москва) Бесповторные функции | | 13:00 | Перерыв | | 14:30 | Доклады участников | | | Шуплецов М.С. (Москва) О сложности предикатных схем | | | Трусевич Е.Н. (Москва) О сложности реализации схемами композиции систем из двух мономов от двух переменных | | | Алехина М.А., Щукина А.А. (Пенза) Об асимптотически оптимальных по надежности схемах в одном базисе при неисправностях типа 0 | | | Барсукова О.Ю. (Пенза) О возможности применения одного метода повышения надежности к схемам, реализующим функции из P3 | | | Грабовская С.М. (Пенза) О надежности неветвящихся программ с ненадежным оператором условной остановки в некоторых базисах | | 16:00 | Кофе-брейк | | 16:15 | Клянчина Д.М. (Пенза) О надежности схем в базисах, содержащих константу 1 и функцию вида x1(x2 ⊕ x3 ⊕ c) | | | Вороненко А.А., Кафтан Д.В. (Москва) О расшифровке монотонных функций счетчиками четности | | | Кривоспицкий С.И. (Москва) О суперпозициях квазианалитических функций | | | Балакин К.С. (Москва) Оценки сложности для задачи быстрого возведения в степень при ограничениях на объем используемой памяти |
Пятница, 28 октября
| 10:00 | Боровин Г.К. (Москва) Управление в технических системах | | 11:30 | Доклады участников | | | Яшунский А. Д. (Москва) О квазигрупповых свёртках распределений вероятностей | | | Трущин Д. В. (Москва) О сложности реализации функций трехзначной логики формулами специального вида | | | Дудакова О.С. (Москва) О существовании порождающих систем специального вида в классах монотонных функций k-значной логики |
|
|
 |
