منابع مشابه
The SBML discrete stochastic models test suite
MOTIVATION Stochastic simulation is a very important tool for mathematical modelling. However, it is difficult to check the correctness of a stochastic simulator, since any two realizations from a single model will typically be different. RESULTS We have developed a test suite of stochastic models that have been solved either analytically or using numerical methods. This allows the accuracy o...
متن کاملHierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits
This paper describes a hierarchical stochastic simulation algorithm, which has been implemented within iBioSim, a tool used to model, analyze, and visualize genetic circuits. Many biological analysis tools flatten out hierarchy before simulation, but there are many disadvantages associated with this approach. First, the memory required to represent the model can quickly expand in the process. S...
متن کاملDiscrete Stochastic Models Fortraffic
We investigate a probabilistic cellular automaton model which has been introduced recently. This model describes single-lane traac ow on a ring and generalizes the asymmetric exclusion process models. We study the equilibrium properties and calculate the so-called fundamental diagrams ((ow vs. density) for parallel dynamics. This is done numerically by computer simulations of the model and by m...
متن کاملRegression test suite prioritization using system models
1 2 During regression testing, a modified system is often retested using an existing test suite. Since the size of the test suite 3 may be very large, testers are interested in detecting faults in the modified system as early as possible during this retesting 4 process. Test prioritization attempts to order tests for execution so that the chances of early detection of faults during retest5 ing ...
متن کاملTranslating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation
This paper addresses the translation of Systems Biology MarkUp Language (SBML) Level 2 models of network of biochemical reactions to the Biochemical Stochastic π-calculus (SPI). SBML is XML-based formalism for systems biology, while SPI can describe the concurrency of the different interactions occurring in a network of biochemical stochastic reactions. SPI models can be used for simulation by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bioinformatics
سال: 2007
ISSN: 1367-4803,1460-2059
DOI: 10.1093/bioinformatics/btm566