Informační systém Masarykovy univerzity 

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

česky | in English

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science, 2011, Neuveden, č. 67, s. 97-112. ISSN 2075-2180. doi:10.4204/EPTCS.67.9.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Autoři BRIM, Luboš (203 Česká republika, domácí), Jana FABRIKOVÁ (203 Česká republika, domácí), Sven DRAŽAN (203 Česká republika, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí).
Vydání Electronic Proceedings in Theoretical Computer Science, 2011, 2075-2180.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/11:00049903
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.4204/EPTCS.67.9
Klíčová slova anglicky abstraction; differential equations; reachability; systems biology
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 11. 4. 2012 10:22.
Anotace
In this paper a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.
Návaznosti
GA201/09/1389, projekt VaVNázev: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:46

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:46, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému