Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 3D sound and 3D image interactions: a review of audio-visual depth perception

    Berry, J., Roberts, D. & Holliman, N. S., 25 Feb 2014, Human Vision and Electronic Imaging XIX. Rogowitz, B. E., Pappas, T. N. & de Ridder, H. (eds.). San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9014. 16 p.

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

  2. 3DMIN - Challenges and Interventions for the Design, Development and Dissemination of New Musical Instruments.

    Bovermann, T., Egermann, H., Foerstel, A., Hardjowirogo, S-I., Hinrichsen, A., Hildebrand Marques Lopes, D., Pysiewicz, A., Weinzierl, S. & de Campo, A., 2014, Proceedings of the 40th International Computer Music Conference. International Computer Music Association, Vol. 2014. 5 p.

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

  3. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  4. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  5. A Cost-Efficient System for Detecting an Intentional Electromagnetic Interference (IEMI) Attack

    Dawson, J. F., Flintoft, I. D., Kortoći, P., Dawson, L., Marvin, A. C., Robinson, M. P., Stojilović, M., Rubinstein, M., Menssen, B., Garbe, H., Hirschi, W. & Rouiller, L., 1 Sep 2014, EMC Europe 2014.

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

  6. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  7. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  8. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  9. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  10. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  11. A Study of the Challenges Related to DIY Assistive Technology in the Context of Children with Disabilities

    Hook, J. D., Verbaan, S., Durrant, A., Olivier, P. & Wright, P. C., 21 Jun 2014, DIS '14: Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 597-606

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

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

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

  14. 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 othersModamio, 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

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

  16. A modelling study of limonene oxidation products following cleaning activities

    Carslaw, N., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 9-13 5 p.

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

  17. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  18. A new front-end high-resolution sampling board for the new-generation electronics of EXOGAM2 and NEDA detectors

    Egea, F. J., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., Gadea, A., De France, G., Valiente-Dobon, J. J., Blasco, J. M., Barrientos, D., Sanchis, E., Boujrad, A., Houarner, C., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G. & 8 othersLuo, X. L., 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., 3 p. 7097539

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

  19. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  20. A rights based approach to adaptive capacity

    Ensor, J. E., Park, S., Hoddy, E. T. & Ratner, B., 2014, Resilience 2014.

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

  21. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  22. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  23. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  24. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

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

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