Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 10 out of 164Page size: 10
  1. 2014

  2. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  3. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  4. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  5. 2015

  6. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  7. Using argument notation to engineer biological simulations with increased confidence

    Alden, K. J., Andrews, P. S., Polack, F. A. C., Veiga-Fernandes, H., Coles, M. C. & Timmis, J., 6 Mar 2015, (E-pub ahead of print)

    Article in Interface

  8. Integer Linear Programming for the Bayesian network structure learning problem

    Bartlett, M. & Cussens, J., 10 Mar 2015, (E-pub ahead of print)

    Article in Artificial Intelligence

  9. Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems

    Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015, (E-pub ahead of print)

    Article in IEEE Transactions on Reliability

  10. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015, (E-pub ahead of print)

    Article in Neural Networks

  11. 2016

  12. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016, (E-pub ahead of print)

    Article in Real-Time Systems

  13. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016, (E-pub ahead of print)

    Article in Information and Software Technology

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