Основное меню :
- Прошедшие школы
- Организаторы
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
Warning: file_put_contents(/home/htdocs/dmschool/datastore/logs/razor-error-log.php): failed to open stream: Permission denied in /home/htdocs/dmschool/lib/razor_file_tools.lib.php on line 186
и ее приложениям
(2013 г.)
Материалы школы: Лекции, Доклады.
Были прочитаны следующие лекции:
- Редькин Н.П. (мех-мат МГУ им. М.В.Ломоносова, Москва) Получение нижних оценок сложности схем методом замены базисов
- Косовский Н.К. (мат-мех СПбГУ, Санкт-Петербург) Свойства целочисленных паскаль-функций, доказуемые на основе арифметики по модулю 216
- Блинкин М.Я. (ИЭТиТП НИУ ВШЭ, Москва) Какие ответы на вопросы сегодняшних дискуссий о городах, дорогах и автомобилях вытекают из классических моделей математической теории транспортного потока?
- Марченков С.С. (ВМК МГУ им. М.В.Ломоносова, Москва)Функциональные уравнения многозначной логики
- Кочергин В.В. (мех-мат МГУ им. М.В.Ломоносова, Москва) Теория вентильных схем (современное состояние)
- Золотых Н.Ю. (ВМК НИУ ННГУ им. Н.И.Лобачевского, Нижний Новгород) Сложность расшифровки пороговых функций
- Коломеец Н.А. (ИМ им. С.Л.Соболева СО РАН, Новосибирск) Бент-функции. Обзор последних результатов
Были заслушаны доклады:
- Коноводов В. А. (Москва) О сложности булевых формул в базисах из элементов с прямыми и итеративными входами
- Замараева Е. М. (Нижний Новгород) Разрешающие множества k-пороговых функций многозначной логики
- Грибанов Д. В. (Нижний Новгород) О сходимости ветвящихся периодических цепных дробей с натуральными элементами
- Шнурников И. Н. (Москва) Конфигурации подмногообразий коразмерности один: оценки числа связных компонент дополнения
- Сидоров С. В. (Нижний Новгород) О распознавании подобия над кольцом целых чисел матриц третьего порядка, имеющих приводимый характеристический многочлен
- Тараненко А. А. (Новосибирск) Перманенты многомерных матриц
- Коломеец Н. А. (Новосибирск) Об аффинности бент-функций на аффинных подпространствах
- Коваленко М. Э. (Москва) О радиусе покрытия линейных кодов, порожденных аффинными геометриями над полем порядка 4
- Хинко Е. В. (Москва) О рекурсивных конструкциях платовидных устойчивых булевых функций
-
Урбанович Т. А. (Москва) О ранге матрицы инцидентности точек и прямых в некоторых конечных геометриях
- Алёхина М. А., Курышева В. В. (Пенза) Об асимптотически оптимальных по надежности схемах при константных неисправностях на выходах элементов
- Лакомкина А. Е. (Пенза) О числе элементов схемы, реализующей обобщенную медиану в полном базисе с функцией x1 + x2
- Алёхина М. А., Барсукова О. Ю. (Пенза) Верхняя оценка ненадежности схем в базисе, состоящем из функции Вебба
- Васин А. В. (Пенза) Об асимптотически оптимальных по надежности схемах, функционирующих с ненадежностью 5 ε (ε → 0), в некоторых базисах при инверсных неисправностях на выходах элементов
- Богомолова Е. М. (Москва) Исследование сложности и структуры минимальных двоичных решающих диаграмм для некоторых симметрических функций алгебры логики
- Красиков А. О. (Москва) О сложности OBDD булевых функций некоторых видов
- Подольская О. В. (Москва) Об оценках сложности схем в одном бесконечном базисе
- Кочергин А. В. (Москва) О глубине функций многозначной логики при реализации схемами над произвольным бесконечным базисом
- Сергеев И. С. (Москва) Верхние оценки сложности и глубины формул для симметрических булевых функций
- Городилова А. А. (Новосибирск) Соответствие между APN-функциями и специальными булевыми функциями
- Агниашвили П. Г. (Москва) Восстановление изображения по его коду
- Бородина Ю. В. (Москва) Нижняя оценка длины полного проверяющего теста в базисе {x|y}
- Морозов Е. В. (Москва) О диагностических тестах относительно слипаний переменных в булевых функциях
-
Яшунский А. Д. (Москва) Об одном семействе распределений вероятностей, порождаемом бесповторными формулами над конечными полями
- Трифонова Е. Е. (Москва) О восстановлении баз данных для некоторых формул-ограничений специального вида
- Дурандин О. В. (Нижний Новгород) Переходные явления в стохастических КС-грамматиках
- Мартынов И. М. (Нижний Новгород) О нижней оценке стоимости кодирования для стохастической КС-грамматики, имеющей вид "цепочки", в критическом случае
-
Макаров Д. А. (Москва) О построении матриц де Брейна
- Быков И. С. (Новосибирск) Функционирование дискретных моделей генных сетей циркулянтного типа с пороговыми функциями
- Батуева Ц. Ч. (Новосибирск) Дискретные динамические системы циркулянтного типа с пороговыми функциями в вершинах
-
Андреев А. А. (Москва) Точная сверхэкспоненциальная оценка сложности для одной последовательности функций многозначной логики
- Панин Д. Ю. (Москва) Критерий порождения некоторых множеств монотонных функций многозначной логики
- Подолько Д. К. (Москва) Об особенностях специальной операции суперпозиции в многозначной логике
- Михайлович А. В. (Москва) О базируемости замкнутых классов функций трехзначной логики, порожденных симметрическими функциями