Ysgol Cyfrifiadureg a Pheirianneg

  1. Cyhoeddwyd

    Categorical language and hierarchical models for cell systems.

    Porter, T., Brown, R., Paton, R., Bolouri, H. (gol.) & Parish, J. H. (gol.), 1 Ion 2004, Computation in Cells and Tissues: Perspectives and Tools of Thought. 2004 gol. Springer, t. 209-304

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

  2. Cyhoeddwyd

    Category theory: an abstract setting for analogy and comparison.

    Porter, T., Brown, R. & Sica, G. (gol.), 1 Ion 2006, What Is Category Theory?. 2006 gol. Unknown, t. 257-274

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

  3. Cyhoeddwyd

    Formal homotopy quantum field theories, I: Formal maps and crossed $\mathcal{C}$-algebras

    Porter, T. & Turaev, V., 1 Ion 2008, Yn: Journal of Homotopy and Related Structures. 3, 1, t. 113-159

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

  4. Cyhoeddwyd

    Interpreted systems and Kripke models for multiagent systems from a categorical perspective

    Porter, T., 1 Medi 2004, Yn: Theoretical Computer Science. 323, 1-3, t. 235 - 266

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

  5. Cyhoeddwyd

    Formal Homotopy Quantum Field Theories II: Simplicial Formal Maps.

    Porter, T., Davydov, A. (gol.), Batanin, M. (gol.), Johnson, M. (gol.), Lack, S. (gol.) & Neeman, A. (gol.), 1 Ion 2007, Categories in Algebra: Geometry and Mathematical Physics. 2007 gol. American Mathematical Society, t. 375-396

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddPennod

  6. Cyhoeddwyd

    Geometric Aspects of Multiagent Systems.

    Porter, T., 1 Awst 2003, Yn: Electronic Notes in Theoretical Computer Science. 81, t. 73-98

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid

  7. Cyhoeddwyd

    A new haemostatic device utilising a novel transmission structure for delivery of adrenaline and microwave energy at 5.8 GHz

    Preston, S., White, M., Saunders, B., Tsiamoulos, Z. & Hancock, C., 2016, 2016 46th European Microwave Conference (EuMC). IEEE Advancing Technology for Humanity, t. 910-913

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i Gynhadleddadolygiad gan gymheiriaid

  8. Cyhoeddwyd

    Reflecting on one, two, three, infinity.

    Priest, A., Rees, P., Pierce, I. & Spencer, P. S., 1 Ebr 2001.

    Allbwn ymchwil: Cyfraniad at gynhadleddPapur

  9. Cyhoeddwyd

    Visual Analytics of Microblog Data for Pandemic and Crisis Analysis

    Pritchard, I. C., Walker, R. & Roberts, J. C., 2012, International Workshop on Visual Analytics (2012) - EuroVA: EuroVA 2012. Matkovic, K. & Santucci, G. (gol.). The Eurographics Association, 5 t.

    Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i Gynhadleddadolygiad gan gymheiriaid

  10. Cyhoeddwyd

    Optimal operating conditions for external cavity semiconductor laser optical chaos communication system

    Priyadarshi, S., Pierce, I., Hong, Y. & Shore, K. A., 1 Medi 2012, Yn: Semiconductor Science and Technology. 27, 9, t. 094002

    Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid