Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
DanilovB (обсуждение | вклад) (→Расписание докладов) |
DanilovB (обсуждение | вклад) (→Расписание докладов) |
||
(не показаны 11 промежуточные версии 1 участника) | |||
Строка 52: | Строка 52: | ||
| Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup> | | Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup> | ||
| align="center" | Купраш Екатерина | | align="center" | Купраш Екатерина | ||
+ | |- | ||
+ | | align="center" | 19 ноября | ||
+ | | Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»<sup>[[Media:Specem_211119.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Любич И.Г | ||
+ | |- | ||
+ | | align="center" | 26 ноября | ||
+ | | Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»<sup>[[Media:Specem_211126.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Антюфеев Г.В. | ||
+ | |- | ||
+ | | align="center" | 10 декабря | ||
+ | | Доклад по статье «Коммуникационная сложность универсального отношения»<sup>[[Media:Specem_211210.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Белашкин И.А. | ||
+ | |- | ||
+ | | align="center" | 17 декабря | ||
+ | | Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»<sup>[[Media:Specem_211217.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Местецкий Михаил | ||
+ | |- | ||
+ | | align="center" | 4 марта | ||
+ | | Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»<sup>[[Media:Specem_220304.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Демиденко Александр | ||
+ | |- | ||
+ | | align="center" | 18 марта | ||
+ | | Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»<sup>[[Media:Specem_220318.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Ступин Роман | ||
+ | |- | ||
+ | | align="center" | 25 марта | ||
+ | | Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Исаков Ильяс | ||
+ | |- | ||
+ | | align="center" | 1 апреля | ||
+ | | Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»<sup>[[Media:Specem_220401.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Синенкова Анна | ||
+ | |- | ||
+ | | align="center" | 8 апреля | ||
+ | | Доклад по статье К.А. Попкова «Метод построения легко диагностируемых схем из функциональных элементов относительно единичных неисправностей»<sup>[[Media:Specem_220408.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Тамерлан Еркибаев | ||
+ | |- | ||
+ | | align="center" | 15 апреля | ||
+ | | Доклад по статье Е.В. Валентинова «О сложности самокорректирующихся контактных схем при растущем числе обрывов»<sup>[[Media:Specem_220415.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Фесенко Анастасия | ||
|} | |} | ||
Версия 00:49, 15 апреля 2022
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|