All of our academic staff are research active, working with a team of post-graduate and post-doctoral researchers and a lively population of research students. Our research focuses on core themes of theoretical and practical computer science: artificial intelligence and symbolic computation, networked and distributed systems, systems engineering, and human computer interaction.

For more information please visit the School of Computer science home page.

Collections in this community

Recent Submissions

  • New refiners for permutation group search 

    Jefferson, Christopher; Pfeiffer, Markus; Waldecker, Rebecca (2018-01-11) - Journal article
    Partition backtrack is the current generic state of the art algorithm to search for subgroups of a given permutation group. We describe an improvement of partition backtrack for set stabilizers and intersections of subgroups ...
  • BINK : Biological Binary Keypoint Descriptor 

    Saleiro, Mário; Terzić, Kasim; Rodrigues, J. M. F.; du Buf, J. M. H. (2017-12) - Journal article
    Learning robust keypoint descriptors has become an active research area in the past decade. Matching local features is not only important for computational applications, but may also play an important role in early biological ...
  • AIF-EL - an OWL2-EL-compliant AIF ontology 

    Cerutti, Federico; Toniolo, Alice; Norman, Timothy J.; Bex, Floris; Rahwan, Iyad; Reed, Chris (IOS Press, 2018-09-11) - Conference item
    This paper briefly describes AIF-EL, an OWL2-EL compliant ontology for the Argument Interchange Format.
  • : from fact extraction to report generation 

    Cerutti, Federico; Norman, Timothy J.; Toniolo, Alice; Middleton, Stuart E. (IOS Press, 2018-09-11) - Conference item
    We introduce, a tool to support situational understanding in intelligence analysis that complements but not replaces human expertise. The system combines natural language processing, argumentation-based ...
  • Querying metric spaces with bit operations 

    Connor, Richard; Dearle, Alan (Springer, 2018) - Conference item
    Metric search techniques can be usefully characterised by the time at which distance calculations are performed during a query. Most exact search mechanisms use a “just-in-time” approach where distances are calculated as ...

View more