Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning.
Coecke, B Kissinger, A Diagrams volume 10871 28-31 (2018)
Picturing Quantum Processes Coecke, B Kissinger, A (16 Mar 2017)
Preface
Kissinger, A Coecke, B Electronic Proceedings in Theoretical Computer Science, EPTCS volume 266 (27 Feb 2018)
Experimental Biological Protocols with Formal Semantics
Kwiatkowska, M Cardelli, L Abate, A Laurenti, L Yordanov, B 16th International Conference on Computational Methods in Systems Biology (CMSB 2018)

At the beginning of the twentieth century, some minor algebraic investigations grabbed the interest of a small group of American mathematicians.  The problems they worked on had little impact at the time, but they may nevertheless have had a subtle effect on the way in which mathematics has been taught over the past century.

Graphical Structures for Design and Verification of Quantum Error Correction
Chancellor, N Kissinger, A Roffe, J Zohren, S Horsman, D (23 Nov 2016)
Subscribe to