Publications
- Verification-guided modelling of salience and cognitive load
Ruksenas R Back J Curzon P
Formal Aspects of Computing: Applicable Formal Methods vol. 21 (6), 541-569.
01-12-2009 - Enthusing & inspiring with reusable kinaesthetic activities
Curzon P McOwan PW Cutts Q
Acm Sigcse Bulletin vol. 41, 94-98.
01-06-2009 - The magic of HCI: Enthusing kids in playful ways to help solve the Computer Science recruitment problem
Curzon P McOwan PW
Proceedings of HCI Educators 2009 - Playing with our Education Dundee.
01-04-2009 - Another look at indirect negative evidence
Clark A Lappin S
Proceedings of the EACL 2009 Workshop on Cognitive Aspects of Computational Language Acquisition - CACLA '09., 26-33.
01-01-2009 - Computational Thinking (CT): On Weaving It In
Curzon P Peckham J Taylor H
ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION., 201-202.
01-01-2009 - cs4fn.org: Enthusing students about Computer Science
Curzon P Black J Meagher LR
Proceedings of Informatics Education Europe IV.
01-01-2009 - Enthusing & Inspiring with Reusable Kinaesthetic Activities
Curzon P McOwan PW Bell T
ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION., 94-98.
01-01-2009 - Feature Selection for Person-Independent 3D Facial Expression Recognition using NSGA-II
Tekguc U Soyel H Demirel H
2009 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES., 35-38.
01-01-2009