Search research publications and outputs

  1. 2018
  2. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures

    Krawiec, K., Simons, C., Swan, J. & R. Woodward, J., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. Vasant, P., Alparslan-Gok, S. Z. & Weber, G-W. (eds.). Hershey, PA, USA: IGI Global, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  3. Predicting skill learning outcomes in a large, longitudinal MOBA dataset

    Aung, M. T., Bonometti, V., Drachen, A., Cowling, P. I., Kokkinakis, A. V., Yoder, C. & Wade, A. R. P., 2018, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 50

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction

    Paige, R. F., Zolotas, A., Kolovos, D. S., McDermid, J. A., Bennett, M., Hutchesson, S. & Hawthorn, A., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 403-408 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Safety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective

    McDermid, J. A. & Daffey, K., 2018, Safety Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Search-Based Temporal Testing in an Embedded Multicore Platform

    Srivisut, K., Clark, J. A. & Paige, R. F., 2018, Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Springer-Verlag, Vol. 10784 LNCS. p. 794-809 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems

    Gerasimou, S., Kolovos, D., Paige, R. & Standish, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 385-393 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Time Evolving Networks in Finance and Medicine

    Hancock, E. R., 2018, Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018, Funchal, Madeira - Portugal, January 16-18, 2018.. p. 7 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds

    Alasmari, N. N. M. & Calinescu, R. C., 2018, Proceedings of the 6th International Conference on Enterprise Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Variability Management in Safety-Critical Software Product Line Engineering

    De Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T. P., 2018, International Conference on Software Reuse.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. 2017
  12. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A., 1 Dec 2017, Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Towards Critical Pair Analysis for the Graph Programming Language GP 2

    Plump, D. & Hristakiev, I., Dec 2017, Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. James, P. & Roggenbach, M. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science; vol. 10644).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases

    Jaradat, O. T. S. & Bate, I., 28 Nov 2017, Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. Institute of Electrical and Electronics Engineers Inc., p. 95-102 8 p. 8123558

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L., 23 Nov 2017, VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) ).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures

    Brown, D., Wright, S. A. & Jarvis, S. A., 20 Nov 2017, UK Performance Engineering Workshop (UKPEW'17).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Music Genre Classification using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 14 Nov 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Automatic Classification of Music Genre using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 11 Nov 2017, 2017 IEEE International Conference on Data Mining (ICDM). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F. & Hutchesson, S., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 237-247 11 p. 8101270

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. User Experience for Model-Driven Engineering: Challenges and Future Directions

    Abrahao, S., Bourdeleau, F., Cheng, B., Kokaly, S., Paige, R., Stoerrle, H. & Whittle, J., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 229-236 8 p. 8101269

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Dynamic attention-controlled cascaded shape regression exploiting training data augmentation and fuzzy-set sample weighting

    Feng, Z., Kittler, J., Christmas, W., Huber, P. & Wu, X-J., 6 Nov 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 3681-3686 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

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

  27. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1...3 4 5 6 7 8 9 10 ...94 Next