|
|
| Строка 19: |
Строка 19: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | rowspan="2" align="center" | 19 февраля | + | | rowspan="2" align="center" | 23 сентября |
| | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) | | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505) |
| | |- | | |- |
| − | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> | + | | Доклад "Алгоритмы поиска минимальных и близких к ним контактных схем для булевых функций от малого числа переменных" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup> |
| − | | Зиновьев В.С.
| + | | Жуков В.В. |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 26 февраля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
| + | |
| − | | Смирной Максим
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 4 марта
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
| + | |
| − | | Вяткин Евгений
| + | |
| − | |-
| + | |
| − | | align = "center"| 11 марта
| + | |
| − | | Поиск булевых соответствий и его применение для решения задачи функциональной коррекции схем. <sup>[[Media:filimonov.docx|Аннотация доклада]]</sup>
| + | |
| − | | Филимонов Владимир
| + | |
| − | |-
| + | |
| − | | align = "center"| 18 марта
| + | |
| − | | О соотношении между сложностью и глубиной формул. <sup>[[Media:chemodan.docx|Аннотация доклада]]</sup>
| + | |
| − | | Чемоданова О.М.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 25 марта
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
| + | |
| − | | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов | + | |
| − | |-
| + | |
| − | | align = "center"| 1 апреля
| + | |
| − | | Доклад по статье Гринчука М.И. «О монотонной сложности пороговых функций»
| + | |
| − | | Трубицин В.А.
| + | |
| − | |-
| + | |
| − | | align = "center"| 8 апреля
| + | |
| − | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции». <sup>[[Media:titov.docx|Аннотация доклада]]</sup>
| + | |
| − | | Титов В.А.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 22 апреля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 526б)
| + | |
| − | |-
| + | |
| − | | Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
| + | |
| − | | Семинар компании Cadence design systems.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 29 апреля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| − | |-
| + | |
| − | | Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
| + | |
| − | | Калинина А.Н.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 6 мая
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
| + | |
| | |- | | |- |
| − | | Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
| |
| − | | Шишков Илья Сергеевич
| |
| − | |-
| |
| | |} | | |} |
| | | | |
