This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F10%3A00043826%21RIV11-GA0-14330___/
dctermshttp://purl.org/dc/terms/
n16http://localhost/temp/predkladatel/
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F10%3A00043826%21RIV11-GA0-14330___
rdf:type
n7:Vysledek skos:Concept
dcterms:description
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. 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.
dcterms:title
High-performance analysis of biological systems dynamics with the DiVinE model checker High-performance analysis of biological systems dynamics with the DiVinE model checker
skos:prefLabel
High-performance analysis of biological systems dynamics with the DiVinE model checker High-performance analysis of biological systems dynamics with the DiVinE model checker
skos:notation
RIV/00216224:14330/10:00043826!RIV11-GA0-14330___
n3:aktivita
n13:Z n13:S n13:P
n3:aktivity
P(GA201/09/1389), P(GP201/09/P497), S, Z(MSM0021622419)
n3:cisloPeriodika
3
n3:dodaniDat
n10:2011
n3:domaciTvurceVysledku
n11:8225400 n11:6500773 n11:5692792
n3:druhVysledku
n19:J
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n15:predkladatel
n3:idSjednocenehoVysledku
261585
n3:idVysledku
RIV/00216224:14330/10:00043826
n3:jazykVysledku
n18:eng
n3:klicovaSlova
molecular interaction networks; mathematical modeling and computer simulation; kinetic models; discrete abstraction; high-performance computing; model checking
n3:klicoveSlovo
n5:discrete%20abstraction n5:kinetic%20models n5:model%20checking n5:molecular%20interaction%20networks n5:high-performance%20computing n5:mathematical%20modeling%20and%20computer%20simulation
n3:kodStatuVydavatele
CZ - Česká republika
n3:kontrolniKodProRIV
[3B412D105A17]
n3:nazevZdroje
Briefings in Bioinformatics
n3:obor
n4:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n9:GA201%2F09%2F1389 n9:GP201%2F09%2FP497
n3:rokUplatneniVysledku
n10:2010
n3:svazekPeriodika
11
n3:tvurceVysledku
Barnat, Jiří Brim, Luboš Šafránek, David
n3:wos
00027798530
n3:zamer
n14:MSM0021622419
s:issn
1467-5463
s:numberOfPages
12
n16:organizacniJednotka
14330