ИСТИНА

• Члены программного комитета: Гашков С.Б., Ковалёв М.Д., Ковалёв М.Д., Чашкин А.В., Алексеев В.Б.
• Охват: Международная
• Даты проведения: 17-22 июня 2019
• Место проведения: Москва, Russia
• Число участников: 300
• Число докладчиков: 240
• Веб-сайт: http://agora.guru.ru/dmseminar2019
• Добавил в систему: Бабин Дмитрий Николаевич

Доклады:

• 2019 Алгоритм обучения систем с дискретным управлением (Устный)
• Автор: Голиков Кирилл Анатольевич

• 2019 Арифметизация регистровых машин со счётчиками (Устный)
• Автор: Савицкий И.В.

• 2019 Базисы заданий логических систем пропозициональными исчислениями (Устный)
• Автор: Боков Г.В.

• 2019 Булевы преобразования бернуллиевских случайных величин (Пленарный)
• Автор: Яшунский А.Д.

• 2019 Быстрые алгоритмы решения уравнений степени не выше 4 в некоторых конечных полях (Устный)
• Автор: Гашков С.Б.

• 2019 Верхняя оценка энергопотребления объёмных схем в классе булевых операторов (Устный)
• Автор: Ефимов Алексей Андреевич

• 2019 Единственность предельной точки в алгебрах бернуллиевских распределений (Устный)
• Автор: Яшунский А.Д.

• 2019 Комбинаторика и гиперболическая геометрия семейств трёхмерных многогранников: фуллерены и многогранники А.В.Погорелова (Устный)
• Автор: Ероховец Н.Ю.

• 2019 Конъюнктивные формы для предикатов на конечных множествах, их свойства и некоторые применения (Пленарный)
• Автор: Селезнева С.Н.

• 2019 О ПРОЕКЦИЯХ КОНФИГУРАЦИОННЫХ ПРОСТРАНСТВ ШАРНИРНЫХ МЕХАНИЗМОВ (Устный)
• Автор: Ковалёв М.Д.

• 2019 О ТЕОРЕМЕ КЕМПЕ И ВОПРОСАХ ГЕОМЕТРИИ ШАРНИРНЫХ КОНСТРУКЦИЙ (Пленарный)
• Автор: Ковалёв М.Д.

• 2019 О задаче верификациидля одного класса автоматов реального времени (Устный)
• Авторы: Захаров В.А., Винарский Е.М.

• 2019 О классах самодвойственных функций неявно предполных в P_k (Устный)
• Автор: Старостин М.В.

• 2019 О классах частичных монотонных функций в трехзначной логике (Устный)
• Автор: Дудакова О.С.

• 2019 О некоторых интервалах решетки замкнутых классов в частичной k-значной логике (Устный)
• Автор: Алексеев В.Б.

• 2019 О несуществовании конструкций платовидных устойчивых булевых функций с некоторыми параметрами (Устный)
• Автор: Хинко Е.В.

• 2019 О применении SAT-решателей для проверки принадлежности булевых функций, заданных полиномами, одному замкнутому классу (Устный)
• Автор: Бухман А.В.

• 2019 О проблеме полноты в классах линейных автоматов над конечными полями (Устный)
• Автор: Часовских А.А.

• 2019 О прогрессивном накрытии натуральных чисел с рядом ограничений (Устный)
• Автор: Дергач П.С.

• 2019 О решётке замкнутых классов автоматов с операцией суперпозиции (Устный)
• Автор: Бабин Д.Н.

• 2019 О сложности монотонных схем для симметрических пороговых функций (Устный)
• Автор: Сергеев И.С.

• 2019 О сложности реализации системы из двух мономов схемами композиции (Устный)
• Автор: Корнеев С.А.

• 2019 О сложности реализации стандартных мультиплексорных функций в некоторых классах контактных схем (Устный)
• Авторы: Хзмалян Д.Э., Ложкин С.А.

• 2019 О сложности частичных булевых функций (Устный)
• Автор: Чашкин А.В.

• 2019 Оптимальная стратегия решения частного случая задачи о ранце методом ветвей и границ (Устный)
• Автор: Колпаков Р.М.

• 2019 Понятие реализуемости на основе общерекурсивных функций (Устный)
• Автор: Коновалов А.Ю.

• 2019 Построение подстановок с полным дифференциалом (Устный)
• Авторы: Галатенко А.В., Носов В.А., Панкратьев А.Е.

• 2019 Раскраски псевдорегулярных графов (Устный)
• Авторы: Мельник М.В., Селезнева С.Н.

• 2019 Сложность синтеза многослойных схем (Устный)
• Авторы: Сытдыков Т.Р., Калачев Г.В.