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...
Extensions to a memetic timetabling system.
Conference Proceeding
Paechter, B., Cumming, A., Norman, M. G., & Luchian, H. (1996)
Extensions to a memetic timetabling system. In R. Burke (Ed.), Practice and Theory of Automated Timetabling, 251-265. https://doi.org/10.1007/3-540-61794-9_64
This paper describes work in progress to increase the performance of a memetic timetabling system. The features looked at are two directed mutation operators, targeted mutatio...
Two solutions to the general timetable problem using evolutionary algorithms.
Conference Proceeding
Paechter, B., Luchian, H., Cumming, A., & Petriuc, M. (1994)
Two solutions to the general timetable problem using evolutionary algorithms. In Proceedings of the IEEE World Congress in Computational Intelligence, (300-305). https://doi.org/10.1109/ICEC.1994.349935
The general timetable problem, which involves the placing
of events requiring limited resources into timeslots,
has been approached in many different ways. This paper
describe...
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...
Timetabling the classes of an entire university with an evolutionary algorithm.
Conference Proceeding
Paechter, B., Rankin, B., Cumming, A., & Fogarty, T. C. (1998)
Timetabling the classes of an entire university with an evolutionary algorithm. In T. Beck, & M. Schoenauer (Eds.), Parallel Problem Solving from Nature - PPSN V. , (865-874). https://doi.org/10.1007/BFb0056928
This paper describes extensions to an evolutionary algorithm that timetables classes for an entire University. A new method of dealing with multi-objectives is described along...
Poxels: polygonal voxel environment rendering
Conference Proceeding
Miller, M., Cumming, A., Chalmers, K., Kenwright, B., & Mitchell, K. (2013)
Poxels: polygonal voxel environment rendering. In Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology - VRST '14, 235-236. doi:10.1145/2671015.2671125
We present efficient rendering of opaque, sparse, voxel environments with data amplified in local graphics memory with stream-out from a geomery shader to a cached vertex buff...
The use of local search suggestion lists for improving the solution of timetable problems with evolutionary algorithms.
Conference Proceeding
Paechter, B., Cumming, A., & Luchian, H. (1995)
The use of local search suggestion lists for improving the solution of timetable problems with evolutionary algorithms. In Evolutionary Computing, 86-93. https://doi.org/10.1007/3-540-60469-3_27
This paper presents a new genetic representation for timetabling with evolutionary algorithms. The representation involves the use of suggestion lists for the placement of eve...
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...
Animated interval scatter-plot views for the exploratory analysis of large scale microarray time-course data.
Journal Article
Craig, P., Kennedy, J., & Cumming, A. (2005)
Animated interval scatter-plot views for the exploratory analysis of large scale microarray time-course data. Information Visualization, 4, 149-163. doi:10.1057/palgrave.ivs.9500101
Microarray technologies are a relatively new development that allow biologists to monitor the activity of thousands of genes (normally around 8,000) in parallel across multipl...
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...