University of Passau
Department of Informatics and Mathematics
IT-SEC 
   University of Passau  >  FIM  >  IT-SEC  > BIOMICS      SiteMapSitemap  Seitenende

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)

Objectives

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.
     

People involved

Partners

The four project partners in BIOMICS are:

  • University of Hertfordshire Higher Education Corporation.
  • University of Passau.
  • University of Debrecen.
  • University of Dundee.

Research assistants

Students

  • None yet

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 ...
  Impressum Last modified: 18/12/2015 - 10:56:34 by er  Seitenanfang