FRINK Linked Data Fragments server

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

• W3204266961 endingPage "4356" @default.
• W3204266961 startingPage "4339" @default.
• W3204266961 abstract "Based on the connection between the categorical derivation of classical programs from specifications and a category-theoretic approach to quantum information, this paper contributes to extending the laws of classical program algebra to quantum programming. This aims at building <italic xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>correct-by-construction</i> quantum circuits to be deployed on quantum devices such as those available through the IBM Q Experience. Reversibility is ensured by minimal complements. Such complementation is extended inductively to encompass catamorphisms on lists (vulgo folds), giving rise to the corresponding recursion scheme in reversible computation. The same idea is then applied to the setting of quantum programming, where computation is expressed by unitary transformations. This yields the notion of ‘quantamorphism’, a structural form of quantum recursion implementing cycles and folds on lists with quantum control flow. By Kleisli correspondence, quantamorphisms can be written as monadic functional programs with quantum parameters. This enables the use of Haskell, a monadic functional programming language, to perform the experimental work. Such calculated quantum programs prepared in Haskell are pushed through Quipper and the Qiskit interface to IBM Q quantum devices. The generated quantum circuits – often quite large – exhibit the predicted behaviour. However, running them on real quantum devices naturally incurs a significant amount of errors. As quantum technology is rapidly evolving, an increase in reliability is likely in the future, allowing for our programs to run more accurately." @default.
• W3204266961 created "2021-10-11" @default.
• W3204266961 creator A5046142373 @default.
• W3204266961 creator A5063458536 @default.
• W3204266961 creator A5070407243 @default.
• W3204266961 date "2022-11-01" @default.
• W3204266961 modified "2023-10-18" @default.
• W3204266961 title "Compiling Quantamorphisms for the IBM Q Experience" @default.
• W3204266961 cites W1516224330 @default.
• W3204266961 cites W1533211775 @default.
• W3204266961 cites W1541400212 @default.
• W3204266961 cites W1999128250 @default.
• W3204266961 cites W1999626800 @default.
• W3204266961 cites W2018304344 @default.
• W3204266961 cites W2018944629 @default.
• W3204266961 cites W2020073275 @default.
• W3204266961 cites W2057292961 @default.
• W3204266961 cites W2088336977 @default.
• W3204266961 cites W2104812648 @default.
• W3204266961 cites W2105287078 @default.
• W3204266961 cites W2109932450 @default.
• W3204266961 cites W2113582770 @default.
• W3204266961 cites W2119180894 @default.
• W3204266961 cites W2121357705 @default.
• W3204266961 cites W2140654465 @default.
• W3204266961 cites W2141008943 @default.
• W3204266961 cites W2148132004 @default.
• W3204266961 cites W2162422586 @default.
• W3204266961 cites W2172307690 @default.
• W3204266961 cites W2323777246 @default.
• W3204266961 cites W2495201414 @default.
• W3204266961 cites W2533990420 @default.
• W3204266961 cites W2797773006 @default.
• W3204266961 cites W2913992572 @default.
• W3204266961 cites W2963898348 @default.
• W3204266961 cites W3098041393 @default.
• W3204266961 cites W3101634683 @default.
• W3204266961 cites W3105463217 @default.
• W3204266961 cites W3105690832 @default.
• W3204266961 cites W3204266961 @default.
• W3204266961 cites W345682156 @default.
• W3204266961 cites W4235410435 @default.
• W3204266961 cites W4238931494 @default.
• W3204266961 doi "https://doi.org/10.1109/tse.2021.3117515" @default.
• W3204266961 hasPublicationYear "2022" @default.
• W3204266961 type Work @default.
• W3204266961 sameAs 3204266961 @default.
• W3204266961 citedByCount "1" @default.
• W3204266961 countsByYear W32042669612022 @default.
• W3204266961 crossrefType "journal-article" @default.
• W3204266961 hasAuthorship W3204266961A5046142373 @default.
• W3204266961 hasAuthorship W3204266961A5063458536 @default.
• W3204266961 hasAuthorship W3204266961A5070407243 @default.
• W3204266961 hasBestOaLocation W32042669612 @default.
• W3204266961 hasConcept C121332964 @default.
• W3204266961 hasConcept C124148022 @default.
• W3204266961 hasConcept C137019171 @default.
• W3204266961 hasConcept C168773036 @default.
• W3204266961 hasConcept C186468114 @default.
• W3204266961 hasConcept C199360897 @default.
• W3204266961 hasConcept C2780624054 @default.
• W3204266961 hasConcept C41008148 @default.
• W3204266961 hasConcept C42383842 @default.
• W3204266961 hasConcept C58053490 @default.
• W3204266961 hasConcept C62520636 @default.
• W3204266961 hasConcept C80444323 @default.
• W3204266961 hasConcept C84114770 @default.
• W3204266961 hasConceptScore W3204266961C121332964 @default.
• W3204266961 hasConceptScore W3204266961C124148022 @default.
• W3204266961 hasConceptScore W3204266961C137019171 @default.
• W3204266961 hasConceptScore W3204266961C168773036 @default.
• W3204266961 hasConceptScore W3204266961C186468114 @default.
• W3204266961 hasConceptScore W3204266961C199360897 @default.
• W3204266961 hasConceptScore W3204266961C2780624054 @default.
• W3204266961 hasConceptScore W3204266961C41008148 @default.
• W3204266961 hasConceptScore W3204266961C42383842 @default.
• W3204266961 hasConceptScore W3204266961C58053490 @default.
• W3204266961 hasConceptScore W3204266961C62520636 @default.
• W3204266961 hasConceptScore W3204266961C80444323 @default.
• W3204266961 hasConceptScore W3204266961C84114770 @default.
• W3204266961 hasFunder F4320334779 @default.
• W3204266961 hasIssue "11" @default.
• W3204266961 hasLocation W32042669611 @default.
• W3204266961 hasLocation W32042669612 @default.
• W3204266961 hasOpenAccess W3204266961 @default.
• W3204266961 hasPrimaryLocation W32042669611 @default.
• W3204266961 hasRelatedWork W2401152939 @default.
• W3204266961 hasRelatedWork W2951211905 @default.
• W3204266961 hasRelatedWork W3037559418 @default.
• W3204266961 hasRelatedWork W3094585827 @default.
• W3204266961 hasRelatedWork W3204266961 @default.
• W3204266961 hasRelatedWork W4283574728 @default.
• W3204266961 hasRelatedWork W4287635474 @default.
• W3204266961 hasRelatedWork W4304893720 @default.
• W3204266961 hasRelatedWork W4306309268 @default.
• W3204266961 hasRelatedWork W4320855344 @default.
• W3204266961 hasVolume "48" @default.
• W3204266961 isParatext "false" @default.

• next