• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

RIV/00216224:14330/08:00024175 - From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (2008)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/08:00024175
Název v původním jazyceFrom Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
DruhD - Článek ve sborníku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2008
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku2
Tvůrci výsledku
Počet tvůrců celkem5
Počet domácích tvůrců5
TvůrceBarnat Jiří (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceBrim Luboš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceČerná Ivana (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceDražan Sven (státní příslušnost: CZ - Česká republika; A - domácí tvůrce)
TvůrceŠafránek David (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
Údaje blíže specifikující výsledek
Popis v původním jazyceThe central mechanism which drives every living cell is protein synthesis, the so-called transcription, which is realized according to the genetic code. There are complex regulatory interactions that control transcription of genes to proteins. Owing to their inherent complexity, analysis of dynamical models of such interactions requires a scalable computational approach. In this paper we employ parallel LTL model checking for a case study of selected dynamic properties of an in silico model of transcription in Bacillus subtilis, a bacterium living in soil. Moreover, we show the general fact that crucial LTL properties characterising transcriptional dynamics can be inferred from network motifs commonly studied in systems biology.
Klíčová slovatranscriptional networks; model checking; B. subtilis
Název sborníkuProceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation
ISSN1571-0661
Počet stran výsledku15
Název nakladateleIvana Cerna and Gerald Luettgen
Místo vydáníBudapest
Místo konání akceBudapest
Rok konání akce2008
Typ akce podle státní příslušnoti účastníkůWRD - Světová
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2010
Systémové označení dodávky datRIV10-MSM-14330___/01:1
Datum dodání13.5.2010
SpecifikaceRIV/00216224:14330/08:00024175!RIV10-MSM-14330___
Kontrolní kód[8D84A7F92DA8]
Další výskyty tohoto výsledku od stejného předkladatele
Dodáno AV ČR v roce 2010Záznam s identifikačním kódem RIV/00216224:14330/08:00024175 v dodávce dat RIV10-AV0-14330___/01:1
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Projekt1ET408050503 - Techniky automatické verifikace a validace softwarových a hardwarových systémů (2005-2009, AV0/1E)
Projekt1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M)
Výzkumný záměrMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).