Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Publikation: Teil einer Monographie/eines Konferenzbandes

One modelling formalism & simulator is not enough!


Grunddaten

Titel One modelling formalism & simulator is not enough!
Untertitel a perspective for computational biology based on James II
Veröffentlicht in Formal methods in systems biology : first international workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008 ; proceedings. - Berlin [u.a.] : Springer
Erscheinungsjahr 2008
Seiten (von – bis) 123 – 138
Jahr 2008
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 17.05.2019 15:19:20
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/37144
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Abstract

Diverse modelling formalisms are applied in Computational Biology. Some describe the biological system in a continuous manner, others focus on discrete-event systems, or on a combination of continuous and discrete descriptions. Similarly, there are many simulators that support different formalisms and execution types (e.g. sequential, parallel-distributed) of one and the same model. The latter is often done to increase efficiency, sometimes at the cost of accuracy and level of detail. James II has been developed to support different modelling formalisms and different simulators and their combinations. It is based on a plug-in concept which enables developers to integrate spatial and non-spatial modelling formalisms (e.g. stochastic p calculus, Beta binders, Devs, space- p), simulation algorithms (e.g. variants of Gillespie’s algorithms (including Tau Leaping and Next Subvolume Method),space- p simulator, parallel Beta binders simulator) and supporting technologies (e.g. partitioning algorithms, data collection mechanisms, data structures, random number generators) into an existing framework. This eases method development and result evaluation in applied modelling and simulation as well as in modelling and simulation research.

Autoren

Uhrmacher, Adelinde Link zur UB Rostock Link zum GBV-Katalog
Himmelspach, Jan Link zur UB Rostock Link zum GBV-Katalog
Jeschke, Matthias
John, Mathias
Leye, Stefan
Maus, Carsten
Röhl, Mathias
Ewald, Roland

Einrichtung

IEF/Bereich Informatik