|
|
| Строка 13: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 9 октября | + | | align="center" | 26 февраля |
| − | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Лопунов М.А.
| + | | align="center" | Сагандыков Ж.М. |
| − | |-
| + | |
| − | | align="center" | 16 октября
| + | |
| − | | Доклад по статье С.А. Ложкина, В.С. Зизова, М.С. Шуплецова, В.В. Жукова, Д.Э. Хзмаляна, О.О. Белянкова «О сложности инверсных графов, реализующих булевы функции от малого числа переменных»<sup>[[Media:Specem_201016.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Зизов В.С.
| + | |
| − | |-
| + | |
| − | | align="center" | 30 октября
| + | |
| − | | Доклад по статье Д.Э. Хзмаляна, С.А. Ложкина «О контактной сложности стандартных мультиплексорных функций»<sup>[[Media:Specem_201030.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Хзмалян Д.Э.
| + | |
| − | |-
| + | |
| − | | align="center" | 13 ноября
| + | |
| − | | Доклад на тему «О синтезе формул в базисах с прямыми и итеративными переменными»<sup>[[Media:Specem_201113.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Коноводов В.А.
| + | |
| − | |-
| + | |
| − | | align="center" | 20 ноября
| + | |
| − | | Доклад по первой части [[Media:Popkov_2018_k-krat_testy_proizv_const_prep2018_149.pdf| работы]] К.А. Попкова «Синтез легкотестируемых схем при произвольных константных неисправностях на входах и выходах элементов» (о проверяющих тестах), Препринты ИПМ им. М. В. Келдыша РАН, 2018, № 149.<sup>[[Media:Specem_201120.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Мальцев А.Н. | + | |
| − | |-
| + | |
| − | | align="center" | 27 ноября
| + | |
| − | | Доклад «О возможностях построения легкотестируемых схем из функциональных элементов».<sup>[[Media:Specsem_201127.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Попков К.А. (ИПМ им. М.В. Келдыша РАН)
| + | |
| − | |-
| + | |
| − | | align="center" | 4 декабря
| + | |
| − | | Доклад на тему «Точный синтез беззнаковых умножителей для некоторых классов программируемых логических интегральных схем».<sup>[[Media:Specsem_201204.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | М.С.Шуплецов, В.В.Жуков
| + | |
| − | |-
| + | |
| − | | align="center" | 11 декабря
| + | |
| − | | Доклад на тему «О синтезе схем из функциональных элементов с асимптотически оптимальной (для почти всех ФАЛ) сложностью и линейной динамической активностью» (по материалам ВКР).<sup>[[Media:Specsem_201211.pdf|Аннотация доклада]]</sup>
| + | |
| − | | align="center" | Н.В.Пименов
| + | |
| | |} | | |} |
| | | | |
