Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  2. Additive Archaeology: The Spirit of Virtual Archaeology Reprinted

    Beale, G. & Reilly, P., Mar 2014, Archaeological Research in the Digital Age. : Proceedings of the 1st Conference on Computer Applications and Quantitative Methods in Archaeology Greek Chapter (CAA-GR) Rethymno, Crete, 6-8 March 2014. Papadopulos, C., Paliou, E., Chrysanthi, A., Kotoula, E. & Sarris, A. (eds.). Rethymno: Rethymno: Institute for Mediterranean Studies – Foundation of Research and Technology (IMS-Forth), p. 120-128 8 p.

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

  3. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  4. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  5. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  6. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  7. An audit of documented referral information for children referred to a UK paediatric and young person's hospice

    McKeating, C., Koodiyedath, B., Nicholson, J. & Miller, M., 1 Mar 2014, BMJ Supportive & Palliative Care. Vol. 4(Suppl_1):A109. p. 273 1 p.

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

  8. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  9. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

  10. Assessing the Plausibility of Non-Individualised Dynamic Binaural Synthesis in a Small Room

    Pike, C., Melchior, F. & Tew, A. I., 26 Aug 2014, Audio Engineering Society, 55th International Conference: Spatial Audio. Helsinki, Finland, 6-1

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

  11. Assessment of a field-aligned ICRF antenna

    Wukitch, S. J., Brunner, D., Ennever, P., Garrett, M. L., Hubbard, A., Labombard, B., Lau, C., Lin, Y., Lipschultz, B., Miller, D., Ochoukov, R., Porkolab, M., Reinke, M. L. & Terry, J. L., 2014, AIP Conference Proceedings. American Institute of Physics Inc., Vol. 1580. p. 73-80 8 p.

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

  12. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  13. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  14. Atomic-resolution elemental mapping of precipitates in a 7449 aluminium alloy

    Wenner, S., Marioara, C. D., Lefebvre, W., Ramasse, Q. M., Kepaptsoglou, D. M., Hage, F. S. & Holmestad, R., 2014, Aluminium Alloys, ICAA 2014. TRANS TECH PUBLICATIONS LTD, Vol. 794-796. p. 63-67 5 p. (Materials Science Forum; vol. 794-796).

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

  15. Attentional modulation of repetition suppression effects in human face- and voice-sensitive cortex

    Kikuchi, Y., Ip, J., Mossom, J., Barraclough, N., Petkov, C. & Vuong, Q., 2014, Neuroscience Meeting Planner. Society for Neuroscience

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

  16. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

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

  17. Authority and judgement in the digital archive

    Dix, A., Cowgill, R., Bashford, C., McVeigh, S. & Ridgewell, R., 12 Sep 2014, Proceedings of the 1st International Workshop on Digital Libraries for Musicology. Association for Computing Machinery (ACM), p. 1-8 8 p.

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

  18. Automated enzyme classification by formal concept analysis

    Coste, F., Garet, G., Groisillier, A., Nicolas, J. & Tonon, T., 1 Jan 2014, Formal Concept Analysis - 12th International Conference, ICFCA 2014, Proceedings. Springer-Verlag, p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8478 LNAI).

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

  19. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  20. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  21. Battery- and aging-aware embedded control systems for electric vehicles

    Chang, W., Proebstl, A., Goswami, D., Zamani, M. & Chakraborty, S., 2014, IEEE Real-Time Systems Symposium (RTSS).

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

  22. Bewegungsmuster von DJs im Club-Kontext

    Foerstel, A. & Egermann, H., 2014, Tagungsband der 13. Jahrestagung der Gesellschaft für Musikpsychologie.

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

  23. Biology as an agent of chemical and mineralogical change in soil

    Hodson, M. E., 2014, Procedia Earth and Planetary Science. Elsevier Science, Vol. 10. p. 114-117

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

  24. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

  25. Chateaubriand and Byron: Atala and Childe Harold's Pilgrimage I and II

    Minta, S. M. J., 2014, Byron and Latin Culture: Proceedings of the 37th International Byron Society Conference. Cambridge Scholars Publishing, p. 316-332

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

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