|
|
Строка 13: |
Строка 13: |
| ! Докладчик | | ! Докладчик |
| |- | | |- |
− | | align="center" | 10 октября | + | | align="center" | 4 октября |
− | | Доклад по статье Антюфеев Г.В., Романов Д.С. «Об оценках функции Шеннона длины диагностического теста при локальных константных неисправностях на входах схем»<sup>[[Media:Specem_221008.pdf|Аннотация доклада]]</sup>
| + | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specem_241004.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Козин Георгий
| + | |
− | |-
| + | |
− | | align="center" | 17 октября
| + | |
− | | Доклад по статье Марков А.А. «О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций»<sup>[[Media:Specem_221017.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Исаков Ильяс
| + | |
− | |-
| + | |
− | | align="center" | 24 октября
| + | |
− | | Доклад по теме «Нижние оценки активности схем из функциональных элементов на основе положительной чувствительности булевых функций»<sup>[[Media:Specem_221024.pdf|Аннотация доклада]]</sup> | + | |
− | | align="center" | Местецкий Михаил
| + | |
− | |-
| + | |
− | | align="center" | 7 ноября
| + | |
− | | Доклад по теме «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»<sup>[[Media:Specem_221107.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Фесенко Анастасия
| + | |
− | |-
| + | |
− | | align="center" | 14 ноября
| + | |
− | | Продолжение доклада «О сложности реализации некоторых (систем) функций алгебры логики в классе контактных схем»
| + | |
− | | align="center" | Фесенко Анастасия
| + | |
− | |-
| + | |
− | | align="center" | 21 ноября
| + | |
− | | Доклад по теме «О тестах относительно локальных константных неисправностей фиксированной кратности на входах схем»<sup>[[Media:Specsem_221121.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Романов Дмитрий
| + | |
− | |-
| + | |
− | | align="center" | 28 ноября
| + | |
− | | Доклад по теме «Поиск оптимальных и близких к ним схем для умножителей малой размерности для одной модели программируемых логических интегральных схем»<sup>[[Media:Specsem_221128.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Синенкова Анна
| + | |
− | |-
| + | |
− | | align="center" | 5 декабря
| + | |
− | | Доклад по теме «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specsem221205.doc|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Романов Дмитрий
| + | |
− | |-
| + | |
− | | align="center" | 12 декабря
| + | |
− | | Доклад по теме «Поиск оптимальных и близких к ним схем для функций от малого числа переменных в некоторых классах схем»<sup>[[Media:Specsem221211.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Гребенкин Сергей
| + | |
− | |-
| + | |
− | | align="center" | 7 марта
| + | |
− | | Доклад по теме «О минимальных π-схемах для монотонных симметрических функций с порогом 2»<sup>[[Media:Specsem230307.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Михалев Евгений
| + | |
− | |-
| + | |
− | | align="center" | 14 марта
| + | |
− | | Доклад по статье М.А. Алехиной «О надежности схем в базисе {&, V, -} при однотипных константных неисправностях на входах элементов»<sup>[[Media:Specsem230314.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Кленин Максим
| + | |
− | |-
| + | |
− | | align="center" | 21 марта
| + | |
− | | Доклад по теме «Алгоритмы построения заполняющих топологий»<sup>[[Media:Specem21032023.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Есипова Дарья
| + | |
− | |-
| + | |
− | | align="center" | 28 марта
| + | |
− | | Доклад по статье Храпченко В.М. «О соотношении между сложностью и глубиной формул»<sup>[[Media:Specem28032023.pdf|Аннотация доклада]]</sup>
| + | |
− | | align="center" | Соколов Михаил
| + | |
− | |-
| + | |
− | | align="center" | 4 апреля
| + | |
− | | Доклад по статье К.А. Попкова «Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов»<sup>[[Media:Specsem20230404.pdf|Аннотация доклада]]</sup>
| + | |
| | align="center" | Козин Георгий | | | align="center" | Козин Георгий |
| |} | | |} |