|
|
| Строка 11: |
Строка 11: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 3 октября | + | | align="center" | 20 февраля |
| − | | Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" | + | | Доклад по [http://mi.mathnet.ru/dm1282 статье] Попкова К. А. "Проверяющие и диагностические тесты для функциональных элементов". |
| − | | Зиновьев В. С.
| + | | Смирнов А. А. |
| − | |-
| + | |
| − | | align="center" | 10 октября
| + | |
| − | | Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов"
| + | |
| − | | Зиновьев В. С.
| + | |
| − | |-
| + | |
| − | | align="center" | 17 октября
| + | |
| − | | Тесты для булевых функций относительно вытесняющих неисправностей
| + | |
| − | | Морозов Е. В.
| + | |
| − | |-
| + | |
| − | | align="center" | 24 октября
| + | |
| − | | Комбинаторика и сложность случайных булевых формул
| + | |
| − | | [[Участник:KonovodovV|Коноводов В. А. ]]
| + | |
| − | |-
| + | |
| − | | align="center" | 31 октября
| + | |
| − | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" <sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
| + | |
| − | | Раннев Е. К.
| + | |
| − | |-
| + | |
| − | | align="center" | 7 ноября
| + | |
| − | | Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" (окончание)
| + | |
| − | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
| + | |
| − | |-
| + | |
| − | | align="center" | 14 ноября
| + | |
| − | | О синтезе схем, допускающих полные проверяющие тесты константной длины относительно инверсных неисправностей на выходах элементов <sup>[[Media:VLSI11.11.2014.pdf|аннотация докдада]]</sup>
| + | |
| − | | [[Романов Дмитрий Сергеевич | Романов Д. С.]]
| + | |
| − | |-
| + | |
| − | | align = "center"|21 ноября
| + | |
| − | | Доклад по статье Таразевича Ю.Г. «Реализация линейной функции плоскими контактными схемами и схемами на плоской целочисленной решетке» <sup>[http://mi.mathnet.ru/dm721 Данные о статье]</sup>
| + | |
| − | | align = "center"| Довгалюк Е. Л.
| + | |
| − | |-
| + | |
| − | | align = "center"|28 ноября
| + | |
| − | | Доклад по статье Грибка С. В. «Об асимптотике сложности контактного клеточного дешифратора»
| + | |
| − | | align = "center"| Белышов М. В. | + | |
| − | |-
| + | |
| − | | align = "center"| 5 декабря
| + | |
| − | | Доклад по статье T. Hirayama, G. Koda, Y. Nishitani, K. Shimizu, "Easily testable realization based on OR-AND-EXOR expansion with single rail inputs" <sup>[http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=743779 Данные о статье]</sup>
| + | |
| − | | align = "center"| Кумар В.
| + | |
| − | |-
| + | |
| − | | align = "center"| 12 декабря
| + | |
| − | | Оценка суммарной длины соединений с помощью экспоненты Рента при размещении гиперграфа
| + | |
| − | | align = "center"| Кортунова Е. М.
| + | |
| − | |-
| + | |
| − | | align="center" | 19 декабря
| + | |
| − | | Доклад по статье Карповой Н. А. «О линейных суперпозициях функций алгебры логики» .
| + | |
| − | | [[Ложкин Сергей Андреевич | Ложкин С. А.]], [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
| + | |
| | |} | | |} |
| | | | |
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 612.
