|
|
| (не показаны 33 промежуточных версий 3 участников) |
| Строка 1: |
Строка 1: |
| − | ''Спецсеминар для бакалавров 4 курса, магистров, аспирантов проходит по пятницам в 16:20 в аудитории 505.'' | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 606.'' |
| | | | |
| − | Руководители: проф. [[Ложкин Сергей Андреевич]], проф. [[Марченко Александр Михайлович]], доц. [[Романов Дмитрий Сергеевич]]. | + | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] |
| − | | + | |
| − | [[Media:cstnmmvlsi16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016) | + | |
| | | | |
| | == Расписание докладов == | | == Расписание докладов == |
| Строка 14: |
Строка 12: |
| | ! Тема доклада | | ! Тема доклада |
| | ! Докладчик | | ! Докладчик |
| − |
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 22 сентября
| |
| − | |-
| |
| − | | Доклад «Cинтез рекурсивных схем из функциональных элементов»
| |
| − | | align="center" | Жуков В.В.
| |
| − |
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 29 сентября
| |
| − | |-
| |
| − | | Доклад по статье «Попков К.А. Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание». Препринты ИПМ им. М.В.Келдыша РАН. 2017. №030. 31 с.»
| |
| − | | align="center" | Курбацкая В.К.
| |
| − |
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 6 октября
| |
| − | |-
| |
| − | | Доклад по курсовой работе Высоцкого Л.И. «Алгоритм построения асимптотически оптимальных двусторонних вложений полных двоичных деревьев»
| |
| − | | align="center" | Высоцкий Л.И.
| |
| − |
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 20 октября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | О динамической активности схем из функциональных элементов.
| |
| − | | align="center" | Шуплецов М.С.
| |
| − | |-
| |
| − |
| |
| − | | rowspan="2" align="center" | 27 октября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
| |
| − | | align="center" | Автайкина Мария
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 3 ноября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
| |
| − | | align="center" | В. К. Курбацкая
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 11 ноября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад "О глубине ступенчатых функций".
| |
| − | | align="center" | Д. С. Кинжикеев
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 17 ноября
| |
| − | |-
| |
| − | | Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»
| |
| − | | align="center" | Павлова А.Ф.
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 24 ноября
| |
| | |- | | |- |
| − | | Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» | + | | align="center" | 22 февраля |
| − | | align="center" | Крюков Павел | + | | Доклад по статье «Finding Efficient Circuits Using SAT-Solvers» |
| | + | | align="center" | Купраш Е. |
| | |} | | |} |
| | | | |
