Computer Science (School of)
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.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Sub-communities within this community
Recent Submissions
-
Towards objective and reproducible study of patient-doctor interaction : automatic text analysis based VR-CoDES annotation of consultation transcripts
(IEEE, 2017-07-11) - Conference itemWhile increasingly appreciated for its importance,the interaction between health care professionals (HCP) and patients is notoriously difficult to study, with both methodological and practical challenges. The former has ... -
Intuitive and interpretable visual communication of a complex statistical model of disease progression and risk
(IEEE, 2017-07-11) - Conference itemComputer science and machine learning in particular are increasingly lauded for their potential to aid medical practice. However, the highly technical nature of the state of the art techniques can be a major obstacle in ... -
Discovering topic structures of a temporally evolving document corpus
(2017-08-10) - Journal articleIn this paper we describe a novel framework for the discovery of the topical content of a data corpus, and the tracking of its complex structural changes across the temporal dimension. In contrast to previous work our model ... -
In defense of sandcastles : research thinking through visualization in DH
(International Alliance of Digital Humanities Organizations (ADHO), 2017-03-11) - Conference itemAlthough recent research acknowledges the potential of visualization methods in DH, the predominant terminology used to describe visualizations (prototypes, tools) narrowly focuses on their use as a means to an end and, ... -
Coinductive soundness of corecursive type class resolution
(Springer, 2017) - Conference itemHorn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive ...
RSS 1.0