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

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

Namespace Prefixes

PrefixIRI
n4http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n13http://purl.org/net/nknouf/ns/bibtex#
n8http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n12http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00067061%21RIV14-MSM-14330___/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n15http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00067061%21RIV14-MSM-14330___
rdf:type
skos:Concept n12:Vysledek
dcterms:description
By using a modified version of uniformization we have proposed a method to compute the upper and lower bounds of property validity over continuous parameter spaces. The main idea is to compute for each model state its probability as an upper and lower bound instead of a single number. By using a modified version of uniformization we have proposed a method to compute the upper and lower bounds of property validity over continuous parameter spaces. The main idea is to compute for each model state its probability as an upper and lower bound instead of a single number.
dcterms:title
Robustness Analysis of Stochastic Systems Robustness Analysis of Stochastic Systems
skos:prefLabel
Robustness Analysis of Stochastic Systems Robustness Analysis of Stochastic Systems
skos:notation
RIV/00216224:14330/13:00067061!RIV14-MSM-14330___
n12:predkladatel
n16:orjk%3A14330
n3:aktivita
n18:P
n3:aktivity
P(EE2.3.20.0256), P(GAP202/11/0312)
n3:dodaniDat
n10:2014
n3:domaciTvurceVysledku
n7:8225400 n7:6500773 n7:1846000 n7:3111342
n3:druhVysledku
n22:D
n3:duvernostUdaju
n11:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
103180
n3:idVysledku
RIV/00216224:14330/13:00067061
n3:jazykVysledku
n21:eng
n3:klicovaSlova
robustness analysis; stochastic systems
n3:klicoveSlovo
n20:stochastic%20systems n20:robustness%20analysis
n3:kontrolniKodProRIV
[54FD570D1219]
n3:mistoKonaniAkce
Turku
n3:mistoVydani
Turku
n3:nazevZdroje
Electronic Proceedings in Theoretical Computer Science, Volume 116
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n8:GAP202%2F11%2F0312 n8:EE2.3.20.0256
n3:rokUplatneniVysledku
n10:2013
n3:tvurceVysledku
Dražan, Sven Brim, Luboš Šafránek, David Češka, Milan
n3:typAkce
n4:CST
n3:zahajeniAkce
2013-01-01+01:00
s:issn
2075-2180
s:numberOfPages
2
n15:doi
10.4204/EPTCS.116.5
n13:hasPublisher
Open Publishing Association
n17:organizacniJednotka
14330