Catálogo de publicaciones - libros
Optical Polarizationin Biomedical Applications
Valery V. Tuchin Lihong V. Wang Dmitry A. Zimnyakov
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-3-540-25876-6
ISBN electrónico
978-3-540-45321-5
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2006
Cobertura temática
Tabla de contenidos
Biomedical Diagnostics and Imaging
Valery V. Tuchin; Lihong V. Wang; Dmitry A. Zimnyakov
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the analysis of discrete transition systems. However, most of these approaches do not scale up well. In this article, we explore the use of compositionality for the analysis of genetic regulatory networks. We present a framework for modeling genetic regulatory networks in a modular yet faithful manner based on the mathematically well-founded formalism of differential inclusions. We then propose a compositional algorithm to efficiently analyze reachability properties of the model. A case study shows the potential of this approach.
Pp. 177-223