Das System wird zu Wartungszwecken heruntergefahren. Bitte speichern Sie Ihre Arbeit und melden Sie sich ab.
Auflistung nach Schlagwort "Logic circuits"
-
Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert
(Saarbrücken : Dagstuhl Publishing, 2016)
We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...
-
Nakata, Yoshifumi; Hirche, Christoph; Morgan, Ciara; Winter, Andreas
(Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2015)
Unitary 2-designs are random unitary matrices which, in contrast to their Haar-distributed counterparts, have been shown to be efficiently realized by quantum circuits. Most notably, unitary 2-designs are known to achieve ...