Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
| 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 online resource (111 p.) |
| Collana | Frontiers Research Topics |
| Soggetto topico | Genetics (non-medical) |
| Soggetto non controllato |
Answer set programing
attractors of Boolean networks biochemical networks Boolean networks Gene Regulatory Networks Logic programing model checking synthesis of biochemical models |
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evolution of Gene Regulatory Networks in Plant Development
| Evolution of Gene Regulatory Networks in Plant Development |
| Autore | Jose M. Romero |
| Pubbl/distr/stampa | Frontiers Media SA, 2018 |
| Descrizione fisica | 1 online resource (252 p.) |
| Collana | Frontiers Research Topics |
| Soggetto topico | Botany & plant sciences |
| Soggetto non controllato |
Evolution
Gene Regulatory Networks Molecular Systems Biology Omics Plant Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346757003321 |
Jose M. Romero
|
||
| Frontiers Media SA, 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||