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