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
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen
Publikation: Teil einer Monographie/eines Konferenzbandes
One modelling formalism & simulator is not enough!
Grunddaten
Abstract
Autoren
Einrichtung
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
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
Himmelspach, Jan
Jeschke, Matthias
John, Mathias
Leye, Stefan
Maus, Carsten
Röhl, Mathias
Ewald, Roland
Einrichtung
IEF/Bereich Informatik