Evolvability

Network on Evolvability in Biological and Software Systems

U.K. Engineering and Physical Sciences Research Council (EPSRC)


Network | Symposia | Seminars | Publications | Members


NETWORK ON EVOLVABILITY IN BIOLOGICAL & SOFTWARE SYSTEMS
[An Engineering and Physical Sciences Interdisciplinary Systems Theory Network]

Background on Evolvability in Biological & Software Systems.

Evolvability, the capacity for non-lethal heritable variation, is a striking property of biological systems that has not been successfully understood in its formal and system-theoretic aspects, nor has it been successfully modelled computationally or applied in software systems or evolutionary computation. How to achieve robustness, adaptability, and flexibility in facing changing requirements and environments is a paramount issue for software and related systems, not adequately addressed by previous work either in computer science or biological systems. Our aim is creating a UK-based network of researchers and representatives from industry who meet frequently at symposia around the UK to tackle this important research area. Applications to telecommunications, engineering design, systems science, evolutionary biology, optimisation, and evolutionary computation are expected to grow from the resulting collaborations and work based on them.

Network members are interested in evolvability in the biological sense (a la Wagner-Altenberg [1,2], Conrad [3], Dawkins [4], and Gerhart & Kirschner [5,6]), i.e. the capacity to generate heritable variation without compromising system stability. Issues from biology include topics such as the origin and maintenance of the genetic code, development, the evolution of sex, search behaviour of biological systems using variation and selection (immune system adaptation, angiogenesis neural growth in development), modularity and control in the genome, robustness heritability of phenotypic traits (despite instabilities of environment or internal milieu). Similarly mechanisms are needed in evolutionary computation systems. On the other hand, software evolution, the demands on software to change and adapt to new environments, requirements, and user needs vis-à-vis the brittleness of current software systems suggest that an examination of biological mechanisms of robustness and evolvability would be profitable.

Traditional population genetics has not adequately addressed problems involving the origin of new characters, e.g. new genes, genetic control over the phenotype-genotype map, and high level organisational systems such as body-plans (zootype/phylotype), homeotic gene clusters, and other mechanisms that support a capacity to vary in new dimensions, and to make this variation heritable over generations in evolving populations [16,17]. That evolvability properties are not an accident or automatically derived from evolution is evidenced by an often profound failure for them to be realised in artificial evolutionary computation [2], despite (or perhaps because of?) the flexibility of constructing the genetic systems and phenotype realisations used in the computations. Thus the observed evolvability of biological systems is something that requires explanation, and its study should lead to new insights into biological systems, and may shed more light on the major transitions of evolution and system robustness.

Evolvability is important to computer science and to builders of artificial systems, since it addresses the issue of survival and adaptability of such systems. Current practice of building software systems is extremely brittle — they tend to crash if you change one single bit. Biological systems do not do that. Some computer languages (for evolutionary models) have begun to address this — e.g. Ray's Tierra system [7], in which every bitstring is executable (he modelled this on the genetic code, template matching and protein biosynthesis), or Koza's genetic programming (where random variation respects typing of nodes within parse trees on which genetic operators act), and Harvey's Species Adaptation Genetic Algorithms (where length of the genome may vary but crossover is restricted to homologous sites to prevent `interspecies' recombination [86]).

Nothing like biological evolvability and robustness can be found in the current practice of the software world so far. Issues of robustness (which Kirschner and Gerhart [5,6] believe are central to biological evolvability) are also of paramount importance to the designers of software systems and in engineering. Although software systems do not reproduce like biological ones, they persist over long periods of time undergoing modification and so-called "software evolution", through various versions in conditions of ever-changing requirements. We believe that software engineers (and workers in evolutionary computation) will learn a lot from the study of biological systems. If software systems can attain biological levels of evolvability as we describe, the impact on software engineering, telecommunications, optimisation, and design sciences and manufacturing will be profound and of lasting economic importance. With this network the UK will be well-placed as a leader in this field, both in research and industrial applications of evolvability.

Network Aims, Organisation, and Workplan

The network operating structure is based in the University of Hertfordshire with members from around the UK (from both academia and industry) with initial 3-year funding by EPSRC for a series of meetings (symposia) around the UK, some external foreign speakers, and secretarial support all for promoting the study of evolvability. We intend will publish one or more edited books with international scientific publishers (most likely Springer Verlag) and to encourage collaborative research on evolvability, especially within the UK and especially across disciplines.

The Evolvability Network in Biological & Software Systems wants to get researchers thinking and talking together on the problems of evolvability in natural and artificial systems — and the UK is full of people working and thinking about these issues in various disciplines, often unaware of each other's existence and with no forum in which to meet. Support over 3 years is limited to under £60,000 for establishing and promoting the network in the UK and connections with scientists abroad. With its leadership based at the University of Hertfordshire, the Evolvability Network organises symposia roughly every six months at sites where network members are based. Candidate sites for possible symposia identified so far by network members include the University of Hertfordshire, University of Sussex, British Telecom Research Labs (Ipswich), University of Edinburgh, and University College London.

Members, researchers, and industrial partners are invited talk at our symposia; also students are encouraged to participate. Advised by network members, UK and foreign experts from academia and industry are be supported as invited plenary speakers with support of their travel and accommodation expenses at about £5000 per symposium (allowing 5-8 invited talks over each 2-3 day symposia). A smaller amount of support is also available for network members contributing and organising presentations, as well as to support student participation. Less than £1000 per symposium is requested for local facilities rental and audiovisual support, and part-time secretarial support (8 weeks/year) is needed for correspondence and arrangements with invited speakers, and network administrative assistance.

It is expected that the network will establish a rapidly growing community of interest in the nascent areas of evolvability, creating fruitful ties across disciplines and between academia and industry. Beyond the first three years, this interest should be self-supporting making further EPSRC support unnecessary.

Initial Network Membership

The initial members of the network show a broad range of interest in issues of biological, system theoretic, and software expertise, including younger as well as senior researchers of respected international reputation. They comprise a mixture of leading computer scientists, systems scientists, biologists, and engineering specialists from UK academia and industry. It is foreseen that membership will grow with the rapidly rising interest in evolvability research. To ensure ties with non-UK researchers on evolvability three foreign members are also included initially.

Dr. Chrystopher L. Nehaniv, the principal investigator, studied mathematics, computer science, psychology, biology and linguistics at the University of Michigan receiving his B.Sc. (Honours) in 1987. He completed a PhD in Mathematics (Algebraic Theory of Systems) under Prof. John L. Rhodes at the University of California, Berkeley, in 1992. He then became Research Fellow (Parallelisability of Computation) and then Lecturer at Berkeley, leaving in 1993 to take up a post as Professor of Computer Science and Engineering, and as Director of the Software Engineering Laboratory, at the University of Aizu in Japan, Japan's newest, best-equipped international computer science university. There he founded and led the Artificial Life Group in Aizu (ALGA), the university's research into Software Engineering — especially software evolution and algebraic specification, and also served in designing the post-graduate curriculum in Cybernetics and Software Systems there (approved by Japanese Ministry of Education: MSc course 1996, PhD course 1998). During this time he also served as a Visiting Professor at the Institute for Mathematics & Informatics at the L. Kossuth University of Debrecen, Hungary, and taught at Ibaraki University in Japan. Dr. Nehaniv joined the University of Hertfordshire's Requirements and Interactive Systems Engineering Research Group in 1998, where he is currently Reader in Computer Science. The University of Hertfordshire received the rating of 4 in the last two Research Assessment Exercises for its research in Computer Science, the highest level attained so far by any of the new universities. Dr. Nehaniv is a member of the Institute of Electrical and Electronics Engineers (IEEE), Association for Computing Machinery (ACM), American Mathematical Society (AMS), American Association for the Advancement of Science (AAAS), Society for Developmental Biology (SDB), Society for Mathematical Biology (SMB), among other professional societies, and has published extensively in areas at the interfaces of biology, mathematical and computer systems sciences [8-44]. He has served as program chair or organiser of numerous international conferences and symposia, including IEEE Computer Software and Applications (COMPSAC'95); Mathematical and Computational Biology [9]; Computation for Metaphors, Analogy and Agents [8]; AISB and AAAI Symposia, etc. He enjoys an international reputation for work in applications of algebra in many interdisciplinary subjects ranging from software engineering to systems theory to biology, and for organising successful workshops, conferences, as well as edited volumes resulting from these activities. Dr. Nehaniv has worked not only in software systems and cybernetics [21-30], but also in automata models of understanding and their applications [31-32], and on the foundations of the study of biological complexity [6-8], the Markov analysis of evolutionary computation [18,19], among other areas, and is currently carrying out research in robustness and evolvability in digital systems, having recently applied for an EPSRC fast-stream grant to support his work and a PhD studentship in this area.

Professor Martin Loomes, the co-investigator, has a well-established research interest in the area of Software Engineering as a process of theory development through evolutionary change. Central to this notion is the realisation that drawing system boundaries around the software development process is rarely as clear-cut as most rationalisations would suggest, and that the designers, as well as users and clients for developments need to be considered as part of the system [45]. The existence of feedback loops involving the designers suggests analogies with self-regulating biological systems. The traditional models of software development, however, with their rationalisations as transformational structures, suggest a more pre-ordained, naïve genomic, analogy [46]. One area of particular interest is that of requirements engineering, where the identification of requirements leads to changes in perceptions of systems, and hence to a redefinition of requirements [47-49]. On occasions this process seems to converge to fixed points, on others to diverge to chaotic forms. Tackling this problem from the perspective of systems theory is a challenge, but may offer some useful insights.

Three initial industrial members of the network are from the Future Technologies Group at British Telecom (BT): Dr. Paul Marrow is a Senior Scientist in Nature- Inspired Computing at BT's Complex Systems Laboratory. He joined BT in 1997 after several years researching biological evolutionary dynamics at the Universities of York, Leiden and Cambridge. His current research focuses on evolvability, information ecosystems, evolutionary computation, and applications of these areas in telecommunications and computing [50-53]. He was the organiser of a workshop on evolvability at the GECCO 99 conference [50], and is co- organising a working group on evolvability at the Santa Fe Institute, which will take place in April 2000. Mark Shackleton is a senior research engineer at BT Labs, Adastral Park. He currently works in the field of Evolutionary Computation, including development of a flexible evolutionary and ecosystem toolkit. His research includes investigating the role of redundancy in the genotype-phenotype mapping and its relevance to evolutionary search and evolvability. He initiated BT's evolvability research programme and helped co- organise a workshop on Evolvability at GECCO'99 [50]. Dr. Richard Tateson of BT holds a PhD in developmental biology from Cambridge University [54-56], and aims to bring methods and paradigms from developmental cell biology to bear on computational and telecommunication problems [57]. This forms a central part of his work at BT's research department. He is a member of the CytoCom network in the UK and organised the 'bacterial chemotaxis' session of the CytoCom meeting in September 1999. He is also the organiser of a workshop on Genetic Regulatory Networks to be held as part of the Alife VII conference in August 2000 in Portland, Oregon.

Dr. Meurig Beynon is Reader in the Computer Science Department of the University of Warwick and leads the Empirical Modelling group there. This research group is developing a novel style of software via modelling based on observation, dependency and agency [58-61]. The practical emphasis of Empirical Modelling is on the creation of models which closely correlate with one's experience and that are always open to interaction and revision, in a radical break from traditional software engineering. The theoretical emphasis of Empirical Modelling is on the development of a broad, principled foundation for computing that is resilient under change of our knowledge and under unforeseen changes of circumstances.

Dr. Peter McOwan (at Queen Mary & Westfield College from January 2000) has been actively researching in the field of computational neuroscience for the past 10 years. His interests lie in modelling sensory processing, specifically motion perception [62,63]. He is also interested in understanding the processing stages that evolutionary pressure have incorporated into biological systems, and the transfer of these biologically inspired algorithms to hardware systems [64]. He was an applicant in the successful SEMINAL network application (Ref. GR/M78083), which is concerned with the application of genetic algorithms and allied techniques to software engineering applications. He recently began an EPSRC funded project (Ref. GR/M60675) concerned with the applications of genetic algorithms for sensory motor neural system designs to learn the task of active motion camouflage, a stealth approach behaviour found in nature.

Dr. Peter Bentley at University College London has investigated numerous aspects of genotype-phenotype mappings over the last six years and how they relate to evolutionary design, constraint handling, evolvability and other fundamental issues. He believes that that investigations of embryology are crucial to increasing the scalabilty of evolutionary computation, and supervises a PhD student on exactly this subject. Relevant publications include [65-70].

John Hallam of the University of Edinburgh leads a research group with two strands of work that are relevant to the evolvability network: First, his group have been using evolutionary algorithms as a tool for studying the space of possible central pattern generator networks able to produce anguiliform swimming in a simulated lamprey [71,72]. Results indicate that a large variety of pattern generator networks are able to generate appropriate rhythmic swimming motions, and that many of these networks can be adapted relatively simply to control salamander-like walking. Second, J. Hallam and T. Taylor [73,74] have been investigating the conditions under which open-ended evolution (in which novel forms are generated without end as evolution progresses) can be achieved in a software environment similar to Ray's Tierra [7].

Brian Goodwin is Professor of Biology and Coordinator of MSc in Holistic Science, Schumacher College, Dartington, Devon, UK. He is well-established as an authority on the evolution and theory of biological systems [76-79]. His work related to evolvability includes a current research grant from EPSRC on the topic "Computational Simulation of Morphogenetic Life-Forms Using Unstructured 3D Meshes". This examines morphological evolution using realistic morphogenetic constraints to identify the generic patterns of early animal body-forms.

Dr. Kerstin Dautenhahn is Lecturer in Cybernetics at the University of Reading and does research in robotics, socially intelligent agents, and artificial life [20,26-30]. She co-organised a workshop at GECCO-99 on Sensor Evolution in Nature, Hardware and Simulation, together with Daniel Polani and Thomas Uthmann, and works on the evolvability of sensor apparatus [75].

Three members of the evolvability network are on the faculty of the University of Sussex, and all are members of the Centre for the Study of Evolution there: Professor John Maynard Smith, who, following a career as an aircraft engineer during the war years, went on to obtain his BSc in Zoology at University College, London in 1951. He lectured at UCL until, in 1965, he was appointed Professor of Biology and founding Dean of the School of Biological Sciences at the University of Sussex. He became Emeritus Professor at Sussex upon formally retiring in 1985, and has remained extremely active within evolutionary biology ever since, writing a number of books which have become standard texts in the field. His publications and academic awards are too numerous to list here, his most recent achievement being the award of the Crafoord prize for his contributions to Game Theory in biology. He has a long research interest in the mechanisms of evolution and major transitions in evolution, e.g. [96]. Dr. Joel R. Peck works in evolutionary biology [80-83] and is Director of the Centre for the Study of Evolution at Sussex, which brings together evolutionists from a Biology and a computing/AI background. The Centre has some 10-20+ doctoral and 30+ MSc students active in this sort of area. Dr. Inman Harvey is a Senior Research Fellow of the Sussex Evolutionary and Adaptive Systems Group in COGS (School of Cognitive and Computing Sciences) works on the development of artificial evolution as an approach to the design of complex systems - e.g. evolutionary robotics, evolvable hardware, molecules for pharmaceutical purposes [84,85]. For long-term incremental evolution the appropriate strategies are embodied in SAGA - Species Adaptation Genetic Algorithms, an evolvable form of Genetic Algorithm which he invented and analysed [86].

Dr. Larry Bull is a Research Fellow in the Faculty of Computer Studies & Mathematics, at the University of the West of England (UWE), Bristol. He is course director of the EPSRC supported MSc Machine Learning & Adaptive Computing at UWE. His main research interests are in the fields of Evolutionary Computation and Artificial Life, particularly systems containing more than one adaptive entity in the environment, i.e. coevolutionary/multi-agent systems. Dr. Bull's previous work includes the use of abstract computer simulation models to examine the conditions under which independent self-replicating entities first become less independent, i.e. through symbiogenesis [e.g. 87], and then relinquish their ability to replicate, i.e. multicellularity/eusociality [e.g. 88]. That is, the so-called "major transitions" in natural evolution. Findings from these models have been incorporated into machine learning approaches to improve their performance and scalability [e.g. 89].

Initial Foreign Members: L. Andrew Coward (Nortel Networks) works on systems evolvability starting from an architectural perspective [90-95]. His work shows how if a system performs an extremely complex functionality it is forced for very general reasons into a functional partitioning into components which exchange information. In current commercial systems information exchange is always unambiguous. Heuristic or evolutionary change to functionality requires heuristic or evolutionary change to one or more functional component which is extremely difficult if unambiguous information exchange must be maintained. However, the requirement to maintain (partial) context for ambiguous information exchange constrains any system which changes functionality either heuristically or by evolutionary change into a class of restricted architectures. His research interests are in applying this architecture to both understanding biological systems and designing systems which can learn. In one key project he is working with Murdoch University in Australia exploring how to design a system which can learn to manage an extremely complex telecommunications network.

Prof. L. Altenberg (University of Hawaii) has done pioneering work on the connections between evolvability in biological and software systems and in developing measures for evolvability [1,2].

Prof. Paulien Hogeweg (University of Utrecht, Theoretical Biology) is well-known internationally for studies on emergent levels of complexity in evolution and morphogenesis, and supervision of many excellent PhDs in areas related to evolvability.

References

  1. L. Altenberg, The evolution of evolvability in genetic programming. In: Advances in Genetic Programming, K. E. Kinnear Jr., ed. MIT Press, 1994.
  2. G. P. Wagner & L. Altenberg, Complex Adaptations and the Evolution of Evolvability, Evolution, Vol. 50, No. 3, pp. 967-976, June 1996.
  3. M. Conrad, Biosystems, Vol. 24, 61-81, 1990.
  4. R. Dawkins, The evolution of evolvability. In: Artificial Life, C. Langton, ed. Addison-Wesley, 1989.
  5. J. Gerhart & M. Kirschner, Cells, Embryos, and Evolution, Blackwell Science, 1997.
  6. M. Kirschner & J. Gerhart, Evolvability, Proc. Natl. Acad. Sci. USA, Vol. 95, pp. 8420-8427, July 1998.
  7. T. S. Ray, An approach to the synthesis of life. In : Langton, C., C. Taylor, J. D. Farmer, & S. Rasmussen [eds], Artificial Life II, Santa Fe Institute Studies in the Sciences of Complexity, vol. XI, 371-408. Redwood City, CA: Addison-Wesley, 1991.
  8. C. L. Nehaniv, editor, Computation for Metaphors, Analogy & Agents, Lecture Notes in Artificial Intelligence, Vol. 1562, Springer Verlag, 1999.
  9. C. L. Nehaniv, editor, Mathematical & Computational Biology: Computational Morphogenesis, Hierarchical Complexity & Digital Evolution, Lectures in Life Sciences Series, Volume 26, American Mathematical Society, Providence, Rhode Island, U. S. A., 1999.
  10. C. L. Nehaniv, guest ed., International Journal of Algebra & Computation (World Scientific Press), special section on Algebraic Engineering, (in press).
  11. C. L. Nehaniv & Masami Ito, editors, Algebraic Engineering, Proceedings of the First International Conference on Semigroups & Algebraic Engineering (Aizu, Japan) and the International Workshop on Formal Languages & Computer Systems (Kyoto, Japan), World Scientific Press, 1999.
  12. C. L. Nehaniv & M. Ito, guest eds., Theoretical Computer Science (Elsevier), special issue on Semigroups & Algebraic Engineering, (in press).
  13. C. L. Nehaniv & J. L. Rhodes, The Evolution and Understanding of Hierarchical Complexity in Biology from an Algebraic Perspective, submitted to Artificial Life (MIT Press).
  14. C. L. Nehaniv & J. L. Rhodes, On the Manner in which Biological Complexity May Grow, Mathematical & Computational Biology, Lectures in the Life Sciences, Vol. 26, American Mathematical Society, pp. 93-102, 1999.
  15. C. L. Nehaniv & J. L. Rhodes, Krohn-Rhodes Theory, Hierarchies, and Evolution. In: B. Mirkin, F. R. McMorris, F. S. Roberts, & A. Rzhetsky, eds., Mathematical Hierarchies & Biology. DIMACS Series, Amer. Math. Society, Providence, pp. 29-42, 1997.
  16. C. L. Nehaniv & G. P. Wagner, eds., The Right Stuff: Appropriate Mathematics for Evolutionary and Developmental Biology, Workshop Extended Abstracts for the Sixth International Conference on Artificial Life (University of California, Los Angeles - 26-29 June 1998), University of Hertfordshire Technical Report 315, June 1998.
  17. C. L. Nehaniv & G. P. Wagner, guest eds., Artificial Life (MIT Press), special issue on The Right Stuff: Appropriate Mathematics for Evolutionary and Developmental Biology (to appear 2000).
  18. L. M. Schmitt & C. L. Nehaniv, The Linear Geometry of Genetic Operators with Applications to the Analysis of Genetic Drift and Genetic Algorithms using Tournament Selection, Mathematical & Computational Biology, Lectures in the Life Sciences, Vol. 26, American Mathematical Society, pp. 147-166, 1999.
  19. L. M. Schmitt, C. L. Nehaniv, & R. H. Fujii, Linear Analysis of Genetic Algorithms, Theoretical Computer Science, Vol. 200(1-2), pp. 101-134, 1998.
  20. T. Quick, K. Dautenhahn, C. L. Nehaniv, & G. Roberts, On Bots and Bacteria: Ontology-Independent Embodiment, Proceedings of the 5th European Conference on Artificial Life (ECAL'99), Lecture Notes in Artificial Intelligence, Vol. 1674, Springer Verlag, pp. 339-343, 1999.
  21. M. Capretz & C. L. Nehaniv, Software Maintenance via the Algebra of Forms, Proc. XVI International Conference of the Chilean Computer Science Society, (Valdivia, Chile), pp. 234-244, 1996.
  22. M. Capretz & C. L. Nehaniv, Towards the Application of Algebraic Formal Support in a Software Maintenance Environment, In: Evolving Systems: Proc. Ninth European Workshop on Software Maintenance, Durham, U. K., 1995.
  23. W. K. Cheung, C. L. Nehaniv, K. T. Miura, & Y. S. Ho, Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex. In: Proc. 19th Annual International Computer Software & Applications Conference (COMPSAC'95), IEEE Computer Science Press, pp. 245- 254, 1995.
  24. C. L. Nehaniv, Meaning for Observers and Agents, IEEE International Symposium on Intelligent Control / Intelligent Systems and Semiotics, ISIC/ISAS'99 - September 15-17, 1999 Cambridge, Massachusetts, USA, pp. 435- 440, 1999.
  25. C. L. Nehaniv, What's Your Story? - Irreversibility, Algebra, Autobiographic Agents. In: K. Dautenhahn, ed., Socially Intelligent Agents: Papers from the 1997 AAAI Fall Symposium (November 1997, MIT, Cambridge, Massachusetts) FS-97-02, American Association for Artificial Intelligence Press, pp. 150-153.
  26. C. L. Nehaniv & K. Dautenhahn, Semigroup Expansions for Autobiographic Agents, Proceedings of the First Symposium on Algebra, Languages and Computation (30 October-1 November 1997, University of Aizu, Japan), pp. 77- 84, 1998.
  27. C. Nehaniv & K. Dautenhahn, Self-Replication and Reproduction: Considerations and Obstacles for Rigorous Definitions. In: C. Wilke, S. Altmeyer,& T. Martinetz, eds., Third German Workshop on Artificial Life: Abstracting and Synthesizing the Principles of Life, Verlag Harri Deutsch, pp. 283-290, 1998.
  28. C. Nehaniv & K. Dautenhahn, Embodiment and Memories - Algebras of Time and History for Autobiographic Agents. In: R. Trappl, ed., Cybernetics & Systems'98 (Proc. 14th European Meeting on Cybernetics & Systems - Vienna, Austria, 14-17 April 1998), Austrian Society for Cybernetic Studies, Vol. 2, pp. 651-656, 1998.
  29. C. L. Nehaniv & K. Dautenhahn, guest eds., Cybernetics and Systems (Taylor& Francis), special issue on Imitation in Natural & Artificial Systems, (to appear 2000).
  30. C. L. Nehaniv, K. Dautenhahn, & M. J. Loomes, Constructive Biology and Approaches to Temporal Grounding in Post-Reactive Robotics, In: G. T. McKee & P. Schenker, eds., Sensor Fusion and Decentralized Control in Robotics Systems II (September 19-20, 1999, Boston, Massachusetts), Proceedings of SPIE, Vol. 3839, pp. 156-167, 1999.
  31. C. L. Nehaniv, Algebra & Formal Models of Understanding. In: M. Ito, ed., Semigroups, Formal Languages and Computer Systems, Kyoto Research Institute for Mathematics Sciences, RIMS Kokyuroku, vol. 960, pp. 145-154, August 1996.
  32. C. L. Nehaniv, Algebra for Understanding. In: C. L. Nehaniv & M. Ito, eds., Algebraic Engineering, World Scientific Press, pp. 1-16, 1999.
  33. P. Dömösi & C. L. Nehaniv, On Complete Systems of Automata, Theoretical Computer Science, (in press).
  34. P. Dömösi & C. Nehaniv, Complete Finite Automata Network Graphs with Minimal Number of Edges, Acta Cybernetica, 14 (1999) 37-50.
  35. P. Dömösi & C. L. Nehaniv, Algebraic Theory of Finite Automata Networks, Mathematica Japonica, Vol. 48, No. 3, 481-508, 1998.
  36. C. L. Nehaniv, Synthesis of Least-Depth Circuits for Aperiodic Computation, Joint DIMACS-DIMATIA Workshop on Algebraic Methods and Arithmetic Circuits, June 2-4, 1999, DIMACS Rutgers University, Piscataway, NJ, USA.
  37. C. L. Nehaniv, Complexity of Finite Aperiodic Semigroups and Star-Free Languages. In: J. Almeida, G. Gomes, P. Silva, eds., Semigroups, Automata, Languages, World Scientific, pp. 195-209, 1996.
  38. C. L. Nehaniv, From Relation to Emulation: The Covering Lemma for Transformation Semigroups, Journal of Pure & Applied Algebra, Vol. 107, No. 1, pp. 75-87, 1996.
  39. C. L. Nehaniv, Cascade Decomposition of Arbitrary Semigroups. In: J. B. Fountain, ed., NATO Advanced Science Institute on Semigroups, Formal Languages and Groups, York, UK, August 7-21, 1993, Kluwer Academic Publishers, pp. 391-425, 1995.
  40. B. Austin, K. Henckell, C. Nehaniv, & J. Rhodes, Subsemigroups and Complexity via the Presentation Lemma, Journal of Pure & Applied Algebra, Vol. 101, No. 3, pp. 245-289, 1995.
  41. C. L. Nehaniv, Computing What a Relation Fails to Express: Kernel Theorems for Transition Automata. In: M. Ito, ed., Semigroups, Formal Languages, and Combinatorics on Words , Kyoto Research Institute for Mathematics Sciences, RIMS Kokyuroku, Vol. 910, pp. 60-66, May 1995.
  42. C. L. Nehaniv, Algebraic Engineering of Understanding: Global Hierarchical Coordinates on Computation. In: Proc. 18th Annual International Computer Software & Applications Conference (COMPSAC'94), IEEE Computer Society Press, pp. 418-425, 1994.
  43. C. L. Nehaniv, Global Sequential Coordinates on Semigroups, Automata, and Infinite Groups, PhD Thesis in Mathematics, University of California, Berkeley, 1992.
  44. C. L. Nehaniv, Algebraic Connectivity, International Journal of Algebra & Computation, Vol. 1, No. 4, pp. 445-471, 1991.
  45. M. J. Loomes, Selfconscious and Unselfconscious Design. Microprocessing and Microprogramming, Vol. 5, pp 23-36, 1990.
  46. M. J. Loomes & S. V. Jones, Requirements Engineering: A Perspective through Theory-Building, Third IEEE Conference on Requirements Engineering (ICRE’98), 100-107, 1998.
  47. W. Lam & M. J. Loomes, V. Shankararaman, Managing Requirements Change and Evolution using Measurement and Action Planning. In P. Nesi & C. Verhoef, eds, Third European Conference on Software Maintenance and Reengineering, 122-128, 1999.
  48. W. Lam & M. J. Loomes, Re-engineering for Reuse: A Paradigm for Evolving Complex Reuse Artefacts, IEEE COMPSAC’98: 22nd Annual International Software and Applications Conference, IEEE Computer Society, pp. 507-512, 1998.
  49. W. Lam & M. J. Loomes, Second Euromicro Conf. on Software Maintenance and Reengineering (Florence, Italy), IEEE Computer Society, pp. 121-127, 1998.
  50. P. Marrow, M. Shackleton, J.-L. Fernandez-Villancas Martin, T. S. Ray, eds., Proc. GECCO-99 Evolvability Workshop. In: Proc. Genetic and Evolutionary Computation Conference Workshop Program, A. S. Wu (editor), pp. 29-50, 1999.
  51. M. Shackleton, R. Tateson, P. Marrow, E. Bonsma, G. Proctor, C. Winter, & H. Nwana, Nature-inspired novel and radical computing. BT Technology Journal, to appear.
  52. P. Marrow, Evolvability: evolution, computation, biology. In Proceedings of the GECCO-99 Workshop Program, A. S. Wu, ed., pp. 30-33, 1999.
  53. P. Marrow, Evolvability web page: http://www.labs.bt.com/people/marrowp/docs/evolve.htm , 1999.
  54. R.. Tateson, Studies of the roles of wingless and Notch during the development of the adult peripheral nervous system of Drosophila, PhD Thesis, Cambridge University 1998.
  55. K. Brennan, R. Tateson, T. Lieber, J. P. Couso, V. Zecchini and A. Martinez Arias, The Abruptex Mutations of Notch Disrupt the Establishment of Proneural Clusters in Drosophila, Developmental Biology, 216, pp. 230-242, 1999.
  56. K. Brennan, R. Tateson, K. Lewis and A. Matinez Arias, A functional analysis of Notch mutations in Drosophila, Genetics 147, pp 177 – 188, 1997.
  57. R. Tateson, Self-organising Pattern Formation: Fruit Flies and Cell Phones. In: A. E. Eiben, T. Back, M. Schoenauer and H-P. Schwefel (eds.) Proc. 5th Int. Conf. Parallel Problem Solving from Nature, Springer , Berlin, pp 732 – 741, 1998.
  58. W. M.Beynon and P-H. Sun, Empirical Modelling: a New Approach to Understanding Requirements, Proc. 11th International Conference on Software Engineering and its Applications, Vol.3, Paris, December 1998.
  59. W.M. Beynon, Empirical Modelling and the Foundations of Artificial Intelligence. In: Computation for Metaphors, Analogy and Agents, Lecture Notes in Artificial Intelligence 1562, Springer, 322-364, 1999.
  60. W. M. Beynon & Y.P.Yung, Computer-Aided Script Generator for Computer Aided Design, Proc. Pacific Graphics'94 / CADDM'94, Vol. 2, 369-374, 1994.
  61. W. M. Beynon, V. D. Adzhiev, A. J. Cartwright & Y. P. Yung, An Agent- oriented Framework for Concurrent Engineering, Proc. IEE Colloquium: Issues of Cooperative Working in Concurrent Engineering, October 1994, Digest
  62. 1994/177, 9/1-9/4.
  63. A. Johnston, P. W. McOwan P.W. & H. Buxton, A computational model of the analysis of some first and second order motion patterns by simple and complex cells, Proc. R. Soc. Lond. B 250 (1992), pp 297-306
  64. A. Johnston, P. W. McOwan & C. Benton, Robust velocity computation from a biologically motivated model of motion perception, Proc. Royal Soc. Lond. B 266 (1999) pp 509-518.
  65. P. W., McOwan, C. Benton, J. Dale, & A. Johnston, A multi-differential neuromorphic approach to motion detection, International Journal of Neural Systems, in press.
  66. P. J. Bentley (Contributing Editor), Evolutionary Design by Computers. Morgan Kaufman Publishers Inc., San Francisco, CA, 1999.
  67. P. J. Bentley, Exploring Component-Based Representations - The Secret of Creativity by Evolution? Submitted to the Fourth International Conference on Adaptive Computing in Design and Manufacture (ACDM 2000), April 26th - 28th, 2000, University of Plymouth, UK.
  68. S. Kumar & P. J. Bentley, The ABCs of Evolutionary Design: Investigating the Evolvability of Embryogenies for Morphogenesis. Late-breaking papers in Genetic and Evolutionary Computation Conference (GECCO '99), July 14-17, 1999, Orlando, Florida USA, pp. 164-170, 1999.
  69. J. Kim & P. J. Bentley, Negative Selection and Niching by an Artificial Immune System for Network Intrusion Detection. Late-Breaking Papers in Genetic and Evolutionary Computation Conference (GECCO '99), July 14-17, 1999, Orlando, Florida USA, pp. 149-158, 1999.
  70. P. J. Bentley & S. Kumar, Three Ways to Grow Designs: A Comparison of Embryogenies for an Evolutionary Design Problem. Genetic and Evolutionary Computation Conference (GECCO '99), July 14-17, 1999, Orlando, Florida USA, pp.35-43, 1999.
  71. T. Yu & P. J. Bentley, Methods to Evolve Legal Phenotypes. Proceedings of the Fifth Int. Conf. on Parallel Problem Solving From Nature. Amsterdam, pp. 280-282, 1998.
  72. A. J. Ijspeert, J. Hallam & D. Willshaw, “Artificial Lampreys: Comparing naturally and Artificially Evolved Swimming Controllers”, in Proceedings of European Conference on Artificial Life (ECAL 97), 256—265, 1997.
  73. A.J. Ijspeert, J. Hallam & D. Willshaw “Evolving swimming controllers for a simulated lamprey with inspiration from neurobiology”, to appear in Journal of Adaptive Behavior 7(3), 1999/2000.
  74. T. Taylor & J. Hallam, “Studying Evolution with Self-Replicating Computer Programs”, Proceedings of ECAL 97, pp 550—559, 1997.
  75. T. J. Taylor & J. C. Hallam, “Replaying the Tape: an Investigation into the Role of Contingency in Evolution” Proc. 6th International Conference on Artificial Life, (UCLA, June 26-28, 1998), MIT Press, 1998.
  76. A. Alissandrakis & K. Dautenhahn, Evolution of vision-based agent behaviour in hilly landscapes. Workshop Proc. "Sensor Evolution in Nature, Hardware and Simulation", workshop at GECCO-99, July 14-17 1999 Orlando, Florida USA, 1999 Genetic and Evolutionary Computation Conference, 1999.
  77. B. C. Goodwin, How the Leopard Changed Its Spots; the Evolution of Complexity (1997). London: Orion Books.
  78. B. C. Goodwin, Form and Transformation; Generative and Relational Principles in Biology. (1996). Cambridge University Press. (with Gerry Webster)
  79. B. C. Goodwin, The Emergent Properties of Life. (in press, 1999) New York: Basic Books. (with Ricard Sole).
  80. B. C. Goodwin, S. A. Kauffman, & J. D. Murray, Is morphogenesis and intrinsically robust process? J. Theoret. Biol. 163, 135-144, 1993.
  81. J. R. Peck & D. Waxman, What determines fitness when dispersal is limited? Evolution 51(4), 1036-1043, 1997.
  82. J. R. Peck & A. Eyre-Walker, The Muddle about mutations. Nature 387, 135- 136, 1997.
  83. L. H. Hurst, & J. R. Peck, Recent advances in understanding of the evolution and maintenance of sex. Trends in Ecology and Evolution 11, 46-52, 1996.
  84. J. R. Peck, Limited dispersal, deleterious mutations and the evolution of sex. Genetics, 142: 1053-1060, 1996.
  85. I. Harvey, Species Adaptation Genetic Algorithms: A basis for a continuing SAGA, In: Toward a Practice of Autonomous Systems: Proceedings of the First European Conference on Artificial Life, F.J. Varela and P. Bourgine (eds.), MIT Press/Bradford Books, Cambridge, MA, 1992, pp. 346-354.
  86. I. Harvey: Is There Another New Factor in Evolution? Evolutionary Computation, Special Issue on Evolution, Learning, and Instinct: 100 Years of the Baldwin Effect v. 4, n. 3, pp. 311--327, 1997.
  87. I. Harvey: Artificial Evolution and Real Robots, Artificial Life and Robotics vol. 1, pp. 35--38 (1997).
  88. L. Bull & T. C. Fogarty, Artificial Symbiogenesis. Artificial Life, 2(3):269-292, 1996.
    88. L. Bull, On the Evolution of Multicellularity and Eusociality. Artificial Life, 5(1):1-15, 1999.
  89. L. Bull, On Evolving Social Systems. Computational and Mathematical Organization Theory, 5(3):281-298, 1999.
  90. L. A. Coward, A Functional Architecture Approach to Neural Systems. International Journal of Systems Research and Information Systems, in press.
  91. T. Gedeon, L. A. Coward, & Z. Bailing, Results of Simulations of a System with the Recommendation Architecture, Proceedings of the 6th International Conference on Neural Information Processing, Volume I, pp. 78-84, 1999.
  92. L. A. Coward, The Recommendation Functional Architecture as the Basis for a Neurophysiological Understanding of Cognition. In: Riegler, A. and Peschl, M. (eds.) New Trends in Cognitive Science, 91 - 105, Plenum Press, 1999.
  93. L. A. Coward, The Pattern Extraction Hierarchy (Recommendation) Architecture: a Connectionist Alternative to the von Neumann Architecture. In: Mira., J., Morenzo-Diaz, R., and Cabestanz, J. (eds.) Biological and Artificial Computation: from Neuroscience to Technology, 634-43, Berlin: Springer, 1997.
  94. L. A. Coward, Unguided Categorization, Direct and Symbolic Representation, and Evolution of Cognition in a Modified Connectionist Theory. In Riegler, A. and Peschl, M. (eds.), Proceedings of the International Conference New Trends in Cognitive Science, 139-146, Vienna: Austrian Society of Cognitive Science, 1997.
  95. L. A. Coward, Pattern Thinking, New York: Praeger, 1990.
  96. J. Maynard Smith & E. Szathmary, The Major Transitions in Evolution, Oxford Univ. Press, 1997.




    Network | Symposia | Seminars | Publications | Members
    Last updated 30 October 2000