Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A COMMAND, CONTROL AND COMMUNICATIONS INTERFACE FOR AN ENVIRONMENTAL SAMPLING ROV

    MACQUARRIE, D. J., COSBY, L. R., EDLEY, C. & GALLANT, W. A., 1993, OCEANS 93 - PROCEEDINGS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. C248-C252 5 p.

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

  2. A COMPARISON OF THE USE AND REGULATORY INTERPRETATION OF A PREDICTIVE MODEL, LYSIMETER AND FIELD STUDIES TO DETERMINE THE LEACHING POTENTIAL OF A SEED DRESSING

    FOGG, P., CARTER, A. D. & BROWN, C. D., 1994, BRIGHTON CROP PROTECTION CONFERENCE - PESTS AND DISEASES - 1994. FARNHAM: BRITISH CROP PROTECTION COUNCIL, Vol. 1-3. p. 1283-1288 6 p.

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

  3. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

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

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

  6. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

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

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

  8. A Comparative Study of the Performance of Spatialisation Techniques for a Distributed Audience in a Concert Hall Environment

    Kearney, G., Enda, B., Furlong, D. & Boland, F., Jun 2007, 31st International Conference of the Audio Engineering Society. London, England

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

  9. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

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

  10. A Comparison of Audio & Visual Analysis of Complex Time Series Data Sets

    Pauletto, S. & Hunt, A., 1 Jul 2005, Proceedings of the International Conference on Auditory Display.

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

  11. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

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

  12. A Conformal Thin Boundary Model for FDTD

    Bourke, S., Dawson, J., Robinson, M. & Porter, S., 8 Aug 2018, 2018 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization for RF, Microwave, and Terahertz Applications (NEMO) (NEMO2018). 4 p. 8503410

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

  13. A Contract-based Approach to Designing Safe Systems

    Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

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

  14. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

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

  16. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  17. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

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

  18. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

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

  19. A Damn’d bad Place, Sheffield: Brownfields and Historical Archaeology

    Symonds, J., Badcock, A. & Lines, A., 2004, Preserving Archaeological Remains in Situ? : Proceedings of the 2nd Conference, 12-14th September, 2001. Dixon, T. (ed.). Museum of London Archaeology Service, p. 249-53

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

  20. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

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

  21. A Day in the Life of a Spoken Word

    Dumay, N., Gaskell, M. G. & Feng, X., 2005, PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY. MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 339-344 6 p.

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

  22. A Deployment Value Model for Intrusion Detection Sensors

    Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

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

  23. A Direct Comparison of Localisation Performance When Using First, Third and Fifth Order Ambisonics For Real Loudspeaker And Virtual Loudspeaker Rendering

    Thresh, L. & Kearney, G. C., Oct 2017, Proc. of AES 143rd Convention.

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

  24. A Distributed Theatre Experiment with Shakespeare

    Williams, D. L., Kegel, I. C., Ursu, M., Cesar, P., Jansen, J., Geelhoed, E., Horti, A., Frantzis, M. & Scott, B., 2015, Proceedings of the 23rd ACM International Conference on Multimedia. New York, NY, USA: ACM, p. 281-290 10 p. (MM '15).

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

  25. A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 1 Jul 2017, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. SPRINGER, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9765).

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

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