|
|
Строка 59: |
Строка 59: |
| | align="center" | Д. С. Кинжикеев | | | align="center" | Д. С. Кинжикеев |
| |- | | |- |
| + | | rowspan="2" align="center" | 18 ноября |
| + | |- |
| + | | Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» |
| + | | align="center" | Павлова А.Ф. |
| + | |
| |} | | |} |
| | | |
Версия 00:51, 17 ноября 2017
Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.
Руководители: проф. Ложкин Сергей Андреевич, проф. Марченко Александр Михайлович, доц. Романов Дмитрий Сергеевич.
Участники семинара и таблица посещаемости (14.12.2016)
Расписание докладов
Дата
|
Тема доклада
|
Докладчик
|
22 сентября
|
Доклад «Cинтез рекурсивных схем из функциональных элементов»
|
Жуков В.В.
|
29 сентября
|
Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
|
Курбацкая В.К.
|
6 октября
|
Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
|
Высоцкий Л.И.
|
20 октября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
О динамической активности схем из функциональных элементов.
|
Шуплецов М.С.
|
27 октября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада
|
Автайкина Мария
|
3 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада
|
В. К. Курбацкая
|
11 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
Доклад "О глубине ступенчатых функций".
|
Д. С. Кинжикеев
|
18 ноября
|
Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
|
Павлова А.Ф.
|
|