Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. VHDL Guidance for Safe and Certifiable FPGA Design

    Conmy, P., Pygott, C. & Bate, I., 1 Oct 2010, IET System Safety Conference.

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

  2. VENUS, Virtual ExploratioN of Underwater Sites

    Chapman, P., Conte, P., Drap, G., Gambogi, P., Gauch, F., Hanke, K., Long, L., Loureiro, V., Papini, P., Pascoal, A., Richards, J. D. & Roussell, D., 2006, The e-volution of Information Communication Technology in Cultural Heritage, Nicosia, Cyprus 2006. Ioannides, M., Arnold, D., Niccolucci, F. & Mania, K. (eds.). Hungary: Archaeolingua, p. 86-93

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

  3. VCDC: The virtualized complicated device controller

    Jiang, Z. & Audsley, N., 1 Jun 2017, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 76. p. 51-520 470 p.

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

  4. VARIABLE STEP SIZE DICHOTOMOUS COORDINATE DESCENT AFFINE PROJECTION ALGORITHM

    Albu, F., Paleologu, C., Benesty, J. & Zakharov, Y. V., 2009, EUROCON 2009: INTERNATIONAL IEEE CONFERENCE DEVOTED TO THE 150 ANNIVERSARY OF ALEXANDER S. POPOV. NEW YORK: IEEE, Vol. 1-4. p. 1364-1369 6 p.

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

  5. V2V Channel allocation method based on SWM communication demand matrix

    Ye, L., Peng, C., Han, Q., Zeng, L., Chen, L., Liu, X. & Xu, Y., 22 Dec 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2095-2100 6 p. 7795895

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

  6. Utility and stability measures for agent-based dynamic scheduling of steel continuous casting

    Ouelhadj, D., Cowling, P. I. & Petrovic, S., 2003, Robotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on. Vol. 1. p. 175-180 6 p.

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

  7. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-290 6 p.

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

  8. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 285-290 6 p.

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

  9. Using trace scratchpads to reduce execution times in predictable real-time architectures

    Whitham, J. & Audsley, N., 2008, PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 305-316 12 p.

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

  10. Using the executor framework to implement asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 16-25 10 p. (ACM International Conference Proceeding Series).

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

  11. Using the Internet in project management

    Edwards, A. D. N., 1998, IMPROVING THE QUALITY OF LIFE FOR THE EUROPEAN CITIZEN. Porrero, IP. & Ballabio, E. (eds.). AMSTERDAM: I O S PRESS, p. 453-457 5 p.

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

  12. Using the Fisher-Rao Metric to Compute Facial Similarity

    Ceolin, S. & Hancock, E. R., 2010, IMAGE ANALYSIS AND RECOGNITION, PT I, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6111 LNCS. p. 384-393 10 p.

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

  13. Using societal impact assessment (SIA) to improve technological development in the field of crime prevention

    Clavell, G. G. & Frowd, P. M., 1 Jan 2015, Social Informatics: SocInfo 2014 International Workshops, Barcelona, Spain, November 11, 2014, Revised Selected Papers. Aiello, L. M. & McFarland, D. (eds.). Springer-Verlag, p. 118-124 7 p. (Lecture Notes in Computer Science; vol. 8852).

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

  14. Using social marketing techniques to improve parental engagement in reading at home with Y5 children (age 9-10)

    Wells, VK. & Smithson, J., 1 Sep 2016, n/a.

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

  15. Using simulation to validate style-specific architectural refactoring patterns

    Stephenson, Z., McDermid, J. & Choy, J., 2006, 30th Annual IEEE/NASA Software Engineering Workshop, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 123-132 10 p.

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

  16. Using quantitative analysis to implement autonomic IT systems

    Calinescu, R. & Kwiatkowska, M., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE). p. 100-110 11 p.

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

  17. Using parallel corpora for word sense disambiguation

    Shahid, A. R. & Kazakov, D. L., 2013, RANLP-13. Hissar, Bulgaria

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

  18. Using observation ageing to improve Markovian model learning in QoS engineering

    Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

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

  19. Using neural networks for strategy selection in real-time strategy games

    Randall, T., Cowling, P., Baker, R. & Jiang, P., 2009, AISB 2009 Symposium: AI and Games, Edinburgh, Scotland, 8th-9th April.

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

  20. Using neural networks as part of a system to recognise formations of aircraft

    Zanelli, P. R. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 152-157 6 p.

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

  21. Using multi-objective artificial immune systems to find core collections based on molecular markers

    Schlottfeldt, S., Carvalho, A. C. P. L. F., Walter, M. E. M. T., Telles, M. P. C., Timmis, J. & Diniz-Filho, J. A. F., 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1271-1278 8 p.

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

  22. Using model checking to validate style-specific architectural refactoring patterns

    Stephenson, Z. & McDermid, J., 2007, 31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 53-62 10 p.

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

  23. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

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

  24. Using maximum entropy in a defeasible logic with probabilistic semantics

    Cussens, J. & Hunter, A., 1993, IPMU'92 - Advanced Techniques in Artificial Intelligence. Bouchon-Meunier, B., Valverde, L. & Yager, R. R. (eds.). Lecture Notes in Computer Science 682, Springer-Verlag, p. 43-52 10 p.

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

  25. Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea. IEEE Computer Society, p. 195-202 8 p.

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

Previous 1...3 4 5 6 7 8 9 10 ...172 Next