Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Flexible Decentralised Communication Architecture on a Field Programmable Gate Array for Swarm System Simulations

    Gomez Zamorano, A., Timmis, J. & Tyrrell, A., Jun 2011, p. 230-237. 8 p.

    Research output: Contribution to conferencePaper

  2. A Formal Approach for Security Evaluation

    Shi, Q. & McDermid, J. A., 1992.

    Research output: Contribution to conferencePaper

  3. A Formal Model of Security Dependency for Analysis and Testing of Secure Systems

    McDermid, J. A. & Shi, Q., 1991, p. 188-200.

    Research output: Contribution to conferencePaper

  4. A Formal Template Language Enabling Metaproof

    Amálio, N., Stepney, S. & Polack, F., 2006, p. 252-267.

    Research output: Contribution to conferencePaper

  5. A Fractal Immune Network

    Bentley, P. & Timmis, J., 2004, p. 133-145.

    Research output: Contribution to conferenceOther

  6. A Framework for Constructing Temporal Models from Texts

    Alfonseca, E. & Manandhar, S., 2002, p. 456-460.

    Research output: Contribution to conferencePaper

  7. A Framework for Expressing Models of Security Policy

    Dobson, J. E. & McDermid, J. A., 1989, p. 229-241.

    Research output: Contribution to conferencePaper

  8. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, p. 594-601.

    Research output: Contribution to conferencePaper

  9. A Framework for Requirements Analysis using Automated Reasoning

    Duffy, D. A., MacNish, C., McDermid, J. A., Morris, P., Iivari, J., Lyytinen, K. & Rossi, M., 1995, p. 68-81.

    Research output: Contribution to conferencePaper

  10. A Framework for Road Traffic Noise Auralisation

    Southern, A. P. & Murphy, D. T., 31 May 2015.

    Research output: Contribution to conferencePaper

  11. A Framework for Specification and Validation of Real-Time Systems Using it ircus Actions

    Sherif, A., He, J., Cavalcanti, A. & Sampaio, A., 2004, p. 478-493.

    Research output: Contribution to conferencePaper

  12. A GTEM best practice guide: Applying IEC 61000-4-20 to the use of GTEM cells

    Nothofer, A., Alexander, M. J., Bozec, D., Welsh, D., Dawson, L., Cormack, L. M. & Marvin, A. C., 1 Feb 2003.

    Research output: Contribution to conferenceOther

  13. A General Framework for Modal Deduction

    Frisch, A. M. & Scherl, R. B., 1991, p. 196-207.

    Research output: Contribution to conferencePaper

  14. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning

    Frisch, A. M., 1989, p. 126-136.

    Research output: Contribution to conferencePaper

  15. A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs

    Newborough, J., Stepney, S., Jacob, C., Pilat, M. L., Bentley, P. J. & Timmis, J., 2005, p. 43-55.

    Research output: Contribution to conferencePaper

  16. A HAP Channel Simulator with Complete Spatial Information for On-board and Ground Smart Antennas

    Falletti, E., Sellone, F., Spillard, C. & Grace, D., 1 Sep 2005.

    Research output: Contribution to conferenceOther

  17. A Hardware Immune System for Benchmark State Machine Error Detection

    Bradley, D. & Tyrrell, A. M., 1 May 2002, p. 813-819.

    Research output: Contribution to conferenceOther

  18. A Hardware Implementation of an Embryonic Architecture using Virtex FPGAs

    Ortega, C. S. & Tyrrell, A. M., 1 Apr 2000, p. 153-164.

    Research output: Contribution to conferenceOther

  19. A Harmonised Model for Safety Assessment and Certification of Safety-Critical Systems

    Papadopoulos, Y. & McDermid, J. A., 1998.

    Research output: Contribution to conferencePaper

  20. A Hierarchical Fault Tolerant System on the PAnDA Device with Low Disruption

    Lawson, D. M. R., Walker, J. A., Trefzer, M. A., Bale, S. J. & Tyrrell, A., Jul 2014, p. 69-76.

    Research output: Contribution to conferencePaper

  21. A High Performance k-NN Classifier Using a Binary Correlation Matrix Memory

    Zhou, P., Austin, J. & Kennedy, J., 1998, p. 713-722.

    Research output: Contribution to conferencePaper

  22. A Highly Effective Model of Risk Assessment in Diffuse Large B Cell Lymphoma (DLBCL) Using Classification and Regression Tree (CART) Analysis.

    Barrans, S., Smith, A. G., O'Connor, S., Turner, K., Patmore, R., Owen, R., Roman, E. & Jack, A., Dec 2006, p. 1918-1918. 1 p.

    Research output: Contribution to conferenceOther

  23. A Honeycomb Development Architecture for Robust Fault-Tolerant Design

    Tyrrell, A. M. & Sun, H., 1 Jun 2006, p. 281-287.

    Research output: Contribution to conferenceOther

  24. A Human Action Recognition System for Embedded Computer Vision Application

    Meng, H., Pears, N. & Bailey, C., 2007.

    Research output: Contribution to conferencePaper

  25. A Hybrid Approach t Word Segmentation

    Kazakov, D. & Manandhar, S., 1998, p. 125-134.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 7 8 ...188 Next