Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  2. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  3. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  4. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  5. A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

    Dechant, P-P., 2013, Conference proceedings: Applied Geometric Algebras in Computer Science and Engineering 2012 (AGACSE 2012), July 2-4, La Rochelle, France. Springer-verlag, p. 89–108

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

  6. A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints

    Cumanan, K., Rahulamathavan, Y., Lambotharan, S. & Ding, Z., 2013, A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints. IEEE Wireless Communications and Networking Conference (WCNC)

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

  7. A Scalable Architecture for General Real-Time Array-Based DSP on FPGAs with Application to the Wave Equation

    Kirk, R. & Wells, J., Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13).

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

  8. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

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

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

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

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

  14. A modular test-case for validation of electromagnetic solvers in electromagnetic compatibility applications

    Flintoft, I. D., Dawson, J. F., Dawson, L. & Marvin, A. C., 19 Mar 2013, Computational Electromagnetics for ELectromagnetic Compatibility. Granada, Spain, 6 p.

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

  15. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  16. A wide-band hybrid antenna for use in reverberation chambers

    Marvin, A. C., Esposito, G., Dawson, J. F., Flintoft, I. D., Dawson, L., Everard, J. A. K. & Melia, G. C. R., 1 Aug 2013, Electromagnetic Compatibility (EMC), 2013 IEEE International Symposium on. p. 222-226

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

  17. ADS easy: an automated e-archiving system for Archaeology

    Richards, J. D., Moore, R., Hardman, C. & Xia, L., 2013, Archaeology in the Digital Era: Papers from the 40th Annual Conference of Computer Applications and Quantitative Methods in Archaeology (CAA), Southampton, 26-29 March 2012. p. 299-306

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

  18. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

  19. Acquisition of articles by Sinhalese ESL/EFL learners

    Indrarathne, B., 2013, Sri Lanka as a Hub in Asia: The Way Forward, Outcomes of the Annual Symposium 2013 of the General Sir John Kotelawala Defence University. Ratmalana, Sri Lanka

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

  20. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

  21. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

  22. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  23. Airborne chemical measurements provide time-critical decision support during offshore blowouts: Examples from Deepwater Horizon in 2010 and Elgin in 2012

    Ryerson, T. B., Lewis, A. C., Bauguitte, S., Lee, J. D., Hopkins, J. R., Punjabi, S. & Lidster, R. T., 7 Apr 2013, 245th National Meeting of the American-Chemical-Society (ACS), New Orleans, LA, APR 07-11, 2013 : 226-ANYL. American Chemical Society, Vol. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY.

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

  24. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

  25. 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 proceedingConference contribution

  26. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

  27. An Experimental Investigation on Empathy as an Emotion-Induction Mechanism in Music Listening

    Ditter, D., Schmidt, L., Tessmer, N. & Egermann, H., 2013, Abstract Book of the 3rd International Conference on Music Emotion.

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

  28. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

  29. An exact algorithm for likelihood-based imprecise regression in the case of simple linear regression with interval data

    Wiencierz, A. & Cattaneo, M. E. G. V., 1 Jan 2013, Advances in Intelligent Systems and Computing. Vol. 190 AISC. p. 293-301 9 p. (Advances in Intelligent Systems and Computing; vol. 190 AISC).

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

  30. An imprecise boosting-like approach to regression

    Wiencierz, A. & Utkin, L. V., Jul 2013, Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. p. 345-354

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

  31. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  32. An investigation into the errors in the CISPR 12 full vehicle radiated emissions measurements due to vehicle directivity

    Paterson, M. & Dawson, J. F., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 310-315 6 p.

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

  33. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

  34. Analysing changing vibrato behaviour in solo voice ensemble singing

    Daffern, H. & Howard, D. M., 2013, Pan European Voice Conference.

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

  35. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  36. Analysis of the shielding properties of metalised nonwoven materials

    Austin, A. N., Dawson, J. F., Flintoft, I. D. & Marvin, A. C., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 526-531 6 p.

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

  37. Analytical and semi-analytical treatment of optical and electrical properties of large optical cavity high-power lasers: Nonlinear resistance and effect of waveguide doping

    Avrutin, E. A. & Ryvkin, B. S., 2013, Proceedings of the 2013 High Power Diode Lasers and Systems Conference, HPD 2013 - Co-located with Photonex 2013. IEEE Computer Society Press, p. 10-11 2 p. 6706593

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

  38. Analyzing deceptive speech

    Kirchhübel, C., Stedmon, A. W. & Howard, D. M., 1 Aug 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 8019 LNAI. p. 134-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8019 LNAI, no. PART 1).

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

  39. Angular distribution in the neutron-induced fission of actinides

    Leong, L. S., Tassan-Got, L., Tarrio, D., Audouin, L., Paradela, C., Duran, I., Le Naour, C., Altstadt, S., Andrzejewsky, J., Barbagallo, M., Bécares, V., Bečvář, F., Belloni, F., Berthoumieux, E., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calvino, F., Calviani, M. & 86 others, Cano-Ott, D., Carrapiço, C., Cerutti, F., Chiaveri, E., Chin, M., Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Diakaki, M., Domingo-Pardo, C., Dressler, R., Dzysiuk, N., Eleftheriadis, C., Ferrari, A., Fraval, K., Ganesan, S., García, A. R., Giubrone, G., Gómez-Hornillos, M. B., Gonçalves, I. F., González, R., Griesmayer, E., Guerrero, C., Gunsing, F., Gurusamy, P., Jenkins, D. G., Jericha, E., Kadi, E., Käppeler, F., Karadimos, D., Kivel, N., Koehler, P., Kokkoris, M., Korschinek, G., Kroll, J., Krtička, M., Langer, C., Lederer, C., Leeb, H., Losito, R., Manousos, A., Marganiec, J., Massimi, C., Martínez, T., Mastinu, P. F., Mastromarco, M., Meaze, M., Mengon, A., Mendoza, E., Milazzo, P. M., Mingrone, T., Mirea, M., Mondelaers, W., Pavlik, A., Perkowski, J., Pignatari, M., Plompen, A., Praena, J., Quesada, J. M., Rauscher, T., Reifhart, R., Riego, A., Roman, F., Rubbia, C., Sarmento, R., Schillebeeckx, P., Schmidt, S., Schumann, D., Taín, J. L., Tagliente, G., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Versaci, R., Vermeulen, M. J., Vlachoudis, V., Vlastou, V., Wallner, A., Ware, T., Weigand, M., Weiß, C., Wright, T. & Zç, G., 1 Dec 2013, EPJ Web of Conferences. Vol. 62. p. 1-7 08003

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

  40. Aspects of Integrable Defects

    Corrigan, E., 2013, Proceedings of the XXIX International Colloquium on Group Theoretical Mthods in Physics: Symmetries and Groups in Contemporary Physics. Bai, C., Gazeau, J-P. & Ge, M-L. (eds.). World Scientific Publishing, p. 121-132 (Nankai Series in Pure, Applied Mathematics and Theoretical Physics; vol. 11).

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

  41. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  42. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

  43. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  44. B-Format Acoustic Impulse Response Measurement and Analysis In the Forest at Koli National Park, Finland

    Shelley, S. B., Murphy, D. T. & Chadwick, A. J., 2 Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13). Maynooth, p. 351-355 5 p.

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

  45. BOLLOCKS!! Designing pervasive games that play with the social rules of built environments

    Linehan, C., Bull, N. & Kirman, B., 1 Nov 2013, Springer Advances in Computer Entertainment (ACE). Springer, Vol. 8253. p. 123-137 15 p.

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

  46. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  47. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

  48. CHI and the future robot enslavement of humankind: a retrospective

    Kirman, B., Linehan, C., Lawson, S. & O'Hara, D., 1 Apr 2013, ACM SIGCHI Conference on Human Factors in Computer Systems.. ACM

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

  49. Carrier aggregation as a repeated game: Learning algorithms for efficient convergence to a Nash equilibrium

    Ahmadi, H., Macaluso, I. & DaSilva, L. A., 1 Dec 2013, 2013 IEEE Global Communications Conference (GLOBECOM). p. 1233-1239 7 p.

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

  50. Characterisation of Movement Disorder in Parkinson's Disease using Evolutionary Algorithms

    Lacy, S., Lones, M. A., Smith, S. L., Alty, J. E., Jamieson, S., Possin, K. & Schuff, N., Jul 2013, Proceedings of the 2013 Genetic and Evolutionary Computation Conference (GECCO). Blum, C. & Alba, E. (eds.). ACM Digital Library, p. 1479-1486

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

Previous 1 2 3 4 5 Next