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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F09%3A00028602%21RIV11-GA0-14330___
rdf:type
n10:Vysledek skos:Concept
dcterms:description
The tool BioDiVinE is devoted for parallel analysis of biological models. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. The tool BioDiVinE is devoted for parallel analysis of biological models. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided.
dcterms:title
BioDiVinE BioDiVinE
skos:prefLabel
BioDiVinE BioDiVinE
skos:notation
RIV/00216224:14330/09:00028602!RIV11-GA0-14330___
n3:aktivita
n16:S n16:P n16:Z
n3:aktivity
P(1ET408050503), P(GA201/09/1389), S, Z(MSM0021622419)
n3:dodaniDat
n6:2011
n3:domaciTvurceVysledku
n4:6500773 n4:5692792 n4:8225400 n4:2361132 n4:4397142 n4:3111342 n4:5469031
n3:druhVysledku
n15:R
n3:duvernostUdaju
n20:S
n3:entitaPredkladatele
n8:predkladatel
n3:idSjednocenehoVysledku
305136
n3:idVysledku
RIV/00216224:14330/09:00028602
n3:interniIdentifikace
BioDiVinE
n3:jazykVysledku
n14:eng
n3:klicovaSlova
biochemical modles; model checking; parallel algorithms
n3:klicoveSlovo
n13:parallel%20algorithms n13:model%20checking n13:biochemical%20modles
n3:kontrolniKodProRIV
[4A409A6070B6]
n3:licencniPoplatek
n19:N
n3:lokalizaceVysledku
http://anna.fi.muni.cz/genesim/biodivine
n3:obor
n12:IN
n3:pocetDomacichTvurcuVysledku
7
n3:pocetTvurcuVysledku
7
n3:projekt
n9:GA201%2F09%2F1389 n9:1ET408050503
n3:rokUplatneniVysledku
n6:2009
n3:technickeParametry
Balik software volne sireneho v licenci GPL, urceny pro experimentalni analyzu modelu dynamiky biologickych systemu.
n3:tvurceVysledku
Šafránek, David Černá, Ivana Barnat, Jiří Fabriková, Jana Dražan, Sven Láník, Jan Brim, Luboš
n3:vlastnik
n8:vlastnikVysledku
n3:vyuzitiJinymSubjektem
n7:P
n3:zamer
n17:MSM0021622419
n18:organizacniJednotka
14330