Detail
Článek
Článek online
FT
Medvik - BMČ
  • Je něco špatně v tomto záznamu ?

High-performance analysis of biological systems dynamics with the DiVinE model checker

J. Barnat, L. Brim, D. Safránek,

. 2010 ; 11 (3) : 301-12. [pub] 20100428

Jazyk angličtina Země Anglie, Velká Británie

Typ dokumentu časopisecké články, práce podpořená grantem

Perzistentní odkaz   https://www.medvik.cz/link/bmc12025712

The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models.

Citace poskytuje Crossref.org

000      
00000naa a2200000 a 4500
001      
bmc12025712
003      
CZ-PrNML
005      
20121206122814.0
007      
ta
008      
120817e20100428enk f 000 0#eng||
009      
AR
024    7_
$a 10.1093/bib/bbp074 $2 doi
035    __
$a (PubMed)20478855
040    __
$a ABA008 $b cze $d ABA008 $e AACR2
041    0_
$a eng
044    __
$a enk
100    1_
$a Barnat, Jirí $u Masaryk University, Botanická 68a, 602 00 Brno, Czech Republic.
245    10
$a High-performance analysis of biological systems dynamics with the DiVinE model checker / $c J. Barnat, L. Brim, D. Safránek,
520    9_
$a The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models.
650    _2
$a algoritmy $7 D000465
650    _2
$a biologie $x metody $7 D001695
650    _2
$a počítačová simulace $7 D003198
650    _2
$a biologické modely $7 D008954
650    _2
$a programovací jazyk $7 D011381
650    _2
$a software $7 D012984
650    _2
$a navrhování softwaru $7 D012985
650    _2
$a systémová integrace $7 D018511
655    _2
$a časopisecké články $7 D016428
655    _2
$a práce podpořená grantem $7 D013485
700    1_
$a Brim, Lubos
700    1_
$a Safránek, Dravid
773    0_
$w MED00006943 $t Briefings in bioinformatics $x 1477-4054 $g Roč. 11, č. 3 (20100428), s. 301-12
856    41
$u https://pubmed.ncbi.nlm.nih.gov/20478855 $y Pubmed
910    __
$a ABA008 $b sig $c sign $y m
990    __
$a 20120817 $b ABA008
991    __
$a 20121206122848 $b ABA008
999    __
$a ok $b bmc $g 947754 $s 783058
BAS    __
$a 3
BAS    __
$a PreBMC
BMC    __
$a 2010 $b 11 $c 3 $d 301-12 $e 20100428 $i 1477-4054 $m Briefings in bioinformatics $n Brief Bioinform $x MED00006943
LZP    __
$a Pubmed-20120817/10/03

Najít záznam

Citační ukazatele

Možnosti archivace