Infobiotics Dashboard est un cadre de calcul mise en œuvre une synergie entre la biologie exécutable, simulations stochastiques multi-compartimentées, analyse formelle du modèle et l'optimisation de modèle structurel ou un paramètre pour les systèmes informatiques, et la biologie synthétique. Il fournit un front-end convivial permettant le modeleur de concevoir des expériences in silico, analyser et visualiser les résultats en utilisant ses quatre composantes: langage de modélisation basée sur des systèmes de P qui permet le développement de modèles multi-cellulaire modulaire et parcimonieuse, y compris des informations géométriques, multi- simulateur stochastique parcellaire fondée sur Simulation stochastique algorithme de Gillespie pour les systèmes multi-cellulaires, analyse formelle du modèle en utilisant les contrôleurs de modèle stochastique prisme et MC2 pour l'étude des propriétés du modèle temporelles et spatiales, et l'optimisation structurelle et le modèle de paramètre à l'aide des algorithmes évolutionnistes pour générer automatiquement des modèles dont dynamiques correspondent à des objectifs spécifiés.
Commentaires non trouvées