Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера (Виталий Калмычков, SECR-2019)
Материал из 0x1.tv
Версия от 01:55, 3 декабря 2019; StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Виталий Калмычков}} <blockquote> В докладе охарактеризовано современное полож…»)
Короткая ссылка: 20191115DC
- Докладчик
- Виталий Калмычков
В докладе охарактеризовано современное положение в квантовых вычислениях, и возможно слушатели узнают новую информацию из перспективной области создания и программирования квантовых компьютеров. Будет представлен опыт разработки модульной системы автоматической генерации спецификаций квантовых цепей, используемых в качестве основы для логического представления квантового вычислительного процесса.
В докладе рассматриваются предложенные способы по автоматической минимизации квантовых цепей на основе масштабируемых шаблонов, их оценки и верификации.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Презентация
Примечания и ссылки