Coordinated parallel views for the exploratory analysis of microarray time-course data.
Conference Proceeding
Craig, P., Kennedy, J., & Cumming, A. (2005)
Coordinated parallel views for the exploratory analysis of microarray time-course data. https://doi.org/10.1109/CMV.2005.5
Microarray time-course data relate to the recorded activity of thousands of genes, in parallel, over multiple discrete points in time during a biological process. Existing tec...
Online assessment and checking of SQL: detecting and preventing plagiarism.
Conference Proceeding
Russell, G. & Cumming, A. (2005)
Online assessment and checking of SQL: detecting and preventing plagiarism. ISBN 0-9541927-8-8
The automatic checking of online assessments and tutorials offers a significant advantage to students. Such students can work out-of-hours, from home or work, managing their o...
Improving the student learning experience for SQL using automatic marking.
Conference Proceeding
Russell, G., & Cumming, A. (2004)
Improving the student learning experience for SQL using automatic marking. In D. Kinshuk, G. Sampson, & P. Isaías (Eds.), Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age, 281-288
An online interactive learning environment which offers immediate feedback to student learning SQL was constructed. This has supported the gathering of interesting statistics ...
Towards visualising temporal features in large scale microarray time-series data.
Conference Proceeding
Craig, P., Kennedy, J., & Cumming, A. (2002)
Towards visualising temporal features in large scale microarray time-series data. https://doi.org/10.1109/IV.2002.1028809
Current techniques for visualising large-scale microarray data are unable to present temporal features without reducing the number of elements being displayed. This paper intr...
Multiple traffic signal control using a genetic algorithm
Conference Proceeding
Kalganova, T., Russell, G., & Cumming, A. (1999)
Multiple traffic signal control using a genetic algorithm. In A. Dobnikar, N. C. Steele, D. W. Pearson, & R. F. Albrecht (Eds.), Artificial Neural Nets and Genetic Algorithms, 220-228. https://doi.org/10.1007/978-3-7091-6384-9_38
Optimising traffic signal timings for a multiple-junction road network is a difficult but important problem. The essential difficulty of this problem is that the traffic signa...
Improving a lecture timetabling system for university wide use
Conference Proceeding
Paechter, B., Rankin, B., & Cumming, A. (1998)
Improving a lecture timetabling system for university wide use. In Practice and Theory of Automated Timetabling II. , (156-165). https://doi.org/10.1007/BFb0055887
During the academic year 1996/97 the authors were commissioned by their institution to produce an automated timetabling system for use by all departments within the Faculty of...
Lessons from experience: making theorem provers more co-operative.
Conference Proceeding
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1995)
Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers, 67-74
We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove th...