Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

BIOMICS

Financiado

Cerrado

Biological and Mathematical Basis of Interaction Computing

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, becau... ver más

31/03/2016

UNIVERSITY OF HERT...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

THE UNIVERSITY OF HERTFORDSHIRE HIGHER EDUCAT... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 4 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2016-03-31 No tenemos la información de la convocatoria

0% 79% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

4 Participantes

UNIVERSITY OF HERTFORDSHIRE

0.00€ | Lider

UNIVERSITY OF DEBRECEN DE

N.D. | Participante

UNIVDUN

N.D. | Participante

UNI PASSAU

N.D. | Participante

Proyectos interesantes

PAnaMoL

Software

Applied Physics

178K€ Cerrado

GETFUN

Software

Applied Physics

222K€ Cerrado

RUBYX

Software

Data Science

221K€ Cerrado

EMEHOC

Software

Applied Physics

195K€ Cerrado

TIN2014-54580-R

Software

Applied Physics

51K€ Cerrado

MTM2009-13842-C02-01

Software

Applied Physics

52K€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Líder del proyecto

THE UNIVERSITY OF HERTFORDSHIRE HIGHER EDUCAT... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores