Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1760018, author = {Hajnal, Matej and Morgane, Nouvian and Petrov, Tatjana and Šafránek, David}, address = {Neuveden}, booktitle = {17th International Conference on Computational Methods in Systems Biology (CMSB 2019)}, doi = {http://dx.doi.org/10.1007/978-3-030-31304-3_32}, edition = {LNBI 11773}, editor = {Bortolussi, L. and Sanguinetti, G.}, keywords = {population models; formal methods; model checking}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Neuveden}, isbn = {978-3-030-31303-6}, pages = {383-386}, publisher = {Springer Nature}, title = {Data-Informed Parameter Synthesis for Population Markov Chains}, url = {https://doi.org/10.1007/978-3-030-31304-3_32}, year = {2019} }
TY - JOUR ID - 1760018 AU - Hajnal, Matej - Morgane, Nouvian - Petrov, Tatjana - Šafránek, David PY - 2019 TI - Data-Informed Parameter Synthesis for Population Markov Chains PB - Springer Nature CY - Neuveden SN - 9783030313036 KW - population models KW - formal methods KW - model checking UR - https://doi.org/10.1007/978-3-030-31304-3_32 N2 - In this work, we investigate how to obtain the parameters for single agent behaviour, based on data collected for a population. Measurements for different population sizes are especially important when studying social feedback: an adaptation of individual’s behaviour to the changing context of the population. ER -
HAJNAL, Matej, Nouvian MORGANE, Tatjana PETROV a David ŠAFRÁNEK. Data-Informed Parameter Synthesis for Population Markov Chains. In Bortolussi, L. and Sanguinetti, G. \textit{17th International Conference on Computational Methods in Systems Biology (CMSB 2019)}. LNBI 11773. Neuveden: Springer Nature, 2019, s.~383-386. ISBN~978-3-030-31303-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31304-3\_{}32.
|