|
|
(не показаны 54 промежуточных версий 3 участников) |
Строка 1: |
Строка 1: |
− | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.'' | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по средам с 14:45 до 16:15 в аудитории 507.'' |
| | | |
− | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] | + | Руководители: заведующий кафедрой [[Ложкин Сергей Андреевич]], проф. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], асс. [[Данилов Борис Радиславович]] |
| | | |
| == Расписание докладов == | | == Расписание докладов == |
Строка 13: |
Строка 13: |
| ! Докладчик | | ! Докладчик |
| |- | | |- |
− | | align="center" | 26 февраля | + | | align="center" | 22 февраля |
− | | Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»<sup>[[Media:Specem_210226.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Юлии Владиславовны Бородиной «Некоторые классы легкотестируемых схем в базисе Жегалкина» (Дискретная математика, 2021, том 33, выпуск 4, стр. 3–10)<sup>[[Media:Specsem20240222.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Сагандыков Жандос | + | | align="center" | Шухман Алексей |
| |- | | |- |
− | | align="center" | 5 марта | + | | align="center" | 29 февраля |
− | | Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»<sup>[[Media:Specem_210305.pdf|Аннотация доклада]]</sup> | + | | Доклад по теме «Методы решения задачи поиска функциональных соответствий»<sup>[[Media:Specsem20240229.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Купраш Екатерина | + | | align="center" | Федоренко Илья |
| |- | | |- |
− | | align="center" | 12 марта | + | | align="center" | 7, 14 марта |
− | | Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.<sup>[[Media:Popkov_KA_2019_Poln_diag_obr_ili_zamyk.pdf|Статья]], [[Media:Specem_210312.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Коршунова А.Д. «Об асимптотических оценках сложности контактных схем заданной степени» (Сборник трудов института математики СО АН СССР. Вып. 5, 1965 г. С. 35—67)<sup>[[Media:Specsem20240307.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Мальцев Александр | + | | align="center" | Михалев Евгений |
| |- | | |- |
− | | align="center" | 19 марта | + | | align="center" | 21 марта |
− | | Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»<sup>[[Media:Specem_210319.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Евгения Валерьевича Морозова «О полных тестах относительно вытесняющих неисправностей входов схем» (Вестн. Моск. ун-та. Сер. 1. Математика. Механика. 2015, № 1. С. 55–59)<sup>[[Media:Specsem20240321.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Хомич Павел | + | | align="center" | Кленин Максим |
| |- | | |- |
− | | align="center" | 26 марта | + | | align="center" | 28 марта |
− | | Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210326.pdf|Аннотация доклада]]</sup> | + | | Доклад по теме «Методы сведения задачи точного синтеза схем из функциональных элементов к задаче выполнимости конъюнктивных нормальных форм»<sup>[[Media:Specsem20240328.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Белашкин И.А. | + | | align="center" | Фаизов Алексей |
| |- | | |- |
− | | align="center" | 2 апреля | + | | align="center" | 5 апреля |
− | | Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»<sup>[[Media:Specem_210402.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Красновой Т.И. «Минимальные схемы для одной последовательности булевых функций»<sup>[[Media:Specsem20240404.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Белашкин И.А. | + | | align="center" | Сергеев Максим |
| |- | | |- |
− | | align="center" | 9 апреля | + | | align="center" | 11 апреля |
− | | Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»<sup>[[Media:Specem_210409.pdf|Аннотация доклада]]</sup> | + | | Доклад «Некоторые прикладные и теоретические задачи, связанные с проектированием СБИС»<sup>[[Media:Specsem20240411.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Зинкин Егор | + | | align="center" | С.А.Ложкин и М.С.Шуплецов |
| |- | | |- |
− | | align="center" | 1 октября | + | | align="center" | 18 апреля |
− | | Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»<sup>[[Media:Specem_211001.pdf|Аннотация доклада]]</sup> | + | | Доклад по статье Miyasaka, Yukio «Transduction Method for AIG Minimization»<sup>[[Media:Specsem20240418.pdf|Аннотация доклада]]</sup> |
− | | align="center" | Михаил Лопунов | + | | align="center" | Башмаков Михаил |
| |- | | |- |
− | | align="center" | 15 октября
| |
− | | Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»<sup>[[Media:Specem_211015.pdf|Аннотация доклада]]</sup>
| |
− | | align="center" | Зизов Вадим
| |
− | |-
| |
− | | align="center" | 22 октября
| |
− | | Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»<sup>[[Media:Specem_211022.pdf|Аннотация доклада]]</sup>
| |
− | | 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" | Фесенко Анастасия
| |
| |} | | |} |
| | | |