The unifying theme of my research is a deep interest in the nature and role of theories. This has been motivated by a belief that the software community spends too much time "polishing the shiny bits" (that is, making marginal improvements in those areas where such progress is easy) rather than biting the bullet and working on the difficult areas. For example, I think there is considerable mileage in exploring the view that theories are the true artifacts created during software design, and that "programs" and "systems" are side-effects of this process of theory construction. My research during the past 15 years has taken me into the Philosophy of Science (where theory construction is a major topic of discussion), cognitive science (how do people work with theories?) and AI (how might machines manipulate symbols so as to emulate theory construction?). I have also developed an interest in pedagogy, and see many similarities between the design of software systems and the design of the curriculum; after all, both depend intimately on the relational structures that we construct regarding some domain of interest.
M. Zahrani, M.J.Loomes, J.A. Malcolm A.Z.M.Dayem Ullah, K. Steinfofeland A.A.Albrecht, Genetic Local Search for Multicast Routing with Pre-processing by Logarithmic Simulated Annealing, Computers & Operations Research Journal, Elsevier, (31 Pages) ISSN 0305-0548 (In Press).
M. Zahrani, M.J.Loomes, J.A. Malcolm and A.A.Albrecht, Landscape Analysis for Multicast Routing, Computer Communications, Elsevier, ISSN 0140-3664 (In Press)
Jun Li, Bruce Christianson and Martin Loomes (2006), "Fair" Authentication in Pervasive Computing, Proceedings of the First International Workshop on Secure Mobile Ad-hoc Networks and Sensors (Revised Selected Papers), Ed. Mike Burmester and Alec Yasinsac, pp. 132-143, Springer, ISBN 3-540-36646-6. (Lecture Notes in Computer Science Volume 4074 - ISSN 0302-9743).
M.S.Zahrani, M.J.Loomes, J.A.Malcolm, A.A.Albrecht (2006), Genetic Local Search for Multicast Routing, Proceedings of the 8th Annual Conference on Genetic and Evolutionary Computation (GECCO'06)}, pp. 615--616, ACM Press, New York. ISBN: 1-59593-186-4
Martin Loomes and Bruce Christianson (2006), Reflections on Academic Leadership, Journal for the Enhancement of Learning and Teaching, Vol 3 Issue 1, ISSN: 1743-3932
Martin J Loomes, Christopher L Nehaniv and Paul Wernick (2005), The Naming of Systems and Software Evolvability, Proceedings of the IEEE International Workshop on Software Evolvability, IEEE Computer Society, ISBN: 0-7695-2460-5
Buchala S, Davey N, Loomes M, Frank R & Gale T (2005) The Role of Global and Feature Based Information in Gender Classification of Faces: A Comparison of Human Performance and Computational Models, International Journal of Neural Systems Vol. 15, No. 1-2, Special issue: Neuro Information Processing.
M. Loomes, B. Christianson and N. Davey (2004), Formal Systems, not Methods, Proceedings of the 2004 International Symposium on Teaching Formal Methods, Lecture Notes in Computer Science Vol 3294, pp 47-64, ISBN: 3-540-23611-2
Yi Sun, Timothy S. Butler, Alex Shafarenko, Rod Adams, Martin Loomes, & Neil Davey (2004) "Identifying Word Boundaries in Handwritten Text" Proceedings of the 2004 International Conference on Machine Learning and Applications (ICMLA 2004), IEEE Catalog Number: 04EX970, ISBN: 0-7803-88213-2. Pages 5-9.
Samarasena Buchala, Neil Davey, Ray J. Frank, Tim M.Gale, Martin J. Loomes and Wanida Kanargard (2004) "Gender Classification of Face Images: The Role of Global and Feature-Based Information", Proceedings of the 11th International Conference on Neural Information Processing, Calcutta, LNCS, Springer-Verlag, 2004, ISBN 3-540-23913-6, p763-??
Sun Y, Butler T, Shafarenko A, Adams R, Davey N & Loomes M, (2004) "Segmenting Hand Written Text Using Supervised Classification Techniques", Proceedings of the International Joint Conference on Neural Networks, IJCNN2004, 657-662, IEEE Computer Society ISBN: 0-7803-8360-5 (nominated for best paper)
Gale T, Davey N, Laws K, Frank R & Loomes M (2004) "Self-Organising Map Representations Of Greyscale Images Reflect Human Similarity Judgments", Proceedings of the IEEE conference on Intelligent Systems (IS04), edited by R. Yager and V. Sgurev, Vol 1, PP 66-70, June 2004 [ISBN 0780382781]
Sivakumaran, P, Ariyaeeinia, A, & Loomes, M.J. (2003) Sub-Band Based Text-Dependent Speaker Recognition, International Journal of Speech Communication , 41(2-3), 469-484
Richard Polfreman, Martin Loomes, Robert Wright (2003) Physically inspired interactive music machines making contemporary composition accessible?, Proceedings of the International Conference on Advanced Learning Technologies, 224-228 IEEE Press ISBN 0769519679
Albrecht, A., Loomes, M.J., Steinhoefel, K., Taupitz, M (2002) Adaptive Simulated Annealing for CT Image Classification,. International Journal of Pattern Recognition and AI , Volume 16, Number 5
Loomes, M.C., Shafarenko, A, & Loomes, M.J. (2002) Teaching Mathematical Explanation through Audiographic Technology, Journal of Computers and Education, Volume 38, Issues 1-3, pp137-149
Loomes, M.C., Shafarenko, A, & Loomes, M.J. (2002) Teaching Mathematical Skills: an Audiographic Approach, Skills Development in Higher Education: Forging Links, Proceedings of the Third Annual Skills Conference
Loomes, M.C., Shafarenko, A, & Loomes, M.J. (2002) Teaching Mathematics with Audiograph Proceedings of the Third International Conference on Networked Learning, Blackwell, C., et al., (2001) Cognitive Dimensions of Notations: Design Tools for Cognitive Technology, Proceedings of the Fourth International Conference on Cognitive Technology: Instruments of Mind, Springer Lecture Notes in Computer Science, vol. 2117, pp. 325-341,
Loomes, M. J. & Nehaniv C. L (2001). Fact and Artifact: Reification and Drift in the History and Growth of Interactive Software Systems, Proceedings of the Fourth International Conference on Cognitive Technology: Instruments of Mind, Springer Lecture Notes in Computer Science, vol. 2117, pp. 25-39,
Loomes, M.C., Shafarenko, A, & Loomes, M.J. (2001) Teaching Explanation using the Audiograph Presentation Tool., Learning across the Ages - Looking Back and Looking Forwards, Proceedings of the 2001 Computer Aided Learning Conference, Elsevier, pp89-90
Wernick, Shearer & Loomes (2001) Philosophically-based Research into Software Development, Evolution and Use., Proceedings of the 7th. Americas Conference on Information Systems, PP 1999- 2005, AIS
Albrecht, A., Loomes, M.J., Steinhoefel, K., Taupitz, M., Wong, C. K., (2001) A Local Search Method for Pattern Classification, Proceedings of the 9th European Symposium on Artificial Neural Networks, ESANN '2001, Michael Verleysen (ed), pp1-6
Spevak, C, Polfreman, R, Loomes, M.J. (2001) Towards detection of perceptually similar sounds: investigating self-organizing maps., Proceedings of the AISB01 Symposium on Creativity in Arts and Sciences, The Society for the Study of Artificial Intelligence, pp45-50
Polfreman, R, Loomes, M.J. (2001) A TKS Framework for Understanding Music Composition Processes and its Application in Interactive System Design, Proceedings of the AISB01 Symposium on Creativity in Arts and Sciences, The Society for the Study of Artificial Intelligence, pp75-83
Albrecht, A., Loomes, M.J., Steinhofel, K., Taupitz, M (2000) A Modified Perceptron Algorithm for Computer-Assisted Diagnosis, Research and Development in Intelligent Systems XVII (Proceedings of ES2000), Bramer, Preece & Coenen (Ed), Springer Verlag, pp199-211
Shankararaman, V., Ambrosiadou, V., Loomes, M.J., Panchal, T. (2000) Patient Care Management using a Multi-agent Approach, Proceedings of the 2000 IEEE International Conference on Systems, Man & Cybernetics, SMC 2000, IEEE Computer Society Press, pp1817-1821
Britton, C, Jones, S. V., Kutar, M, Loomes, M.J., Robinson, B. (2000) Evaluating the intelligibility of diagrammatic languages used in the specification of software, Proceedings of DIAGRAMS 2000 (Lecture Notes in Artificial Intelligence 1889), Anderson, Cheng & Haarslev (Ed), Springer, pp376-391
Wernick, P., Christianson, B, Loomes, M.J., Shearer, D (2000) A Dialectical Basis for Software Development Tool Proceedings of the Association for Information Systems, Vol 2, H.Michael Chung (Ed), pp1548-1553