Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 100 out of 2,353Page 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. Reservoir Computing with Thin-film Ferromagnetic Devices

    Dale, M., Evans, R. F. L., Jenkins, S., O'Keefe, S., Sebald, A., Stepney, S., Torre, F. & Trefzer, M., 29 Jan 2021

    Article in arXiv

  13. Specifying Pointer Structures by Graph Reduction

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

    Article in Technical Report

  14. The School Computer

    McDermid, J. A., 1971

    Article in The Heatonian

  15. Article › Research › Peer-reviewed

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

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

    Article in CoRR

  17. '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

  18. 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

  19. 3D integrated circuit layout visualization using VRML

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

    Article in Future generation computer systems

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

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

    Article in Pattern recognition

  21. 3D morphable face models revisited

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

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

  22. 3D triangular mesh parametrization using Locally Linear Embedding

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

    Article in COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS

  23. 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

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

    Butterfield, A. & Woodcock, J., 2006

    Article in Electr. Notes Theor. Comput. Sci.

  25. A 10-mm MR-conditional unidirectional pneumatic stepper motor

    Chen, Y., Mershon, C. D. & Tse, Z. T. H., 3 Mar 2015

    Article in IEEE/ASME Transactions on Mechatronics

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

    Crispin-Bailey, C., Dai, C. & Austin, J., Oct 2019

    Article in IEEE Transactions on Biomedical Circuits and Systems

  27. 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

  28. A Bayesian compatibility model for graph matching

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

    Article in Pattern Recognition Letters

  29. A Bayesian framework for 3D surface estimation

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

    Article in Pattern recognition

  30. 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

  31. A Bayesian interpretation for the exponential correlation associative memory

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

    Article in Pattern Recognition Letters

  32. A Bibliography on Hybrid Reasoning

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

    Article in AI Magazine

  33. A CCA secure cryptosystem using matrices over group rings

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

    Article in Contemporary Mathematics

  34. A CSP model of Eiffel's SCOOP

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

    Article in Formal Aspects of Computing

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

    Polack, F., 10 Jul 2001

    Article in Software-Practice & experience

  36. A Chain Datatype in Z

    Freitas, L. & Woodcock, J., 2009

    Article in Int. J. Software and Informatics

  37. 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

  38. 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

  39. 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

  40. A Demonstrably Correct Compiler

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

    Article in Formal Asp. Comput.

  41. A Denotational Semantics for Circus

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

    Article in Electr. Notes Theor. Comput. Sci.

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

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

    Article in Pattern recognition

  43. 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

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

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

    Article in IEE Proceedings - Software

  45. 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

  46. 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

  47. A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

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

    Article in Computer journal

  48. A Formal Specification of Fault Trees for SAM

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

    Article in IPS Transactions on Information Processing

  49. A Framework for Flexible Scheduling in the RTSJ

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

    Article in ACM Transactions in Embedded Computing Systems

  50. A Fuzzy Binary Neural Network for Interpretable Classifications

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

    Article in Neurocomputing

  51. 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.

  52. 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

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

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

    Article in RequirementsEngineering Journal

  54. 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

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

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

    Article in Sigplan notices

  56. 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

  57. 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 ¿

  58. 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.

  59. 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

  60. 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

  61. A PERFORMANCE ANALYSIS OF TOROIDAL MESH NETWORKS

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

    Article in Microprocessing and microprogramming

  62. 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

  63. 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

  64. 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

  65. 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

  66. 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

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

    Davis, R. I., Feb 2014

    Article in ACM SIGBED Review

  68. 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

  69. A Riemannian approach to graph embedding

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

    Article in Pattern recognition

  70. 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

  71. 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

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

    Benest, I. D., Dec 1994

    Article in Computer graphics forum

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

    Benest, I. D., 1994

    Article in Comput. Graph. Forum

  74. A Semi-Partitioned Model for Mixed Criticality Systems

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

    Article in Journal of Systems and Software

  75. A Shadow Constrained Conditional Generative Adversarial Net for SRTM Data Restoration

    Dong, G., Huang, W., Smith, W. A. P. & Ren, P., Feb 2020

    Article in Remote Sensing of Environment

  76. 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.

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

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

    Article in ACM Comput. Surv.

  78. A Survey of Research into Mixed Criticality Systems

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

    Article in ACM Comput. Surv.

  79. A Survey of Spectrogram Track Detection Algorithms

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

    Article in Applied Acoustics

  80. 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.

  81. A Tactic Calculus-Abridged Version

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

    Article in Formal Asp. Comput.

  82. A UTP semantics for Circus

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

    Article in Formal Aspects of Computing

  83. A Unification Algorithm for GP 2

    Hristakiev, I. & Plump, D., 2015

    Article in Electronic Communications of the EASST

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

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

    Article in IEEE Trans. Software Eng.

  85. A Weakest Precondition Semantics for Z

    Cavalcanti, A. & Woodcock, J., 1998

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

  86. 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

  87. 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

  88. A binary neural decision table classifier

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

    Article in Neurocomputing

  89. A binary neural k-nearest neighbour technique

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

    Article in Knowledge and Information Systems

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

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

    Article in Neurocomputing

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

    Cowling, P. & Maffioli, F., 1995

    Article in European Journal of Operational Research

  92. A centrality measure for cycles and subgraphs II

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

    Article in Applied Network Science

  93. 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

  94. A commentary on short questionnaires for assessing usability

    Cairns, P., Jul 2013

    Article in Interacting With Computers

  95. 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

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

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

    Article in Pattern recognition

  97. 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

  98. 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

  99. 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

  100. 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

  101. 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

  102. A cryptographic application of the Thurston norm

    Kahrobaei, D., Koberda, T. & Flores, R., 29 Jan 2020

    Article in International Journal of Computer Mathematics: Computer Systems Theory

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