FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2900633510> ?p ?o ?g. }

• W2900633510 abstract "We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopted is a quantum state machine, which is a natural quantum generalisation of Mealy machines. A major difficulty in checking quantum circuits (but not present in checking classical circuits) is that the state spaces of quantum circuits are continuums. This difficulty is resolved by our main theorem showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis (which are finite) and have a length quadratic in the dimensions of the state Hilbert spaces of the machines. Based on this theoretical result, we develop an (and to the best of our knowledge, the first) algorithm for checking equivalence of sequential quantum circuits. A case study and experiments are presented." @default.
• W2900633510 created "2018-11-29" @default.
• W2900633510 creator A5023088481 @default.
• W2900633510 creator A5047470866 @default.
• W2900633510 date "2018-11-16" @default.
• W2900633510 modified "2023-09-22" @default.
• W2900633510 title "Equivalence Checking of Sequential Quantum Circuits" @default.
• W2900633510 cites W10410845 @default.
• W2900633510 cites W113418608 @default.
• W2900633510 cites W1480910789 @default.
• W2900633510 cites W1631356911 @default.
• W2900633510 cites W1853715199 @default.
• W2900633510 cites W1855444172 @default.
• W2900633510 cites W1975378777 @default.
• W2900633510 cites W1988413534 @default.
• W2900633510 cites W2016321815 @default.
• W2900633510 cites W2027671360 @default.
• W2900633510 cites W2040497903 @default.
• W2900633510 cites W2041518499 @default.
• W2900633510 cites W2053364918 @default.
• W2900633510 cites W2075773711 @default.
• W2900633510 cites W2092494161 @default.
• W2900633510 cites W2099120582 @default.
• W2900633510 cites W2106850456 @default.
• W2900633510 cites W2113522095 @default.
• W2900633510 cites W2115757125 @default.
• W2900633510 cites W2119825179 @default.
• W2900633510 cites W2121695129 @default.
• W2900633510 cites W2121750555 @default.
• W2900633510 cites W2143657115 @default.
• W2900633510 cites W2144607693 @default.
• W2900633510 cites W2147198170 @default.
• W2900633510 cites W2152183667 @default.
• W2900633510 cites W2394946564 @default.
• W2900633510 cites W2560531073 @default.
• W2900633510 cites W2610480027 @default.
• W2900633510 cites W2612376810 @default.
• W2900633510 cites W2668469132 @default.
• W2900633510 cites W2901382944 @default.
• W2900633510 cites W2909742212 @default.
• W2900633510 cites W2914656902 @default.
• W2900633510 cites W2921384226 @default.
• W2900633510 cites W294073838 @default.
• W2900633510 cites W2964190485 @default.
• W2900633510 cites W569769073 @default.
• W2900633510 hasPublicationYear "2018" @default.
• W2900633510 type Work @default.
• W2900633510 sameAs 2900633510 @default.
• W2900633510 citedByCount "1" @default.
• W2900633510 countsByYear W29006335102020 @default.
• W2900633510 crossrefType "posted-content" @default.
• W2900633510 hasAuthorship W2900633510A5023088481 @default.
• W2900633510 hasAuthorship W2900633510A5047470866 @default.
• W2900633510 hasConcept C110251889 @default.
• W2900633510 hasConcept C11413529 @default.
• W2900633510 hasConcept C118615104 @default.
• W2900633510 hasConcept C121332964 @default.
• W2900633510 hasConcept C124148022 @default.
• W2900633510 hasConcept C134146338 @default.
• W2900633510 hasConcept C137019171 @default.
• W2900633510 hasConcept C15706264 @default.
• W2900633510 hasConcept C167822520 @default.
• W2900633510 hasConcept C202444582 @default.
• W2900633510 hasConcept C2780069185 @default.
• W2900633510 hasConcept C33923547 @default.
• W2900633510 hasConcept C41008148 @default.
• W2900633510 hasConcept C48103436 @default.
• W2900633510 hasConcept C51003876 @default.
• W2900633510 hasConcept C62520636 @default.
• W2900633510 hasConcept C62799726 @default.
• W2900633510 hasConcept C80444323 @default.
• W2900633510 hasConcept C84114770 @default.
• W2900633510 hasConcept C96654402 @default.
• W2900633510 hasConceptScore W2900633510C110251889 @default.
• W2900633510 hasConceptScore W2900633510C11413529 @default.
• W2900633510 hasConceptScore W2900633510C118615104 @default.
• W2900633510 hasConceptScore W2900633510C121332964 @default.
• W2900633510 hasConceptScore W2900633510C124148022 @default.
• W2900633510 hasConceptScore W2900633510C134146338 @default.
• W2900633510 hasConceptScore W2900633510C137019171 @default.
• W2900633510 hasConceptScore W2900633510C15706264 @default.
• W2900633510 hasConceptScore W2900633510C167822520 @default.
• W2900633510 hasConceptScore W2900633510C202444582 @default.
• W2900633510 hasConceptScore W2900633510C2780069185 @default.
• W2900633510 hasConceptScore W2900633510C33923547 @default.
• W2900633510 hasConceptScore W2900633510C41008148 @default.
• W2900633510 hasConceptScore W2900633510C48103436 @default.
• W2900633510 hasConceptScore W2900633510C51003876 @default.
• W2900633510 hasConceptScore W2900633510C62520636 @default.
• W2900633510 hasConceptScore W2900633510C62799726 @default.
• W2900633510 hasConceptScore W2900633510C80444323 @default.
• W2900633510 hasConceptScore W2900633510C84114770 @default.
• W2900633510 hasConceptScore W2900633510C96654402 @default.
• W2900633510 hasLocation W29006335101 @default.
• W2900633510 hasOpenAccess W2900633510 @default.
• W2900633510 hasPrimaryLocation W29006335101 @default.
• W2900633510 hasRelatedWork W111391299 @default.
• W2900633510 hasRelatedWork W1574850141 @default.
• W2900633510 hasRelatedWork W1597499909 @default.
• W2900633510 hasRelatedWork W1605821400 @default.

• next