Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 23 out of 23Page size: 50
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. A CCA secure cryptosystem using matrices over group rings

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

    Article in Contemporary Mathematics

  3. Analysis of crystallization data the Protein Data Bank

    Kirkwood, J. S., Hargreaves, D., O'Keefe, S. & Wilson, J. C., Oct 2015

    Article in Acta Crystallographica Section F: Structural Biology and Crystallization Communications

  4. Bayesian spatial NBDA for diffusion data with home-base coordinates

    Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015

    Article in PLoS ONE

  5. CAINE: A Context-Aware Information-Centric Network Ecosystem

    Kamel, G., Wang, N., Vasilakis, V., Sun, Z., Navaratnam, P., Wang, C., Dong, L. & Tafazolli, R., 5 Aug 2015

    Article in IEEE Communications Magazine

  6. Environment Orientation: a structured simulation approach for agent-based complex systems

    Hoverd, T. & Stepney, S., Mar 2015

    Article in Natural Computing

  7. Fast simulation of networks-on-chip with priority-preemptive arbitration

    Indrusiak, L. S., Harbin, J. & Dos Santos, O. M., Sep 2015

    Article in ACM Transactions on Design Automation of Electronic Systems

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

    Article in IEEE Transactions on Reliability

  9. Game-Play Breakdowns and Breakthroughs: Exploring the Relationship Between Action, Understanding, and Involvement

    Iacovides, I., Cox, A. L., McAndrew, P., Aczel, J. & Scanlon, E., 1 May 2015

    Article in Human-Computer interaction

  10. Hadoop neural network for parallel and distributed feature selection

    Hodge, V. J., O'Keefe, S. & Austin, J., 5 Sep 2015

    Article in Neural Networks

  11. Heterotic computing: exploiting hybrid computational devices

    Kendon, V., Sebald, A. & Stepney, S., 15 Jun 2015

    Article in Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences

  12. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 9 Feb 2015

    Article in British Journal of Healthcare Management

  13. Length-based attacks in polycyclic groups

    Kahrobaei, D., Garber, D. & Lam, H., 2015

    Article in Groups Complexity Cryptology

  14. Measuring graph similarity through continuous-time quantum walks and the quantum Jensen-Shannon divergence

    Rossi, L., Torsello, A. & Hancock, E. R., 23 Feb 2015

    Article in Physical Review E

  15. Scalability of Information Centric Networking Using Mediated Topology Management

    Alzahrani, B., Reed, M., Riihijarvi, J. & Vasilakis, V., 1 Apr 2015

    Article in Journal of Network and Computer Applications

  16. Searching Multiregression Dynamic Models of Resting-State fMRI Networks Using Integer Programming

    Costa, L., Smith, J., Nichols, T., Cussens, J., Duff, E. P. & Makin, T. R., 1 Jun 2015

    Article in Bayesian Analysis

  17. Subdomain-based test data generation

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., May 2015

    Article in Journal of Systems and Software

  18. The Need for a Weaving Model in Assurance Case Automation

    Hawkins, R. D., Habli, I. & Kelly, T., Sep 2015

    Article in Ada User Journal

  19. The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing

    Poulding, S., Alexander, R., Clark, J. A. & Hadley, M. J., 1 May 2015

    Article in Journal of Systems and Software

  20. Unfolding Kernel Embeddings of Graphs: Enhancing Class Separation through Manifold Learning

    Rossi, L., Torsello, A. & Hancock, E. R., Nov 2015

    Article in Pattern Recognition

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

    Article in Interface

  22. Using isoelectric point to determine the pH for initial protein crystallisation trials

    Kirkwood, J. S., Hargreaves, D., O'Keefe, S. & Wilson, J. C., 7 Jan 2015

    Article in Bioinformatics

  23. Wireless Sensor Networks for Condition Monitoring in the Railway Industry: a Survey

    Hodge, V. J., O'Keefe, S., Weeks, M. & Moulds, A., Jun 2015

    Article in IEEE Transactions on Intelligent Transportation Systems

  24. Zermelo Navigation in the Quantum Brachistochrone

    Russell, B. J. & Stepney, S., Mar 2015

    Article in Journal of Physics A: Mathematical and Theoretical