Теория управляющих систем и математические модели СБИС — различия между версиями
Материал из Кафедра математической кибернетики
м (→Расписание докладов) |
DanilovB (обсуждение | вклад) (→Расписание докладов) |
||
Строка 38: | Строка 38: | ||
| Доклад по статье 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> | | Доклад по статье 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" | Купраш Е. | | align="center" | Купраш Е. | ||
+ | |- | ||
+ | | align="center" | 13 декабря | ||
+ | | Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»<sup>[[Media:Specsem_191213.pdf|Аннотация доклада]]</sup> | ||
+ | | align="center" | доцент кафедры МАТИС | ||
+ | механико-математического факультета Часовских А.А. | ||
|} | |} | ||
Версия 14:07, 12 декабря 2019
Спецсеминар для бакалавров 3 и 4 курса, магистров, аспирантов проходит по пятницам с 16:30 до 18:00 в аудитории 506.
Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович
Расписание докладов
|