Infobiotics Dashboard Portable

Infobiotics Dashboard es un marco computacional que implementa una sinergia entre la biología ejecutable, las simulaciones estocásticas multicompartimentales, el análisis de modelos formales y la optimización de modelos estructurales o de parámetros para sistemas computacionales, y la biología sintética. Proporciona un front-end fácil de usar que permite al modelador diseñar experimentos in-silico, analizar y visualizar los resultados utilizando sus cuatro componentes: lenguaje de modelado basado en sistemas P que permite el desarrollo de modelos multicelulares modulares y parsimoniosos que incluyen información geométrica, simulador estocástico multicompartimental basado en el Algoritmo de Simulación Estocástica de Gillespie para sistemas multicelulares, análisis formal de modelos mediante los verificadores de modelos estocásticos PRISM y MC2 para el estudio de las propiedades temporales y espaciales de los modelos, y optimización de modelos estructurales y de parámetros mediante algoritmos evolutivos para generar automáticamente modelos cuya dinámica se ajuste a objetivos especificados.