Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Bailout Protocol for Mixed Criticality Systems

    Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

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

  2. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

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

  3. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

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

  4. A Biofeedback System For Singing Tuition Of Children and Adolescents

    Barlow, C. & Brereton, J. S., 2008, Readings in Technology: Proceedings of the International Conference on Information Communication Technologies in Education (ICICTE). Corfu, greece

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

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

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

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

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

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

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

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