Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures

2021 ◽  
Author(s):  
Alvaro Velasquez ◽  
Sumit Kumar Jha ◽  
Rickard Ewetz ◽  
Susmit Jha
Keyword(s):  
Decision Procedures ◽  
Quantum Circuits ◽  
Automated Synthesis

Automated synthesis of PEG-coupled antisense-oligonucleotides

1993 ◽  
Vol 58 (s1) ◽  
pp. 204-208 ◽  
Author(s):  
Andres Jäschke ◽  
Jens P. Fürste ◽  
Dieter Cech ◽  
Volker A. Erdmann
Keyword(s):  
Antisense Oligonucleotides ◽  
Automated Synthesis

Modification of an Anion-Exchange Procedure for 68Ga Preconcentration and Automated Synthesis of [68Ga]Ga-PSMA-11

2019 ◽  
Vol 61 (6) ◽  
pp. 748-753
Author(s):  
D. O. Antuganov ◽  
D. V. Ryzhkova ◽  
V. V. Timofeev ◽  
T. A. Zykova ◽  
Yu. O. Antuganova ◽  
...  
Keyword(s):  
Anion Exchange ◽  
Automated Synthesis

scholarly journals Andreev Probe of Persistent Current States in Superconducting Quantum Circuits

2005 ◽  
Vol 95 (14) ◽  
Author(s):  
V. T. Petrashov ◽  
K. G. Chua ◽  
K. M. Marshall ◽  
R. Sh. Shaikhaidarov ◽  
J. T. Nicholls
Keyword(s):  
Persistent Current ◽  
Quantum Circuits ◽  
Superconducting Quantum Circuits

scholarly journals Quantum circuits cannot control unknown operations

2014 ◽  
Vol 16 (9) ◽  
pp. 093026 ◽  
Author(s):  
Mateus Araújo ◽  
Adrien Feix ◽  
Fabio Costa ◽  
Časlav Brukner
Keyword(s):  
Quantum Circuits

scholarly journals Fully in situ Nb/InAs-nanowire Josephson junctions by selective-area growth and shadow evaporation

2021 ◽  
Author(s):  
Pujitha Perla ◽  
H. Aruni Fonseka ◽  
Patrick Zellekens ◽  
Russell Deacon ◽  
Yisong Han ◽  
...  
Keyword(s):  
Magnetic Fields ◽  
Josephson Junctions ◽  
Quantum Circuits ◽  
Selective Area Growth ◽  
Selective Area ◽  
Area Growth ◽  
Shadow Evaporation ◽  
Superconducting Quantum Circuits

Nb/InAs-nanowire Josephson junctions are fabricated in situ by a special shadow evaporation scheme for the superconducting Nb electrode. The junctions are interesting candidates for superconducting quantum circuits requiring large magnetic fields.

scholarly journals A verified optimizer for Quantum circuits

2021 ◽  
Vol 5 (POPL) ◽  
pp. 1-29
Author(s):  
Kesha Hietala ◽  
Robert Rand ◽  
Shih-Han Hung ◽  
Xiaodi Wu ◽  
Michael Hicks
Keyword(s):  
Quantum Circuits

scholarly journals Solving nonlinear differential equations with differentiable quantum circuits

2021 ◽  
Vol 103 (5) ◽  
Author(s):  
Oleksandr Kyriienko ◽  
Annie E. Paine ◽  
Vincent E. Elfving
Keyword(s):  
Differential Equations ◽  
Nonlinear Differential Equations ◽  
Quantum Circuits
Sign in / Sign up

Export Citation Format

Share Document