> Detailanzeige

Breitling, Rainer [Verfasser:in]; Uhrmacher, Adelinde M. [Verfasser:in]; Bruggeman, Frank J. [Verfasser:in]; Priami, Corrado [Verfasser:in] ; Rainer Breitling and Adelinde M. Uhrmacher and Frank J. Bruggeman and Corrado Priami [Mitwirkende:r]

Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel
  • Titel: Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
  • Beteiligte: Breitling, Rainer [Verfasser:in]; Uhrmacher, Adelinde M. [Verfasser:in]; Bruggeman, Frank J. [Verfasser:in]; Priami, Corrado [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DagRep.1.4.41
  • Schlagwörter: checking ; verification ; abstraction ; stochastic ; systems biology ; model ; process algebra ; formal modeling ; simulation ; petri nets ; Bioinformatics ; computational biology
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: This report documents the program and the outcomes of the Seminar 11151 `Formal Methods in Molecular Biology' that took place in Dagstuhl, Germany, on 10--15 Apr 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The participants formed 5 teams that worked on selected case studies. Two teams were awarded prizes, for their efforts in analyzing and further elucidating published biological models.
  • Zugangsstatus: Freier Zugang