From 866b027e63b21b035222f8e05c322576f80b460d Mon Sep 17 00:00:00 2001
From: Miriam Backens <miriam.backens@cs.ox.ac.uk>
Date: Fri, 15 Feb 2019 18:20:45 +0000
Subject: [PATCH] updated gantt chart (milestones still old)
---
NEWPROPOSAL/FULLPROP.tex | 2 +-
NEWPROPOSAL/ganttchart.tex | 32 ++++++++++++++------------------
2 files changed, 15 insertions(+), 19 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 5020f0a..7baf6f7 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1382,7 +1382,7 @@ We develop practical logical and algorithmic techniques for transforming ``abst
fidelities. Provide formal methods to propagate these
quantities from local to global properties.
}
- \WPtask[\label{task:basic-opt}]{Generic optimisations of ZX-terms
+ \WPtask[\label{task:basic-opt}]{Generic optimisations of \zx-terms
(M12--M24; {Responsible: \partnerref{partner:oxford}; Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{%
Use the results of task~\ref{task:algorithms} to develop
procedures to optimise \zx-terms, in a way which is applicable
diff --git a/NEWPROPOSAL/ganttchart.tex b/NEWPROPOSAL/ganttchart.tex
index 8dcec06..5eda5ed 100644
--- a/NEWPROPOSAL/ganttchart.tex
+++ b/NEWPROPOSAL/ganttchart.tex
@@ -28,34 +28,30 @@
\\
%%%% WP 1
\ganttset{bar/.append style={fill=red!50}}
- \ganttbar{\ref{task:HHL} HLL $\to$ \azx}{3}{36}\\
- \ganttbar{\ref{task:trans1} Front-end API}{1}{36}\\
- \ganttbar{\ref{task:testBench} Test Suite}{6}{36}\\
- \ganttbar{\ref{task:circuit-model} Circuit model}{1}{12}\\
- \ganttbar{\ref{task:mbqc-model} 1WQC model}{1}{15}\\
+ \ganttbar{\ref{task:HHL} Front-end}{3}{36}\\
+ \ganttbar{\ref{task:trans1} Open API for \dzxc}{1}{36}\\
+ \ganttbar{\ref{task:testBench} Open test-suite}{6}{36}\\
+ \ganttbar{\ref{task:circuit-model} Idealised quantum circuits}{1}{12}\\
+ \ganttbar{\ref{task:mbqc-model} Idealised 1WQC}{1}{15}\\
\ganttbar{\ref{task:backendapi} Back-end API}{24}{36}\\
%%%% WP 2
\ganttset{bar/.append style={fill=yellow}}
- \ganttbar{\ref{task:axioms} Beyond qubits}{1}{14}\\
- \ganttbar{\ref{task:betterboxes} Control constructs in \azx}{1}{18}\\
+ \ganttbar{\ref{task:axioms} Beyond qubits and stabilisers}{1}{14}\\
+ \ganttbar{\ref{task:betterboxes} Control in \zx}{1}{18}\\
\ganttbar{\ref{task:resources} Resources and axioms}{1}{36}\\
\ganttbar{\ref{task:resourcesagain} Computational resources}{12}{36}\\
-
-
-% \ganttbar{\ref{task:HPC-sim-model} HPC simulator}{10}{24}\\
-% \ganttbar{\ref{task:delft-model} Superconducting model}{13}{30}\\
%%%% WP 3
\ganttset{bar/.append style={fill=green!50}}
- \ganttbar{\ref{task:algorithms} Algorithms for \azx}{1}{24}\\
- \ganttbar{\ref{task:annotate1} Topology and causality}{1}{18}\\
+ \ganttbar{\ref{task:algorithms} Reduction strategies etc.}{1}{24}\\
+ \ganttbar{\ref{task:annotate1} Topological \& causal constraints}{1}{18}\\
\ganttbar{\ref{task:annotate2} Quantitative properties}{13}{24}\\
- \ganttbar{\ref{task:basic-opt} Model-independent optimisations}{12}{24}\\
- \ganttbar{\ref{task:ECC} Error Correction}{1}{24}\\
+ \ganttbar{\ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\
+ \ganttbar{\ref{task:ECC} Application of Error-Correction}{1}{24}\\
%%% WP 4
\ganttset{bar/.append style={fill=blue!50}}
- \ganttbar{\ref{task:qdot-model} Quantum dot model}{13}{36}\\
- \ganttbar{\ref{task:NQIT-model} NQIT model}{13}{30}\\
- \ganttbar{\ref{task:runnable} Execution layout}{15}{30}\\
+ \ganttbar{\ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\
+ \ganttbar{\ref{task:NQIT-model} Oxford ion traps}{13}{30}\\
+ \ganttbar{\ref{task:runnable} Formatting for target systems}{15}{30}\\
\ganttbar{\ref{task:opt-machine} Model-guided optimisations}{21}{36}\\
%%% WP 5 -- don't use
% \ganttset{bar/.append style={fill=gray!50}}
--
GitLab