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
-
Anomaly-based network intrusion detection enhancement by prediction threshold adaptation of binary classification models
(University of St Andrews, 2018-10-19) - ThesisNetwork traffic exhibits a high level of variability over short periods of time. This variability impacts negatively on the performance (accuracy) of anomaly-based network Intrusion Detection Systems (IDS) that are built ... -
Proof-relevant Horn clauses for dependent type inference and term synthesis
(2018) - Journal articleFirst-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this ... -
SWAG demo : smart watch assisted gesture interaction for mixed reality head-mounted displays
(IEEE Computer Society, 2018-12-16) - Conference itemIn this demonstration, we will show a prototype system with sensor fusion approach to robustly track 6 degrees of freedom of hand movement and support intuitive hand gesture interaction and 3D object manipulation for Mixed ... -
A review of literature on parallel constraint solving
(2018-09) - Journal articleAs multi-core computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: investigating ... -
How people visually represent discrete constraint problems
(2019-01-24) - Journal articleProblems such as timetabling or personnel allocation can be modeled and solved using discrete constraint programming languages. However, while existing constraint solving software solves such problems quickly in many cases, ...
RSS 1.0