Теория управляющих систем и математические модели СБИС — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (Расписание докладов)
(Расписание докладов)
Строка 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.

Руководители: проф. Ложкин Сергей Андреевич, доц. Романов Дмитрий Сергеевич, доц. Шуплецов Михаил Сергеевич, н.с. Данилов Борис Радиславович

Расписание докладов

Дата Тема доклада Докладчик
27 сентября Доклад по теме «О связи между коммуникативной сложностью и глубиной схем»Аннотация доклада Хзмалян Д.Э.
11 октября Доклад по статье Ю.В.Бородиной «Легкотестируемые схемы в базисе Жегалкина при константных неисправностях типа “1” на выходах элементов» (Дискрет. матем. – 2019. – Том 31, выпуск 2. – С. 14–19)Аннотация доклада Лопунов М.А.
18 октября Доклад магистра по теме «Обзор методов построения эффективных SAT-решателей»Аннотация доклада Зизов В.
25 октября Доклад магистра по статье Ложкина С.А. и Ли Да Мина «О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки»Аннотация доклада Ибрагимов Б.М.
8 ноября доклад по статье Маркова А.А. «Об инверсной сложности булевых функций»Аннотация доклада проф. Ложкин С.А.
15 ноября
22 ноября Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)Аннотация доклада Купраш Е.
13 декабря Доклад по теме «Задачи полноты и выразимости для классов линейных автоматов»Аннотация доклада доцент кафедры МАТИС

механико-математического факультета Часовских А.А.


архив докладов за прошлые семестры