|
|
| Строка 13: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 27 сентября | + | | align="center" | 9 октября |
| − | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup>
| + | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_201008.pdf|Аннотация доклада]]</sup> |
| − | | align="center" | Хзмалян Д.Э.
| + | |
| − | |-
| + | |
| − | | align="center" | 11 октября
| + | |
| − | | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup> | + | |
| | | align="center" | Лопунов М.А. | | | align="center" | Лопунов М.А. |
| − | |-
| |
| − | | align="center" | 18 октября
| |
| − | | Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Зизов В.
| |
| − | |-
| |
| − | | align="center" | 25 октября
| |
| − | | Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Ибрагимов Б.М.
| |
| − | |-
| |
| − | | align="center" | 8 ноября
| |
| − | | rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup>
| |
| − | | rowspan="2" align="center" | проф. Ложкин С.А.
| |
| − | |-
| |
| − | | align="center" | 15 ноября
| |
| − | |-
| |
| − | | align="center" | 22 ноября
| |
| − | | Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Купраш Е.
| |
| − | |-
| |
| − | | align="center" | 13 декабря
| |
| − | | Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | доцент кафедры МАТИС
| |
| − | механико-математического факультета Часовских А.А.
| |
| − | |-
| |
| − | | align="center" | 21 февраля
| |
| − | | Доклад по статье К.А. Попкова «Минимальные полные проверяющие тесты для схем из функциональных элементов в стандартном базисе»<sup>[[Media:Specem_200221.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Мальцев А.Н.
| |
| − | |-
| |
| − | | align="center" | 28 февраля
| |
| − | | Доклад по статье О.В. Черемисина «Об активности схем из клеточных элементов, реализующих систему всех конъюнкций»<sup>[[Media:Specsem_200228.pdf|Аннотация доклада]]</sup>
| |
| − | | align="center" | Пименов Н.В.
| |
| | |} | | |} |
| | | | |
