Computer Science

Organisational unit: School

Publications

  1. Chapter (peer-reviewed) › Research › Not peer-reviewed
  2. Published

    Abstraction Refinement for Probabilistic Software

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. Published

    Cross-discourse Development of Supervised Sentiment Analysis in the Clinical Domain

    Phillip Smith & Mark Lee, 12 Jul 2012, Proceedings of the 3rd Workshop on Computational Approaches to Subjectivity and Sentiment Analysis: ACL 2012 Workshop. Association of Computational Linguistics, p. 79-83

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  4. Published

    Helping Teachers Effectively Support Group Learning

    Susan Bull, , Matthew Johnson, Dean Petters & , 2012, Proceedings of Workshop on Intelligent Support for Learning in Groups: ITS 2012.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. Published

    Identifying archetypal perspectives in news articles

    Christopher Bowers, Russell Beale & Robert Hendley, 2012, Proceeding BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers. British Computer Society, p. 327-332

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Published

    Learning, learning analytics, activity visualisation and open learner model: Confusing?

    Susan Bull, , , , , Will Byrne, Luis Hernandez-Munoz, & , 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8095 LNCS. p. 532-535 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Published

    Salient Features and Snapshots in Time: An Interdisciplinary Perspective on Object Representation

    Aaron Sloman, Jeremy Wyatt & Jackie Chappell, 2013, Computing Nature: Studies in Applied Philosophy, Epistemology and Rational Ethics. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Berlin, Heidelberg: Springer, Vol. 7. p. 171-184

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  8. Published

    Stegobot: a covert social Network.

    Shishir Nagaraja, 2011, 13th Information Hiding Conference (IHC). Springer, Vol. LNCS 6958. p. 299-311

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Published

    The Impact of Unlinkability on Adversarial Community Detection: Effects and Countermeasures

    Shishir Nagaraja, 2010, Privacy Enhancing Technologies : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings. Atallah, MJ. & Hopper, NJ. (eds.). Springer, p. 253-272 (Lecture Notes in Computer Science; vol. 6205).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Chapter (peer-reviewed) › Research › Peer-reviewed
  11. Published

    A multi-modal optimization approach to single path planning for unmanned aerial vehicle

    Xin Yao, 24 Jul 2016, Proceedings of the 2016 IEEE Congress on Evolutionary Computation . IEEE Computer Society Press, p. 1735-1742

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  12. Published

    Artificial bee colony training of neural networks

    John Bullinaria & , 2014, Nature Inspired Cooperative Strategies for Optimization (NICSO 2013): learning, optimization and interdisciplinary applications. Terrazas, G., Otero, F. E. B. & Masegosa, A. D. (eds.). Springer, p. 191-201 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

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