Arne Analizar redes reguladoras biológicas con esta utilidad.
Descargar ahora

Arne Clasificación y resumen

Arne Etiquetas

Crear Creador Analizar los requisitos reglamentarios red biológica biológico parámetro biológico Ciclos biológicos sistema biológico sintético datos biológicos secuencia biológica generar una red biológica generador de red biológica analizar la red biológica camino biológico Palindromes biológicos repeticiones biológicas Minería de texto biológico Organismos biológicos protector de pantalla biológico fenómeno biológico Navegación de vía biológica mapa biológico pregunta biológica biblioteca biológica Cumplimiento normativo curación de redes biológicas Simular la vida biológica analizar secuencias biológicas Analizar la molécula biológica. Análisis de la molécula biológica Datos biológicos de superposición Análisis de la región reguladora visualizar vías biológicas Visor de caminos biológicos Analizar vías biológicas. Ver camino biológico Analizar la vía biológica Analizar el elemento regulatorio CIS Analizar redes logísticas. simulador biológico

Arne Descripción

Arne es una aplicación práctica y fácil de usar especialmente diseñada para ofrecerle una herramienta gráfica para ayudarlo a modelar y analizar redes reguladoras biológicas. Utiliza la suite de verificador modelo MCRL2 como back-end y se construye utilizando la plataforma de cliente RICH ECLIPSE. Por lo tanto, si está buscando una herramienta para ayudarlo a crear redes biológicas, tome ARNE para obtener un giro y verifique si sus capacidades pueden satisfacer sus necesidades. Principales características: Edición gráfica de redes reguladoras discretas, incluido el efecto a corto plazo Generación automática de funciones de activación, dirigida utilizando restricciones de monotonicidad, fórmulas modales de mu-cálculo, equivalencias de bisimulación y restricciones multi-estacionamiento / homeostasía Visualización del comportamiento de la red utilizando la herramienta MCRL2 LTGRAPH

Arne Software relacionado