Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 20: Строка 20:
 
|-
 
|-
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
{{announce Seminar| 31 октября 2014 г.
+
{{announce Seminar| 7 ноября 2014 г.
| Доклад по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью"<sup>[[Media:VLSI31.10.2014.pdf|аннотация докдада]]</sup>
+
| Окончание доклада по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью"
| Раннев Е. К. }}
+
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] }}
  
 
|-
 
|-
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
{{announce Seminar| 31 октября 2014 г.
+
{{announce Seminar| 7 ноября 2014 г.
| Инверсная сложность булевых функций (окончание доклада)
+
| Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [http://link.springer.com/article/10.3103%2FS0027132212020064]
| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]
+
| [[Романов Дмитрий Сергеевич | Романов Д. С.]]
 
}}
 
}}
 
|-
 
|-

Версия 09:09, 7 ноября 2014

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
17 октября 2014 г. Идеальные языки и синхронизируемые автоматы Масленникова М.И. (Уральский федеральный университет)
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
7 ноября 2014 г. Окончание доклада по статье Ложкина С. А., Шуплецова М. С. "О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с линейной динамической активностью" Шуплецов М. С.
Некоторые вопросы теории управляющих систем
7 ноября 2014 г. Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [1] Романов Д. С.
Теоретические проблемы программирования
Сложность решения дискретных задач
Просеминар для 2-го курса