Completing and adapting models of biological processes

We present a learning-based method for model completion and adaptation, which is based on the combination of two approaches: 1) R2D2C, a technique for mechanically transforming system requirements via provably equivalent models to running code, and 2) automata learning-based model extrapolation. Th...

Descripción completa

Detalles Bibliográficos
Autores principales: Margaria, Tiziana, Hinchey, Michael G., Raffelt, Harald, Rash, James L., Rouff, Christopher A., Steffen, Bernhard
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Models
Procesos Biológicos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23999
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23999
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Models
Procesos Biológicos
spellingShingle Ciencias Informáticas
Models
Procesos Biológicos
Margaria, Tiziana
Hinchey, Michael G.
Raffelt, Harald
Rash, James L.
Rouff, Christopher A.
Steffen, Bernhard
Completing and adapting models of biological processes
topic_facet Ciencias Informáticas
Models
Procesos Biológicos
description We present a learning-based method for model completion and adaptation, which is based on the combination of two approaches: 1) R2D2C, a technique for mechanically transforming system requirements via provably equivalent models to running code, and 2) automata learning-based model extrapolation. The intended impact of this new combination is to make model completion and adaptation accessible to experts of the field, like biologists or engineers. The principle is briefly illustrated by generating models of biological procedures concerning gene activities in the production of proteins, although the main application is going to concern autonomic systems for space exploration.
format Objeto de conferencia
Objeto de conferencia
author Margaria, Tiziana
Hinchey, Michael G.
Raffelt, Harald
Rash, James L.
Rouff, Christopher A.
Steffen, Bernhard
author_facet Margaria, Tiziana
Hinchey, Michael G.
Raffelt, Harald
Rash, James L.
Rouff, Christopher A.
Steffen, Bernhard
author_sort Margaria, Tiziana
title Completing and adapting models of biological processes
title_short Completing and adapting models of biological processes
title_full Completing and adapting models of biological processes
title_fullStr Completing and adapting models of biological processes
title_full_unstemmed Completing and adapting models of biological processes
title_sort completing and adapting models of biological processes
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/23999
work_keys_str_mv AT margariatiziana completingandadaptingmodelsofbiologicalprocesses
AT hincheymichaelg completingandadaptingmodelsofbiologicalprocesses
AT raffeltharald completingandadaptingmodelsofbiologicalprocesses
AT rashjamesl completingandadaptingmodelsofbiologicalprocesses
AT rouffchristophera completingandadaptingmodelsofbiologicalprocesses
AT steffenbernhard completingandadaptingmodelsofbiologicalprocesses
bdutipo_str Repositorios
_version_ 1764820466474680322

Ejemplares similares