Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Расписание докладов) |
м (→Расписание докладов) |
||
(не показаны 23 промежуточных версий 2 участников) | |||
Строка 1: | Строка 1: | ||
− | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории | + | ''Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.'' |
Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] | Руководители: проф. [[Ложкин Сергей Андреевич]], доц. [[Романов Дмитрий Сергеевич]], доц. [[Шуплецов Михаил Сергеевич]], н.с. [[Данилов Борис Радиславович]] | ||
Строка 13: | Строка 13: | ||
! Докладчик | ! Докладчик | ||
|- | |- | ||
− | | align="center" | | + | | align="center" | 27 сентября |
− | | Доклад по | + | | Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»<sup>[[Media:Specsem_190927.pdf|Аннотация доклада]]</sup> |
− | | align="center" | | + | | align="center" | Хзмалян Д.Э. |
|- | |- | ||
− | | align="center" | | + | | align="center" | 11 октября |
− | | Доклад по | + | | Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)<sup>[[Media:Specsem_191011.pdf|Аннотация доклада]]</sup> |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
| align="center" | Лопунов М.А. | | align="center" | Лопунов М.А. | ||
+ | |- | ||
+ | | align="center" | 18 октября | ||
+ | | Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»<sup>[[Media:Specsem_191018.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Зизов В. | ||
+ | |- | ||
+ | | align="center" | 25 октября | ||
+ | | Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»<sup>[[Media:Specsem_191025.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Ибрагимов Б.М. | ||
+ | |- | ||
+ | | align="center" | 8 ноября | ||
+ | | rowspan="2" | доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»<sup>[[Media:Specsem_191108.pdf|Аннотация доклада]]</sup> | ||
+ | | rowspan="2" align="center" | проф. Ложкин С.А. | ||
+ | |- | ||
+ | | align="center" | 15 ноября | ||
+ | |- | ||
+ | | align="center" | 22 ноября | ||
+ | | Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)<sup>[[Media:Specsem_221119.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | Купраш Е. | ||
|} | |} | ||
Версия 11:49, 22 ноября 2019
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|