|
|
| Строка 80: |
Строка 80: |
| | | Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup> | | | Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»<sup>[[Media:Specem_220325.pdf|Аннотация доклада]]</sup> |
| | | align="center" | Исаков Ильяс | | | 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" | Синенкова Анна |
| | |} | | |} |
| | | | |
Версия 11:16, 30 марта 2022
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 26 февраля
|
Доклад по статье: Александрова Н.Е., Романов Д.С. «О длине единичного проверяющего теста относительно вставок элементов, не сохраняющих константу»Аннотация доклада
|
Сагандыков Жандос
|
| 5 марта
|
Доклад по статье: M.Langhammer, G.Baeckler «High Density and Performance Multiplication for FPGA»Аннотация доклада
|
Купраш Екатерина
|
| 12 марта
|
Доклад по доказательству теорем 1 и 4 из статьи: Попков К. А. О полных диагностических тестах для контактных схем при обрывах и/или замыканиях контактов // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. — 2019. — № 3 (51). — С. 5–24. — DOI 10.21685/2072-3040-2019-3-1.Статья, Аннотация доклада
|
Мальцев Александр
|
| 19 марта
|
Доклад по теме «О нижних оценках площади и времени вычисления в модели последовательных клеточных схем»Аннотация доклада
|
Хомич Павел
|
| 26 марта
|
Доклад по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада
|
Белашкин И.А.
|
| 2 апреля
|
Продолжение доклада по статье Ложкина С.А., Власова Н.В. «О глубине мультиплексорной функции»Аннотация доклада
|
Белашкин И.А.
|
| 9 апреля
|
Доклад по статье Mauricio Karchmer, Avi Wigderson «Monotone Circuits for Connectivity Require Super-Logarithmic Depth»Аннотация доклада
|
Зинкин Егор
|
| 1 октября
|
Доклад по статье К.А. Попкова «О самокорректирующихся схемах из ненадёжных функциональных элементов»Аннотация доклада
|
Михаил Лопунов
|
| 15 октября
|
Доклад по статье Ложкина С.А., Зизова В.С. «Оценки площади мультиплексорных функций в одной модели клеточных схем»Аннотация доклада
|
Зизов Вадим
|
| 22 октября
|
Доклад по статье Krishnamoorthy Dinesh, Samir Otiv, Jayalal Sarma «New bounds for energy complexity of Boolean functions»Аннотация доклада
|
Купраш Екатерина
|
| 19 ноября
|
Доклад по теме «Диагностические тесты относительно инверсных неисправностях в СФЭ»Аннотация доклада
|
Любич И.Г
|
| 26 ноября
|
Доклад по теме «Оценки длин минимальных тестов для аргументов функций при подстановке констант, сдвигах и алгебраических операциях»Аннотация доклада
|
Антюфеев Г.В.
|
| 10 декабря
|
Доклад по статье «Коммуникационная сложность универсального отношения»Аннотация доклада
|
Белашкин И.А.
|
| 17 декабря
|
Доклад по статье Kei Uchizawaa, Eiji Takimoto «Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity»Аннотация доклада
|
Местецкий Михаил
|
| 4 марта
|
Доклад по статье Benjamin Wesolowski, Ryan Williams «Lower bounds for the depth of modular squaring»Аннотация доклада
|
Демиденко Александр
|
| 18 марта
|
Доклад по статье Mathilde Koch, Thomas Duigou, and Jean-Loup Faulon «Reinforcement Learning for Bio-Retrosynthesis»Аннотация доклада
|
Ступин Роман
|
| 25 марта
|
Доклад по статье Ложкин С.А., Власов Н.В. «О сложности мультиплексорной функции в классе пи-схем»Аннотация доклада
|
Исаков Ильяс
|
| 1 апреля
|
Доклад по статье Kojevnikov A., Kulikov A.S., Yaroslavtsev G. «Finding efficient circuits using SAT-solvers»Аннотация доклада
|
Синенкова Анна
|
|
