Picture of cyber-style head against binary code

Powering innovation in artificial intelligence with Open Access research...

Artificial intelligence (AI) and machine learning (ML) together represent a research frontier with a wide variety of discipline specific applications. At Strathclyde researchers in Computer & Information Sciences are exploring improved AI planning models to enable improved decision making by automous agents. Meanwhile, research conducted by the Aerospace Centre of Excellence is using AI and computational techniques to optimize the efficacy of certain astronautic applications. This includes 'global trajectory optimization' to aircraft and spacecraft design, from the planning and scheduling for autonomous vehicles to the synthesis of robust controllers for airplanes or satellites.

AI is also transforming the research agenda within Finance, where researchers are exploring the potential of AI and machine learning in evaluating banking risks and in new, emerging aspects of FinTech.

Explore some of this Open Access research from Computer & Information Sciences, Aerospace Centre of Excellence and Finance. Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2020 | 2019 | 2018 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 25.

2020

Duncan, Ross and Kissinger, Aleks and Perdrix, Simon and van de Wetering, John (2020) Graph-theoretic simplification of quantum circuits with the ZX-calculus. Quantum, 4. 279. ISSN 2521-327X

Mills, Daniel and Sivarajah, Seyon and Scholten, Travis L. and Duncan, Ross (2020) Application-motivated, holistic benchmarking of a full quantum computing stack. Quantum. ISSN 2521-327X

Sivarajah, Seyon and Dilkes, Silas and Cowtan, Alexander and Simmons, Will and Edgington, Alec and Duncan, Ross (2020) t|ket> : A retargetable compiler for NISQ devices. Quantum Science and Technology.

Griend, Arianne Meijer-van de and Duncan, Ross (2020) Architecture-aware synthesis of phase polynomials for NISQ devices. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180 (In Press)

Rungger, Ivan and Fitzpatrick, Nathan and Chen, Honxiang and Alderete, Cinthia and Apel, Harriett and Cowtan, Alexander and Patterson, Andrew and Muñoz Ramo, David and Zhu, Yingyue and Nguyen, Nhung Hong and Grant, Edward and Chretien, Stephane and Wossnig, Leonard and Linke, Norbert and Duncan, Ross (2020) Dynamical mean field theory algorithm and experiment on quantum computers. Quantum. ISSN 2521-327X

2019

Collins, Joseph and Duncan, Ross (2019) Hopf-Frobenius algebras and a simpler Drinfeld double. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Beaudrap, Niel de and Duncan, Ross and Horsman, Dominic and Perdrix, Simon (2019) Pauli Fusion : a computational model to realise quantum transformations from ZX terms. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Simmons, Will and Sivarajah, Seyon (2019) Phase gadget synthesis for shallow circuits. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Cowtan, Alexander and Dilkes, Silas and Duncan, Ross and Krajenbrink, Alexandre and Simmons, Will and Sivarajah, Seyon (2019) On the qubit routing problem. Leibniz International Proceedings in Informatics (LIPIcs), 135. 5. ISSN 1868-8969

Fagan, Andrew and Duncan, Ross (2019) Optimising Clifford circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 287. pp. 85-105. ISSN 2075-2180

2018

Duncan, Ross and Dunne, Kevin; (2018) Interacting Frobenius algebras are Hopf. In: Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, USA. ISBN 9781450343916

Garvie, Liam and Duncan, Ross (2018) Verifying the smallest interesting colour code with quantomatic. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 147-163. ISSN 2075-2180

2015

Duncan, Ross (2015) The ZX-calculus, strong complementarity, and non-locality. In: Journées Informatique Quantique 2015, 2015-11-26 - 2015-11-27, Laboratoire d'Informatique de Grenoble.

Duncan, Ross (2015) Strong complementarity in quantum computing. In: 31st British Colloquium of Theoretical Computer Science, 2015-09-14 - 2015-09-18, Middlesex University.

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong; Chiribella, Giulio and Spekkens, Robert W., eds. (2015) Generalised compositional theories and diagrammatic reasoning. In: Quantum Theory. Fundamental Theories of Physics, 181 (1). Springer, Netherlands, pp. 1-55. ISBN 9789401773027

Duncan, Ross (2015) Interacting Frobenius Algebras are Hopf. In: Higher TQFT and categorical quantum mechanics, 2015-10-19 - 2015-10-23, Erwin Schrödinger Institute.

2014

Duncan, Ross and Perdrix, Simon (2014) Pivoting makes the ZX-calculus complete for real stabilizers. Electronic Proceedings in Theoretical Computer Science, 171. pp. 50-62. ISSN 2075-2180

Duncan, Ross and Lucas, Maxime (2014) Verifying the Steane code with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 171. pp. 33-49. ISSN 2075-2180

2013

Barnum, Howard and Duncan, Ross and Wilce, Alexander (2013) Symmetry, compact closure and dagger compactness for categories of convex operational models. Journal of Philosophical Logic, 42 (3). pp. 501-523. ISSN 0022-3611

Duncan, Ross; Heunen, Chris and Sadrzadeh, Mehrnoosh and Grefenstette, Edward, eds. (2013) A graphical approach to measurement-based quantum computing. In: Quantum Physics and Linguistics. OUP. ISBN 978-0-19-964629-6

Coecke, Bob and Duncan, Ross; Glück, Robert and Yokoyama, Tetsuo, eds. (2013) Tutorial : Graphical calculus for quantum circuits. In: Reversible Computation. Lecture Notes in Computer Science, 7581 . Springer, DNK, pp. 1-13. ISBN 9783642363146

2012

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong; (2012) Strong complementarity and non-locality in categorical quantum mechanics. In: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. IEEE, HRV, pp. 245-254. ISBN 9781467322638

2011

Coecke, Bob and Duncan, Ross (2011) Interacting quantum observables : categorical algebra and diagrammatics. New Journal of Physics, 13 (April). 043016. ISSN 1367-2630

2010

Duncan, Ross and Perdrix, Simon; Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G., eds. (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, FRA, pp. 285-296. ISBN 9783642141614

2009

Dixon, Lucas and Duncan, Ross (2009) Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence, 56 (1). pp. 23-43. ISSN 1012-2443

This list was generated on Tue Aug 4 01:39:34 2020 BST.