Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 100 out of 2,210Page size: 100
Sort by: Type
  1. Article › Research › Not peer-reviewed

  2. Ada and the Software Vulnerabilities Project

    Burns, A. & Tokar, J. L., 2010

    Article in Ada User Journal

  3. Celebrating the life and work of Maria Petrou

    Hancock, E. & Kittler, J., 15 Oct 2014

    Article in Pattern Recognition Letters

  4. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  5. Editorial

    Hancock, E. R., Wilson, R. C., Bors, A. G. & Smith, W. A. P., Nov 2015

    Article in Pattern recognition

  6. Editorial

    Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009

    Article in Formal Asp. Comput.

  7. Editorial

    Kroening, D., Margaria, T. & Woodcock, J., 2011

    Article in Formal Asp. Comput.

  8. Editorial

    Woodcock, J., May 2012

    Article in Formal Aspects of Computing

  9. Generative Graph Prototypes from Information Theory

    Han, L., Wilson, R. C. & Hancock, E. R., 1 Oct 2015

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  10. Global inorganic nitrate production mechanisms: Comparison of a global model with nitrate isotope observations

    Alexander, B., Sherwen, T., Holmes, C. D., Fisher, J. A., Chen, Q., Evans, M. J. & Kasibhatla, P., May 2019

    Article in Atmospheric Chemistry and Physics Discussions

  11. Grammar learning using Inductive Logic Programming

    Pulman, S. & Cussens, J., 1 May 2001

    Article in Oxford University Working Papers in Linguistics, Philology and Phonetics

  12. Specifying Pointer Structures by Graph Reduction

    Bakewell, A., Plump, D. & Runciman, C., 2003

    Article in Technical Report

  13. The School Computer

    McDermid, J. A., 1971

    Article in The Heatonian

  14. Article › Research › Peer-reviewed

  15. "Going back to our roots": second generation biocomputing

    Timmis, J., Amos, M., Banzhaf, W. & Tyrrell, A. M., 2005

    Article in CoRR

  16. 'Liveness' in human-machine interaction

    Newell, C., Edwards, A. D. N. & Cairns, P. A., 2011

    Article in International Journal of Performance Arts and Digital Media

  17. 3D Euclidean Reconstruction of Buildings from Uncalibrated Image Sequences

    Wu, C., Liu, Y., Pears, N. & Chen, Z., 2004

    Article in International Journal of Shape Modelling

  18. 3D integrated circuit layout visualization using VRML

    Indrusiak, L. S. & Reis, R. A. D., Mar 2001

    Article in Future generation computer systems

  19. 3D modelling of multiple object scenes from sets of images

    Grum, M. & Bors, A. G., Jan 2014

    Article in Pattern recognition

  20. 3D morphable face models revisited

    Patel, A. & Smith, W. A. P., 2009

    Article in Computer Vision and Pattern Recognition, IEEE Computer Society Conference on

  21. 3D triangular mesh parametrization using Locally Linear Embedding

    Sun, X. F. & Hancock, E. R., 2005

    Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS

  22. 6th International Conference on Autonomic and Autonomous Systems, ICAS 2010: Preface

    Bauer, M., Calinescu, R., Esmahi, L., Galis, A., Grottke, M., Liotta, A. & Truszkowski, W. F., 24 May 2010

    Article in 6th International Conference on Autonomic and Autonomous Systems, ICAS 2010

  23. A "Hardware Compiler" Semantics for Handel-C

    Butterfield, A. & Woodcock, J., 2006

    Article in Electr. Notes Theor. Comput. Sci.

  24. A 65nm CMOS lossless bio-signal compression circuit with 250 femtoJoule performance per bit.

    Crispin-Bailey, C., Dai, C. & Austin, J., 30 Aug 2019

    Article in IEEE Transactions on Biomedical Circuits and Systems

  25. A BAYESIAN FRAMEWORK FOR HIERARCHICAL RELAXATION

    HANCOCK, E. R. & WILSON, R. C., 1994

    Article in PROCEEDINGS OF THE 12TH IAPR INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II - CONFERENCE B: PATTERN RECOGNITION AND NEURAL NETWORKS

  26. A Bayesian compatibility model for graph matching

    Wilson, R. C. & Hancock, E. R., 6 Mar 1996

    Article in Pattern Recognition Letters

  27. A Bayesian framework for 3D surface estimation

    Turner, M. & Hancock, ER., 1 Apr 2001

    Article in Pattern recognition

  28. A Bayesian framework for radar shape-from-shading

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000

    Article in IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, VOL I

  29. A Bayesian interpretation for the exponential correlation associative memory

    Hancock, E. R. & Pelillo, M., 1 Feb 1998

    Article in Pattern Recognition Letters

  30. A Bibliography on Hybrid Reasoning

    Frisch, A. M. & Scherl, R. B., 1991

    Article in AI Magazine

  31. A CCA secure cryptosystem using matrices over group rings

    Kahrobaei, D., Shpilrain, V. & Koupparis, C., 2015

    Article in Contemporary Mathematics

  32. A CSP model of Eiffel's SCOOP

    Brooke, P. J., Paige, R. F. & Jacob, J. L., Nov 2007

    Article in Formal Aspects of Computing

  33. A Case Study using Lightweight Formalism to Review an Information System Specification

    Polack, F., 10 Jul 2001

    Article in Software-Practice & experience

  34. A Chain Datatype in Z

    Freitas, L. & Woodcock, J., 2009

    Article in Int. J. Software and Informatics

  35. A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays

    Lunniss, W., Altmeyer, S. & Davis, R. I., 2014

    Article in LITES: Leibniz Transactions on Embedded Systems

  36. A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources

    Zhao, S., Garrido, J., Wei, R., Burns, A., Wellings, A. J. & Puente, J. A. D. L., Jan 2020

    Article in Journal of Systems and Software

  37. A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression

    Gallimore, A. R., Aricescu, A. R., Yuzaki, M. & Calinescu, R., 25 Jan 2016

    Article in PLoS Computational Biology

  38. A Demonstrably Correct Compiler

    Stepney, S., Whitely, D., Cooper, D. & Grant, C., 1991

    Article in Formal Asp. Comput.

  39. A Denotational Semantics for Circus

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2007

    Article in Electr. Notes Theor. Comput. Sci.

  40. A Detailed Investigation into Low-Level Feature Detection in Spectrogram Images

    Lampert, T. & O'Keefe, S., Sep 2011

    Article in Pattern recognition

  41. A Digital Repository and Execution Platform for Interactive Scholarly Publications in Neuroscience

    Hodge, V. J., Jessop, M. D., Fletcher, M. A., Weeks, M., Turner, A., Jackson, T. O., Ingram, C., Smith, L. & Austin, J., 1 Jan 2016

    Article in Neuroinformatics

  42. A Disconnected Service Architecture for Unanticipated Runtime Evolution of Code

    Oriol, M. & Di Marzo Serugendo, G., 2004

    Article in IEE Proceedings - Software

  43. A Distributed In-Network Caching Scheme For P2P-Like Content Chunk Delivery

    Zhang, X., Wang, N., Vasilakis, V. & Howarth, M., 14 Nov 2015

    Article in Computer Networks

  44. A Distributed Stream Library for Java 8

    Chan, Y., Wellings, A. J., Gray, I. & Audsley, N. C., 8 Feb 2017

    Article in IEEE Transactions on Big Data

  45. A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design

    Dai, X., Chang, W., Zhao, S. & Burns, A., 2019

    Article in ACM Transactions on Embedded Computing Systems (TECS)

  46. A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

    Burns, A. & Lister, A. M., Apr 1991

    Article in Computer journal

  47. A Formal Specification of Fault Trees for SAM

    Liu, S. & McDermid, J. A., 1997

    Article in IPS Transactions on Information Processing

  48. A Framework for Flexible Scheduling in the RTSJ

    Zerzelidis, A. & Wellings, A., Aug 2010

    Article in ACM Transactions in Embedded Computing Systems

  49. A Fuzzy Binary Neural Network for Interpretable Classifications

    Meyer, R. & O'Keefe, S., 9 Dec 2013

    Article in Neurocomputing

  50. A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

    Habli, I. & Kelly, T., 28 Sep 2009

    Article in Electr. Notes Theor. Comput. Sci.

  51. A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems

    Gomony, M. D., Garside, J., Akesson, B., Audsley, N. & Goossens, K., 1 Feb 2017

    Article in IEEE Transactions on Computers

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

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

    Article in RequirementsEngineering Journal

  53. A Java Bread-Board Simulator: Digital Circuit Simulation with an Open-Source Toolset

    Crispin-Bailey, C., 2010

    Article in IADIS INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS

  54. A MODULA-2 IMPLEMENTATION OF A REAL-TIME PROCESS ABSTRACTION

    Burns, A., Davies, G. L. & Wellings, A. J., Oct 1988

    Article in Sigplan notices

  55. A Machine-Learning Approach to Keypoint Detection and Landmarking on 3D Meshes

    Creusot, C., Pears, N. & Austin, J., Mar 2012

    Article in International Journal of Computer Vision

  56. A Model for Causal Logic for Requirements Engineering

    Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

    Article in Symposium on Requirements Engineering ¿

  57. A Model for a Causal Logic for Requirements Engineering

    Moffett, J. D., Hall, J. G., Coombes, A. & McDermid, J. A., 1996

    Article in Requir. Eng.

  58. A Mössbauer investigation of advanced magnetic recording media

    Walton, S. A., Dickson, D. P. E., O'Grady, K. & Mayo, P. I., 1998

    Article in Hyperfine Interactions

  59. A Novel Model and Method Based on Nash Equilibrium for Medical Image Segmentation

    Zhang, T. C., Zhang, J., Zhang, J. P., Smith, M. L. & Hancock, E. R., 1 Jun 2018

    Article in JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS

  60. A PERFORMANCE ANALYSIS OF TOROIDAL MESH NETWORKS

    MacHaria, G. M. & Austin, J., Aug 1990

    Article in Microprocessing and microprogramming

  61. A Perceptual and Affective Evaluation of an Affectively Driven Engine for Video Game Soundtracking

    Williams, D. A. H., Dec 2016

    Article in ACM Computers in Entertainment

  62. A Practical Language and Toolset for High-Integrity Tools

    Toyn, I., Cattrall, D. M., McDermid, J. A. & Jacob, J. L., 1998

    Article in Journal of Systems and Software

  63. A Programmable look-up table-based interpolator with nonuniform sampling scheme

    Dutra e Silva Junior, E. C., Soares Indrusiak, L., Finamore, W. A. & Glesner, M., 2012

    Article in International Journal of Reconfigurable Computing

  64. A Quantum-inspired Similarity Measure for the Analysis of Complete Weighted Graphs

    Bai, L., Rossi, L., Cui, L., Cheng, J. & Hancock, E. R., 28 Apr 2019

    Article in IEEE Transactions on Cybernetics

  65. A Reinforcement Learning Based Auto-Scaling Approach for SaaS Providers in Dynamic Cloud Environment

    Wei, Y., Kudenko, D., Liu, S., Pan, L., Wu, L. & Meng, X., 3 Feb 2019

    Article in Mathematical Problems in Engineering

  66. A Review of Fixed Priority and EDF scheduling for hard real-time uniprocessor systems

    Davis, R. I., Feb 2014

    Article in ACM SIGBED Review

  67. A Review of Priority Assignment in Real-Time Systems

    Davis, R. I., Cucu-Grosjean, L., Bertogna, M. & Burns, A., 14 Apr 2016

    Article in Journal of systems architecture

  68. A Riemannian approach to graph embedding

    Robles-Kelly, A. & Hancock, E. R., Mar 2007

    Article in Pattern recognition

  69. A Riemannian weighted filter for edge-sensitive image smoothing

    Zhang, F. & Hancock, E. R., 2006

    Article in 18th International Conference on Pattern Recognition, Vol 1, Proceedings

  70. A Rigorous Method for Inspection of Model-Based Formal Specifications

    Liu, S., McDermid, J. A. & Chen, Y., Dec 2010

    Article in IEEE Transactions on Reliability

  71. A SCHEMATIC ENTRY DRAWING CAPABILITY IN A LINEARIZED HYPERMEDIA SYSTEM

    Benest, I. D., Dec 1994

    Article in Computer graphics forum

  72. A Schematic Entry Drawing Capability in a Linearised Hypermedia System

    Benest, I. D., 1994

    Article in Comput. Graph. Forum

  73. A Semi-Partitioned Model for Mixed Criticality Systems

    Xu, H. & Burns, A., 1 Apr 2019

    Article in Journal of Systems and Software

  74. A Substrate-Independent Framework to Characterise Reservoir Computers

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 19 Jun 2019

    Article in Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences

  75. A Survey and Comparative Study of Hard and Soft Real-time Dynamic Resource Allocation Strategies for Multi/Many-core Systems

    Singh, A. K., Dziurzanski, P., Mendis, H. R. & Soares Indrusiak, L., 11 Apr 2017

    Article in ACM Comput. Surv.

  76. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems

    Davis, R. & Burns, A., 1 Oct 2011

    Article in ACM Comput. Surv.

  77. A Survey of Research into Mixed Criticality Systems

    Burns, A. & Davis, R. I., 1 Jan 2018

    Article in ACM Comput. Surv.

  78. A Survey of Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 Feb 2010

    Article in Applied Acoustics

  79. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  80. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  81. A UTP semantics for Circus

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 1 Feb 2009

    Article in Formal Aspects of Computing

  82. A Unification Algorithm for GP 2

    Hristakiev, I. & Plump, D., 2015

    Article in Electronic Communications of the EASST

  83. A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

    Cavalcanti, A. & Naumann, D. A., 2000

    Article in IEEE Trans. Software Eng.

  84. A Weakest Precondition Semantics for Z

    Cavalcanti, A. & Woodcock, J., 1998

    Article in Int. J. Hum.-Comput. Stud.

  85. A batch correction method for liquid chromatography–mass spectrometry data that does not depend on quality control samples

    Rusilowicz, M. J., Dickenson, M., Charlton, A., O'Keefe, S. & Wilson, J. C., 18 Feb 2016

    Article in Metabolomics

  86. A behavioural intervention improved cognitive function and depression in elderly people in residential homes

    Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

    Article in Evidence Based Nursing

  87. A binary neural decision table classifier

    Hodge, V. J., O'Keefe, S. & Austin, J., Oct 2006

    Article in Neurocomputing

  88. A binary neural k-nearest neighbour technique

    Hodge, V. J. & Austin, J., Sep 2005

    Article in Knowledge and Information Systems

  89. A binary neural shape matcher using Johnson Counters and chain codes

    Hodge, V. J., O'Keefe, S. & Austin, J., Jan 2009

    Article in Neurocomputing

  90. A bound for the Symmetric Travelling Salesman Problem through matroid formulation

    Cowling, P. & Maffioli, F., 1995

    Article in European Journal of Operational Research

  91. A centrality measure for cycles and subgraphs II

    Giscard, P-L. & Wilson, R. C., 8 Jun 2018

    Article in Applied Network Science

  92. A class of asynchronous multisplitting two-stage iterations for large sparse block systems of weakly nonlinear equations

    Bai, Z. Z., Evans, D. J. & Calinescu, R. C., 30 Oct 1999

    Article in Journal of Computational and Applied Mathematics

  93. A commentary on short questionnaires for assessing usability

    Cairns, P., Jul 2013

    Article in Interacting With Computers

  94. A comparison of Cartesian coordinate-based representations for building three-dimensional models of faces

    Castelan, M. & Hancock, E. R., 2005

    Article in 2005 International Conference on Image Processing (ICIP), Vols 1-5

  95. A comparison of a novel neural spell checker and standard spell checking algorithms

    Hodge, V. J. & Austin, J., Nov 2002

    Article in Pattern recognition

  96. A comparison of standard spell checking algorithms and a novel binary neural approach

    Hodge, V. J. & Austin, J., Sep 2003

    Article in IEEE Transactions on Knowledge and Data Engineering

  97. A conceptual and computational framework for modelling and understanding the nonequilibrium gene regulatory networks of mouse embryonic stem cells

    Greaves, R. B., Dietmann, S., Smith, A., Stepney, S. & Halley, J. D., 1 Sep 2017

    Article in PLoS Computational Biology

  98. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  99. A coupled statistical model for face shape recovery

    Castelan, M., Smith, W. A. P. & Hancock, E. R., 2006

    Article in STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS

  100. A coupled statistical model for face shape recovery from brightness images

    Castelan, M., Smith, W. A. P. & Hancock, E. R., Apr 2007

    Article in IEEE Transactions on Image Processing

  101. A deadline-floor inheritance protocol for EDF scheduled embedded real-time systems with resource sharing

    Burns, A., Gutierrez, M., Aldea, M. & Harbour, M. G., 1 May 2015

    Article in IEEE Transactions on Computers

  102. A dependable distributed architecture for a safety critical hard real-time system

    Bate, I. J. & Burns, A., 1 Dec 1997

    Article in IEE Colloquium (Digest)

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