Search research publications and outputs

  1. Chapter (peer-reviewed) › Research › Peer-reviewed
  2. Embedded Dynamic Improvement

    Burles, N. J., Swan, J., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A. & Veerapen, N., 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: ACM, p. 831-832

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

  3. Genome-wide mouse embryonic stem cell regulatory network self-organisation: a big data CoSMoS computational modelling approach.

    Greaves, R. B., Dietmann, S., Smith, A., Stepney, S. & Halley, J. D., 2015, CoSMoS workshop, York, UK, July 2015. Luniver Press, p. 31-66

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

  4. Stochastic modeling, analysis and verification of mission-critical systems and processes

    Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

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

  5. Conference contribution › Research
  6. A Graph Kernel based on Jensen-Shannon Representation

    Bai, L., Zhang, Z. & Hancock, E. R., 2015, International Joint Conference on Artificial Intelligence (IJCAI). 8 p.

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

  7. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

    Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

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

  8. A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

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

  9. An Aligned Subtree Kernel for Weighted Graphs

    Bai, L., Rossi, L. & Hancock, E. R., 2015, International Conference on Machine Learning (ICML) 2015. Vol. 37. p. 30-39 10 p.

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

  10. An Interval Algebra for Multiprocessor Resource Allocation

    Soares Indrusiak, L. & Dziurzanski, P., 20 Jul 2015, The International Conference on Systems, Architectures, Modeling and Simulation (SAMOS). Soudris, D. & Carro, L. (eds.). 8 p.

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

  11. Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

    Nightingale, P., Spracklen, P. & Miguel, I. J., 1 Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Netherlands: SPRINGER, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science).

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

  12. Comparing Concurrent and Retrospective Verbal Protocols for Blind and Sighted Users

    Savva, A., Petrie, H. & Power, C. D., 2015, Human-Computer Interaction. p. 55-71 17 p.

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

Previous 1 2 3 4 5 Next