INSPIRING FUTURES

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.

J

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.

L

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

M

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)

R

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

S

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 Fri Nov 28 01:31:02 2014 GMT.

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