1088 lines
59 KiB
Clojure
1088 lines
59 KiB
Clojure
{:highlights [{:id #uuid "64d26a25-d026-41e4-85a9-4102cbac51f2",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 141.33333587646484,
|
||
:x2 520.04296875,
|
||
:y2 440.7395935058594,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 141.33333587646484,
|
||
:x2 0,
|
||
:y2 162.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 157.33333587646484,
|
||
:x2 0,
|
||
:y2 178.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 425.361572265625,
|
||
:y1 388.8645935058594,
|
||
:x2 520.04296875,
|
||
:y2 406.19793701171875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 406.13543701171875,
|
||
:x2 520.0425262451172,
|
||
:y2 423.46875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 423.40625,
|
||
:x2 206.93862915039062,
|
||
:y2 440.7395935058594,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "model-driven optimization can be applied in the context of quantum software engineering"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26a2e-c886-49f4-9685-8501654f19f4",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 205.33333587646484,
|
||
:x2 520.0419921875,
|
||
:y2 492.54168701171875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 205.33333587646484,
|
||
:x2 0,
|
||
:y2 226.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 296.4093017578125,
|
||
:y1 457.9427185058594,
|
||
:x2 520.0419921875,
|
||
:y2 475.27606201171875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 475.2083435058594,
|
||
:x2 182.98751831054688,
|
||
:y2 492.54168701171875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text " quantum information theory and linear algebra"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26af9-5d19-4716-bc42-e98541923a8c",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 429.3333339691162,
|
||
:x2 520.2065277099609,
|
||
:y2 789.9479370117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 429.3333339691162,
|
||
:x2 0,
|
||
:y2 450.6666679382324,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 445.3333339691162,
|
||
:x2 0,
|
||
:y2 466.6666679382324,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 112.95950317382812,
|
||
:y1 729.1666870117188,
|
||
:x2 519.2772216796875,
|
||
:y2 748.5,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 749.890625,
|
||
:x2 520.2065277099609,
|
||
:y2 769.2239685058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 770.6145935058594,
|
||
:x2 191.6945037841797,
|
||
:y2 789.9479370117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "application of AI for model transformations, concerning endeavours such as model translation [1], generation [2], or repair [3], [4]. "},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26b12-ac18-4f7c-bb97-1885ec606097",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 557.3333358764648,
|
||
:x2 520.2089691162109,
|
||
:y2 935,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 557.3333358764648,
|
||
:x2 0,
|
||
:y2 578.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 894.9479370117188,
|
||
:x2 520.2089691162109,
|
||
:y2 914.28125,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 915.6666870117188,
|
||
:x2 520.2069549560547,
|
||
:y2 935,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "program features to classes while maintaining separation of concerns, in order to obtain a high-quality software model."},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26b55-b55e-4cf9-b8d6-50b9689aed36",
|
||
:page 1,
|
||
:position {:bounding {:x1 102.13542175292969,
|
||
:y1 998.4270935058594,
|
||
:x2 520.1965179443359,
|
||
:y2 1017.7604370117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 102.13542175292969,
|
||
:y1 998.4270935058594,
|
||
:x2 520.1965179443359,
|
||
:y2 1017.7604370117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "Automated Software Engineering for Quantum Computing."},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26b72-700e-4ab7-9bb6-d1c871410819",
|
||
:page 1,
|
||
:position {:bounding {:x1 171.39541625976562,
|
||
:y1 1164.203125,
|
||
:x2 457.10308837890625,
|
||
:y2 1183.5364990234375,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 171.39541625976562,
|
||
:y1 1164.203125,
|
||
:x2 457.10308837890625,
|
||
:y2 1183.5364990234375,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "conceptual model of quantum programs"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26b96-1c88-45f4-af3b-46c1a3d79835",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 335.3177185058594,
|
||
:x2 976.0999755859375,
|
||
:y2 898.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 749.5914916992188,
|
||
:y1 335.3177185058594,
|
||
:x2 976.0973510742188,
|
||
:y2 354.6510467529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 356.0364685058594,
|
||
:x2 976.0999755859375,
|
||
:y2 375.3697967529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 376.7604217529297,
|
||
:x2 976.0953979492188,
|
||
:y2 396.09375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 397.4791717529297,
|
||
:x2 976.0991821289062,
|
||
:y2 416.8125,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 418.203125,
|
||
:x2 810.4381103515625,
|
||
:y2 437.5364685058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 829.3333740234375,
|
||
:x2 0,
|
||
:y2 850.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 845.3333740234375,
|
||
:x2 0,
|
||
:y2 866.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 861.3333740234375,
|
||
:x2 0,
|
||
:y2 882.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 877.3333740234375,
|
||
:x2 0,
|
||
:y2 898.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "synthesis of quantum programs. The latter is particularly relevant for a broad adoption of QC, because designing a suitable quantum program for a desired computational task requires extensive knowledge in quantum information theory and linear algebra"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26bcf-64c1-4554-8f9e-84604bada5c9",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 563.2604370117188,
|
||
:x2 976.0963745117188,
|
||
:y2 1010.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 914.1835327148438,
|
||
:y1 563.2604370117188,
|
||
:x2 976.0963745117188,
|
||
:y2 582.59375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 583.984375,
|
||
:x2 971.7553100585938,
|
||
:y2 603.3177185058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 989.3333740234375,
|
||
:x2 0,
|
||
:y2 1010.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "no MDO approaches for the automated synthesis of quantum programs"},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26be3-96ea-46d1-a179-4fd2ae418918",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 687.59375,
|
||
:x2 976.0983276367188,
|
||
:y2 1122.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 923.2431030273438,
|
||
:y1 687.59375,
|
||
:x2 976.0960693359375,
|
||
:y2 706.9270935058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 708.3177185058594,
|
||
:x2 976.0983276367188,
|
||
:y2 727.6510620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 729.0364685058594,
|
||
:x2 970.9031372070312,
|
||
:y2 748.3698120117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1085.3333740234375,
|
||
:x2 0,
|
||
:y2 1106.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1101.3333740234375,
|
||
:x2 0,
|
||
:y2 1122.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "holistic approach that supports the definition but also to facilitate development, in parts or as a whole, by leveraging AI methods"},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26c65-41bc-41a1-88b1-06d68314b3a4",
|
||
:page 1,
|
||
:position {:bounding {:x1 558.0260620117188,
|
||
:y1 770.484375,
|
||
:x2 653.49853515625,
|
||
:y2 789.8177185058594,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 558.0260620117188,
|
||
:y1 770.484375,
|
||
:x2 653.49853515625,
|
||
:y2 789.8177185058594,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "Contributions"},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26c70-9036-49f8-aeed-60aa1c3f7b16",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 791.203125,
|
||
:x2 976.0999755859375,
|
||
:y2 1186.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 763.1535949707031,
|
||
:y1 791.203125,
|
||
:x2 976.0968627929688,
|
||
:y2 810.5364685058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 811.9270935058594,
|
||
:x2 976.0999755859375,
|
||
:y2 831.2604370117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 832.6510620117188,
|
||
:x2 630.984130859375,
|
||
:y2 851.984375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1149.3333740234375,
|
||
:x2 0,
|
||
:y2 1170.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1165.3333740234375,
|
||
:x2 0,
|
||
:y2 1186.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "ethod to conduct automated quantum program synthesis using the existing MDO engine MOMoT [7]."},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26cd6-be14-49cc-b000-98300a96bce8",
|
||
:page 1,
|
||
:position {:bounding {:x1 0,
|
||
:y1 1019.1510620117188,
|
||
:x2 976.0991821289062,
|
||
:y2 1394.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 915.6089477539062,
|
||
:y1 1019.1510620117188,
|
||
:x2 976.0973510742188,
|
||
:y2 1038.484375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 1039.875,
|
||
:x2 976.0980224609375,
|
||
:y2 1059.2083435058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 1060.59375,
|
||
:x2 976.0991821289062,
|
||
:y2 1079.9270935058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 1081.3177185058594,
|
||
:x2 975.1859130859375,
|
||
:y2 1100.6510620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 1102.0416870117188,
|
||
:x2 859.6439208984375,
|
||
:y2 1121.375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1325.3333740234375,
|
||
:x2 0,
|
||
:y2 1346.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1341.3333740234375,
|
||
:x2 0,
|
||
:y2 1362.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1357.3333740234375,
|
||
:x2 0,
|
||
:y2 1378.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1373.3333740234375,
|
||
:x2 0,
|
||
:y2 1394.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 1},
|
||
:content {:text "Drawing from dedicated models for representing quantum programs and configurable MDO approaches, it would allow to further analyse the application of different AI and MDE approaches for quantum program synthesis in the future."},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26d7b-5fd8-40e6-8ae8-7623d6896954",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 253.33333587646484,
|
||
:x2 520.2054443359375,
|
||
:y2 485.08856201171875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 253.33333587646484,
|
||
:x2 0,
|
||
:y2 274.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 282.7723388671875,
|
||
:y1 445.03125,
|
||
:x2 520.2054443359375,
|
||
:y2 464.3645935058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 465.7552185058594,
|
||
:x2 229.3739471435547,
|
||
:y2 485.08856201171875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "roblem-agnostic environment for model optimization. "},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26da3-e4bb-4048-9091-21bad154ec99",
|
||
:page 2,
|
||
:position {:bounding {:x1 267.34002685546875,
|
||
:y1 686.5520935058594,
|
||
:x2 397.4761962890625,
|
||
:y2 705.8854370117188,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 267.34002685546875,
|
||
:y1 686.5520935058594,
|
||
:x2 397.4761962890625,
|
||
:y2 705.8854370117188,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "The Circuit Model"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26da9-64e3-4abc-8744-3c55dae5b02b",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 445.33333587646484,
|
||
:x2 520.1976928710938,
|
||
:y2 753.5625,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 445.33333587646484,
|
||
:x2 0,
|
||
:y2 466.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 376.11370849609375,
|
||
:y1 713.5052185058594,
|
||
:x2 520.1976928710938,
|
||
:y2 732.8385620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 734.2291870117188,
|
||
:x2 250.54638671875,
|
||
:y2 753.5625,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "arnessing quantum mechanical phenomen"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26e0d-c1e8-4d81-b5c8-288ae4d61337",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 509.33333587646484,
|
||
:x2 520.2064208984375,
|
||
:y2 836.453125,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 509.33333587646484,
|
||
:x2 0,
|
||
:y2 530.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 312.520263671875,
|
||
:y1 796.3958435058594,
|
||
:x2 520.2064208984375,
|
||
:y2 815.7291870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 817.1198120117188,
|
||
:x2 488.26390075683594,
|
||
:y2 836.453125,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text " a quantum circuit comprises the application of quantum gates in an ordered manner "},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26e14-5041-4f48-95ca-04a5a7e53fbf",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 541.3333435058594,
|
||
:x2 520.2070465087891,
|
||
:y2 877.8958435058594,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 0,
|
||
:y1 541.3333435058594,
|
||
:x2 0,
|
||
:y2 562.6666717529297,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 155.3340606689453,
|
||
:y1 837.84375,
|
||
:x2 520.2070465087891,
|
||
:y2 857.1770935058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 84.86979675292969,
|
||
:y1 858.5625,
|
||
:x2 402.1673583984375,
|
||
:y2 877.8958435058594,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "gates are sequentially applied to the quantum information, which is stored on so-called qubits."},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26ee7-c2ef-4d09-9d58-e6f8cb8a54a3",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 401.88543701171875,
|
||
:x2 976.0991821289062,
|
||
:y2 1122.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 690.7582397460938,
|
||
:y1 401.88543701171875,
|
||
:x2 976.0707397460938,
|
||
:y2 421.21875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 422.60418701171875,
|
||
:x2 976.0991821289062,
|
||
:y2 441.9375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 443.328125,
|
||
:x2 624.0448608398438,
|
||
:y2 462.6614990234375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1085.3333740234375,
|
||
:x2 0,
|
||
:y2 1106.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1101.3333740234375,
|
||
:x2 0,
|
||
:y2 1122.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "Lacking the information on the implementation of Oracles prohibits the execution of a quantum circuit [35]."},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26f02-ce17-478d-9c24-a98a8c924004",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 502.15106201171875,
|
||
:x2 976.0975952148438,
|
||
:y2 1202.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 802.2774658203125,
|
||
:y1 502.15106201171875,
|
||
:x2 976.0894775390625,
|
||
:y2 521.484375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 522.875,
|
||
:x2 976.0962524414062,
|
||
:y2 542.2083435058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 543.59375,
|
||
:x2 976.0975952148438,
|
||
:y2 562.9271240234375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 564.3177490234375,
|
||
:x2 781.2930908203125,
|
||
:y2 583.6510620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1149.3333740234375,
|
||
:x2 0,
|
||
:y2 1170.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1165.3333740234375,
|
||
:x2 0,
|
||
:y2 1186.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1181.3333740234375,
|
||
:x2 0,
|
||
:y2 1202.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "he required elementary quantum gates to realize a certain functionality, is known to be a highly non-trivial task which is required for the quantum program to be executable"},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26f1f-450d-4af0-9b07-a2702d17b4c1",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 667.9323120117188,
|
||
:x2 976.0968627929688,
|
||
:y2 1298.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 724.7748413085938,
|
||
:y1 667.9323120117188,
|
||
:x2 976.0968627929688,
|
||
:y2 687.265625,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 688.6510620117188,
|
||
:x2 703.5977783203125,
|
||
:y2 707.984375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1277.3333740234375,
|
||
:x2 0,
|
||
:y2 1298.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "produced output quantum state and an expected target state"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26f3a-a110-4ed8-b93b-15483d2d1601",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 771.5677185058594,
|
||
:x2 976.0960693359375,
|
||
:y2 1410.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 558.0260620117188,
|
||
:y1 771.5677185058594,
|
||
:x2 976.0892944335938,
|
||
:y2 790.9010620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 792.2864685058594,
|
||
:x2 976.0953979492188,
|
||
:y2 811.6198120117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 813.0104370117188,
|
||
:x2 976.0960693359375,
|
||
:y2 832.34375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 833.7291870117188,
|
||
:x2 927.7972412109375,
|
||
:y2 853.0625,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1357.3333740234375,
|
||
:x2 0,
|
||
:y2 1378.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1373.3333740234375,
|
||
:x2 0,
|
||
:y2 1394.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1389.3333740234375,
|
||
:x2 0,
|
||
:y2 1410.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "Several approaches have been explored to automate the discovery and synthesis of quantum programs, where especially reinforcement learning [15]–[17], [36]–[38] and genetic programming approaches [39]–[41] have been studied."},
|
||
:properties {:color "yellow"}}
|
||
{:id #uuid "64d26f60-6e66-4edd-8224-e8a7b75e820f",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 892.5573120117188,
|
||
:x2 976.0991821289062,
|
||
:y2 1474.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 713.3271789550781,
|
||
:y1 892.5573120117188,
|
||
:x2 976.0879516601562,
|
||
:y2 911.890625,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 913.2760620117188,
|
||
:x2 976.0991821289062,
|
||
:y2 932.609375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 934,
|
||
:x2 810.4430541992188,
|
||
:y2 953.3333740234375,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1437.3333740234375,
|
||
:x2 0,
|
||
:y2 1458.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1453.3333740234375,
|
||
:x2 0,
|
||
:y2 1474.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "we will describe how the MOMoT framework can be applied to automatically synthesize quantum programs in terms of circuit models."},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d26f70-b861-4bcb-89a4-23a894ee5997",
|
||
:page 2,
|
||
:position {:bounding {:x1 0,
|
||
:y1 934,
|
||
:x2 976.0982055664062,
|
||
:y2 1522.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8},
|
||
:rects ({:x1 906.6753540039062,
|
||
:y1 934,
|
||
:x2 975.7884521484375,
|
||
:y2 953.3333435058594,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 954.7239685058594,
|
||
:x2 976.0969848632812,
|
||
:y2 974.0573120117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 975.4427185058594,
|
||
:x2 976.0982055664062,
|
||
:y2 994.7760620117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 540.7604370117188,
|
||
:y1 996.1666870117188,
|
||
:x2 634.9464721679688,
|
||
:y2 1015.5,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1469.3333740234375,
|
||
:x2 0,
|
||
:y2 1490.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1485.3333740234375,
|
||
:x2 0,
|
||
:y2 1506.6666870117188,
|
||
:width 1060.8,
|
||
:height 1372.8}
|
||
{:x1 0,
|
||
:y1 1501.3333740234375,
|
||
:x2 0,
|
||
:y2 1522.666748046875,
|
||
:width 1060.8,
|
||
:height 1372.8}),
|
||
:page 2},
|
||
:content {:text "a genetic algorithm is used to search for implementations that meet the trade-off between accuracy and computational cost present in the NISQ-era"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26fcf-a2e5-4dff-8788-a05198a77c15",
|
||
:page 3,
|
||
:position {:bounding {:x1 91.39583587646484,
|
||
:y1 1053.0156555175781,
|
||
:x2 298.4561080932617,
|
||
:y2 1074.0156555175781,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 91.39583587646484,
|
||
:y1 1053.0156555175781,
|
||
:x2 298.4561080932617,
|
||
:y2 1074.0156555175781,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 3},
|
||
:content {:text "Model-Driven Optimization"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d26fda-edde-4a39-b151-1ca9329afff8",
|
||
:page 3,
|
||
:position {:bounding {:x1 0,
|
||
:y1 813.3333587646484,
|
||
:x2 560.066650390625,
|
||
:y2 1118.6510620117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 0,
|
||
:y1 813.3333587646484,
|
||
:x2 0,
|
||
:y2 834.6666870117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 490.82293701171875,
|
||
:y1 1075.3333740234375,
|
||
:x2 560.066650390625,
|
||
:y2 1096.3333740234375,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 91.39583587646484,
|
||
:y1 1097.6510620117188,
|
||
:x2 198.7615966796875,
|
||
:y2 1118.6510620117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 3},
|
||
:content {:text "Quantum Circuit Model"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d2701f-fc2d-4234-99fb-fd15e5a3a0d0",
|
||
:page 3,
|
||
:position {:bounding {:x1 0,
|
||
:y1 940.8958740234375,
|
||
:x2 1051.1661987304688,
|
||
:y2 1266.6666870117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 989.5032348632812,
|
||
:y1 940.8958740234375,
|
||
:x2 1050.8308715820312,
|
||
:y2 961.8958740234375,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541870117188,
|
||
:y1 963.2135620117188,
|
||
:x2 1051.1661987304688,
|
||
:y2 984.2135620117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541870117188,
|
||
:y1 985.5313110351562,
|
||
:x2 1051.0586547851562,
|
||
:y2 1006.5313110351562,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541870117188,
|
||
:y1 1007.8489990234375,
|
||
:x2 869.3179016113281,
|
||
:y2 1028.8489990234375,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1213.3333740234375,
|
||
:x2 0,
|
||
:y2 1234.6666870117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1229.3333740234375,
|
||
:x2 0,
|
||
:y2 1250.6666870117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1245.3333740234375,
|
||
:x2 0,
|
||
:y2 1266.6666870117188,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 3},
|
||
:content {:text "This set represents the found trade-off solutions of the multi-objective search and the Quantum Circuit Models are transformed back to the specific Q-SDK representation."},
|
||
:properties {:color "purple"}}
|
||
{:id #uuid "64d270a5-24d3-4b94-8efa-5abc41c79951",
|
||
:page 4,
|
||
:position {:bounding {:x1 91.39583587646484,
|
||
:y1 672.2916870117188,
|
||
:x2 219.65132904052734,
|
||
:y2 693.2917175292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 91.39583587646484,
|
||
:y1 672.2916870117188,
|
||
:x2 219.65132904052734,
|
||
:y2 693.2917175292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 4},
|
||
:content {:text "AngleParameters"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d2710c-0df5-4cb1-93c8-9c3db6b736e3",
|
||
:page 6,
|
||
:position {:bounding {:x1 0,
|
||
:y1 582.1250152587891,
|
||
:x2 1051.165023803711,
|
||
:y2 1138.6667175292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 600.953125,
|
||
:y1 582.1250152587891,
|
||
:x2 1051.0128784179688,
|
||
:y2 603.1250152587891,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 604.4427185058594,
|
||
:x2 1051.165023803711,
|
||
:y2 625.4427185058594,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 626.7552185058594,
|
||
:x2 730.8759765625,
|
||
:y2 647.7552185058594,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1101.3333435058594,
|
||
:x2 0,
|
||
:y2 1122.6667175292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1117.3333435058594,
|
||
:x2 0,
|
||
:y2 1138.6667175292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 6},
|
||
:content {:text "This paper demonstrates the feasibility of using existing model-driven search approaches for automated quantum program synthesis"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d27134-a9da-425a-846e-8b4f0499a9c4",
|
||
:page 6,
|
||
:position {:bounding {:x1 0,
|
||
:y1 872.6094207763672,
|
||
:x2 1051.166488647461,
|
||
:y2 1362.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 600.953125,
|
||
:y1 872.6094207763672,
|
||
:x2 1051.1627807617188,
|
||
:y2 893.6094360351562,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 894.9271240234375,
|
||
:x2 1051.164535522461,
|
||
:y2 915.9271240234375,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 917.2448425292969,
|
||
:x2 1051.166488647461,
|
||
:y2 938.2448425292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 939.5573425292969,
|
||
:x2 911.7684173583984,
|
||
:y2 960.5573425292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1309.3333740234375,
|
||
:x2 0,
|
||
:y2 1330.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1325.3333740234375,
|
||
:x2 0,
|
||
:y2 1346.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1341.3333740234375,
|
||
:x2 0,
|
||
:y2 1362.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 6},
|
||
:content {:text "We do not provide a performance evaluation of our proposed approach, which would comprise, among others, hyperparameter tuning, comparison of different search algorithms, and effects of additional transformation rules."},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "64d27142-6f36-4af5-8588-9a1759a20330",
|
||
:page 6,
|
||
:position {:bounding {:x1 0,
|
||
:y1 984.1927490234375,
|
||
:x2 1051.1652221679688,
|
||
:y2 1426.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999},
|
||
:rects ({:x1 1024.3780517578125,
|
||
:y1 984.1927490234375,
|
||
:x2 1051.1652221679688,
|
||
:y2 1005.1927490234375,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 1006.5104675292969,
|
||
:x2 1051.1639862060547,
|
||
:y2 1027.5104675292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 582.3541717529297,
|
||
:y1 1028.8229675292969,
|
||
:x2 873.9167327880859,
|
||
:y2 1049.8229675292969,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1389.3333740234375,
|
||
:x2 0,
|
||
:y2 1410.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}
|
||
{:x1 0,
|
||
:y1 1405.3333740234375,
|
||
:x2 0,
|
||
:y2 1426.666748046875,
|
||
:width 1142.3999999999999,
|
||
:height 1478.3999999999999}),
|
||
:page 6},
|
||
:content {:text "We leave the according study of performance and scalability of our proposed approach as future work"},
|
||
:properties {:color "green"}}],
|
||
:extra {:page 2}}
|