Search research publications and outputs

  1. Conference contribution › Research
  2. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

  3. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  4. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

  5. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  6. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B., Mar 2018, Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). p. 219-224

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

  7. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

    Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Lecture Notes in Computer Science, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

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

  8. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

  9. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

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

  10. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

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

  11. Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

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

  12. Controlling the Crucible: A Novel PvP Recommender Systems Framework for Destiny

    Sifa, R., Zhai, K., Pawlakos, E., Jha, R., Narayanan, S., Klabjan, D. & Drachen, A., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

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

  13. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

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

  14. Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes

    Srivisut, K., Clark, J. A. & Paige, R. F., 2 Jul 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1451-1458 8 p.

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

  15. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)

    Bagnato, A., Barmpis, K., Bessis, N., Cabrera-Diego, L. A., Rocco, J. D., Di Ruscio, D., Gergely, T., Hansen, S., Kolovos, D., Krief, P., Korkontzelos, I., Laurière, S., Lopez de la Fuente, J. M., Maló, P., Paige, R. F., Spinellis, D., Thomas, C. & Vinju, J. J., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 375-384 10 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

  16. Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures

    Owenson, A., Wright, S., Bunt, R., Jarvis, S., Ho, Y. & Street, M., 6 Jun 2018, Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. Institute of Electrical and Electronics Engineers Inc., p. 68-76 9 p.

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

  17. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  18. Euler Lagrange Network Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 14 Feb 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer, Vol. 10746. p. 399-413 14 p. (Lecture Notes in Computer Science).

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

  19. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

    Seetanadi, G. N., Camara Moreno, J., Almeida, L., Arzen, K. E. & Maggio, M., 31 Jan 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 243-254 12 p.

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

  20. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  21. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

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

  22. Features of integrated model-based co-modelling and co-simulation technology

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K., 1 Jan 2018, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. Cerone, A. & Roveri, M. (eds.). Springer Verlag, p. 377-390 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10729 LNCS).

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

  23. Finding All Bayesian Network Structures within a Factor of Optimal

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 10 Dec 2018, (Accepted/In press) The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press

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

  24. Fully Automated Spleen Localization And Segmentation Using Machine Learning And 3D Active Contours

    Wood, A., Soroushmehr, S. M. R., Farzaneh, N., Fessell, D., Ward, K. R., Gryak, J., Kahrobaei, D. & Na, K., Jul 2018, 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, Vol. 2018. p. 53-56 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  25. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  26. Graph Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 217-226 10 p.

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