Search research publications and outputs

  1. Using feedback to regulate gene expression in a developmental control architecture

    Clegg, K., Stepney, S. & Clarke, T., 2007, p. 966-973.

    Research output: Contribution to conferencePaper

  2. Using document dimensions for enhanced information retrieval

    Jayasooriya, T. & Manandhar, S., 2004, APPLIED COMPUTING, PROCEEDINGS. Manandhar, S., Austin, J., Desai, U., Oyanagi, Y. & Talukder, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 145-152 8 p.

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

  3. Using defeasible logic for a window on a probabilistic database: some preliminary notes

    Cussens, J. & Hunter, A., 1991, Symbolic and Quantitative Approaches for Uncertainty. Kruse, R. & Seigel, P. (eds.). Springer, Vol. 548. p. 146-152 7 p.

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

  4. Using correlation matrix memories for inferencing in expert systems

    Austin, J. & Filer, R., 1996, NEURAL NETWORKS AND THEIR APPLICATIONS. Taylor, JG. (ed.). CHICHESTER: John Wiley & Sons, p. 229-244 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Using card sorts for understanding website information architectures: technological, methodological and cultural issues

    Petrie, H., Power, C., Cairns, P. & Seneler, C., 2011, Human-Computer Interaction – INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Berlin, Heidelberg: Springer-verlag, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6949).

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

  6. Using bugs and viruses to teach artificial intelligence

    Cowling, PI., Fennell, R., Hogg, R., King, G., Rhodes, P. & Sephton, N., 2004, Proceedings of The International Conference on Computer Games: Artificial Intelligence, Design and Education (CGAIDE).

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

  7. Using automated search to generate test data for matlab

    Rhys, S. L., Poulding, S. M., Clark, J. A. & Rothlauf, F. (ed.), 2009, Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. ACM, p. 1697-1704 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Using audio to support animated route information in a hospital touch-screen kiosk

    Wright, P., Soroka, A., Belt, S., Pham, D. T., Dimov, S., De Roure, D. & Petrie, H., Jul 2010

    Article in Computers in Human Behavior

  9. Using ants to attack a classical cipher

    Russell, M., Clark, J. A. & Stepney, S., 2003, GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS. CantuPaz, E., Foster, JA., Deb, K., Davis, LD., Roy, R., OReilly, UM., Beyer, HG., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, MA., Schultz, AC., Dowsland, KA., Jonoska, N. & Miller, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 146-147 2 p.

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

  10. Using agent-based modelling approaches to support the development of safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2006, COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS. Gorski, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 330-343 14 p.

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

  11. Using a model merging language for reconciling model versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Rensink, A. & Warmer, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 143-157 15 p.

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

  12. Using a large set of low level heuristics in a hyperheuristic approach to personnel scheduling

    Cowling, P. I. & Chakhlevitch, K., 2007, Evolutionary Scheduling. Springer Berlin/Heidelberg, p. 543-576 34 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  13. Using a Software Safety Argument Pattern Catalogue: Two Case Studies

    Hawkins, R. D., Clegg, K. D., Alexander, R. & Kelly, T., Sep 2011, Computer Safety, Reliability, and Security: Proceedings of the 30th international conference on Computer safety, reliability, and security. Berlin: SPRINGER-VERLAG BERLIN, Vol. 6894. p. 185-198 14 p. (Lecture Notes in Computer Science; vol. 6894).

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

  14. Using a Model Merging Language for Reconciling Model Versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, p. 143-157.

    Research output: Contribution to conferencePaper

  15. Using VDM with Rely and Guarantee-Conditions: Experiences from a Real Project

    Woodcock, J. & Dickinson, B., 1988, p. 434-458.

    Research output: Contribution to conferencePaper

  16. Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems

    Abdullah, M. S., Benest, I. D., Paige, R. F. & Kimble, C., 2007, p. 438-453.

    Research output: Contribution to conferencePaper

  17. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 46 3 p.

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

  18. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, p. 4-6.

    Research output: Contribution to conferencePaper

  19. Using Safety Critical Artificial Neural Networks in gas turbine aero-engine control

    Kurd, Z. & Kelly, T. P., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 136-150 15 p. (Lecture Notes in Computer Science; vol. 3688).

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

  20. Using Prior Probabilities and Density Estimation for Relational Classification

    Cussens, J., 1998, Inductive Logic Programming: Proceedings of the 8th International Conference (ILP-98). Page, D. (ed.). SPRINGER, Vol. 1446. p. 106-115 10 p. (Lecture Notes in Artificial Intelligence).

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

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