|
|
| (не показаны 259 промежуточные версии 4 участников) |
| Строка 1: |
Строка 1: |
| − | Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории '''612'''. | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистрантов, аспирантов проходит по пятницам с 16:20 до 17:55 в аудитории 503.'' |
| | + | |
| | + | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
| | | | |
| | == Расписание докладов == | | == Расписание докладов == |
| Строка 11: |
Строка 13: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 3 октября | + | | align="center" | 20 сентября |
| − | | Доклад по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" | + | | Доклад по статье Нечипорука Э.И. «Об одной булевской матрице»<sup>[[Media:Specsem20240920.pdf|Аннотация доклада]]</sup> |
| − | | Зиновьев В. С. | + | | align="center" | Сергеев Максим |
| | |- | | |- |
| − | | align="center" | 10 октября | + | | align="center" | 27 сентября |
| − | | Окончание доклада по статье Ложкина С.А., Рыбко А.И., Сапоженко А.А., Хромковича Ю., Шкаликовой Н.А. "Об одном подходе к оценке пространственной сложности схем из функциональных элементов" | + | | Доклад по статье Попкова К.А. «О самокорректирующихся схемах из ненадежных функциональных элементов, имеющих не более двух входов»<sup>[[Media:Specsem20240927.pdf|Аннотация доклада]]</sup> |
| − | | Зиновьев В. С. | + | | align="center" | Долгих Любовь |
| | |- | | |- |
| − | | align="center" | 17 октября | + | | align="center" | 4 октября |
| − | | Тесты для булевых функций относительно вытесняющих неисправностей | + | | Доклад по теме «Решение задачи логического синтеза схем при помощи методов искусственного интеллекта»<sup>[[Media:Specsem20241004.pdf|Аннотация доклада]]</sup> |
| − | | Морозов Е. В. | + | | align="center" | Гребенкин Сергей |
| | |- | | |- |
| − | | align="center" | 24 октября | + | | align="center" | 11 октября |
| − | | Комбинаторика и сложность случайных булевых формул | + | | Доклад по теме «О сложности линейной функции алгебры логики в некоторых классах обобщённых контактных схем»<sup>[[Media:Specsem_20241011.pdf|Аннотация доклада]]</sup> |
| − | | [[Участник:KonovodovV|Коноводов В. А. ]]
| + | | align="center" | Михалев Евгений |
| | |- | | |- |
| − | | 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"| Кортунова Е. М.
| |
| | |} | | |} |
| | + | |
| | | | |
| | {| width="98%" | | {| width="98%" |
| Строка 61: |
Строка 37: |
| | | | |
| | |} | | |} |
| − |
| |
| − | == Руководители ==
| |
| − |
| |
| − | * проф. [[Ложкин Сергей Андреевич]]
| |
| − | * проф. [[Марченко Александр Михайлович]]
| |
| − | * доц. [[Романов Дмитрий Сергеевич]]
| |
| − |
| |
| − | == Участники ==
| |
| − |
| |
| − | {| width="100%"
| |
| − | | width="40%" |
| |
| − |
| |
| − | <u>Аспиранты:</u>
| |
| − | * Антюфеев Григорий
| |
| − | * Богомолова Евгения
| |
| − | * [[Участник:KonovodovV|Коноводов Владимир]]
| |
| − | * Морозов Евгений
| |
| − | | width="40%" |
| |
| − |
| |
| − | <u>Студенты 5 курса:</u>
| |
| − | * Костюков Станислав
| |
| − | * Тренкунов Антон
| |
| − | * Жукова Анна
| |
| − | * Чеховская Екатерина
| |
| − | * Доленко Ольга
| |
| − | * Белышов Михаил
| |
| − | |
| |
| − |
| |
| − | <u>Студенты 4 курса:</u>
| |
| − | * Довгалюк Екатерина
| |
| − | * Кортунова Екатерина
| |
| − | * Кулешов Олег
| |
| − | * Кумар Виренд
| |
| − | * Раннев Егор
| |
| − | |}
| |
| − |
| |
| − | == Ссылки ==
| |
| − | * [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dHB2ZjVpbjR2SkdmYVRVcUVqUG1sMGc&single=true&gid=0&output=html Таблицы посещаемости (2013-2014 учебный год)]
| |
| | | | |
| | [[Категория:Спецсеминары кафедры математической кибернетики]] | | [[Категория:Спецсеминары кафедры математической кибернетики]] |
