|
|
| Строка 15: |
Строка 15: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | rowspan="2" align="center" | 23 сентября | + | | rowspan="2" align="center" | 17 февраля |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | + | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507) |
| − | |-
| + | | Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» |
| − | | Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
| + | | Кинжикеева Д. |
| − | | Жуков В.В.
| + | |
| − | |-
| + | |
| − | | align="center" | 14 октября
| + | |
| − | | Доклад по статье Маркова А.А. "О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций." <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup> | + | |
| − | | Ложкин С.А.
| + | |
| − | |-
| + | |
| − | | align="center" | 21 октября
| + | |
| − | | Доклад "Метод синтеза неизбыточных схем в базисе Жегалкина, допускающих единичные диагностические тесты длины один." <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
| + | |
| − | | Романов Д.С.
| + | |
| − | |-
| + | |
| − | | align="center" | 28 октября
| + | |
| − | | Доклад "Об одной булевской матрице" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
| + | |
| − | | Данилов Б.Р.
| + | |
| − | |-
| + | |
| − | | align="center" | 11 ноября
| + | |
| − | | Доклад "О модели предикантных схем и связи между замкнутыми классами функций и предикатов" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
| + | |
| − | | Щуплецов М.С. | + | |
| − | |-
| + | |
| − | | align="center" | 18 ноября
| + | |
| − | | Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
| + | |
| − | | Ложкин С.А.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 25 ноября
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад по работе Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:%D0%9A_%D0%90_%D0%9F%D0%BE%D0%BF%D0%BA%D0%BE%D0%B2_%D0%9A%D0%A1-%D0%B7%D0%B0%D0%BC%D1%8B%D0%BA.doc|Аннотация доклада]]</sup>
| + | |
| − | | Тамм Я.-М.Ю.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 2 декабря
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup>
| + | |
| − | | Уваров И.В.
| + | |
| − | |-
| + | |
| − | | align="center" | 9 декабря
| + | |
| − | | Доклад "О минимальныз пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
| + | |
| − | | Ложкин С.А.
| + | |
| | |- | | |- |
| | |} | | |} |
