Search results
- 1.0536273 - ÚVGZ 2022 RIV NL eng C - Conference Paper (international conference)
Troják, M. - Šafránek, D. - Brim, L. - Šalagovič, Jakub - Červený, Jan
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Freiburg: Elsevier, 2020, s. 91-116. ISSN 1571-0661.
[9th International Workshop on Static Analysis and Systems Biology (SASB). Freiburg (DE), 28.08.2018-28.08.2018]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:86652079
Keywords : annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
OECD category: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0314081 - 2.0497427 - ÚVGZ 2019 RIV RO eng C - Conference Paper (international conference)
Beneš, N. - Brim, L. - Pastva, S. - Šafránek, D. - Troják, M. - Červený, Jan - Šalagovič, Jakub
Fully Automated Attractor Analysis of Cyanobacteria Models.
22nd International Conference on System Theory, Control and Computing (ICSTCC). Sinaia: IEE, 2018, s. 354-359. ISSN 2372-1618.
[International Conference on System Theory, Control and Computing (ICSTCC) /22./. Sinaia (RO), 10.12.2018-12.12.2018]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:86652079
Keywords : biological system modeling * mathematical model * computational modeling * numerical models * analytical models * data models
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8514498
Permanent Link: http://hdl.handle.net/11104/0290004 - 3.0496098 - MBÚ 2019 RIV CH eng C - Conference Paper (international conference)
Modrák, Martin
Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference.
Berlín: Springer, 2018. Subseries of Lecture Notes in Computer Science. ISBN 978-3-319-99428-4. In: Computational Methods in Systems Biology. Chan: Springer, 2018 - (Češka, M.; Šafránek, D.), s. 309-312. ISBN 978-3-319-99428-4.
[16th International Conference, CMSB 2018. Brno (CZ), 12.09.2018-14.09.2018]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:61388971
Keywords : Sigmoid Model * Hamiltonian Monte Carlo methods
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0288911 - 4.0462319 - ÚVGZ 2017 RIV CH eng C - Conference Paper (international conference)
Troják, M. - Šafránek, D. - Hrabec, J. - Šalagovič, J. - Romanovská, F. - Červený, Jan
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria.
Computational Methods in Systems Biology. Cham: Springer, 2016 - (Bartocci, E.; Lio, P.; Paolleti, N.), s. 316-322. Lecture Notes in Bioinformatics, 9859. ISBN 978-3-319-45176-3.
[International Conference on Computational Methods in Systems Biology /14./. Cambridge (GB), 21.09.2016-23.09.2016]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:67179843
Keywords : bioinformatics * simulation and modeling * cyanobacteria * system biology * computational methods * engineering controlled terms * dynamical model * online platforms * biology
Subject RIV: EH - Ecology, Behaviour
Permanent Link: http://hdl.handle.net/11104/0264279