|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
XVI Международная конференция "Проблемы теоретической кибернетики". Нижний Новгород, 20-25 июня 2011 г. Конференция
- Член программного комитета: Ложкин С.А.
- Охват: Международная
- Даты проведения: 20-25 июня 2011
- Место проведения: Нижний Новгород, Russia
-
Организаторы:
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
МГУ имени М.В. Ломоносова, Механико-математический факультет
Нижегородский государственный университет имени Н.И.Лобачевского
Вычислительный центр РАН имени А.А.Дородницына
Институт прикладной математики имени М.В.Келдыша РАН - Все конференции этой группы
-
Описание конференции:
Организаторы: МГУ имени М.В.Ломоносова, Нижегородский государственный университет им. Н.И.Лобачевского, Вычислительный центр им. А.А.Дородницына РАН, Институт прикладной математики им. М.В.Келдыша РАН.
- Добавил в систему: Кочергин Вадим Васильевич
Доклады:
- 2011 Интерполяционные взаимно обратные соотношения и обобщение формулы Ворпицкого (Устный)
- Авторы: Шарапова М.Л., Бондаренко Л.Н.
- 2011 Некоторые оценки сложности вентильных схем с кратными путями для недоопределенных матриц
- Автор: Кочергин В.В.
- 2011 О порождающих системах специального вида для предполных классов монотонных функций k-значной логики (Устный)
- Автор: Дудакова Ольга Сергеевна
- 2011 О проверяющих тестах относительно перестановок переменных в булевых функциях (Устный)
- Автор: Романов Д.С.
- 2011 О расстояниях от максимально-нелинейных булевых функций до почти аффинных функций (Устный)
- Авторы: Омаров Р.Р., Алексеев В.Б.
- 2011 О синтезе и сложности формул с ограниченной глубиной альтернирования
- Авторы: Коноводов В.А., Ложкин С.А.
- 2011 О синтезе схем, допускающих проверяющие тесты константной длины (Устный)
- Автор: Романов Д.С.
- 2011 О тестах относительно локальных линейных слипаний входов схем (Устный)
- Авторы: Романов Д.С., Морозов Е.В.