Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 25 out of 6,129Page size: 25
  1. 2019

  2. Graph Embedding Using Frequency Filtering

    Bahonar, H., Mirzaei, A., Sadri, S. & Wilson, R. C., 15 Jul 2019, (Accepted/In press)

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  3. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 12 Jul 2019, (Accepted/In press) 7th International Symposium on Unifying Theories of Programming (UTP). Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  4. Deep Supervised Hashing using Symmetric Relative Entropy

    Zhang, X., Zhou, L., Bai, X., Luan, X., Luo, J. & Hancock, E. R., 11 Jul 2019

    Article in Pattern Recognition Letters

  5. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

    Law, S. A., Bate, I. J. & Lesage, B. M. J-R., 8 Jul 2019, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. Paying for loot boxes is linked to problem gambling, regardless of specific features such as cash-out and pay-to-win

    Zendle, D. I., McCall, C. A., Cairns, P. A. & Barnett, H., 4 Jul 2019, (Accepted/In press)

    Article in Computers in Human Behavior

  7. The costs and benefits of decentralization and centralization of ant colonies

    Burns, D., Pitchford, J. W., Parr, C. L., Franks, D. W. & Robinson, E. J. H., 2 Jul 2019, (Accepted/In press)

    Article in Behavioral Ecology

  8. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 1 Jul 2019, (Accepted/In press) Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  9. Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands

    Zhao, S., Mei, H., Dziurzanski, P., Przewozniczek, M. W. & Soares Indrusiak, L., 1 Jul 2019, (Accepted/In press) 16th International Conference on the Economics of Grids, Clouds, Systems, and Services.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  10. Dirichlet Densifier Bounds: Densifying Beyond the Spectral Gap Constraint

    Curado, M., Lozano, M. A., Escolano, F. & Hancock, E. R., 1 Jul 2019

    Article in Pattern Recognition Letters

  11. Electroencephalography reflects the activity of sub-cortical brain regions during approach-withdrawal behaviour while listening to music

    Daly, I., Williams, D., Hwang, F., Kirke, A., Miranda, E. R. & Nasuto, S. J., 1 Jul 2019

    Article in Scientific Reports

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

  13. Side-Channel Protected MPSoC through Secure Real-Time Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R., Reinbrecht, C. & Sepulveda, M. J., Jul 2019

    Article in Microprocessors and Microsystems

  14. Social preferences and network structure in a population of reef manta rays

    Perryman, R. J. Y., Venables, S. K., Tapilatu, R. F., Marshall, A. D., Brown, C. & Franks, D. W., 28 Jun 2019, (Accepted/In press)

    Article in Behavioral Ecology and Sociobiology

  15. An Unstructured CFD Mini-Application for the Performance Prediction of a Production CFD Code

    Owenson, A., Wright, S. A., Bunt, R., Ho, Y., Street, M. & Jarvis, S., 24 Jun 2019, (Accepted/In press)

    Article in Concurrency and Computation: Practice and Experience

  16. From Java to real-time Java: a model-driven methodology with automated toolchain

    Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, p. 123-134. 12 p.

    Research output: Contribution to conference › Paper

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

  18. Finite complete suites for CSP refinement testing

    Peleska, J., Huang, W. & Cavalcanti, A. L. C., 15 Jun 2019

    Article in Science of Computer Programming

  19. Future Design of Accessibility in Games: A Design Vocabulary

    Cairns, P. A., Power, C. D., Barlet, M. & Haynes, G., 14 Jun 2019, (Accepted/In press)

    Article in International Journal of Human-Computer Studies

  20. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

    Algul, E. & Wilson, R. C., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Springer, p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  21. DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 11 Jun 2019

    Article in International Journal of Information Security

  22. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  23. Fundamental limits to quantum channel discrimination

    Pirandola, S., Laurenza, R., Lupo, C. & Pereira, J. L., 5 Jun 2019

    Article in npj Quantum Information

  24. Depth-based Subgraph Convolutional Auto-Encoder for Network Representation Learning

    Zhang, Z., Chen, D., Wang, Z., Li, H., Bai, L. & Hancock, E. R., 1 Jun 2019

    Article in Pattern Recognition

  25. The Power-Optimised Software Envelope

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 1 Jun 2019

    Article in ACM Transactions on Architecture and Code Optimization

  26. Ransomware detection and mitigation using software-defined networking: the case of WannaCry

    Akbanov, M., Vasilakis, V. & Logothetis, M., Jun 2019

    Article in Computers & Electrical Engineering

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