Research output per year
Research output per year
-
Case Studies and Challenges in Reproducibility in the Computational Sciences
Arabas, S., Bareford, M. R., Gent, I. P., Gorman, B. M., Hajiarabderkani, M., Henderson, T., Hutton, L., Konovalov, A., Kotthoff, L., McCreesh, C., Paul, R. R., Petrie, K. E. J., Razaq, A., Reijsbergen, D. & Takeda, K., 1 Sept 2014, (In preparation) arXiv.Research output: Other contribution
-
Discriminating instance generation for automated constraint model selection
Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer-Verlag, Vol. 8656 LNCS. p. 356-365 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8656 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Recomputation.org: Experiences of its first year and lessons learned
Gent, I. P. & Kotthoff, L., 29 Jan 2014, Proceedings - 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, UCC 2014. Institute of Electrical and Electronics Engineers Inc., p. 968-973 6 p. 7027625. (Proceedings - 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, UCC 2014).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Web-scale distributed eScience AI search across disconnected and heterogeneous infrastructures
Kelsey, T., McCaffery, M. & Kotthoff, L., 2 Dec 2014, Proceedings - 2014 IEEE 10th International Conference on eScience, eScience 2014. IEEE, Vol. 1. p. 39-46 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
An Automated Constraint Modelling and Solving Toolchain
Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution