BIOMICS: Biological and Mathematical Basis of Interaction Computing
BIOMICS is a European Commission FP7 3-year STREP project that started on 1 October 2012. It falls under Objective ICT-2011-9.6: FET Proactive: Unconventional Computation (UCOMP)
The BIOMICS project was inspired by the observation that cell metabolic/regulatory systems are able to self-organise and/or construct order dynamically, through random interactions between their components and based on a wide range of possible inputs.
We are undertaking research into whether this behaviour can be reproduced in a controllable way through interacting finite-state automata. If so this will lead to a radically new model of "bottom-up computation" with equal applicability to computer science and systems biology that we call Interaction Computing (IC).
Role of University of Passau in BIOMICS
- Lead on the design of a specification language which can be used by humans which are not required to have a deep understanding of algebra or category theory. We aim at a high-level language which mainly defines behavioural properties of a system and abstracts from the mathematical details.
- Lead on the creation of a proof-of-concept implementation which can validate the theoretical results, alowing experimental studies in both directions: the application fo our framework to computer science as well as to biological models.
- Analyse existing computer science systems through algebraic automata theory, also known as Krohn-Rhodes theory.
The four project partners in BIOMICS are:
- University of Hertfordshire Higher Education Corporation.
- University of Passau.
- University of Debrecen.
- University of Dundee.
Publications Related to BIOMICS
- C. L. Nehaniv, J. Rhodes, A. Egri-Nagy, P. Dini, E. R. Morris, G. Horváth, F. Karimi, D. Schreckling and M. J. Schilstra. Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions. In Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences, 373 (2046), 2015. doi... bibtex ...
- P. Dini, C. L. Nehaniv, A. Egri-Nagy, M. J. Schilstra, D. Schreckling, J. Posegga, G. Horvath and A. J. Munro. Biological and Mathematical Basis of Interaction Computing. In International Journal of Unconventional Computing, 8 (4): 283-287, 2012. paper... bibtex ...