Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Ross Duncan"
download as .bib file
@article{DBLP:journals/tnn/DrummondTD24,
author = {Ross Drummond and
Matthew C. Turner and
Stephen R. Duncan},
title = {Reduced-Order Neural Network Synthesis With Robustness Guarantees},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {35},
number = {1},
pages = {1182--1191},
year = {2024},
url = {https://doi.org/10.1109/TNNLS.2022.3182893},
doi = {10.1109/TNNLS.2022.3182893},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/DrummondTD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/GusevADACKPDDSR23,
author = {Vladimir V. Gusev and
Duncan Adamson and
Argyrios Deligkas and
Dmytro Antypov and
Christopher M. Collins and
Piotr Krysta and
Igor Potapov and
George R. Darling and
Matthew S. Dyer and
Paul G. Spirakis and
Matthew J. Rosseinsky},
title = {Optimality guarantees for crystal structure prediction},
journal = {Nat.},
volume = {619},
number = {7968},
pages = {68--72},
year = {2023},
url = {https://doi.org/10.1038/s41586-023-06071-y},
doi = {10.1038/S41586-023-06071-Y},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nature/GusevADACKPDDSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/CirstoiuDMSD23,
author = {Cristina Cirstoiu and
Silas Dilkes and
Daniel Mills and
Seyon Sivarajah and
Ross Duncan},
title = {Volumetric Benchmarking of Error Mitigation with Qermit},
journal = {Quantum},
volume = {7},
pages = {1059},
year = {2023},
url = {https://doi.org/10.22331/q-2023-07-13-1059},
doi = {10.22331/Q-2023-07-13-1059},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/CirstoiuDMSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/PatelRCKLTVBDT22,
author = {Ria Patel and
Brandan Roachell and
Silvina Ca{\'{\i}}no{-}Lores and
Ross Ketron and
Jacob Leonard and
Nigel Tan and
Karan Vahi and
Duncan A. Brown and
Ewa Deelman and
Michela Taufer},
title = {Reproducibility of the First Image of a Black Hole in the Galaxy {M87}
From the Event Horizon Telescope Collaboration},
journal = {Comput. Sci. Eng.},
volume = {24},
number = {5},
pages = {42--52},
year = {2022},
url = {https://doi.org/10.1109/MCSE.2023.3241105},
doi = {10.1109/MCSE.2023.3241105},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/PatelRCKLTVBDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/TosoDD22,
author = {Leonardo F. Toso and
Ross Drummond and
Stephen R. Duncan},
title = {Regional Stability Analysis of Transitional Fluid Flows},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {2287--2292},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2022.3145233},
doi = {10.1109/LCSYS.2022.3145233},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/TosoDD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccta/LekasDGD22,
author = {Sophie A. Lekas and
Ross Drummond and
Patrick S. Grant and
Stephen R. Duncan},
title = {Closed-loop control of dielectric permittivity for 3D-printed radio-frequency
devices},
booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2022,
Trieste, Italy, August 23-25, 2022},
pages = {932--937},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CCTA49430.2022.9966176},
doi = {10.1109/CCTA49430.2022.9966176},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccta/LekasDGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itadata/ChristiansenNSH22,
author = {Bahne Christiansen and
Uwe Neuhaus and
Michael Schulz and
Adrian Hargreaves and
Antinisca Di Marco and
Guido Proietti and
Fabrizio Rossi and
Giovanni Stilo and
Mark H. Haney and
Andrew Duncan and
Daniele Tessera and
Tilman Todt and
Andreas Brandenberg and
Patricia Feubli},
editor = {Marco Anisetti and
Angela Bonifati and
Nicola Bena and
Claudio A. Ardagna and
Donato Malerba},
title = {A Manifesto for Applied Data Science - Reasoning from a Business Perspective},
booktitle = {Proceedings of the 1st Italian Conference on Big Data and Data Science
(itaDATA 2022), Milan, Italy, September 20-21, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3340},
pages = {123--131},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3340/paper31.pdf},
timestamp = {Mon, 18 Sep 2023 16:58:22 +0200},
biburl = {https://dblp.org/rec/conf/itadata/ChristiansenNSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/DrummondDTPA22,
author = {Ross Drummond and
Stephen Duncan and
Mathew Turner and
Patricia Pauli and
Frank Allg{\"{o}}wer},
editor = {Roya Firoozi and
Negar Mehr and
Esen Yel and
Rika Antonova and
Jeannette Bohg and
Mac Schwager and
Mykel J. Kochenderfer},
title = {Bounding the Difference Between Model Predictive Control and Neural
Networks},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2022, 23-24 June
2022, Stanford University, Stanford, CA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {168},
pages = {817--829},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v168/drummond22a.html},
timestamp = {Fri, 20 May 2022 14:36:40 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/DrummondDTPA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/DongHBWRTYGOD22,
author = {Siyuan Dong and
Gilbert Hangel and
Wolfgang Bogner and
Georg Widhalm and
Karl R{\"{o}}ssler and
Siegfried Trattnig and
Chenyu You and
Robin A. de Graaf and
John A. Onofrey and
James S. Duncan},
editor = {Linwei Wang and
Qi Dou and
P. Thomas Fletcher and
Stefanie Speidel and
Shuo Li},
title = {Multi-scale Super-Resolution Magnetic Resonance Spectroscopic Imaging
with Adjustable Sharpness},
booktitle = {Medical Image Computing and Computer Assisted Intervention - {MICCAI}
2022 - 25th International Conference, Singapore, September 18-22,
2022, Proceedings, Part {VI}},
series = {Lecture Notes in Computer Science},
volume = {13436},
pages = {410--420},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16446-0\_39},
doi = {10.1007/978-3-031-16446-0\_39},
timestamp = {Tue, 13 Dec 2022 14:39:06 +0100},
biburl = {https://dblp.org/rec/conf/miccai/DongHBWRTYGOD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-06052,
author = {Arianne Meijer{-}van de Griend and
Ross Duncan},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Architecture-Aware Synthesis of Phase Polynomials for {NISQ} Devices},
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic,
{QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
series = {{EPTCS}},
volume = {394},
pages = {116--140},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.8},
doi = {10.4204/EPTCS.394.8},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-06052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2210-08914,
author = {Malin Altenm{\"{u}}ller and
Ross Duncan},
editor = {Jade Master and
Martha Lewis},
title = {A Category of Surface-Embedded Graphs},
booktitle = {Proceedings Fifth International Conference on Applied Category Theory,
{ACT} 2022, Glasgow, United Kingdom, 18-22 July 2022},
series = {{EPTCS}},
volume = {380},
pages = {41--62},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.380.3},
doi = {10.4204/EPTCS.380.3},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-08914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06486,
author = {Ross Drummond and
Stephen R. Duncan and
Matthew C. Turner and
Patricia Pauli and
Frank Allg{\"{o}}wer},
title = {Bounding the difference between model predictive control and neural
networks},
journal = {CoRR},
volume = {abs/2204.06486},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06486},
doi = {10.48550/ARXIV.2204.06486},
eprinttype = {arXiv},
eprint = {2204.06486},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-10267,
author = {Ria Patel and
Brandan Roachell and
Silvina Ca{\'{\i}}no{-}Lores and
Ross Ketron and
Jacob Leonard and
Nigel Tan and
Duncan A. Brown and
Ewa Deelman and
Michela Taufer},
title = {Reproducibility of the First Image of a Black Hole in the Galaxy {M87}
from the Event Horizon Telescope {(EHT)} Collaboration},
journal = {CoRR},
volume = {abs/2205.10267},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.10267},
doi = {10.48550/ARXIV.2205.10267},
eprinttype = {arXiv},
eprint = {2205.10267},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-10267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08984,
author = {Siyuan Dong and
Gilbert Hangel and
Wolfgang Bogner and
Georg Widhalm and
Karl R{\"{o}}ssler and
Siegfried Trattnig and
Chenyu You and
Robin A. de Graaf and
John A. Onofrey and
James S. Duncan},
title = {Multi-scale Super-resolution Magnetic Resonance Spectroscopic Imaging
with Adjustable Sharpness},
journal = {CoRR},
volume = {abs/2206.08984},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08984},
doi = {10.48550/ARXIV.2206.08984},
eprinttype = {arXiv},
eprint = {2206.08984},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02350,
author = {Seyon Sivarajah and
Lukas Heidemann and
Alan Lawrence and
Ross Duncan},
title = {Tierkreis: {A} Dataflow Framework for Hybrid Quantum-Classical Computing},
journal = {CoRR},
volume = {abs/2211.02350},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.02350},
doi = {10.48550/ARXIV.2211.02350},
eprinttype = {arXiv},
eprint = {2211.02350},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-02350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12785,
author = {Mina Namazi and
Duncan Ross and
Xiaojie Zhu and
Erman Ayday},
title = {zkFaith: Soonami's Zero-Knowledge Identity Protocol},
journal = {CoRR},
volume = {abs/2212.12785},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.12785},
doi = {10.48550/ARXIV.2212.12785},
eprinttype = {arXiv},
eprint = {2212.12785},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-12785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LoweOMAMVRMCDAA21,
author = {Chiara Lowe and
Ana Ortega{-}Gil and
Mahdieh Moghiseh and
Nigel G. Anderson and
Arrate Mu{\~{n}}oz{-}Barrutia and
Juan Jos{\'{e}} Vaquero and
Aamir Younas Raja and
Aysouda Matanaghi and
Alexander I. Chernoglazov and
Theodorus Dapamede and
Sikiru A. Adebileje and
Steven Alexander and
Maya R. Amma and
Marzieh Anjomrouz and
Fatemeh Asghariomabad and
Ali Atharifard and
James Atlas and
Kenzie Baer and
Stephen T. Bell and
Srinidhi Bheesette and
Philip H. Butler and
Pierre Carbonez and
Claire Chambers and
Krishna M. Chapagain and
Jennifer A. Clark and
Frances Colgan and
Jonathan S. Crighton and
Shishir Dahal and
J{\'{e}}r{\^{o}}me Damet and
Niels J. A. De Ruiter and
Robert M. N. Doesburg and
Neryda Duncan and
Nooshin Ghodsian and
Steven P. Gieseg and
Brian P. Goulter and
Sam Gurney and
Joseph L. Healy and
Praveen Kumar Kanithi and
Tracy Kirkbride and
Stuart P. Lansley and
V. B. H. Mandalika and
Emmanuel Marfo and
David Palmer and
Raj K. Panta and
Hannah M. Prebble and
Peter Renaud and
Yann Sayous and
Nanette Schleich and
Emily Searle and
Jereena S. Sheeja and
Lieza Vanden Broeke and
Vivek V. S. and
E. Peter Walker and
Michael F. Walsh and
Manoj Wijesooriya and
W. Ross Younger and
Anthony P. H. Butler},
title = {Molecular Imaging of Pulmonary Tuberculosis in an Ex-Vivo Mouse Model
Using Spectral Photon-Counting Computed Tomography and Micro-CT},
journal = {{IEEE} Access},
volume = {9},
pages = {67201--67208},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3076432},
doi = {10.1109/ACCESS.2021.3076432},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LoweOMAMVRMCDAA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/MillsSSD21,
author = {Daniel Mills and
Seyon Sivarajah and
Travis L. Scholten and
Ross Duncan},
title = {Application-Motivated, Holistic Benchmarking of a Full Quantum Computing
Stack},
journal = {Quantum},
volume = {5},
pages = {415},
year = {2021},
url = {https://doi.org/10.22331/q-2021-03-22-415},
doi = {10.22331/Q-2021-03-22-415},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/MillsSSD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/KetronLRPWCTMVD21,
author = {Ross Ketron and
Jacob Leonard and
Brandan Roachell and
Ria Patel and
R. White and
Silvina Ca{\'{\i}}no{-}Lores and
Nigel Tan and
Patrick R. Miles and
Karan Vahi and
Ewa Deelman and
Duncan A. Brown and
Michela Taufer},
title = {A Case Study in Scientific Reproducibility from the Event Horizon
Telescope {(EHT)}},
booktitle = {17th {IEEE} International Conference on eScience, eScience 2021, Innsbruck,
Austria, September 20-23, 2021},
pages = {249--250},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/eScience51609.2021.00045},
doi = {10.1109/ESCIENCE51609.2021.00045},
timestamp = {Thu, 20 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eScience/KetronLRPWCTMVD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/DongHBTRWFGD21,
author = {Siyuan Dong and
Gilbert Hangel and
Wolfgang Bogner and
Siegfried Trattnig and
Karl R{\"{o}}ssler and
Georg Widhalm and
Henk M. De Feyter and
Robin A. de Graaf and
James S. Duncan},
title = {High-Resolution Magnetic Resonance Spectroscopic Imaging using a Multi-Encoder
Attention U-Net with Structural and Adversarial Loss},
booktitle = {43rd Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2021, Mexico, November 1-5,
2021},
pages = {2891--2895},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EMBC46164.2021.9630146},
doi = {10.1109/EMBC46164.2021.9630146},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/DongHBTRWFGD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/LiDD21,
author = {Jiaqi Li and
Ross Drummond and
Stephen R. Duncan},
editor = {Ali Jadbabaie and
John Lygeros and
George J. Pappas and
Pablo A. Parrilo and
Benjamin Recht and
Claire J. Tomlin and
Melanie N. Zeilinger},
title = {Robust error bounds for quantised and pruned neural networks},
booktitle = {Proceedings of the 3rd Annual Conference on Learning for Dynamics
and Control, {L4DC} 2021, 7-8 June 2021, Virtual Event, Switzerland},
series = {Proceedings of Machine Learning Research},
volume = {144},
pages = {361--372},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v144/li21a.html},
timestamp = {Mon, 14 Jun 2021 08:02:30 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/LiDD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09284,
author = {Ross Drummond and
Matthew C. Turner and
Stephen R. Duncan},
title = {Reduced-Order Neural Network Synthesis with Robustness Guarantees},
journal = {CoRR},
volume = {abs/2102.09284},
year = {2021},
url = {https://arxiv.org/abs/2102.09284},
eprinttype = {arXiv},
eprint = {2102.09284},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-09284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15470,
author = {Su Yeon Chang and
Steven Herbert and
Sofia Vallecorsa and
El{\'{\i}}as F. Combarro and
Ross Duncan},
title = {Dual-Parameterized Quantum Circuit {GAN} Model in High Energy Physics},
journal = {CoRR},
volume = {abs/2103.15470},
year = {2021},
url = {https://arxiv.org/abs/2103.15470},
eprinttype = {arXiv},
eprint = {2103.15470},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08341,
author = {Leonardo F. Toso and
Ross Drummond and
Stephen R. Duncan},
title = {Regional Stability Analysis of Transitional Fluid Flows},
journal = {CoRR},
volume = {abs/2110.08341},
year = {2021},
url = {https://arxiv.org/abs/2110.08341},
eprinttype = {arXiv},
eprint = {2110.08341},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/DuncanKPW20,
author = {Ross Duncan and
Aleks Kissinger and
Simon Perdrix and
John van de Wetering},
title = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
journal = {Quantum},
volume = {4},
pages = {279},
year = {2020},
url = {https://doi.org/10.22331/q-2020-06-04-279},
doi = {10.22331/Q-2020-06-04-279},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/DuncanKPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/DrummondBHD20,
author = {Ross Drummond and
Adrien M. Bizeray and
David A. Howey and
Stephen R. Duncan},
title = {A Feedback Interpretation of the Doyle-Fuller-Newman Lithium-Ion Battery
Model},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {28},
number = {4},
pages = {1284--1295},
year = {2020},
url = {https://doi.org/10.1109/TCST.2019.2909722},
doi = {10.1109/TCST.2019.2909722},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/DrummondBHD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10515,
author = {Alexander Cowtan and
Will Simmons and
Ross Duncan},
title = {A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz},
journal = {CoRR},
volume = {abs/2007.10515},
year = {2020},
url = {https://arxiv.org/abs/2007.10515},
eprinttype = {arXiv},
eprint = {2007.10515},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-00138,
author = {Jiaqi Li and
Ross Drummond and
Stephen R. Duncan},
title = {Robust error bounds for quantised and pruned neural networks},
journal = {CoRR},
volume = {abs/2012.00138},
year = {2020},
url = {https://arxiv.org/abs/2012.00138},
eprinttype = {arXiv},
eprint = {2012.00138},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-00138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01853,
author = {Ross Drummond and
Stephen R. Duncan},
title = {Structural Identifiability of a Pseudo-2D Li-ion Battery Electrochemical
Model},
journal = {CoRR},
volume = {abs/2012.01853},
year = {2020},
url = {https://arxiv.org/abs/2012.01853},
eprinttype = {arXiv},
eprint = {2012.01853},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ValmorbidaDD19,
author = {Giorgio Valmorbida and
Ross Drummond and
Stephen R. Duncan},
title = {Regional Analysis of Slope-Restricted Lurie Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {3},
pages = {1201--1208},
year = {2019},
url = {https://doi.org/10.1109/TAC.2018.2849618},
doi = {10.1109/TAC.2018.2849618},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/ValmorbidaDD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/DrummondZD19,
author = {Ross Drummond and
Shi Zhao and
Stephen R. Duncan},
title = {Design Tools for Electrochemical Supercapacitors Using Local Absolute
Stability Theory},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {27},
number = {3},
pages = {1071--1083},
year = {2019},
url = {https://doi.org/10.1109/TCST.2018.2796065},
doi = {10.1109/TCST.2018.2796065},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/DrummondZD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DrummondTD19,
author = {Ross Drummond and
Matthew C. Turner and
Stephen R. Duncan},
title = {External Positivity of Linear Systems by Weak Majorisation},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {5191--5196},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814408},
doi = {10.23919/ACC.2019.8814408},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DrummondTD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tqc/CowtanDDKSS19,
author = {Alexander Cowtan and
Silas Dilkes and
Ross Duncan and
Alexandre Krajenbrink and
Will Simmons and
Seyon Sivarajah},
editor = {Wim van Dam and
Laura Mancinska},
title = {On the Qubit Routing Problem},
booktitle = {14th Conference on the Theory of Quantum Computation, Communication
and Cryptography, {TQC} 2019, June 3-5, 2019, University of Maryland,
College Park, Maryland, {USA}},
series = {LIPIcs},
volume = {135},
pages = {5:1--5:32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TQC.2019.5},
doi = {10.4230/LIPICS.TQC.2019.5},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/tqc/CowtanDDKSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-12817,
author = {Niel de Beaudrap and
Ross Duncan and
Dominic Horsman and
Simon Perdrix},
editor = {Bob Coecke and
Matthew Leifer},
title = {Pauli Fusion: a Computational Model to Realise Quantum Transformations
from {ZX} Terms},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {85--105},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.6},
doi = {10.4204/EPTCS.318.6},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-00797,
author = {Joseph Collins and
Ross Duncan},
editor = {Bob Coecke and
Matthew Leifer},
title = {Hopf-Frobenius Algebras and a Simpler Drinfeld Double},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {150--180},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.10},
doi = {10.4204/EPTCS.318.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-00797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-01734,
author = {Alexander Cowtan and
Silas Dilkes and
Ross Duncan and
Will Simmons and
Seyon Sivarajah},
editor = {Bob Coecke and
Matthew Leifer},
title = {Phase Gadget Synthesis for Shallow Circuits},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {213--228},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.13},
doi = {10.4204/EPTCS.318.13},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-01734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03178,
author = {Ross Duncan and
Aleks Kissinger and
Simon Perdrix and
John van de Wetering},
title = {Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus},
journal = {CoRR},
volume = {abs/1902.03178},
year = {2019},
url = {http://arxiv.org/abs/1902.03178},
eprinttype = {arXiv},
eprint = {1902.03178},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08091,
author = {Alexander Cowtan and
Silas Dilkes and
Ross Duncan and
Alexandre Krajenbrink and
Will Simmons and
Seyon Sivarajah},
title = {On the qubit routing problem},
journal = {CoRR},
volume = {abs/1902.08091},
year = {2019},
url = {http://arxiv.org/abs/1902.08091},
eprinttype = {arXiv},
eprint = {1902.08091},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/DrummondD18,
author = {Ross Drummond and
Stephen Duncan},
title = {The Aizerman and Kalman conjectures using symmetry},
journal = {Autom.},
volume = {92},
pages = {240--243},
year = {2018},
url = {https://doi.org/10.1016/j.automatica.2018.02.002},
doi = {10.1016/J.AUTOMATICA.2018.02.002},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/DrummondD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/DrummondVD18,
author = {Ross Drummond and
Giorgio Valmorbida and
Stephen R. Duncan},
title = {Generalized Absolute Stability Using Lyapunov Functions With Relaxed
Positivity Conditions},
journal = {{IEEE} Control. Syst. Lett.},
volume = {2},
number = {2},
pages = {207--212},
year = {2018},
url = {https://doi.org/10.1109/LCSYS.2017.2782747},
doi = {10.1109/LCSYS.2017.2782747},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/DrummondVD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10114,
author = {Andrew Fagan and
Ross Duncan},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Optimising Clifford Circuits with Quantomatic},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {85--105},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.5},
doi = {10.4204/EPTCS.287.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/NataleABBCCCCDD17,
author = {Darren A. Natale and
Cecilia N. Arighi and
Judith A. Blake and
Jonathan P. Bona and
Chuming Chen and
Sheng{-}Chih Chen and
Karen R. Christie and
Julie Cowart and
Peter D'Eustachio and
Alexander D. Diehl and
Harold J. Drabkin and
William D. Duncan and
Hongzhan Huang and
Jia Ren and
Karen Ross and
Alan Ruttenberg and
Veronica Shamovsky and
Barry Smith and
Qinghua Wang and
Jian Zhang and
Abdelrahman Elsayed and
Cathy H. Wu},
title = {Protein Ontology {(PRO):} enhancing and scaling up the representation
of protein entities},
journal = {Nucleic Acids Res.},
volume = {45},
number = {Database-Issue},
pages = {D339--D346},
year = {2017},
url = {https://doi.org/10.1093/nar/gkw1075},
doi = {10.1093/NAR/GKW1075},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/NataleABBCCCCDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GarvieD17,
author = {Liam Garvie and
Ross Duncan},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Verifying the Smallest Interesting Colour Code with Quantomatic},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {147--163},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.10},
doi = {10.4204/EPTCS.266.10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GarvieD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuncanH17,
editor = {Ross Duncan and
Chris Heunen},
title = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.236},
doi = {10.4204/EPTCS.236},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DuncanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/DuncanJRMN16,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross and
Dwight Mulcahy and
Minh Nguyen},
title = {Using Packet Processing Object Modules Interchangeably as Stand-Alone
Programs or "Multi-app" Components},
journal = {Int. J. Parallel Program.},
volume = {44},
number = {1},
pages = {26--45},
year = {2016},
url = {https://doi.org/10.1007/s10766-014-0332-7},
doi = {10.1007/S10766-014-0332-7},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/DuncanJRMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ValmorbidaDD16,
author = {Giorgio Valmorbida and
Ross Drummond and
Stephen R. Duncan},
title = {Positivity conditions of Lyapunov functions for systems with slope
restricted nonlinearities},
booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {258--263},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7524925},
doi = {10.1109/ACC.2016.7524925},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ValmorbidaDD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/DrummondHD16,
author = {Ross Drummond and
David A. Howey and
Stephen R. Duncan},
title = {Parameter estimation of an electrochemical supercapacitor model},
booktitle = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810254},
doi = {10.1109/ECC.2016.7810254},
timestamp = {Tue, 01 Jun 2021 15:22:59 +0200},
biburl = {https://dblp.org/rec/conf/eucc/DrummondHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DuncanD16,
author = {Ross Duncan and
Kevin Dunne},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Interacting Frobenius Algebras are Hopf},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {535--544},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934550},
doi = {10.1145/2933575.2934550},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DuncanD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DrummondZHD16,
author = {Ross Drummond and
Shi Zhao and
David A. Howey and
Stephen R. Duncan},
title = {Circuit Synthesis of Electrochemical Supercapacitor Models},
journal = {CoRR},
volume = {abs/1603.09137},
year = {2016},
url = {http://arxiv.org/abs/1603.09137},
eprinttype = {arXiv},
eprint = {1603.09137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DrummondZHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DuncanD16,
author = {Ross Duncan and
Kevin Dunne},
title = {Interacting Frobenius Algebras are Hopf},
journal = {CoRR},
volume = {abs/1601.04964},
year = {2016},
url = {http://arxiv.org/abs/1601.04964},
eprinttype = {arXiv},
eprint = {1601.04964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/DrummondD15,
author = {Ross Drummond and
Stephen R. Duncan},
title = {On observer performance for an electrochemical supercapacitor model},
booktitle = {2015 {IEEE} Conference on Control Applications, {CCA} 2015, Sydney,
Australia, September 21-23, 2015},
pages = {1260--1265},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CCA.2015.7320785},
doi = {10.1109/CCA.2015.7320785},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/DrummondD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DrummondD15,
author = {Ross Drummond and
Stephen R. Duncan},
title = {A Lyapunov function for a {PDE} model of a supercapacitor},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {664--669},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402305},
doi = {10.1109/CDC.2015.7402305},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DrummondD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hoti/ShamisVLBHIDSGL15,
author = {Pavel Shamis and
Manjunath Gorentla Venkata and
M. Graham Lopez and
Matthew B. Baker and
Oscar R. Hernandez and
Yossi Itigin and
Mike Dubman and
Gilad Shainer and
Richard L. Graham and
Liran Liss and
Yiftah Shahar and
Sreeram Potluri and
Davide Rossetti and
Donald Becker and
Duncan Poole and
Christopher Lamb and
Sameer Kumar and
Craig B. Stunkel and
George Bosilca and
Aur{\'{e}}lien Bouteiller},
title = {{UCX:} An Open Source Framework for {HPC} Network APIs and Beyond},
booktitle = {23rd {IEEE} Annual Symposium on High-Performance Interconnects, {HOTI}
2015, Santa Clara, CA, USA, August 26-28, 2015},
pages = {40--43},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HOTI.2015.13},
doi = {10.1109/HOTI.2015.13},
timestamp = {Wed, 10 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hoti/ShamisVLBHIDSGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/DuncanRFC15,
author = {Ralph Duncan and
Kenneth Ross and
Jim Frandeen and
Alfredo Chorro{-}Rivas},
title = {Preventing Access to Residual Data Exposed by Packet Expansion Operations},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {855--860},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.204},
doi = {10.1109/HPCC-CSS-ICESS.2015.204},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/DuncanRFC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/DuncanJRCFN15,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross and
Alfredo Chorro{-}Rivas and
Jim Frandeen and
Minh Nguyen},
editor = {Leonard Barolli and
Makoto Takizawa and
Hui{-}Huang Hsu and
Tomoya Enokido and
Fatos Xhafa},
title = {Dynamically Deploying Packet Processing Applications on Running Systems
without Halting},
booktitle = {18th International Conference on Network-Based Information Systems,
NBis 2015, Taipei, Taiwan, September 2-4, 2015},
pages = {393--400},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NBiS.2015.60},
doi = {10.1109/NBIS.2015.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/DuncanJRCFN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/openshmem/PotluriRBPVHSLB15,
author = {Sreeram Potluri and
Davide Rossetti and
Donald Becker and
Duncan Poole and
Manjunath Gorentla Venkata and
Oscar R. Hernandez and
Pavel Shamis and
M. Graham Lopez and
Matthew B. Baker and
Wendy Poole},
editor = {Manjunath Gorentla Venkata and
Pavel Shamis and
Neena Imam and
M. Graham Lopez},
title = {Exploring OpenSHMEM Model to Program GPU-based Extreme-Scale Systems},
booktitle = {OpenSHMEM and Related Technologies. Experiences, Implementations,
and Technologies - Second Workshop, OpenSHMEM 2015, Annapolis, MD,
USA, August 4-6, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9397},
pages = {18--35},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26428-8\_2},
doi = {10.1007/978-3-319-26428-8\_2},
timestamp = {Sat, 19 Oct 2019 20:06:42 +0200},
biburl = {https://dblp.org/rec/conf/openshmem/PotluriRBPVHSLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/BarrosMRHHBDTKH14,
author = {Daniela A. Ria{\~{n}}o Barros and
Colm J. McGinnity and
Lula Rosso and
Rolf A. Heckemann and
Oliver D. Howes and
David J. Brooks and
John S. Duncan and
Federico E. Turkheimer and
Matthias J. Koepp and
Alexander Hammers},
title = {Test-retest reproducibility of cannabinoid-receptor type 1 availability
quantified with the {PET} ligand [\({}^{\mbox{11}}\)C]MePPEP},
journal = {NeuroImage},
volume = {97},
pages = {151--162},
year = {2014},
url = {https://doi.org/10.1016/j.neuroimage.2014.04.020},
doi = {10.1016/J.NEUROIMAGE.2014.04.020},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/BarrosMRHHBDTKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuncanP14,
editor = {Ross Duncan and
Prakash Panangaden},
title = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.158},
doi = {10.4204/EPTCS.158},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DrummondHD14,
author = {Ross Drummond and
David A. Howey and
Stephen R. Duncan},
title = {Low-Order Mathematical Modelling of Electric Double Layer Supercapacitors
Using Spectral Methods},
journal = {CoRR},
volume = {abs/1412.0057},
year = {2014},
url = {http://arxiv.org/abs/1412.0057},
eprinttype = {arXiv},
eprint = {1412.0057},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DrummondHD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BarnumDW13,
author = {Howard Barnum and
Ross Duncan and
Alexander Wilce},
title = {Symmetry, Compact Closure and Dagger Compactness for Categories of
Convex Operational Models},
journal = {J. Philos. Log.},
volume = {42},
number = {3},
pages = {501--523},
year = {2013},
url = {https://doi.org/10.1007/s10992-013-9280-8},
doi = {10.1007/S10992-013-9280-8},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/BarnumDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DuncanJRFT13,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross and
Jim Frandeen and
Greg Triplett},
editor = {Dieter an Mey and
Michael Alexander and
Paolo Bientinesi and
Mario Cannataro and
Carsten Clauss and
Alexandru Costan and
Gabor Kecskemeti and
Christine Morin and
Laura Ricci and
Julio Sahuquillo and
Martin Schulz and
Vittorio Scarano and
Stephen L. Scott and
Josef Weidendorfer},
title = {Managing Heterogeneous Processor Machine Dependencies in Computer
Network Applications},
booktitle = {Euro-Par 2013: Parallel Processing Workshops - BigDataCloud, DIHC,
FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience,
ROME, and {UCHPC} 2013, Aachen, Germany, August 26-27, 2013. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8374},
pages = {280--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54420-0\_28},
doi = {10.1007/978-3-642-54420-0\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/DuncanJRFT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/DuncanJNRT13,
author = {Ralph Duncan and
Peder Jungck and
Andy Norton and
Kenneth Ross and
Greg Triplett},
editor = {Leonard Barolli and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa and
James J. Park},
title = {FPGA-Driven Table System to Accelerate Network Flows},
booktitle = {16th International Conference on Network-Based Information Systems,
NBiS 2013, Seo-gu, Gwangju, CA, Korea (South), September 4-6, 2013},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/NBiS.2013.5},
doi = {10.1109/NBIS.2013.5},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/DuncanJNRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DuncanL13,
author = {Ross Duncan and
Maxime Lucas},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Verifying the Steane code with Quantomatic},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {33--49},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.4},
doi = {10.4204/EPTCS.171.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DuncanP13,
author = {Ross Duncan and
Simon Perdrix},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Pivoting makes the ZX-calculus complete for real stabilizers},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {50--62},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.5},
doi = {10.4204/EPTCS.171.5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/13/Duncan13,
author = {Ross Duncan},
editor = {Chris Heunen and
Mehrnoosh Sadrzadeh and
Edward Grefenstette},
title = {A graphical approach to measurement-based quantum computing},
booktitle = {Quantum Physics and Linguistics - {A} Compositional, Diagrammatic
Discourse},
pages = {50--89},
publisher = {Oxford University Press},
year = {2013},
url = {https://doi.org/10.1093/acprof:oso/9780199646296.003.0003},
doi = {10.1093/ACPROF:OSO/9780199646296.003.0003},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/13/Duncan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CoeckeDKW12,
author = {Bob Coecke and
Ross Duncan and
Aleks Kissinger and
Quanlong Wang},
title = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {245--254},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.35},
doi = {10.1109/LICS.2012.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CoeckeDKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npc/DuncanJRM12,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross and
Dwight Mulcahy},
editor = {James J. Park and
Albert Y. Zomaya and
Sang{-}Soo Yeo and
Sartaj Sahni},
title = {Reference Variables for Dynamic, Reliable Packet Operations},
booktitle = {Network and Parallel Computing, 9th {IFIP} International Conference,
{NPC} 2012, Gwangju, Korea, September 6-8, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7513},
pages = {48--60},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35606-3\_6},
doi = {10.1007/978-3-642-35606-3\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/npc/DuncanJRM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/CoeckeD12,
author = {Bob Coecke and
Ross Duncan},
editor = {Robert Gl{\"{u}}ck and
Tetsuo Yokoyama},
title = {Tutorial: Graphical Calculus for Quantum Circuits},
booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
Denmark, July 2-3, 2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7581},
pages = {1--13},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36315-3\_1},
doi = {10.1007/978-3-642-36315-3\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/CoeckeD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4988,
author = {Bob Coecke and
Ross Duncan and
Aleks Kissinger and
Quanlong Wang},
title = {Strong complementarity and non-locality in categorical quantum mechanics},
journal = {CoRR},
volume = {abs/1203.4988},
year = {2012},
url = {http://arxiv.org/abs/1203.4988},
eprinttype = {arXiv},
eprint = {1203.4988},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6242,
author = {Ross Duncan},
title = {A graphical approach to measurement-based quantum computing},
journal = {CoRR},
volume = {abs/1203.6242},
year = {2012},
url = {http://arxiv.org/abs/1203.6242},
eprinttype = {arXiv},
eprint = {1203.6242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/DuncanJR11,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross},
editor = {Sang{-}Soo Yeo and
Binod Vaidya and
George A. Papadopoulos},
title = {Dynamically Accessing Packet Header Fields at High-Speed},
booktitle = {12th International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2011, Gwangju, Korea, October
20-22, 2011},
pages = {6--11},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PDCAT.2011.37},
doi = {10.1109/PDCAT.2011.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/DuncanJR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/DobsonSJSLPLSDFHBOSKKOSM10,
author = {Paul D. Dobson and
Kieran Smallbone and
Daniel Jameson and
Evangelos Simeonidis and
Karin Lanthaler and
Pinar Pir and
Chuan Lu and
Neil Swainston and
Warwick B. Dunn and
Paul Fisher and
Duncan Hull and
Marie Brown and
Olusegun Oshota and
Natalie J. Stanford and
Douglas B. Kell and
Ross D. King and
Stephen G. Oliver and
Robert D. Stevens and
Pedro Mendes},
title = {Further developments towards a genome-scale metabolic model of yeast},
journal = {{BMC} Syst. Biol.},
volume = {4},
pages = {145},
year = {2010},
url = {https://doi.org/10.1186/1752-0509-4-145},
doi = {10.1186/1752-0509-4-145},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcsb/DobsonSJSLPLSDFHBOSKKOSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/BarrosHRMKGBDKTH10,
author = {Daniela A. Ria{\~{n}}o Barros and
Rolf A. Heckemann and
Lula Rosso and
Colm J. McGinnity and
Shiva Keihaninejad and
Ioannis S. Gousias and
David J. Brooks and
John S. Duncan and
Matthias J. Koepp and
Federico E. Turkheimer and
Alexander Hammers},
title = {Investigating the reproducibility of the novel Alpha-5 {GABAA} receptor
{PET} ligand [11C]Ro15 4513},
journal = {NeuroImage},
volume = {52},
number = {Supplement-1},
pages = {S112},
year = {2010},
url = {https://doi.org/10.1016/j.neuroimage.2010.04.091},
doi = {10.1016/J.NEUROIMAGE.2010.04.091},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/BarrosHRMKGBDKTH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/DuncanJR10,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross},
editor = {Ching{-}Hsien Hsu and
Laurence Tianruo Yang and
Jong Hyuk Park and
Sang{-}Soo Yeo},
title = {A Paradigm for Processing Network Protocols in Parallel},
booktitle = {Algorithms and Architectures for Parallel Processing, 10th International
Conference, {ICA3PP} 2010, Busan, Korea, May 21-23, 2010. Proceedings.
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6082},
pages = {52--67},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13136-3\_6},
doi = {10.1007/978-3-642-13136-3\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ica3pp/DuncanJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DuncanP10,
author = {Ross Duncan and
Simon Perdrix},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Rewriting Measurement-Based Quantum Computations with Generalised
Flow},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {285--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_24},
doi = {10.1007/978-3-642-14162-1\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DuncanP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/DuncanJRT10,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross and
Scott Tillman},
title = {Packet Content Matching with packetC Searchsets},
booktitle = {16th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2010, Shanghai, China, December 8-10, 2010},
pages = {180--188},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPADS.2010.52},
doi = {10.1109/ICPADS.2010.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/DuncanJRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/DuncanJR10,
author = {Ralph Duncan and
Peder Jungck and
Kenneth Ross},
title = {PacketC Language and Parallel Processing of Masked Databases},
booktitle = {39th International Conference on Parallel Processing, {ICPP} 2010,
San Diego, California, USA, 13-16 September 2010},
pages = {472--481},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICPP.2010.55},
doi = {10.1109/ICPP.2010.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/DuncanJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-3794,
author = {Lucas Dixon and
Ross Duncan and
Aleks Kissinger},
editor = {S. Barry Cooper and
Prakash Panangaden and
Elham Kashefi},
title = {Open Graphs and Computational Reasoning},
booktitle = {Proceedings Sixth Workshop on Developments in Computational Models:
Causality, Computation, and Physics, {DCM} 2010, Edinburgh, Scotland,
9-10th July 2010},
series = {{EPTCS}},
volume = {26},
pages = {169--180},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.26.16},
doi = {10.4204/EPTCS.26.16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DixonD09,
author = {Lucas Dixon and
Ross Duncan},
title = {Graphical reasoning in compact closed categories for quantum computation},
journal = {Ann. Math. Artif. Intell.},
volume = {56},
number = {1},
pages = {23--42},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9141-x},
doi = {10.1007/S10472-009-9141-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DixonD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DuncanP09,
author = {Ross Duncan and
Simon Perdrix},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {Graph States and the Necessity of Euler Decomposition},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {167--177},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_18},
doi = {10.1007/978-3-642-03073-4\_18},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/DuncanP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CoeckeD09,
author = {Bob Coecke and
Ross Duncan},
title = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
journal = {CoRR},
volume = {abs/0906.4725},
year = {2009},
url = {http://arxiv.org/abs/0906.4725},
eprinttype = {arXiv},
eprint = {0906.4725},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CoeckeD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-0514,
author = {Lucas Dixon and
Ross Duncan},
title = {Graphical Reasoning in Compact Closed Categories for Quantum Computation},
journal = {CoRR},
volume = {abs/0902.0514},
year = {2009},
url = {http://arxiv.org/abs/0902.0514},
eprinttype = {arXiv},
eprint = {0902.0514},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-0514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-5154,
author = {Ross Duncan},
title = {Generalised Proof-Nets for Compact Categories with Biproducts},
journal = {CoRR},
volume = {abs/0903.5154},
year = {2009},
url = {http://arxiv.org/abs/0903.5154},
eprinttype = {arXiv},
eprint = {0903.5154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-5154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/SparksCDODKM08,
author = {Ross Sparks and
Chris Carter and
John B. Donnelly and
Christine M. O'Keefe and
Jodie Duncan and
Tim Keighley and
Damien McAullay},
title = {Remote access methods for exploratory data analysis and statistical
modelling: Privacy-Preserving Analytics\({}^{\mbox{{\textregistered}}}\)},
journal = {Comput. Methods Programs Biomed.},
volume = {91},
number = {3},
pages = {208--222},
year = {2008},
url = {https://doi.org/10.1016/j.cmpb.2008.04.001},
doi = {10.1016/J.CMPB.2008.04.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cmpb/SparksCDODKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/technometrics/LangI08,
author = {Duncan Temple Lang and
Ross Ihaka},
title = {Comment},
journal = {Technometrics},
volume = {50},
number = {4},
pages = {443--446},
year = {2008},
url = {https://doi.org/10.1198/004017008000000514},
doi = {10.1198/004017008000000514},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/technometrics/LangI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DixonD08,
author = {Lucas Dixon and
Ross Duncan},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Extending Graphical Representations for Compact Closed Categories
with Applications to Symbolic Quantum Computation},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {77--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_8},
doi = {10.1007/978-3-540-85110-3\_8},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/DixonD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CoeckeD08,
author = {Bob Coecke and
Ross Duncan},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Interacting Quantum Observables},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {298--310},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_25},
doi = {10.1007/978-3-540-70583-3\_25},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CoeckeD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Duncan06,
author = {Ross Duncan},
title = {Types for quantum computing},
school = {University of Oxford, {UK}},
year = {2006},
url = {http://ora.ox.ac.uk/objects/uuid:c2901ae8-9386-4dbf-879d-e37bbc2692bd},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Duncan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AbramskyD06,
author = {Samson Abramsky and
Ross Duncan},
title = {A categorical quantum logic},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {3},
pages = {469--489},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005275},
doi = {10.1017/S0960129506005275},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AbramskyD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/TusonRD05,
author = {Andrew Tuson and
Peter Ross and
Tim Duncan},
title = {Evolutionary search at the knowledge level},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2005, 2-4 September 2005, Edinburgh, {UK}},
pages = {1883--1890},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CEC.2005.1554917},
doi = {10.1109/CEC.2005.1554917},
timestamp = {Thu, 16 Dec 2021 13:59:05 +0100},
biburl = {https://dblp.org/rec/conf/cec/TusonRD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csac/RuizBCOOFMC05,
author = {Duncan Dubugras A. Ruiz and
Karin Becker and
Bernardo Copstein and
Fl{\'{a}}vio Moreira de Oliveira and
Angelina Torres de Oliveira and
Gustavo Rossarolla Forgiarini and
Cristiano Rech Meneguzzi and
Rafaela Lisboa Carvalho},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {A Workflow-based Environment to manage Software-Testing Process Executions},
booktitle = {Computer Supported Activity Coordination, Proceedings of the 2nd International
Workshop on Computer Supported Activity Coordination, {CSAC} 2005,
In conjunction with {ICEIS} 2005, Miami, USA, May 2005},
pages = {66--74},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Tue, 05 Jul 2005 14:55:11 +0200},
biburl = {https://dblp.org/rec/conf/csac/RuizBCOOFMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0512114,
author = {Samson Abramsky and
Ross Duncan},
title = {A Categorical Quantum Logic},
journal = {CoRR},
volume = {abs/quant-ph/0512114},
year = {2005},
url = {http://arxiv.org/abs/quant-ph/0512114},
eprinttype = {arXiv},
eprint = {quant-ph/0512114},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-quant-ph-0512114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ni/BaldockBBBCFHHKRSRSVWYD03,
author = {Richard A. Baldock and
Jonathan Bard and
Albert Burger and
Nicholas Burton and
Jeffrey H. Christiansen and
Guangjie Feng and
Bill Hill and
Derek Houghton and
Matthew Kaufman and
Jianguo Rao and
James Sharpe and
Allyson Ross and
Peter Stevenson and
Shanmugasundaram Venkataraman and
Andrew M. Waterhouse and
Yiya Yang and
Duncan Davidson},
title = {{EMAP} and {EMAGE} - {A} framework for understanding spatially organized
data},
journal = {Neuroinformatics},
volume = {1},
number = {4},
pages = {309--325},
year = {2003},
url = {https://doi.org/10.1385/NI:1:4:309},
doi = {10.1385/NI:1:4:309},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ni/BaldockBBBCFHHKRSRSVWYD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/ChiuMWGR03,
author = {Heng{-}Mao Chiu and
Ananda Sanagavarapu Mohan and
Andrew R. Weily and
Duncan J. R. Guy and
David L. Ross},
title = {Analysis of a novel expanded tip wire {(ETW)} antenna for microwave
ablation of cardiac arrhythmias},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {50},
number = {7},
pages = {890--899},
year = {2003},
url = {https://doi.org/10.1109/TBME.2003.813541},
doi = {10.1109/TBME.2003.813541},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/ChiuMWGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KuckBCLTSDHKM74,
author = {David J. Kuck and
Paul P. Budnik and
Shyh{-}Ching Chen and
Duncan H. Lawrie and
Ross A. Towle and
Richard E. Strebendt and
Edward W. Davis and
Joseph Han and
Paul W. Kraska and
Yoichi Muraoka},
title = {Measurements of parallelism in ordinary {FORTRAN} programs},
journal = {Computer},
volume = {7},
number = {1},
pages = {37--46},
year = {1974},
url = {https://doi.org/10.1109/MC.1974.6323440},
doi = {10.1109/MC.1974.6323440},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KuckBCLTSDHKM74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-03 02:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
