PB172: Seminář ze systémové biologie

Toto je verze stránky pro semestr Podzim 2013. Aktuální verze zde.

Rozvrh prezentací

  • 27.9. - iniciální diskuse, témata laboratoře
  • 4.10. - Juraj Kolčák, Adam Streck - Esther: introducing an online platform for parameter identification of boolean networks (Streck et al., CMSB 2013, http://esther.fi.muni.cz)
  • 11.10. - Milan Češka - On the Robustness of Temporal Properties for Stochastic Models (Bartocci et al., HSB 2013, http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/HSB2013/Proceedings.pdf)
  • 18.10. - Katka Hemalová - FGF signalling (introduction and problem description)
  • 25.10. - David Šafránek - Model Checking of Biological Systems (LOCATION AND TIME CHANGED! to 13:00 at seminar UPSY, FIT VUT, room A112 Božetěchova 2, 1st floor; participation is not compulsory)
  • 1.11. - Tadeáš Děd - ABC–Fun: A Probabilistic Programming Language for Biology (Hilston et al. CMSB 2013, http://link.springer.com/chapter/10.1007/978-3-642-40708-6_12)
  • 8.11. - CANCELLED (visit to Oxford University)
  • 15.11. - Jana Fabriková - Computing Differential Invariants of Hybrid Systems as Fixedpoints
  • 22.11. - Sven Dražan - A simulink hybrid heart model for quantitative verification of cardiac pacemakers (Kwiatkowska et al., HSCC 2013, http://dl.acm.org/citation.cfm?id=2461351), slides
  • 29.11. - Aleš Pejznoch - TBA
© 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