Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison.
Conference Proceeding
Melville, A., Graham, M., & Kennedy, J. (2011)
Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison. In 15th International Conference on Information Visualisation (IV), 2011https://doi.org/10.1109/IV.2011.49
While much work has been done in the area of visualization for analysis of graphs, relatively little research exists into how best to use visualization for comparing graphs. W...
Using ERMIA for the Evaluation of a Theorem Prover Interface
Conference Proceeding
Jackson, M., Benyon, D., & Lowe, H. (2004)
Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111
ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship
modelling techniques to provide a structural representation of the ...
Finding feasible timetables using group-based operators.
Journal Article
Lewis, R. M. R. & Paechter, B. (2007)
Finding feasible timetables using group-based operators. IEEE Transactions on Evolutionary Computation. 11, 397-413. doi:10.1109/TEVC.2006.885162. ISSN 1089-778X
This paper describes the applicability of the so-called "grouping genetic algorithm" to a well-known version of the university course timetabling problem. We note that there a...
Eddy diffusion in the sea: reinterpreting an early experiment.
Journal Article
Summers, D. (2005)
Eddy diffusion in the sea: reinterpreting an early experiment. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 461(2058), (1811-1827). doi:10.1098/rspa.2004.1433. ISSN 1364-5021
Over half a century has passed since L. F. Richardson and Henry Stommel conducted their experiment from the pier at Blairmore, Scotland. The relative separations of pairs of i...
Design rational for semi-automated theorem provers.
Journal Article
Lowe, H., Jackson, M. & Benyon, D. (1997)
Design rational for semi-automated theorem provers. Formal Aspects of Computing.. ISSN 0934-5043
Hyper-heuristics.
Book Chapter
Ross, P. (2005)
Hyper-heuristics. In E. Burke, & G. Kendall (Eds.), Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques (529-556). Springer-Verlag
This chapter introduces and overviews an emerging methodology in search and optimisation. One of the key aims of these new approaches, which have been termed hyper-heuristics,...