Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Conference contribution › Research
  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. 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

  4. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  5. 11Li structural information from inclusive break-up measurements

    Ferńandez-García, J. P., Cubero, M., Acosta, L., Alcorta, M., Alvarez, M. A. G., Borge, M. J. G., Buchmann, L., Diget, C. A., Falou, H. A., Fulton, B. R., Fynbo, H. O. U., Galaviz, D., Ǵomez-Camacho, J., Kanungo, R., Lay, J. A., Madurga, M., Martel, I., Moro, A. M., Mukha, I., Nilsson, T. & 5 others, Rodríguez-Gallardo, M., Śanchez-Benítez, A. M., Shotter, A., Tengblad, O. & Walden, P., 24 Apr 2015, EPJ Web of Conferences. EDP Sciences, Vol. 88. 3 p. 01003

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

  6. 12C+16O sub-barrier radiative capture cross-section measurements

    Goasduff, A., Courtin, S., Haas, F., Lebhertz, D., Jenkins, D. G., Beck, C., Fallis, J., Ruiz, C., Hutcheon, D. A., Amandruz, P. A., Davis, C., Hager, U., Ottewell, D. & Ruprecht, G., 19 Oct 2011, 5th International Conference, FUSION 2011. Lacroix, D., Schmitt, C., Navin, A., Goutte, H. & Rejmund, M. (eds.). EDP Sciences, 06002. (EPJ Web of Conferences; vol. 17).

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

  7. A 'Scientific' View of Jews from Paris around 1300

    Biller, P. P. A., 2001, Gli Ebrei e le Scienze - The Jews and Sciences. Galluzzo, Florence: SISMEL (Società Internazionale per lo Studio del Medioevo Latino)- Edizioni del Galluzzo, p. 137-168 32 p. (Micrologus: Natura, scienze e società medievali – Nature, Sciences and Medieval Societies ; vol. 9).

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

  8. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

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

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

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

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

  12. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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