BIOMICS

Biological and Mathematical Basis of Interaction Computing

Coordinatore	THE UNIVERSITY OF HERTFORDSHIRE HIGHER EDUCATION CORPORATION    more  Organization address address: COLLEGE LANE city: HATFIELD postcode: AL10 9AB contact info Titolo: Dr. Nome: Paolo Cognome: Dini Email: send email Telefono: +44 7879 645961
Nazionalità Coordinatore	United Kingdom [UK]
Totale costo	2˙334˙234 €
EC contributo	1˙829˙998 €
Programma	FP7-ICT Specific Programme "Cooperation": Information and communication technologies
Code Call	FP7-ICT-2011-8
Funding Scheme	CP
Anno di inizio	2012
Periodo (anno-mese-giorno)	2012-10-01   -   2015-09-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	THE UNIVERSITY OF HERTFORDSHIRE HIGHER EDUCATION CORPORATION  Organization address address: COLLEGE LANE city: HATFIELD postcode: AL10 9AB contact info Titolo: Dr. Nome: Paolo Cognome: Dini Email: send email Telefono: +44 7879 645961	UK (HATFIELD)	coordinator	0.00
2	DEBRECENI EGYETEM  Organization address address: EGYETEM TER city: DEBRECEN postcode: 4032 contact info Titolo: Mr. Nome: Zoltán Cognome: Pozsonyi Email: send email Telefono: +36 52 512 759 Fax: +36 52 512 781	HU (DEBRECEN)	participant	0.00
3	UNIVERSITAT PASSAU  Organization address address: Innstrasse city: PASSAU postcode: 94032 contact info Titolo: Ms. Nome: Sabine Cognome: Wiendl Email: send email Telefono: +49 851 509 1110 Fax: +49 851 509 1102	DE (PASSAU)	participant	0.00
4	UNIVERSITY OF DUNDEE  Organization address address: Nethergate city: DUNDEE postcode: DD1 4HN contact info Titolo: Mrs. Nome: Zoe Cognome: Kidd Email: send email Telefono: +441382 384047 Fax: +441382 388892	UK (DUNDEE)	participant	0.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

Interaction Computing (IC) takes inspiration from cellular processes rather than from evolution. BIOMICS aims to leverage existing cell metabolic and regulatory mechanisms as the ontogenetic basis of a model for IC. However, because the knowledge to properly mimic, exploit and adapt these systems to computer science is lacking, BIOMICS will also advance the state of the art in the mathematics of biocomputing. The mathematical structure thus uncovered feeds into two different and complementary directions. On the one hand, it will inform the automata theory formalisms for IC; on the other hand, it will be mapped through category theory to the logic foundations of the BIOMICS specification language. Whereas the automata theory research will focus on the structural properties of self-organising systems, the BIOMICS specification language will instead focus on the specification of self-organising behaviour. By end of Year 2 we will have developed the formal tools and frameworks from both points of view of the behaviour-realisation dichotomy to be able to effect their synthesis in the form of an environment which, through interactions, is capable of generating useful software systems that match the biological structure template – and are therefore themselves based on interactions. This foundational mathematical work of BIOMICS will be applicable to software systems of a radically new kind and to systems biology, creating a unified mathematical framework for understanding, predicting, manipulating, and dynamically synthesising algorithmic activity-in-context based on interactions (i.e. interaction computation) in both realms. This will be demonstrated not only by the application of the framework to the analysis of complex-adaptive biological systems beyond those studied in the course of its development, but also by proof-of-concept implementations of software systems (for example demonstrating security properties) as a potential new paradigm for unconventional computing.