Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

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

  2. A Two-direction Method of Solving Variable Demand Equilibrium Models with and without Signal Control

    Smith, M., 2009, Transportation and Traffic Theory 2009: Golden Jubilee: Papers selected for presentation at ISTTT18. Lam, W. H. K., Wong, S. C. & Lo, H. K. (eds.). NEW YORK: Springer, p. 365-386 22 p.

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

  3. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

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

  5. A VJ centered exploration of expressive interaction

    Hook, J. D., Green, D., McCarthy, J., Taylor, S., Wright, P. C. & Olivier, P., 2011, Proceedings of the ACM International Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1265-1274

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

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

  7. A Video Database for the Development of Stereo-3D Post-Production Algorithms

    Corrigan, D., Pitie, F., Morris, V., Rankin, A., Linnane, M., Kearney, G., Gorzel, M., O'Dea, M., Lee, C. & Kokaram, A., 17 Oct 2010, The seventh European conference on Visual Media Production: CVMP'10. p. 64-73 10 p.

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

  8. A Virtual Loudspeaker Database for Ambisonics Research

    Kearney, G. & Doyle, T., 8 Sep 2015, ICSA 2015: 3rd International Conference on Spatial Audio. Verband Deutscher Tonmeister e.V.

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

  9. A Voice Source Analysis of Chest and Head Registers in Singing

    Brereton, J., 2006, The 3rd International Physiology and Acoustics of Singing Conference. Howard, D. M., Brereton, J. & Daffern, H. (eds.).

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

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

  11. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

  12. A behavioural framework for designing educational computer games

    Linehan, C., Roche, B., Lawson, S., Doughty, M. & Kirman, B., 1 Dec 2009, Vienna Games Conference: Future and Reality of Gaming 2009. DIGRA Digital Games and Research Association

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

  13. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

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

  14. A bias-free measure of crossmodal audiovisual action adaptation

    Barraclough, N., Keefe, B. D. & Page, S., 2015, Journal of Vision. 12 ed. Vol. 15. p. 716 1 p.

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

  15. A biological development model for the design of robust multiplier

    Liu, H., Miller, J. F. & Tyrrell, A. M., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 195-204 10 p.

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

  16. A calorimetric evaluation of the role of impurities in the nucleation of secondary phases in 1xxx Al alloys

    Allen, C. M., O'Reilly, K. A. Q., Evans, P. V. & Cantor, B., 1998, PHASE TRANSFORMATIONS AND SYSTEMS DRIVEN FAR FROM EQUILIBRIUM. Ma, E., Atzmon, M., Bellon, P. & Trivedi, R. (eds.). WARRENDALE: MATERIALS RESEARCH SOCIETY, p. 3-14 12 p.

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

  17. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

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

  18. A catchment-scale model for pesticides in surface waters

    Hollis, J. M. & Brown, C. D., 1996, ENVIRONMENTAL FATE OF XENOBIOTICS. DelRe, AAM., Capri, E., Evans, SP. & Trevisan, M. (eds.). 27100 PAVIA: LA GOLIARDICA PAVESE, p. 371-379 9 p.

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

  19. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

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

  20. A co-evolutionary framework for regulatory motif discovery

    Lones, M. A. & Tyrrell, A. M., 2007, 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS. NEW YORK: IEEE, p. 3894-3901 8 p.

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

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

  22. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

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

  23. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  24. A comparison of analysis and resynthesis methods for directional segmentation of stereo audio

    Wells, J., Sep 2011, Proceedings of the 14th International Conference on Digital Audio Effects (DAFx-11), Paris, France, September 19-23, 2011. Peeters, G. (ed.). Paris: IRCAM, p. 191-198 8 p.

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

  25. A comparison of direct and indirect multi-touch input for large surfaces

    Schmidt, D., Block, F. & Gellersen, H., 2009, Human-Computer Interaction - INTERACT 2009 - 12th IFIP TC 13 International Conference, Proceedings. PART 1 ed. Vol. 5726 LNCS. p. 582-594 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5726 LNCS, no. PART 1).

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

Previous 1...4 5 6 7 8 9 10 11 ...176 Next