D 2019

Data-Informed Parameter Synthesis for Population Markov Chains

HAJNAL, Matej; Nouvian MORGANE; Tatjana PETROV a David ŠAFRÁNEK

Zá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

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
Název: Diskrétní bifurkační analýza reaktivních systémů
Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů