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. 2017
  4. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E. 18 Dec 2017

    Research output: Contribution to conferencePaper

  5. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I. 9 Nov 2017 Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer, p. 1-16 16 p. (Lecture Notes in Computer Science)

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

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

  7. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.) 31 Oct 2017 SPRINGER. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

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

  9. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E., Williams, D. A. H., Miranda, E. R. & Nasuto, S. J. 18 Oct 2017

    Article in Frontiers in human neuroscience

  10. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E. 19 Sep 2017 Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

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

  11. Building Dialectal Arabic Corpora

    Elgabou, H. A. M. & Kazakov, D. L. 7 Sep 2017 The First Workshop on Human-Informed Translation and Interpreting Technology (HiT-IT). p. 52-57 6 p.

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

  12. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P. 1 Sep 2017 Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

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

  13. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C. 1 Sep 2017 Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

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

  14. Modelling and Verification of Timed Robotic Controllers

    Ribeiro, P., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J. 1 Sep 2017 Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510)

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

  15. Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time

    Jimenez Gil, S., Bate, I., Lima, G., Santinelli, L., Gogonel, A. & Cucu-Grosjean, L. 1 Sep 2017

    Article in IEEE Embedded Systems Letters

  16. Formalised Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C. Sep 2017 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  17. Functional grouping analysis of varying reactor types in the Spiky-RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S. Sep 2017 p. 247-254

    Research output: Contribution to conferencePaper

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