BIOMICS

Biological and Mathematical Basis of Interaction Computing

 Coordinatore 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

 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.

automata    organising    structure    theory    specification    mathematical    ic    software    framework    biomics    self    computing    interactions    biological    language    interaction   

 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.

Altri progetti dello stesso programma (FP7-ICT)

USEMP (2013)

User Empowerment for Enhanced Online Presence Management

Read More  

FERARI (2014)

Flexible Event pRocessing for big dAta aRchItectures

Read More  

2D-NANOLATTICES (2011)

Strongly anisotropic Graphite-like semiconductor/dielectric 2D nanolattices

Read More