Skip to main content

Research Repository

Advanced Search

Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison. (2011)
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), 2011. https://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. We have developed a suite of general graph comparison questions that can be... Read More about Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison..

Finding feasible timetables using group-based operators. (2007)
Journal Article
Lewis, R. M. R., & Paechter, B. (2007). Finding feasible timetables using group-based operators. IEEE Transactions on Evolutionary Computation, 11, 397-413. https://doi.org/10.1109/TEVC.2006.885162

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 are, in fact, various scaling up issues surrounding this sort of algorithm a... Read More about Finding feasible timetables using group-based operators..

Hyper-heuristics. (2005)
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, is to raise the level of generality at which optimisation systems can oper... Read More about Hyper-heuristics..

Eddy diffusion in the sea: reinterpreting an early experiment. (2005)
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. https://doi.org/10.1098/rspa.2004.1433

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 immersed floats (made of parsnip) were measured as these became passively tr... Read More about Eddy diffusion in the sea: reinterpreting an early experiment..

Using ERMIA for the Evaluation of a Theorem Prover Interface (2004)
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 interaction between people and “information artefacts”. Such a representa... Read More about Using ERMIA for the Evaluation of a Theorem Prover Interface.