2019
Data-Informed Parameter Synthesis for Population Markov Chains
HAJNAL, Matej; Nouvian MORGANE; Tatjana PETROV a David ŠAFRÁNEKZákladní údaje
Originální název
Data-Informed Parameter Synthesis for Population Markov Chains
Autoři
HAJNAL, Matej; Nouvian MORGANE; Tatjana PETROV a David ŠAFRÁNEK
Vydání
LNBI 11773. Neuveden, 17th International Conference on Computational Methods in Systems Biology (CMSB 2019), od s. 383-386, 4 s. 2019
Nakladatel
Springer Nature
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Švýcarsko
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Odkazy
Impakt faktor
Impact factor: 0.402 v roce 2005
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/19:00114780
Organizační jednotka
Fakulta informatiky
ISBN
978-3-030-31303-6
ISSN
UT WoS
Klíčová slova anglicky
population models; formal methods; model checking
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 16. 6. 2025 14:59, Mgr. Petra Trembecká, Ph.D.
Anotace
V originále
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.
Návaznosti
| GA18-00178S, projekt VaV |
|