Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.
Расписание докладов
| Дата
|
Тема доклада
|
Докладчик
|
| 9 октября
|
Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
|
Зиновьев В. С.
|
| 16 октября
|
Синтез и сложность дешифраторных схем контактного типа
|
Добровецкий Д. И.
|
| 23 октября
|
Совместно с семинаром Дискретная математика и математическая кибернетика
|
| New bounds on Klarner's constant
|
Gill Barequet, Dept. of Computer Science, Technion
|
| 30 октября
|
О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. Аннотация доклада
|
Довгалюк Е. Л.
|
| 6 ноября
|
Об одной модели рекурсивных схем из функциональных элементов. Аннотация доклада
|
Фивейский С.В.
|
| 13 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
|
Мария Автайкина
|
| 20 ноября
|
Совместно с семинаром Некоторые вопросы теории управляющих систем
|
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
1. http://www.iccad.com (конференция)
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
|
Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
|
| 27 ноября
|
Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" Аннотация доклада
|
Кухтинов А.С.
|
| 4 декабря
|
Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
|
Шуплецов М.С.
|
|
Руководители
Участники
|
Аспиранты:
|
Студенты 5 курса:
- Костюков Станислав
- Тренкунов Антон
- Жукова Анна
- Чеховская Екатерина
- Доленко Ольга
- Белышов Михаил
|
Студенты 4 курса:
- Довгалюк Екатерина
- Кортунова Екатерина
- Кулешов Олег
- Кумар Виренд
- Раннев Егор
|
Ссылки
