Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
82951 - 82960 out of 99,088Page size: 10
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    Georeferencing in the field using constellations of similar you-are-here maps

    Molineux, A. & Cheverst, K., 30/09/2013, BCS-HCI '13 Proceedings of the 27th International BCS Human Computer Interaction Conference. Love, S., Hone, K. & McEwan, T. (eds.). Swindon: British Computer Society, 6 p. 36

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    Efficient verification of distributed protocols using stateful model checking

    Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    QRS complex detection using centered cumulative sums of squares

    Alkhaldi, T., Mihaylova, L. & Gellersen, H., 26/09/2013, Signal Processing: Algorithms, Architectures, Arrangements, and Applications (SPA), 2013. IEEE, p. 168-171 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Optimised hybrid parallelisation of a CFD code on many-core architectures

    Jackson, A. & Campobasso, S., 23/09/2013, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 . IEEE, p. 488-495 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Exploring Respectful Design Directions for Indigenous Communities

    Reitsma, L., Wallace, J. & Rodgers, P., 18/09/2013, Proceedings - 2013 International Conference on Culture and Computing: Culture and Computing 2013. IEEE, p. 131-132 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Computing Minimal Models Modulo Subset-Simulation for Modal Logics

    Papacchini, F. & Schmidt, R. A., 18/09/2013, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer, Vol. 8152. p. 279-294 16 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    An experiment in automatic indexing using the HASSET thesaurus

    El-Haj, M., Balkan, L., Barbalet, S., Bell, L. & Shepherdson, J., 17/09/2013, Computer Science and Electronic Engineering Conference (CEEC), 2013 5th. IEEE, p. 13-18 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Use of gaming sensors and customised exergames for Parkinson's Disease rehabilitation: a proposed virtual reality framework

    Paraskevopoulos, I. & Tsekleves, E., 11/09/2013, Games and Virtual Worlds for Serious Applications (VS-GAMES), 2013 5th International Conference on. IEEE, p. 1-5 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    Magic 3-D simulations of a 1.37 THz gyro-multiplier

    Constable, DA., 11/09/2013, Millimeter Waves and THz Technology Workshop (UCMMT), 2013 6th UK, Europe, China. p. 1-2 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Empathy in the Internet of Things

    Coulton, P., 9/09/2013, Proceedings of a workshop at the 27th International British Computer Society HCI Conference: The Internet of Things : Interacting with Digital Media in Connected Environments. 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...8292 8293 8294 8295 8296 8297 8298 8299 ...9909 Next

Back to top