Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology |
Autore | David A. Rosenblueth |
Pubbl/distr/stampa | Frontiers Media SA, 2016 |
Descrizione fisica | 1 electronic resource (111 p.) |
Collana | Frontiers Research Topics |
Soggetto non controllato |
model checking
Logic programing Answer set programing attractors of Boolean networks synthesis of biochemical models Gene Regulatory Networks Boolean networks biochemical networks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Computational Methods for Understanding Complexity |
Record Nr. | UNINA-9910261146403321 |
David A. Rosenblueth | ||
Frontiers Media SA, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evolution of Gene Regulatory Networks in Plant Development |
Autore | Jose M. Romero |
Pubbl/distr/stampa | Frontiers Media SA, 2018 |
Descrizione fisica | 1 electronic resource (252 p.) |
Collana | Frontiers Research Topics |
Soggetto non controllato |
Plant Development
Omics Molecular Systems Biology Evolution Gene Regulatory Networks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910346757003321 |
Jose M. Romero | ||
Frontiers Media SA, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|