Browse by Dewey Subject

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | No Grouping
Jump to: J | L | M | R | S
Number of items at this level: 6.


Jackson, Mike, Benyon, David and Lowe, Helene (2004) Using ERMIA for the Evaluation of a Theorem Prover Interface. In: Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers. UITP, Eindhoven, Holland, pp. 104-111.


Lewis, Rhydian M R and Paechter, Ben (2007) Finding feasible timetables using group-based operators. IEEE Transactions on Evolutionary Computation, 11 (3). pp. 397-413. ISSN 1089 778X

Lowe, Helene, Jackson, Mike and Benyon, David (1998) Design rational for semi-automated theorem provers. Submitted to Formal Aspects of Computing (Special Issue on User Interfaces for Theorem Provers). ISSN 0934 5043


Melville, Alan, Graham, Martin and Kennedy, Jessie (2011) Combined vs. Separate Views in Matrix-based Graph Analysis and Comparison. In: 15th International Conference Information Visualisation, 12-15 July 2011, Brunei Gallery, SOAS, London University, London, UK. (Unpublished)


Ross, Peter (2005) Hyper-heuristics. In: Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques. Springer-Verlag, pp. 529-556. ISBN 978-0387234601


Summers, David (2005) Eddy diffusion in the sea: reinterpreting an early experiment. Proceedings of The Royal Society A Mathematical Physical and Engineering Sciences, 461 (2058). pp. 1811-1827.

This list was generated on Tue Dec 1 06:48:22 2015 UTC.

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373