Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

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

  2. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  3. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  4. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

  5. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  6. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  7. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  8. A VJ centered exploration of expressive interaction

    Hook, J. D., Green, D., McCarthy, J., Taylor, S., Wright, P. C. & Olivier, P., 2011, Proceedings of the ACM International Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1265-1274

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

  9. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  10. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  11. A Yorkshireman in the Bastille: John Harwood and the Quaker Mission to Paris

    Carroll, S. M. & Hopper, A., 2012, Getting Along? Religious Identities and Confessional Relations in Early Modern England - Essays in Honour of Professor W.J. Sheils. Morton, A. & Lewycky, N. (eds.). Ashgate Aldershot, UK:, p. 185-212 (St Andrews Studies in Reformation History).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. A coevolutionary approach to learn animal behavior through controlled interaction

    Li, W., Gauci, M. & Gross, R., 2013, Proceedings of the 2013 Annual Conference on Genetic and Evolutionary Computation. Amsterdam, Netherlands: ACM, p. 223-230

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

  13. A comparative analysis of homegrown terrorism

    Hinkkainen, K., 1 Jan 2014, Understanding Terrorism: A Socio-Economic Perspective. Elsevier, p. 193-216 24 p. (Contributions to Conflict Management, Peace Economics and Development; vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. A comparison of analysis and resynthesis methods for directional segmentation of stereo audio

    Wells, J., Sep 2011, Proceedings of the 14th International Conference on Digital Audio Effects (DAFx-11), Paris, France, September 19-23, 2011. Peeters, G. (ed.). Paris: IRCAM, p. 191-198 8 p.

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

  15. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  16. A comparison of rule inheritance in model-to-model transformation languages

    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A. & Wagelaar, D., 18 Jul 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

  17. A comprehensive polarisation model for surface orientation recovery

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 3791-3794

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

  18. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

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

  19. A decade of ground-truthing: reappraising magnetometer prospection surveys on linear corridors in light of excavation evidence

    Bonsall, J., Gaffney, C. & Armit, I., 2014, A sense of the past: studies in current archaeological applications of remote sensing and non-invasive prospection methods . Kamermans, H., Gojda, M. & Posluschny, A. G. (eds.). Oxford: BAR Publishing, p. 3-17 (British Archaeological Reports; vol. S2588).

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

  20. A digital front-end electronics for the neutron detector NEDA

    Egea, F. J., Houarner, C., Boujrad, A., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., De France, G., Gadea, A., Valiente-Dobon, J. J., Sanchis, E., Barrientos, D., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G., Luo, X. L. & 7 others, Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 2 p. 7097536

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

  21. A dirtier reality? Archaeological methods and the urban project

    Schofield, J., 2013, The Oxford Handbook of The Archaeology of the Contemporary World. Graves-Brown, P., Harrison, R. & Piccini, A. (eds.). Oxford: Oxford University Press, p. 466-478 (Oxford Handbooks in Archaeology ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. A fast, stable method for density functional simulations of nanostructures

    Hasnip, P. J., 2011, CONDENSED MATTER AND MATERIALS PHYSICS CONFERENCE (CMMP10). Inglesfield, JE. (ed.). BRISTOL: IOP PUBLISHING LTD, 2 p. (Journal of Physics Conference Series; vol. 286).

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

  23. A fault-tolerant approach to the configuration of programmable logic at the nanoscale

    Tempesti, G., Stauffer, A. & Rossier, J., 2012, Self-Healing at the Nanoscale: Mechanisms and Key Concepts of Natural and Artificial Systems . Amendola, V. & Meneghetti, M. (eds.). Boca Raton, FL: CRC PRESS-TAYLOR & FRANCIS GROUP

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

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

  25. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

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