PB172: Seminář ze systémové biologie

Toto je verze stránky pro semestr Jaro 2012. Aktuální verze zde.

Rozvrh prezentací jaro 2012

  • 24.2.
    • D. Šafránek: Sybila research topics overview and discussion
  • 2.3.
    • S. Dražan: Review of Robustness Analysis Methods
  • 9.3.
    • J. Fabriková: Introduction to Algebraic Model Checking
  • 16.3.
    • J. Papoušek: ParaSim: Tool Conception
  • 23.3.
    • A. Streck: Enumerative algorithm for parameter inference in boolean networks
  • 30.3.
    • H. Klarner (FU Berlin): Reverse engineering of asynchronous logical networks
  • 6.4.
    • T. Děd: BlenX Language Overview
  • 13.4.
    • T. Vejpustek: Action-Based Analysis of Discrete Regulatory Networks with Short-Term Stimuli (C. Krause, C. Krause, and E. de Vink)
  • 20.4.
    • M. Demko: A Framework for Modelling and Simulating Networks of Cells (S. Montana, M. Viroli)
  • 27.4.
    • J. Kolčák: Employing counterexamples to distinguish parameterizations of discrete regulatory networks (work in progress)
  • 4.5.
    • P. Dluhoš: Extending STL with freeze quantification to express non-trivial oscillatory behaviour (work in progress)
  • 11.5.
    • Cancelled due to CyanoNetwork Workshop in Mikulov
  • 18.5.
    • V. Děd, A. Tokarčík: Modelling of photosynthesis by employing Petri net and Process algebraic techniques
© 2009, SYBILA Laboratory, Faculty of Informatics, Masaryk University
Botanicka 68a 60200 Brno, Czech Republic / +420 549 495 990 / Fax: +420 549 491 820
For questions regarding this website, contact the sybila team.
Powered by DokuWiki