Skip to content
Snippets Groups Projects
Commit 0703eb73 authored by External User mbackens's avatar External User mbackens
Browse files

added gitignore file

parent 059af536
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 17 additions and 2741 deletions
.gitignore 0 → 100644
+ 17
− 0
View file @ 0703eb73
*.aux
*.backup
*.bbl
*.blg
*.fdb_latexmk
*.fls
*.idx
*.ilg
*.ind
*.log
*.out
*.pag
NEWPROPOSAL/*.pdf
!NEWPROPOSAL/images/*.pdf
!NEWPROPOSAL/Front-Page.pdf
*.synctex.gz
*.DS_Store
NEWPROPOSAL/.DS_Store deleted 100644 → 0
+ 0
− 0
View file @ 059af536
File deleted
NEWPROPOSAL/FULLPROP.aux deleted 100644 → 0
+ 0
− 257
View file @ 059af536
\relax
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {paragraph}{Duration:}{2}{paragraph*.1}}
\newlabel{sec:duration}{{}{2}{Duration:}{paragraph*.1}{}}
\newlabel{sec:abstract}{{}{2}{}{paragraph*.1}{}}
\newlabel{sec:relev-topic-addr}{{}{2}{}{paragraph*.1}{}}
\citation{Alexander-S.-Green:2013fk}
\citation{Paykin2017a}
\citation{Steiger2016ProjectQ:-An-Op}
\citation{export:209634}
\citation{PhysRevX.4.041041}
\citation{Raussendorf-2001}
\citation{KendonAncilla}
\citation{Versluis2016Scalable-quantu}
\citation{PhysRevX.4.041041}
\citation{Cross2017Open-Quantum-As}
\citation{Hner2016A-Software-Meth}
\citation{Alexander-S.-Green:2013fk}
\citation{export:209634}
\citation{Coecke:2009aa}
\citation{AbrCoe:CatSemQuant:2004}
\citation{Coecke2017Picturing-Quant}
\citation{Jeandel2017A-Complete-Axio}
\citation{NgWang}
\@writefile{toc}{\contentsline {section}{\numberline {1}EXCELLENCE }{3}{section.1}}
\newlabel{sec:overview}{{1}{3}{EXCELLENCE \REM {(6 pages)}}{section.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Targeted breakthrough, baseline of knowledge and skills}{3}{subsection.1.1}}
\newlabel{sec:targ-breakthr-basel}{{1.1}{3}{Targeted breakthrough, baseline of knowledge and skills}{subsection.1.1}{}}
\@writefile{toc}{\contentsline {paragraph}{Summary: }{3}{paragraph*.2}}
\newlabel{sec:summary:-}{{1.1}{3}{Summary: }{paragraph*.2}{}}
\@writefile{toc}{\contentsline {paragraph}{Context:}{3}{paragraph*.3}}
\newlabel{sec:context}{{1.1}{3}{Context:}{paragraph*.3}{}}
\@writefile{toc}{\contentsline {paragraph}{Targeted breakthrough:}{3}{paragraph*.4}}
\newlabel{sec:targ-breakthr}{{1.1}{3}{Targeted breakthrough:}{paragraph*.4}{}}
\@writefile{toc}{\contentsline {paragraph}{Baseline of knowledge and skills:}{3}{paragraph*.5}}
\newlabel{sec:basel-knowl-skills}{{1.1}{3}{Baseline of knowledge and skills:}{paragraph*.5}{}}
\citation{Raussendorf-2001}
\citation{Chancellor2016Coherent-Parity}
\citation{Duncan:2013lr}
\citation{Stefano-Gogioso2017Fully-graphical}
\citation{Zeng2015The-Abstract-St}
\citation{Horsman:2011lr}
\citation{Duncan:2012uq}
\citation{Duncan:2010aa}
\citation{Kissinger2015Quantomatic:-A-}
\citation{Chancellor2016Coherent-Parity}
\citation{Duncan:2013lr}
\@writefile{toc}{\contentsline {paragraph}{Contribution to the theme addressed}{4}{paragraph*.6}}
\newlabel{sec:contr-theme-addr}{{1.1}{4}{Contribution to the theme addressed}{paragraph*.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Novelty, level of ambition and foundational character}{4}{subsection.1.2}}
\newlabel{sec:novelty-level-ambit}{{1.2}{4}{Novelty, level of ambition and foundational character}{subsection.1.2}{}}
\@writefile{toc}{\contentsline {paragraph}{Novelty:}{4}{paragraph*.7}}
\newlabel{sec:novelty}{{1.2}{4}{Novelty:}{paragraph*.7}{}}
\citation{BH-2017}
\citation{Jeandel2017A-Complete-Axio}
\citation{NgWang}
\citation{Kissinger2015Quantomatic:-A-}
\citation{Mhalla:2008kx}
\citation{D.E.-Browne2007Generalized-Flo}
\citation{Duncan:2010aa}
\citation{Alexander-S.-Green:2013fk}
\citation{Cross2017Open-Quantum-As}
\citation{KZ:2015:aa}
\citation{Kissinger2015Quantomatic:-A-}
\@writefile{toc}{\contentsline {paragraph}{Ambition:}{5}{paragraph*.8}}
\newlabel{sec:ambition}{{1.2}{5}{Ambition:}{paragraph*.8}{}}
\@writefile{toc}{\contentsline {paragraph}{Foundational Character:}{5}{paragraph*.9}}
\newlabel{sec:foundational-nature}{{1.2}{5}{Foundational Character:}{paragraph*.9}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Concept and methodology}{5}{subsection.1.3}}
\newlabel{sec:concept-methodology}{{1.3}{5}{Concept and methodology}{subsection.1.3}{}}
\citation{Alexander-S.-Green:2013fk}
\citation{export:209634}
\citation{Cross2017Open-Quantum-As}
\citation{Steiger2016ProjectQ:-An-Op}
\citation{Raussendorf-2001}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.1}A quantum compiler stack}{6}{subsubsection.1.3.1}}
\newlabel{sec:progr-lang-supp}{{1.3.1}{6}{A quantum compiler stack}{subsubsection.1.3.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.2}Representation and reasoning}{6}{subsubsection.1.3.2}}
\newlabel{sec:machines-models}{{1.3.2}{6}{Representation and reasoning}{subsubsection.1.3.2}{}}
\citation{Jeandel2017A-Complete-Axio}
\citation{NgWang}
\citation{PhysRevX.4.041041}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.3}Machine-independent optimisation}{7}{subsubsection.1.3.3}}
\newlabel{sec:repr-reas-azx}{{1.3.3}{7}{Machine-independent optimisation}{subsubsection.1.3.3}{}}
\citation{Duncan:2013lr}
\citation{Chancellor2016Coherent-Parity}
\citation{BH-2017}
\citation{Garvie2017Verifying-the-S}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1.3.4}Machine-dependent optimisation}{8}{subsubsection.1.3.4}}
\newlabel{sec:comp-quant-softw}{{1.3.4}{8}{Machine-dependent optimisation}{subsubsection.1.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Interdisciplinary nature}{9}{subsection.1.4}}
\newlabel{sec:interd-nature}{{1.4}{9}{Interdisciplinary nature}{subsection.1.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}IMPACT }{10}{section.2}}
\newlabel{sec:impact-2-pages}{{2}{10}{IMPACT \REM {(3 pages)}}{section.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Expected impacts}{10}{subsection.2.1}}
\newlabel{sec:expected-impacts}{{2.1}{10}{Expected impacts}{subsection.2.1}{}}
\@writefile{toc}{\contentsline {paragraph}{Develop a deeper fundamental and practical understanding of systems and protocols for manipulating and exploiting quantum information ---\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{10}{paragraph*.10}}
\@writefile{toc}{\contentsline {paragraph}{Enhance the robustness and scalability of quantum information technologies in the presence of environmental decoherence ---\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{10}{paragraph*.11}}
\@writefile{toc}{\contentsline {paragraph}{Identify new opportunities and applications fostered through quantum technologies, and the possible ways to transfer these technologies from laboratories to industries ---\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{10}{paragraph*.12}}
\@writefile{toc}{\contentsline {paragraph}{Enhance interdisciplinarity in crossing traditional boundaries between disciplines in order to enlarge the community involved in tackling these new challenges ---\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{11}{paragraph*.13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Dissemination, exploitation of results, communication}{11}{subsection.2.2}}
\newlabel{sec:diss-expl-results}{{2.2}{11}{Dissemination, exploitation of results, communication}{subsection.2.2}{}}
\@writefile{toc}{\contentsline {paragraph}{Dissemination.\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{11}{paragraph*.14}}
\newlabel{sec:dissemination}{{2.2}{11}{Dissemination.\!\!}{paragraph*.14}{}}
\@writefile{toc}{\contentsline {paragraph}{Exploitation of results.\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{11}{paragraph*.15}}
\@writefile{toc}{\contentsline {paragraph}{Communication.\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{12}{paragraph*.16}}
\@writefile{toc}{\contentsline {paragraph}{Advisory Board:\tmspace -\thinmuskip {.1667em}\tmspace -\thinmuskip {.1667em}}{12}{paragraph*.17}}
\newlabel{sec:advsiory-board}{{2.2}{12}{Advisory Board:\!\!}{paragraph*.17}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}IMPLEMENTATION}{13}{section.3}}
\newlabel{sec:impl-2-pages}{{3}{13}{IMPLEMENTATION}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Work plan }{13}{subsection.3.1}}
\newlabel{sec:work-plan-work}{{3.1}{13}{Work plan \REM {(2 pages)}}{subsection.3.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Approximate timings and durations of tasks (months)}}{13}{figure.1}}
\newlabel{fig:gantt}{{1}{13}{Approximate timings and durations of tasks (months)}{figure.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Dependencies and interactions between tasks}}{14}{figure.2}}
\newlabel{fig:pert}{{2}{14}{Dependencies and interactions between tasks}{figure.2}{}}
\citation{Raussendorf-2001}
\citation{DanosV:meac}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Work Packages }{15}{subsection.3.2}}
\newlabel{sec:work-packages}{{3.2}{15}{Work Packages \REM {1page per WP}}{subsection.3.2}{}}
\newlabel{wp:frontend}{{WP1}{15}{Work Packages \REM {1page per WP}}{workpack.1}{}}
\newlabel{task:circuit-model}{{T1.1}{15}{Work Packages \REM {1page per WP}}{workpacktask.1.1}{}}
\newlabel{task:mbqc-model}{{T1.2}{15}{Work Packages \REM {1page per WP}}{workpacktask.1.2}{}}
\newlabel{task:trans1}{{T1.3}{15}{Work Packages \REM {1page per WP}}{workpacktask.1.3}{}}
\newlabel{task:testBench}{{T1.4}{15}{Work Packages \REM {1page per WP}}{workpacktask.1.4}{}}
\newlabel{task:backendapi}{{T1.5}{15}{Work Packages \REM {1page per WP}}{workpacktask.1.5}{}}
\newlabel{del:earlyapi}{{D1.1}{15}{Work Packages \REM {1page per WP}}{workpackdeliverable.1.1}{}}
\newlabel{del:frontendapi}{{D1.5}{15}{Work Packages \REM {1page per WP}}{workpackdeliverable.1.5}{}}
\newlabel{del:backendapi}{{D1.6}{15}{Work Packages \REM {1page per WP}}{workpackdeliverable.1.6}{}}
\newlabel{wp:backends}{{WP2}{16}{Work Packages \REM {1page per WP}}{workpack.2}{}}
\newlabel{task:axioms}{{T2.1}{16}{Work Packages \REM {1page per WP}}{workpacktask.2.1}{}}
\newlabel{task:betterboxes}{{T2.2}{16}{Work Packages \REM {1page per WP}}{workpacktask.2.2}{}}
\newlabel{task:resources}{{T2.3}{16}{Work Packages \REM {1page per WP}}{workpacktask.2.3}{}}
\newlabel{task:resourcesagain}{{T2.4}{16}{Work Packages \REM {1page per WP}}{workpacktask.2.4}{}}
\newlabel{wp:theory}{{WP3}{17}{Work Packages \REM {1page per WP}}{workpack.3}{}}
\newlabel{task:algorithms}{{T3.1}{17}{Work Packages \REM {1page per WP}}{workpacktask.3.1}{}}
\newlabel{task:annotate1}{{T3.2}{17}{Work Packages \REM {1page per WP}}{workpacktask.3.2}{}}
\newlabel{task:annotate2}{{T3.3}{17}{Work Packages \REM {1page per WP}}{workpacktask.3.3}{}}
\newlabel{task:basic-opt}{{T3.4}{17}{Work Packages \REM {1page per WP}}{workpacktask.3.4}{}}
\newlabel{task:ECC}{{T3.5}{17}{Work Packages \REM {1page per WP}}{workpacktask.3.5}{}}
\newlabel{wp:usefulstuff}{{WP4}{18}{Work Packages \REM {1page per WP}}{workpack.4}{}}
\newlabel{task:Si-model}{{T4.1}{18}{Work Packages \REM {1page per WP}}{workpacktask.4.1}{}}
\newlabel{task:delft-model}{{T4.2}{18}{Work Packages \REM {1page per WP}}{workpacktask.4.2}{}}
\newlabel{task:runnable}{{T4.3}{18}{Work Packages \REM {1page per WP}}{workpacktask.4.3}{}}
\newlabel{task:opt-machine}{{T4.4}{18}{Work Packages \REM {1page per WP}}{workpacktask.4.4}{}}
\newlabel{del:backendapi}{{D4.5}{18}{Work Packages \REM {1page per WP}}{workpackdeliverable.4.5}{}}
\newlabel{wp:admin}{{WP5}{19}{Work Packages \REM {1page per WP}}{workpack.5}{}}
\newlabel{task:admin}{{T5.1}{19}{Work Packages \REM {1page per WP}}{workpacktask.5.1}{}}
\newlabel{task:website}{{T5.2}{19}{Work Packages \REM {1page per WP}}{workpacktask.5.2}{}}
\newlabel{task:wkshopone}{{T5.3}{19}{Work Packages \REM {1page per WP}}{workpacktask.5.3}{}}
\newlabel{task:wkshoptwo}{{T5.4}{19}{Work Packages \REM {1page per WP}}{workpacktask.5.4}{}}
\newlabel{task:wkshopthree}{{T5.5}{19}{Work Packages \REM {1page per WP}}{workpacktask.5.5}{}}
\@writefile{toc}{\contentsline {paragraph}{Work package overview}{20}{paragraph*.18}}
\newlabel{sec:work-pack-overv}{{3.2}{20}{Work package overview}{paragraph*.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Management structure, milestones, risk assessment }{21}{subsection.3.3}}
\newlabel{sec:manag-struct-milest}{{3.3}{21}{Management structure, milestones, risk assessment \REM {(2 pages)}}{subsection.3.3}{}}
\@writefile{toc}{\contentsline {paragraph}{Coordinator}{21}{paragraph*.19}}
\newlabel{sec:overall}{{3.3}{21}{Coordinator}{paragraph*.19}{}}
\@writefile{toc}{\contentsline {paragraph}{Sites}{21}{paragraph*.20}}
\newlabel{sec:sites}{{3.3}{21}{Sites}{paragraph*.20}{}}
\@writefile{toc}{\contentsline {paragraph}{Work packages}{21}{paragraph*.21}}
\newlabel{sec:work-packages-1}{{3.3}{21}{Work packages}{paragraph*.21}{}}
\@writefile{toc}{\contentsline {paragraph}{Software Integration}{21}{paragraph*.22}}
\newlabel{sec:software-integration}{{3.3}{21}{Software Integration}{paragraph*.22}{}}
\@writefile{toc}{\contentsline {paragraph}{Monitoring and advisory board}{21}{paragraph*.23}}
\newlabel{sec:monit-advis-board}{{3.3}{21}{Monitoring and advisory board}{paragraph*.23}{}}
\@writefile{toc}{\contentsline {paragraph}{List of milestones}{21}{paragraph*.24}}
\newlabel{sec:list-milestones}{{3.3}{21}{List of milestones}{paragraph*.24}{}}
\newlabel{ms:qasmqasm}{{M1}{21}{List of milestones}{milestone.1}{}}
\newlabel{ms:quippermbqc}{{M2}{21}{List of milestones}{milestone.2}{}}
\newlabel{ms:simbackend}{{M3}{21}{List of milestones}{milestone.3}{}}
\newlabel{ms:delftbackend}{{M4}{21}{List of milestones}{milestone.4}{}}
\newlabel{ms:nqitbackend}{{M5}{21}{List of milestones}{milestone.5}{}}
\@writefile{toc}{\contentsline {paragraph}{Critical risks for implementation}{21}{paragraph*.25}}
\newlabel{sec:crit-risks-impl}{{3.3}{21}{Critical risks for implementation}{paragraph*.25}{}}
\citation{Coecke:2009aa}
\citation{Duncan:2010aa}
\citation{Horsman:2011lr}
\citation{Chancellor2016Coherent-Parity}
\citation{BH-2017}
\citation{BH-2017}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Consortium as a whole}{23}{subsection.3.4}}
\newlabel{sec:consortium-as-whole}{{3.4}{23}{Consortium as a whole}{subsection.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Description of the consortium }{24}{subsection.3.5}}
\newlabel{sec:descr-cons}{{3.5}{24}{Description of the consortium \REM {(1 page each)}}{subsection.3.5}{}}
\citation{NgWang}
\citation{1367-2630-16-9-093021}
\citation{Coecke:2009aa}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}Consortium agreement principles }{29}{subsection.3.6}}
\newlabel{sec:cons-agre}{{3.6}{29}{Consortium agreement principles \REM {1/2 page max} }{subsection.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7}Significant facilities and large equipment available to the consortium to perform the project }{29}{subsection.3.7}}
\newlabel{sec:sign-facil-large}{{3.7}{29}{Significant facilities and large equipment available to the consortium to perform the project \REM {1/2 page max}}{subsection.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8}Link with ongoing projects }{29}{subsection.3.8}}
\newlabel{sec:link-with-ongoing}{{3.8}{29}{Link with ongoing projects \REM {1/2 page max}}{subsection.3.8}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9}Financial plan (1 page)}{30}{subsection.3.9}}
\newlabel{sec:financial-plan}{{3.9}{30}{Financial plan (1 page)}{subsection.3.9}{}}
\@writefile{toc}{\contentsline {paragraph}{Personnel}{30}{paragraph*.26}}
\newlabel{sec:personnel}{{3.9}{30}{Personnel}{paragraph*.26}{}}
\@writefile{toc}{\contentsline {paragraph}{Workshops}{30}{paragraph*.27}}
\newlabel{sec:workshops}{{3.9}{30}{Workshops}{paragraph*.27}{}}
\@writefile{toc}{\contentsline {paragraph}{Travel and subsistence}{30}{paragraph*.28}}
\newlabel{sec:travel-subsistence}{{3.9}{30}{Travel and subsistence}{paragraph*.28}{}}
\@writefile{toc}{\contentsline {paragraph}{Equipment}{30}{paragraph*.29}}
\newlabel{sec:equipment}{{3.9}{30}{Equipment}{paragraph*.29}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.10}Ethical issues }{30}{subsection.3.10}}
\newlabel{sec:ethical-issues}{{3.10}{30}{Ethical issues \REM {1/2 page}}{subsection.3.10}{}}
\bibstyle{plain}
\bibdata{quantera}
\bibcite{AbrCoe:CatSemQuant:2004}{1}
\bibcite{1367-2630-16-9-093021}{2}
\bibcite{D.E.-Browne2007Generalized-Flo}{3}
\bibcite{Chancellor2016Coherent-Parity}{4}
\bibcite{Coecke:2009aa}{5}
\bibcite{Coecke2017Picturing-Quant}{6}
\bibcite{Cross2017Open-Quantum-As}{7}
\bibcite{DanosV:meac}{8}
\bibcite{BH-2017}{9}
\bibcite{Duncan:2012uq}{10}
\bibcite{Duncan:2013lr}{11}
\bibcite{Duncan:2010aa}{12}
\bibcite{Garvie2017Verifying-the-S}{13}
\bibcite{Stefano-Gogioso2017Fully-graphical}{14}
\bibcite{Alexander-S.-Green:2013fk}{15}
\bibcite{Hner2016A-Software-Meth}{16}
\bibcite{Horsman:2011lr}{17}
\bibcite{Jeandel2017A-Complete-Axio}{18}
\bibcite{KZ:2015:aa}{19}
\bibcite{Kissinger2015Quantomatic:-A-}{20}
\bibcite{Mhalla:2008kx}{21}
\bibcite{NgWang}{22}
\bibcite{PhysRevX.4.041041}{23}
\bibcite{Paykin2017a}{24}
\bibcite{KendonAncilla}{25}
\bibcite{Raussendorf-2001}{26}
\bibcite{Steiger2016ProjectQ:-An-Op}{27}
\bibcite{Versluis2016Scalable-quantu}{28}
\bibcite{export:209634}{29}
\bibcite{Zeng2015The-Abstract-St}{30}
\newlabel{LastPage}{{}{32}{}{page.32}{}}
\xdef\lastpage@lastpage{32}
\xdef\lastpage@lastpageHy{32}
NEWPROPOSAL/FULLPROP.bbl deleted 100644 → 0
+ 0
− 186
View file @ 059af536
\begin{thebibliography}{10}
\bibitem{AbrCoe:CatSemQuant:2004}
Samson Abramsky and Bob Coecke.
\newblock A categorical semantics of quantum protocols.
\newblock In {\em Proceedings of the 19th Annual IEEE Symposium on Logic in
Computer Science: LICS 2004}, pages 415--425. IEEE Computer Society, 2004.
\bibitem{1367-2630-16-9-093021}
Miriam Backens.
\newblock The zx-calculus is complete for stabilizer quantum mechanics.
\newblock {\em New Journal of Physics}, 16(9):093021, 2014.
\bibitem{D.E.-Browne2007Generalized-Flo}
Dan~E. Browne, Elham Kashefi, Mehdi Mhalla, and Simon Perdrix.
\newblock Generalized flow and determinism in measurement-based quantum
computation.
\newblock {\em New J. Phys}, 9(250), August 2007.
\bibitem{Chancellor2016Coherent-Parity}
Nicholas Chancellor, Aleks Kissinger, Stefan Zohren, and Dominic Horsman.
\newblock Coherent parity check construction for quantum error correction.
\newblock {\em arXiv.org preprint}, 2016.
\bibitem{Coecke:2009aa}
Bob Coecke and Ross Duncan.
\newblock Interacting quantum observables: Categorical algebra and
diagrammatics.
\newblock {\em New J. Phys}, 13(043016), 2011.
\bibitem{Coecke2017Picturing-Quant}
Bob Coecke and Aleks Kissinger.
\newblock {\em Picturing Quantum Processes: A First Course in Quantum Theory
and Diagrammatic Reasoning}.
\newblock Cambridge University Press, 2017.
\bibitem{Cross2017Open-Quantum-As}
Andrew~W. Cross, Lev~S. Bishop, John~A. Smolin, and Jay~M. Gambetta.
\newblock Open quantum assembly language.
\newblock
\url{https://github.com/IBM/qiskit-openqasm/blob/master/spec/qasm2.pdf},
January 2017.
\bibitem{DanosV:meac}
Vincent Danos, Elham Kashefi, and Prakash Panangaden.
\newblock The measurement calculus.
\newblock {\em Journal of ACM}, 54(2), 2007.
\bibitem{BH-2017}
Niel de~Beaudrap and Dominic Horsman.
\newblock The {ZX} calculus is a language for surface code lattice surgery.
\newblock arXiv:1704.08670, 2017.
\bibitem{Duncan:2012uq}
Ross Duncan.
\newblock A graphical approach to measurement-based quantum computing.
\newblock In Chris Heunen, Mehrnoosh Sadrzadeh, and Edward Grefenstette,
editors, {\em Quantum Physics and Linguistics: A Compositional, Diagrammatic
Discourse}, chapter~3. Oxford University Press, 2013.
\bibitem{Duncan:2013lr}
Ross Duncan and Maxime Lucas.
\newblock Verifying the {S}teane code with {Q}uantomatic.
\newblock In Bob Coecke and Matty Hoban, editors, {\em Proceedings 10th
International Workshop on Quantum Physics and Logic (QPL 2013)}, volume 171
of {\em Electronic Proceedings in Theoretical Computer Science}, pages
33--49, 2014.
\bibitem{Duncan:2010aa}
Ross Duncan and Simon Perdrix.
\newblock Rewriting measurement-based quantum computations with generalised
flow.
\newblock In S.~Abramsky, C.~Gavoille, C~Kirchner, F.~Meyer auf~der Heide, and
P.~G. Spirakis, editors, {\em Automata, Languages and Programming, 37th
International Colloquium, ICALP 2010, Proceedings Part II}, volume 6199 of
{\em Lecture Notes in Computer Science}, pages 285--296. Springer, 2010.
\bibitem{Garvie2017Verifying-the-S}
Liam Garvie and Ross Duncan.
\newblock Verifying the smallest interesting colour code with quantomatic.
\newblock In {\em Proceedings of QPL 2017, to appear}, 2017.
\bibitem{Stefano-Gogioso2017Fully-graphical}
Stefano Gogioso and Aleks Kissinger.
\newblock Fully graphical treatment of the quantum algorithm for the hidden
subgroup problem.
\newblock {\em arXiv.org}, (1701.08669), 2017.
\bibitem{Alexander-S.-Green:2013fk}
Alexander~S. Green, Peter~LeFanu Lumsdaine, Neil~J. Ross, Peter Selinger, and
Beno{\^\i}t Valiron.
\newblock Quipper: A scalable quantum programming language.
\newblock In {\em Programming language design and implementation (PLDI'13)},
volume~48 of {\em ACM SIGPLAN Notices}, pages 333--342, 2013.
\bibitem{Hner2016A-Software-Meth}
Thomas H\"aner, Damian~S. Steiger, Krysta Svore, and Matthias Troyer.
\newblock A software methodology for compiling quantum programs.
\newblock {\em arXiv.org}, (1604.01401), 2016.
\bibitem{Horsman:2011lr}
Clare Horsman.
\newblock Quantum picturalism for topological cluster-state computing.
\newblock {\em New J. Phys.}, 13(095011), September 2011.
\bibitem{Jeandel2017A-Complete-Axio}
Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart.
\newblock A complete axiomatisation of the {ZX}-calculus for {C}lifford+{T}
quantum mechanics.
\newblock {\em arXiv preprint}, 2017.
\bibitem{KZ:2015:aa}
Aleks Kissinger and Vladimir Zamdzhiev.
\newblock Equational reasoning with context-free families of string diagrams.
\newblock In Francesco Parisi-Presicce and Bernhard Westfechtel, editors, {\em
Graph Transformation}, volume 9151 of {\em Lecture Notes in Computer
Science}, pages 138--154. Springer International Publishing, 2015.
\bibitem{Kissinger2015Quantomatic:-A-}
Aleks Kissinger and Vladimir Zamdzhiev.
\newblock Quantomatic: A proof assistant for diagrammatic reasoning.
\newblock In P.~Amy Felty and Aart Middeldorp, editors, {\em Automated
Deduction - CADE-25: 25th International Conference on Automated Deduction,
Berlin, Germany, August 1-7, 2015, Proceedings}, pages 326--336. Springer,
2015.
\bibitem{Mhalla:2008kx}
Mehdi Mhalla and Simon Perdrix.
\newblock Finding optimal flows efficiently.
\newblock In {\em Automata, Languages and Programming, Proceedings of ICALP
2008}, volume 5125 of {\em Lecture Notes in Computer Science}, pages
857--868. Springer, 2008.
\bibitem{NgWang}
Kang~Feng Ng and Quanlong Wang.
\newblock A universal completion of the zx-calculus.
\newblock arXiv:1706.09877, 2017.
\bibitem{PhysRevX.4.041041}
Naomi~H. Nickerson, Joseph~F. Fitzsimons, and Simon~C. Benjamin.
\newblock Freely scalable quantum technologies using cells of 5-to-50 qubits
with very lossy and noisy photonic links.
\newblock {\em Phys. Rev. X}, 4:041041, Dec 2014.
\bibitem{Paykin2017a}
Jennifer Paykin, Robert Rand, and Steve Zdancewic.
\newblock {QWIRE}: A core language for quantum circuits.
\newblock In {\em Proceedings of the 44th ACM SIGPLAN Symposium on Principles
of Programming Languages}, POPL 2017, pages 846--858, New York, NY, USA,
2017. ACM.
\bibitem{KendonAncilla}
Timothy~J. Proctor, Erika Andersson, and Viv Kendon.
\newblock Universal quantum computation by the unitary control of ancilla
qubits and using a fixed ancilla-register interaction.
\newblock {\em Phys. Rev. A}, 88:042330, Oct 2013.
\bibitem{Raussendorf-2001}
R.~Raussendorf and H.~J. Briegel.
\newblock A one-way quantum computer.
\newblock {\em Phys. Rev. Lett.}, 86:5188--5191, 2001.
\bibitem{Steiger2016ProjectQ:-An-Op}
Damian~S. Steiger, Thomas H\"aner, and Matthias Troyer.
\newblock {ProjectQ}: An open source software framework for quantum computing.
\newblock {\em arXiv.org}, (1612.08091), 2016.
\bibitem{Versluis2016Scalable-quantu}
R.~Versluis, S.~Poletto, N.~Khammassi, N.~Haider, D.~J. Michalak, A.~Bruno,
K.~Bertels, and L.~DiCarlo.
\newblock Scalable quantum circuit and control for a superconducting surface
code.
\newblock {\em arXiv.org}, (1612.08208), 2016.
\bibitem{export:209634}
Dave Wecker and Krysta~M. Svore.
\newblock Liqui|>: A software design architecture and domain-specific language
for quantum computing.
\newblock February 2014.
\bibitem{Zeng2015The-Abstract-St}
William Zeng.
\newblock {\em The Abstract Structure of Quantum Algorithms}.
\newblock PhD thesis, Oxford University, 2015.
\end{thebibliography}
NEWPROPOSAL/FULLPROP.blg deleted 100644 → 0
+ 0
− 53
View file @ 059af536
This is BibTeX, Version 0.99d (TeX Live 2018)
Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
The top-level auxiliary file: FULLPROP.aux
The style file: plain.bst
Database file #1: quantera.bib
Warning--there's a number but no volume in Stefano-Gogioso2017Fully-graphical
Warning--can't use both volume and number fields in Alexander-S.-Green:2013fk
Warning--there's a number but no volume in Hner2016A-Software-Meth
Warning--there's a number but no volume in Steiger2016ProjectQ:-An-Op
Warning--there's a number but no volume in Versluis2016Scalable-quantu
Warning--empty journal in export:209634
You've used 30 entries,
2118 wiz_defined-function locations,
699 strings with 10007 characters,
and the built_in function-call counts, 10277 in all, are:
= -- 978
> -- 533
< -- 14
+ -- 212
- -- 172
* -- 710
:= -- 1721
add.period$ -- 97
call.type$ -- 30
change.case$ -- 167
chr.to.int$ -- 0
cite$ -- 36
duplicate$ -- 412
empty$ -- 770
format.name$ -- 172
if$ -- 2175
int.to.chr$ -- 0
int.to.str$ -- 30
missing$ -- 27
newline$ -- 153
num.names$ -- 70
pop$ -- 170
preamble$ -- 1
purify$ -- 139
quote$ -- 0
skip$ -- 313
stack$ -- 0
substring$ -- 465
swap$ -- 116
text.length$ -- 14
text.prefix$ -- 0
top$ -- 0
type$ -- 118
warning$ -- 6
while$ -- 87
width$ -- 32
write$ -- 337
(There were 6 warnings)
NEWPROPOSAL/FULLPROP.log deleted 100644 → 0
+ 0
− 2222
View file @ 059af536
This diff is collapsed.
NEWPROPOSAL/FULLPROP.out deleted 100644 → 0
+ 0
− 23
View file @ 059af536
\BOOKMARK [1][-]{section.1}{EXCELLENCE }{}% 1
\BOOKMARK [2][-]{subsection.1.1}{Targeted breakthrough, baseline of knowledge and skills}{section.1}% 2
\BOOKMARK [2][-]{subsection.1.2}{Novelty, level of ambition and foundational character}{section.1}% 3
\BOOKMARK [2][-]{subsection.1.3}{Concept and methodology}{section.1}% 4
\BOOKMARK [3][-]{subsubsection.1.3.1}{A quantum compiler stack}{subsection.1.3}% 5
\BOOKMARK [3][-]{subsubsection.1.3.2}{Representation and reasoning}{subsection.1.3}% 6
\BOOKMARK [3][-]{subsubsection.1.3.3}{Machine-independent optimisation}{subsection.1.3}% 7
\BOOKMARK [3][-]{subsubsection.1.3.4}{Machine-dependent optimisation}{subsection.1.3}% 8
\BOOKMARK [2][-]{subsection.1.4}{Interdisciplinary nature}{section.1}% 9
\BOOKMARK [1][-]{section.2}{IMPACT }{}% 10
\BOOKMARK [2][-]{subsection.2.1}{Expected impacts}{section.2}% 11
\BOOKMARK [2][-]{subsection.2.2}{Dissemination, exploitation of results, communication}{section.2}% 12
\BOOKMARK [1][-]{section.3}{IMPLEMENTATION}{}% 13
\BOOKMARK [2][-]{subsection.3.1}{Work plan }{section.3}% 14
\BOOKMARK [2][-]{subsection.3.2}{Work Packages }{section.3}% 15
\BOOKMARK [2][-]{subsection.3.3}{Management structure, milestones, risk assessment }{section.3}% 16
\BOOKMARK [2][-]{subsection.3.4}{Consortium as a whole}{section.3}% 17
\BOOKMARK [2][-]{subsection.3.5}{Description of the consortium }{section.3}% 18
\BOOKMARK [2][-]{subsection.3.6}{Consortium agreement principles \040}{section.3}% 19
\BOOKMARK [2][-]{subsection.3.7}{Significant facilities and large equipment available to the consortium to perform the project }{section.3}% 20
\BOOKMARK [2][-]{subsection.3.8}{Link with ongoing projects }{section.3}% 21
\BOOKMARK [2][-]{subsection.3.9}{Financial plan \(1 page\)}{section.3}% 22
\BOOKMARK [2][-]{subsection.3.10}{Ethical issues }{section.3}% 23
NEWPROPOSAL/FULLPROP.pdf deleted 100644 → 0
+ 0
− 0
View file @ 059af536
File deleted
NEWPROPOSAL/FULLPROP.synctex.gz deleted 100644 → 0
+ 0
− 0
View file @ 059af536
File deleted
NEWPROPOSAL/letters/.DS_Store deleted 100644 → 0
+ 0
− 0
View file @ 059af536
File deleted
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment